ICSE 2012 Workshops
2012 34th International Conference on Software Engineering (ICSE)
Powered by
Conference Publishing Consulting

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

Workshop FormSERA 2012 – Author Index

Contents - Abstracts - Authors

B C F G H I J K L M N R S T V W

Bailes, Paul FormSERA '12: "Making Sense of Recursion ..."
Bauer, Oliver FormSERA '12: "Automated Continuous Quality ..."
Brough, Leighton A. FormSERA '12: "Making Sense of Recursion ..."
Büttner, Fabian FormSERA '12: "EMFtoCSP: A Tool for the Lightweight ..."
Cabot, Jordi FormSERA '12: "EMFtoCSP: A Tool for the Lightweight ..."
Clarisó, Robert FormSERA '12: "EMFtoCSP: A Tool for the Lightweight ..."
Filieri, Antonio FormSERA '12: "Further Steps Towards Efficient ..."
Ghezzi, Carlo FormSERA '12: "Further Steps Towards Efficient ..."
González, Carlos A. FormSERA '12: "EMFtoCSP: A Tool for the Lightweight ..."
Howar, Falk FormSERA '12: "Automated Continuous Quality ..."
Iliasov, Alexei FormSERA '12: "Augmenting Event-B Modelling ..."
Jackson, Michael FormSERA '12: "Formalisms and Structures ..."
Kolb, Bernd FormSERA '12: "Language Engineering as an ..."
Krka, Ivo FormSERA '12: "Revisiting Modal Interface ..."
Laibinis, Linas FormSERA '12: "Augmenting Event-B Modelling ..."
Latvala, Timo FormSERA '12: "Augmenting Event-B Modelling ..."
Margaria, Tiziana FormSERA '12: "Automated Continuous Quality ..."
Medvidović, Nenad FormSERA '12: "Revisiting Modal Interface ..."
Merten, Maik FormSERA '12: "Automated Continuous Quality ..."
Neubauer, Johannes FormSERA '12: "Automated Continuous Quality ..."
Ratiu, Daniel FormSERA '12: "Language Engineering as an ..."
Romanovsky, Alexander FormSERA '12: "Augmenting Event-B Modelling ..."
Schätz, Bernhard FormSERA '12: "Language Engineering as an ..."
Steffen, Bernhard FormSERA '12: "Automated Continuous Quality ..."
Troubitsyna, Elena FormSERA '12: "Augmenting Event-B Modelling ..."
Voelter, Markus FormSERA '12: "Language Engineering as an ..."
Windmüller, Stephan FormSERA '12: "Automated Continuous Quality ..."
Wolff, Sune FormSERA '12: "Scrum Goes Formal: Agile Methods ..."

28 authors

proc time: 0.18