Process Modeling and Analysis

Project Supervisor

Prof. Axel van Lamsweerde

Collaborators

C. Damas, B. Lambeau, R. De Landtsheer, C. Ponsard, F. Roucoux

Objectives

• Formal modeling and analysis of safety-critical processes in human-intensive systems

Publications

2015

Christophe Damas, Bernard Lambeau, Axel van Lamsweerde
Generating Process Models in Multi-View Environments
Chap. 5 of Dependable Software Systems Engineering, M. Irlbeck, D. Peled, and A. Pretschner (Eds.), NATO Science for Peace and Security Series, D: Information and Communication Security, IOS Press, 2015, 105-127.
Available via: Markto2014.pdf

2014

Christophe Damas, Bernard Lambeau, Axel van Lamsweerde
Analyzing Critical Decision-Based Processes
IEEE Transactions on Software Engineering, Vol. 40 No. 4, April 2014, 338-365.
Available via: TSE2014.pdf

Christophe Damas, Bernard Lambeau, Axel van Lamsweerde
Process Execution and Enactment in Medical Environments
Proc. SEHC'2014: 6th Workshop on Software Engineering in Health Care, ACM-IEEE, May 2014.
Available via: SEHC2014.pdf

2013

Christophe Damas, Bernard Lambeau, Axel van Lamsweerde
Transformation Operators for Easier Engineering of Medical Process Models
Proc. SEHC'2013: 5th ICSE Workshop on Software Engineering in Health Care, ACM-IEEE, May 2013
Available via: sehc13.pdf

2009

C. Damas, B. Lambeau, F. Roucoux, A. van Lamsweerde
Analyzing Critical Process Models through Behavior Model Synthesis
Proc. ICSE'2009: 31th International Conference on Software Engineering, Vancouver, Canada, May 16-24, 2009.
Available via: avl-icse09.pdf