Academic Experience

• Ph.D in computer science from ETH Zurich. Title of thesis: An Interactive Proof Environment for Object-oriented Specifications.
• Master in Computer Science from Albert-Ludwigs University Freiburg. Title of thesis: Verifikation von Dividieren mit Word-Level-Decision-Diagrams (Verification of Division Circuits using Word-level Decision-diagrams).

Projects

I am, or was, involved in several larger reasearch projects. Among them

• On-going:
  • Aniketos (Ensuring Trustworthiness and Security in Service Composition)
  • Model-based Testing of Security Policies
  • The Business Web (Development of a novel Internet Business Platform)
  • SQUAM (Systematic Quality Assessment of Models)
• Completed:
  • Polytos (Printed Organic Circuits and Chips)
  • SoKNOS (Service-oriented Architectures Supporting Networks of Public Security)
  • Model-driven Security with SecureUML
  • Formal Testing Techniques
  • Modelling and Verification in HOL-Z

Editorships

I am a guest editor of a Special Issue on Tests and Proofs of the the Software Testing, Verification & Reliability (STVR) journal published by Wiley.

Chairing of Conferences and Workshops

I co-chaired the Sixth International Conference on Tests & Proofs (TAP 2012). The conference proceedings are available in Springer's Lecture Notes in Computer Science series as LNCS 7305.

PC Memberships

2014

International Conference on Model-Driven Engineering and Software Development (MODELSWARD 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)

Reviews

I am regularly asked to review articels for internatinal journals such as

• AI Communications: The European Journal on Artificial Intelligence
• IEEE Software
• IEEE Transactions on Dependable and Secure Computing (TDSC)
• IEEE Transactions on Knowledge and Data Engineering (TDKE)
• IEEE Transactions on Reliability (TR)
• IEEE Transactions on Software Engineering (TSE)
• Information and Software Technology
• Information Processing Letters (IPL)
• International Journal of Information Security (IJIS)
• International Journal of Secure Software Engineering (IJSSE)
• International Journal on Advances in Security (IJSA)
• Journal of Automated Reasoning (JAR)
• Journal of Systems and Software (JSS)
• Software and Systems Modeling (SOSYM)
• Software: Practice and Experience
• Software Tools for Technology Transfer (STTT)

as well as international conferences and workshops such as

• ACM Conference on Computer and Communications Security (CCS)
• ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MoDELs)
• Applied Computer Security Associates (ACSAC)
• Conference on Detection of Intrusions and Malware & Vulnerability Assessment (DIMVA)
• European Conference on Information Systems (ECIS)
• European Symposium on Research in Computer Security (ESORICS)
• European Workshop on System Security (EUROSEC)
• Formal Methods (FM)
• Foundations of Computer Security (FCS)
• IEEE Symposium on Security & Privacy (SP)
• International Conference on Automated Deduction (CADE)
• International Conference on Formal Engineering Methods (ICFEM)
• International Conference on Internet Monitoring and Protection (ICIMP)
• International Conference on New Technologies, Mobility and Security (NTMS)
• International Conference on Software Testing, Verification and Validation (ICST)
• International Conference on Quality Software (QSIC)
• International Joint Conference on Automated Reasoning (IJCAR)
• International Symposium on Engineering Secure Software and Systems (ESSoS)
• International Workshop on Security and Trust Management (STM)
• Science of Computer Programming (SCICO)
• Software Engineering and Formal Methods (SEFM)

.