FormSERA@ICSE

Keyphrases

Publications

2012

Johannes Neubauer, Bernhard Steffen, Oliver Bauer, Stephan Windmüller, Maik Merten, Tiziana Margaria, Falk Howar
Automated continuous quality assurance. FormSERA@ICSE (2012)
Michael Jackson
Formalisms and structures. FormSERA@ICSE (2012)
Sune Wolff
Scrum goes formal: agile methods for safety-critical systems. FormSERA@ICSE (2012)
Proceedings of the First International Workshop on Formal Methods in Software Engineering - Rigorous and Agile Approaches, FormSERA 2012, Zurich, Switzerland, June 2, 2012 FormSERA@ICSE (2012)
Antonio Filieri, Carlo Ghezzi
Further steps towards efficient runtime verification: handling probabilistic cost models. FormSERA@ICSE (2012)
Paul A. Bailes, Leighton Brough
Making sense of recursion patterns. FormSERA@ICSE (2012)
Daniel Ratiu, Bernhard Schätz, Markus Völter, Bernd Kolb
Language engineering as an enabler for incrementally defined formal analyses. FormSERA@ICSE (2012)
Alexei Iliasov, Alexander B. Romanovsky, Linas Laibinis, Elena Troubitsyna, Timo Latvala
Augmenting Event-B modelling with real-time verification. FormSERA@ICSE (2012)
Carlos A. González, Fabian Büttner, Robert Clarisó, Jordi Cabot
EMFtoCSP: a tool for the lightweight verification of EMF models. FormSERA@ICSE (2012)
Ivo Krka, Nenad Medvidovic
Revisiting modal interface automata. FormSERA@ICSE (2012)