Powered by
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
Invited Talk and Best Paper
(Chair: Nico Plat)
Formalisms and Structures (Keynote Abstract)
Michael Jackson
(Open University, UK; University of Newcastle, UK)
@InProceedings{FormSERA12p1,
author = {Michael Jackson},
title = {Formalisms and Structures (Keynote Abstract)},
booktitle = {Proc.\ FormSERA},
publisher = {IEEE},
pages = {1-0},
doi = {},
year = {2012},
}
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)
@InProceedings{FormSERA12p15,
author = {Daniel Ratiu and Bernhard Schätz and Markus Voelter and Bernd Kolb},
title = {Language Engineering as an Enabler for Incrementally Defined Formal Analyses},
booktitle = {Proc.\ FormSERA},
publisher = {IEEE},
pages = {15-14},
doi = {},
year = {2012},
}
Making Sense of Recursion Patterns
Paul Bailes and
Leighton A. Brough
(University of Queensland, Australia)
@InProceedings{FormSERA12p22,
author = {Paul Bailes and Leighton A. Brough},
title = {Making Sense of Recursion Patterns},
booktitle = {Proc.\ FormSERA},
publisher = {IEEE},
pages = {22-21},
doi = {},
year = {2012},
}
Scrum Goes Formal: Agile Methods for Safety-Critical Systems
Sune Wolff
(Terma A/S, Denmark)
@InProceedings{FormSERA12p29,
author = {Sune Wolff},
title = {Scrum Goes Formal: Agile Methods for Safety-Critical Systems},
booktitle = {Proc.\ FormSERA},
publisher = {IEEE},
pages = {29-28},
doi = {},
year = {2012},
}
Tools
(Chair: Bernhard Rumpe)
Revisiting Modal Interface Automata
Ivo Krka and
Nenad Medvidović
(University of Southern California, USA)
@InProceedings{FormSERA12p36,
author = {Ivo Krka and Nenad Medvidović},
title = {Revisiting Modal Interface Automata},
booktitle = {Proc.\ FormSERA},
publisher = {IEEE},
pages = {36-35},
doi = {},
year = {2012},
}
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)
@InProceedings{FormSERA12p43,
author = {Johannes Neubauer and Bernhard Steffen and Oliver Bauer and Stephan Windmüller and Maik Merten and Tiziana Margaria and Falk Howar},
title = {Automated Continuous Quality Assurance},
booktitle = {Proc.\ FormSERA},
publisher = {IEEE},
pages = {43-42},
doi = {},
year = {2012},
}
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)
@InProceedings{FormSERA12p50,
author = {Carlos A. González and Fabian Büttner and Robert Clarisó and Jordi Cabot},
title = {EMFtoCSP: A Tool for the Lightweight Verification of EMF Models},
booktitle = {Proc.\ FormSERA},
publisher = {IEEE},
pages = {50-49},
doi = {},
year = {2012},
}
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)
@InProceedings{FormSERA12p57,
author = {Alexei Iliasov and Alexander Romanovsky and Linas Laibinis and Elena Troubitsyna and Timo Latvala},
title = {Augmenting Event-B Modelling with Real-Time Verification},
booktitle = {Proc.\ FormSERA},
publisher = {IEEE},
pages = {57-56},
doi = {},
year = {2012},
}
proc time: 0.02