FormSERA 2012 – Proceedings

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

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

Preface

Title Page
Article: icsews12formseraforeword-fm000-p doi:

Foreword
Article: icsews12formseraforeword-fm001-p doi:

Invited Talk and Best Paper
(Chair: Nico Plat)

Formalisms and Structures (Keynote Abstract)
Michael Jackson
(Open University, UK; University of Newcastle, UK)
Article: icsews12formsera-invitedspeaker-p doi:

Further Steps Towards Efficient Runtime Verification: Handling Probabilistic Cost Models
Antonio Filieri and Carlo Ghezzi
(Politecnico di Milano, Italy)
Article: icsews12formsera-id8-p doi:

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)
Article: icsews12formsera-id13-p doi:

Making Sense of Recursion Patterns
Paul Bailes and Leighton A. Brough
(University of Queensland, Australia)
Article: icsews12formsera-id15-p doi:

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

Tools
(Chair: Bernhard Rumpe)

Revisiting Modal Interface Automata
Ivo Krka and Nenad Medvidović
(University of Southern California, USA)
Article: icsews12formsera-id16-p doi:

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)
Article: icsews12formsera-id2-p doi:

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)
Article: icsews12formsera-id10-p doi:

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)
Article: icsews12formsera-id12-p doi:

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)