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:
- Blockchain in Intelligent Mobility
- Web Browser Security
- Completed:
Editorships
Chairing of Conferences and Workshops
-
Together with Robert Bill, Jordi Cabot, and Martin Gogolla I am organizing the 17th International Workshop on OCL and Textual Modeling (OCL 2017).
-
Together with Jordi Cabot and Adolfo Sanchez-Barbudo Herrera I am organizing the 16th International Workshop on OCL and Textual Modeling (OCL 2016).
-
Together with David Llewellyn-Jones, I am organizing the Sensing, Smart Spaces, and IoT Track of the 13th Annual IEEE Consumer Communications & Networking Conference (CCNC 2016).
-
Together with Marina Egea, Martin Gogolla, and Frédéric Tuong I am organizing the 15th International Workshop on OCL and Textual Modeling (OCL 2015).
-
Together with Carolina Dania, Geri Georg, and Martin Gogolla I am organizing the 14th International Workshop on OCL and Textual Modeling (OCL 2014). The workshop proceedings are available in CEUR workshop proceedings series as CEUR Volume 1285.
-
In 2012, 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
- 2018
-
Practice & Innovation Track Program Committee at MODELS 2018
International Conference on Tests & Proofs (TAP 2018)
International Workshop on Secure Software Engineering
(SSE 2018)
International Workshop on Security for and by Model-driven Engineering
(SecureMDE 2018)
International Workshop on Secure Software Engineering in DevOps and Agile Development
(SecSE 2018)
International Conference on Model-Driven Engineering and Software Development
(MODELSWARD 2018)
Operating Systems Track of the 32th ACM/SIGAPP Symposium On Applied Computing
(SAC OS Track 2018)
- 2017
-
International Workshop on Secure Software Engineering in DevOps and Agile Development (SecSE)
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)
ACM Research in Applied
Computation Symposium (RACS
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)
ACM Research in Applied
Computation Symposium (RACS
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)
Data Privacy and Security, Track at 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)
Reviews
I am regularly asked to review articels for internatinal journals such as
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)
.