PAME/VOLT@MoDELS

Keyphrases

Publications

2016

Vincent Leilde, Vincent Ribaud, Philippe Dhaussy
Model-based diagnosis patterns for model checking. PAME/VOLT@MoDELS (2016)
Zheng Cheng, Massimo Tisi
Towards incremental deductive verification for ATL. PAME/VOLT@MoDELS (2016)
Anas Motii, Brahim Hamid, Agnes Lanusse, Jean-Michel Bruel
Towards the integration of security patterns in UML component-based applications. PAME/VOLT@MoDELS (2016)
Mathias Kühn, Peter Forbrig
Applying UI patterns for modeling dialogs. PAME/VOLT@MoDELS (2016)
Moussa Amrani, Pierre-Yves Schobbens
Real-time model-driven engineering: an overview. PAME/VOLT@MoDELS (2016)
Kevin Lano, Sobhan Yassipour Tehrani
Verified bidirectional transformations by construction. PAME/VOLT@MoDELS (2016)
Roberto Rodríguez-Echeverría, Fernando Macías, Adrian Rutle
On reducing model transformation testing overhead. PAME/VOLT@MoDELS (2016)
Loli Burgueño, Frank Hilken, Antonio Vallecillo, Martin Gogolla
Generating effective test suites for model transformations using classifying terms. PAME/VOLT@MoDELS (2016)

volume 1693, 2016

Joint Proceedings of the Second International Workshop on Patterns in Model Engineering and the Fifth International Workshop on the Verification of Model Transformation, PAME/VOLT 2016, co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016), Saint-Malo, France, October 2-3, 2016. PAME/VOLT@MoDELS 1693 (2016)