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)
  • Polytos (Gedruckte organische Schaltungen und Speicher)
  • SQUAM (Systematic Quality Assessment of Models)
• Abgeschlossen:
  • 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). Abgabeschluss für Einreichungen ist der 17. Dezember 2012.

Organisation von Konferenzen und Workshops

Zusammen mit Jacques Julliand leite ich die Sixth International Conference on Tests & Proofs (TAP 2012).

PC Memberships

2012

Third International Workshop on Security Testing (SECTEST 2012)
The Sixth International Conference on Tests & Proofs (TAP 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)
• 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 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 Symposium on Research in Computer Security (ESORICS)
• 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)
• Software Engineering and Formal Methods (SEFM)

tätig.