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)

SESSION: Integration of Formal Methods in Software Engineering I

Formal specification comprehension: the art of reading and writing z

SESSION: Integration of Formal Methods in Software Engineering II

Flexible modular formalization of UML sequence diagrams

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

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

SESSION: Analysis and Verification

Using mCRL2 for the analysis of software product lines

Compiling polychronous programs into conditional partial orders for ASIP synthesis

SESSION: Verification and Testing

Formalization of software models for cyber-physical systems

Analysis and testing of PLEXIL plans