The Community for Technology Leaders
2012 First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA 2012) (2012)
Zurich
June 2, 2012 to June 2, 2012
ISBN: 978-1-4673-1907-2
TABLE OF CONTENTS

Formalisms and structures: Keynote abstract (PDF)

Michael Jackson , The Open University and University of Newcastle, UK
pp. 1

Further steps towards efficient runtime verification: Handling probabilistic cost models (PDF)

Antonio Filieri , Dipartimento di Elettronica e Informazione, Politecnico di Milano, Milan, Italy
Carlo Ghezzi , Dipartimento di Elettronica e Informazione, Politecnico di Milano, Milan, Italy
pp. 2-8

Language engineering as an enabler for incrementally defined formal analyses (PDF)

Daniel Ratiu , ForTISS GmbH, Munich, Germany
Bernhard Schaetz , ForTISS GmbH, Munich, Germany
Markus Voelter , Itemis AG, Stuttgart, Germany
Bernd Kolb , Itemis AG, Stuttgart, Germany
pp. 9-15

Making sense of recursion patterns (PDF)

Paul Bailes , School of Information Technology and Electrical Engineering, The University of Queensland, QLD 4072 Australia
Leighton Brough , School of Information Technology and Electrical Engineering, The University of Queensland, QLD 4072 Australia
pp. 16-22

Scrum goes formal: Agile methods for safety-critical systems (PDF)

Sune Wolff , Terma A/S, Terma Defense and Security, Hovmarken 4, 8520 Lystrup, Denmark
pp. 23-29

Revisiting modal interface automata (PDF)

Ivo Krka , Computer Science Department, University of Southern California, Los Angeles, CA, USA
Nenad Medvidovic , Computer Science Department, University of Southern California, Los Angeles, CA, USA
pp. 30-36

Automated continuous quality assurance (PDF)

Johannes Neubauer , Chair for Programming Systems, TU Dortmund, Germany
Bernhard Steffen , Chair for Programming Systems, TU Dortmund, Germany
Oliver Bauer , Chair for Programming Systems, TU Dortmund, Germany
Stephan Windmuller , Chair for Programming Systems, TU Dortmund, Germany
Maik Merten , Chair for Programming Systems, TU Dortmund, Germany
Tiziana Margaria , Chair for Service and Software Engineering, University Potsdam, Germany
Falk Howar , Chair for Programming Systems, TU Dortmund, Germany
pp. 37-43

EMFtoCSP: A tool for the lightweight verification of EMF models (PDF)

Carlos A. Gonzalez , École des Mines de Nantes - INRIA - LINA, Nantes, France
Fabian Buttner , École des Mines de Nantes - INRIA - LINA, Nantes, France
Robert Clariso , Universitat Oberta de Catalunya, Barcelona, Spain
Jordi Cabot , École des Mines de Nantes - INRIA - LINA, Nantes, France
pp. 44-50

Augmenting Event-B modelling with real-time verification (PDF)

Alexei Iliasov , Newcastle University, Newcastle Upon Tyne, UK
Alexander Romanovsky , Newcastle University, Newcastle Upon Tyne, UK
Linas Laibinis , Åbo Akademi University, Turku, Finland
Elena Troubitsyna , Åbo Akademi University, Turku, Finland
Timo Latvala , Space Systems Finland, Espoo, Finland
pp. 51-57
84 ms
(Ver 3.3 (11022016))