Akademische Erfahrungen

• Promotion in Informatik an der ETH Zürich. Titel der Doktorarbeit: An Interactive Proof Environment for Object-oriented Specifications (Ein interaktives Beweissystem für objekt-orientierte Spezifikationen).
• Diplom im Fach Informatik an der Albert-Ludwigs Universität Freiburg. Titel der Diplomarbeit: Verifikation von Dividieren mit Word-Level-Decision-Diagrams.

Projekte

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

• Laufend:
  • Aniketos (Vertrauenswürdigkeit und Sicherheit von Dienstekompositionen)
  • Model-based Testing of Security Policies (Modelbasierte Testdatengenerierung für Sicherheitsrichtlinien)
  • The Business Web (Entwicklung einer neuartigen Geschäftsplattform im Internt)
  • SQUAM (Systematic Quality Assessment of Models)
• Abgeschlossen:
  • Polytos (Gedruckte organische Schaltungen und Speicher)
  • SoKNOS (Service-orientierte Architekturen zur Unterstützung von Netzwerken im Rahmen Öffentlicher Sicherheit)
  • Model-driven Security with SecureUML (Modellgetriebene Sicherheit mit SecureUML)
  • Formal Testing Techniques (Formale Test-Methoden)
  • Modelling and Verification in HOL-Z (Formale Modellierung und Verifikation mit HOL-Z)

Herausgebertätigkeiten

Ich bin Gast-Herausgeber eines Sonderausgabe der Zeitschrift Software Testing, Verification & Reliability (STVR) zum Thema Tests and Proofs (Testen und formale Beweise).

Organisation von Konferenzen und Workshops

Zusammen mit Jacques Julliand habe ich die Sixth International Conference on Tests & Proofs (TAP 2012) organisiert. Der Tagungsband ist bei Springer in der Reihe Lecture Notes in Computer Science erschienen.

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)

Gutachtertätigkeiten

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

• 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)
• Software and Systems Modeling (SOSYM)
• Software: Practice and Experience
• Software Tools for Technology Transfer (STTT)

und internationale Konferenzen und Workshops, wie z.B.

• 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)

tätig.