ICSE 2012 Workshops
2012 34th International Conference on Software Engineering (ICSE)

Powered by

2012 First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA), June 2, 2012, Zurich, Switzerland

FormSERA 2012 – Proceedings

Contents - Abstracts - Authors

First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA)

Preface

Title Page

Foreword

Invited Talk and Best Paper
(Chair: Nico Plat)

Formalisms and Structures (Keynote Abstract)
Michael Jackson
(Open University, UK; University of Newcastle, UK)

Further Steps Towards Efficient Runtime Verification: Handling Probabilistic Cost Models
Antonio Filieri and Carlo Ghezzi
(Politecnico di Milano, Italy)

Process
(Chair: Stefan Gruner)

Language Engineering as an Enabler for Incrementally Defined Formal Analyses
Daniel Ratiu, Bernhard Schätz, Markus Voelter, and Bernd Kolb
(fortiss, Germany; itemis, Germany)

Making Sense of Recursion Patterns
Paul Bailes and Leighton A. Brough
(University of Queensland, Australia)

Scrum Goes Formal: Agile Methods for Safety-Critical Systems
Sune Wolff
(Terma A/S, Denmark)

Tools
(Chair: Bernhard Rumpe)

Revisiting Modal Interface Automata
Ivo Krka and Nenad Medvidović
(University of Southern California, USA)

Automated Continuous Quality Assurance
Johannes Neubauer, Bernhard Steffen, Oliver Bauer, Stephan Windmüller, Maik Merten, Tiziana Margaria, and Falk Howar
(TU Dortmund, Germany; University of Potsdam, Germany)

EMFtoCSP: A Tool for the Lightweight Verification of EMF Models
Carlos A. González, Fabian Büttner, Robert Clarisó, and Jordi Cabot
(École des Mines de Nantes, France; INRIA, France; LINA, France; Universitat Oberta de Catalunya, Spain)

Real-Time and Round-Table
(Chair: Stefania Gnesi)

Augmenting Event-B Modelling with Real-Time Verification
Alexei Iliasov, Alexander Romanovsky, Linas Laibinis, Elena Troubitsyna, and Timo Latvala
(Newcastle University, UK; Åbo Akademi University, Finland; Space Systems Finland, Finland)

proc time: 0.01

FormSERA 2012 – Proceedings

First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA)

Preface

Invited Talk and Best Paper (Chair: Nico Plat)

Process (Chair: Stefan Gruner)

Tools (Chair: Bernhard Rumpe)

Real-Time and Round-Table (Chair: Stefania Gnesi)

Invited Talk and Best Paper
(Chair: Nico Plat)

Process
(Chair: Stefan Gruner)

Tools
(Chair: Bernhard Rumpe)

Real-Time and Round-Table
(Chair: Stefania Gnesi)