FESCA

Keyphrases

Publications

2015

volume 178, 2015

Proceedings 12th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA 2015, London, United Kingdom, April 12th, 2015. FESCA 178 (2015)

2014

Faiz Ul Muram, Huy Tran, Uwe Zdun
Automated Mapping of UML Activity Diagrams to Formal Specifications for Supporting Containment Checking. FESCA (2014)
Arnaud Lanoix, Olga Kouchnarenko
Component Substitution through Dynamic Reconfigurations. FESCA (2014)
Luciana Brasil Rebelo dos Santos, Valdivino Alexandre de Santiago Júnior, Nandamudi Lankalapalli Vijaykumar
Transformation of UML Behavioral Diagrams to Support Software Model Checking. FESCA (2014)
Christian Colombo, Gordon J. Pace
Comprehensive Monitor-Oriented Compensation Programming. FESCA (2014)
Stefan Stattelmann, Manuel Oriol, Thomas Gamer
Execution Time Analysis for Industrial Control Applications. FESCA (2014)
Rui Couto, António Nestor Ribeiro, José Creissac Campos
Application of Ontologies in Identifying Requirements Patterns in Use Cases. FESCA (2014)
Wei Bai, Emmanuel M. Tadjouddine, Yu Guo
Enabling Automatic Certification of Online Auctions. FESCA (2014)
Mounira Kezadri Hamiaz, Marc Pantel, Benoît Combemale, Xavier Thirioux
Correct-by-construction model composition: Application to the Invasive Software Composition method. FESCA (2014)
Antinisca Di Marco, Catia Trubiani
A model-driven approach to broaden the detection of software performance antipatterns at runtime. FESCA (2014)
Fenglin Han, Jan Olaf Blech, Peter Herrmann, Heinz W. Schmidt
Towards Verifying Safety Properties of Real-Time Probabilistic Systems. FESCA (2014)

volume 147, 2014

Proceedings 11th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA 2014, Grenoble, France, 12th April 2014. FESCA 147 (2014)

2013

volume 295, 2013

Proceedings the 9th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA 2012, Tallinn, Estonia, March 31, 2012 FESCA 295 (2013)

volume 108, 2013

Proceedings 10th International Workshop on Formal Engineering Approaches to Software Components and Architectures, FESCA 2013, Rome, Italy, March 23, 2013. FESCA 108 (2013)