FormaliSE 2014- Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering

Full Citation in the ACM Digital Library

SESSION: Invited Talk

Software reliability via machine learning (invited talk)

• Aditya V. Nori

SESSION: Integration of Formal Methods in Software Engineering I

Formal specification comprehension: the art of reading and writing z

• Andreas Bollin
• Dominik Rauner-Reithmayer

SESSION: Integration of Formal Methods in Software Engineering II

Flexible modular formalization of UML sequence diagrams

• Luciano Baresi
• Mohammad Mehdi Pourhashem Kallehbasti
• Matteo Rossi

From an abstract specification in event-b toward an UML/OCL model

• Imen Sayar
• Mohamed Tahar Bhiri

Generating supportive hypotheses in introducing formal methods using a software processes improvement model

• Shigeru Kusakabe
• Hsin-Hung Lin
• Yoichi Omori
• Keijiro Araki

SESSION: Analysis and Verification

Using mCRL2 for the analysis of software product lines

• Maurice H. ter Beek
• Erik P. de Vink

Compiling polychronous programs into conditional partial orders for ASIP synthesis

• Mahesh Nanjundappa
• Sandeep K. Shukla

SESSION: Verification and Testing

Formalization of software models for cyber-physical systems

• Sandeep Neema
• Gabor Simko
• Tihamer Levendovszky
• Joseph Porter
• Akshay Agrawal
• Janos Sztipanovits

Analysis and testing of PLEXIL plans

• Jason Biatek
• Michael W. Whalen
• Mats P. E. Heimdahl
• Sanjai Rayadurgam
• Michael R. Lowry