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.5