Akademische Erfahrungen

Projekte

Ich bin, bzw. war, in verschiedenen größeren Forschungsprojekten beteiligt. Darunter

Herausgebertätigkeiten

Organisation von Konferenzen und Workshops

PC Memberships

2017

International Workshop on Theorem Proving Components for Educational Software (ThEdu)
Practice & Innovation Track Program Committee at MODELS 2017
International Conference on Tests & Proofs (TAP 2017)
Operating Systems Track of the 31th ACM/SIGAPP Symposium On Applied Computing (SAC OS Track 2017)
International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2017)
2016
Doctoral Symposium at STAF 2016 (DS@STAF 2016)
Practice & Innovation Track Program Committee at MODELS 2016
Workshop on Model-Driven Engineering, Logic and Optimization (MELO 2016)
Workshop on Agile Secure Software Development (ASSD 2016)
Conference on Data and Applications Security and Privacy (DBSec 2016)
International Conference on Tests & Proofs (TAP 2016)
International Conference on Model Transformation (ICMT 2016)
Operating Systems Track of the 31th ACM/SIGAPP Symposium On Applied Computing (SAC OS Track 2016)
International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2016)
Sensing, Smart Spaces, and IoT Track of the 13th Annual IEEE Consumer Communications & Networking Conference (CCNC 2016)
2015
International Workshop on Security and Compliance in Business Processes) (SCBP 2015)
Fith International Workshop on Security Testing (SECTEST 2015)
International Conference on Tests & Proofs (TAP 2015)
Operating Systems Track of the 31th ACM/SIGAPP Symposium On Applied Computing (SAC OS Track 2015)
Datenschutz und Sicherheit, Track der WI 2015
ACM Research in Applied Computation Symposium (RACS 2015)
International Conference on Ambient Systems, Networks and Technologies (ANT 2015)
International Conference on Model Transformation (ICMT 2015)
International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2015)
2014
Third Workshop on Security in Business Processes (SBP 2014)
International Conference on Tests & Proofs (TAP 2014)
Fith International Workshop on Security Testing (SECTEST 2014)
International Conference on Model Transformation (ICMT 2014)
International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2014)
Second International Workshop on Testing the Cloud (TTC 2014)
International Conference on Ambient Systems, Networks and Technologies (ANT 2014)
International Workshop on OCL and Textual Modelling (OCL 2014)
ACM Research in Applied Computation Symposium (RACS 2014)
2013
International Workshop on Agent Systems in Business Process Management (AS-BPM)
Second Workshop on Security in Business Processes (SBP 2013)
The Seventh International Conference on Tests & Proofs (TAP 2013)
10th Enterprise Engineering Track at ACM SAC 2013 (SAC EE Track 2013)
International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2013)
International Conference on Ambient Systems, Networks and Technologies (ANT 2013)
Fourth International Workshop on Security Testing (SECTEST 2013)
First International Workshop on Testing the Cloud (TTC 2013)
ACM Research in Applied Computation Symposium (RACS 2013)
International Workshop on OCL and Textual Modelling (OCL 2013)
2012
Third International Workshop on Security Testing (SECTEST 2012)
The Sixth International Conference on Tests & Proofs (TAP 2012)
Model-Driven Security Workshop (MDsec 2012)
International Workshop on OCL and Textual Modelling (OCL 2012)
ACM Research in Applied Computation Symposium (RACS 2012)
2011
The 23th IFIP International Conference on Testing Software and Systems (ICTSS 2011)
1st INternational Workshop on TRUstworthy Service‐Oriented Computing (INTRUSO 2011)
The Fith International Conference on Tests & Proofs (TAP 2011)
BPM Workshop on Workflow Security Audit and Certification (WfSAC 2011)
The Second International Workshop on Security Testing (SECTEST 2011)
Theory of Security and Applications (TOSCA 2011), former Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (ARSPA-WITS 2011)
International Workshop on OCL and Textual Modelling (OCL 2011)
Posters and Demos Committee of the IEEE International Requirements Engineering Conference (RE 2011)
2010
Tenth OCL Workshop. OCL and Textual Modelling (OCL 2010)
2009
Second Workshop on Relationships and Associations in Object-oriented Languages (RAOOL 2009)
Ninth OCL Workshop. The Pragmatics of OCL and other textual specification languages.(OCL 2009)
2008
Eighth OCL Workshop. OCL Tools: From Implementation to Evaluation and Comparison. (OCL 2008)
First International Workshop on Security Testing (SECTEST 2008)
Fifth International Workshop on Model Driven Engineering, Verification, and Validation (MoDeVVA 2008)

Gutachtertätigkeiten

Ich bin regelmäßig als Gutachter für internationale Zeitschriften, wie z.B.

und internationale Konferenzen und Workshops, wie z.B.

tätig.