Workshop FormSERA 2012 – Author Index

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

	Bailes, Paul	FormSERA '12: "Making Sense of Recursion ..." 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}, } Article: icsews12formsera-id15-p doi:
	Bauer, Oliver	FormSERA '12: "Automated Continuous Quality ..." 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}, } Article: icsews12formsera-id2-p doi:
	Brough, Leighton A.	FormSERA '12: "Making Sense of Recursion ..." 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}, } Article: icsews12formsera-id15-p doi:
	Büttner, Fabian	FormSERA '12: "EMFtoCSP: A Tool for the Lightweight ..." 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}, } Article: icsews12formsera-id10-p doi:
	Cabot, Jordi	FormSERA '12: "EMFtoCSP: A Tool for the Lightweight ..." 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}, } Article: icsews12formsera-id10-p doi:
	Clarisó, Robert	FormSERA '12: "EMFtoCSP: A Tool for the Lightweight ..." 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}, } Article: icsews12formsera-id10-p doi:
	Filieri, Antonio	FormSERA '12: "Further Steps Towards Efficient ..." Further Steps Towards Efficient Runtime Verification: Handling Probabilistic Cost Models Antonio Filieri and Carlo Ghezzi (Politecnico di Milano, Italy) @InProceedings{FormSERA12p8, author = {Antonio Filieri and Carlo Ghezzi}, title = {Further Steps Towards Efficient Runtime Verification: Handling Probabilistic Cost Models}, booktitle = {Proc.\ FormSERA}, publisher = {IEEE}, pages = {8-7}, doi = {}, year = {2012}, } Article: icsews12formsera-id8-p doi:
	Ghezzi, Carlo	FormSERA '12: "Further Steps Towards Efficient ..." Further Steps Towards Efficient Runtime Verification: Handling Probabilistic Cost Models Antonio Filieri and Carlo Ghezzi (Politecnico di Milano, Italy) @InProceedings{FormSERA12p8, author = {Antonio Filieri and Carlo Ghezzi}, title = {Further Steps Towards Efficient Runtime Verification: Handling Probabilistic Cost Models}, booktitle = {Proc.\ FormSERA}, publisher = {IEEE}, pages = {8-7}, doi = {}, year = {2012}, } Article: icsews12formsera-id8-p doi:
	González, Carlos A.	FormSERA '12: "EMFtoCSP: A Tool for the Lightweight ..." 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}, } Article: icsews12formsera-id10-p doi:
	Howar, Falk	FormSERA '12: "Automated Continuous Quality ..." 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}, } Article: icsews12formsera-id2-p doi:
	Iliasov, Alexei	FormSERA '12: "Augmenting Event-B Modelling ..." 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}, } Article: icsews12formsera-id12-p doi:
	Jackson, Michael	FormSERA '12: "Formalisms and Structures ..." 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}, } Article: icsews12formsera-invitedspeaker-p doi:
	Kolb, Bernd	FormSERA '12: "Language Engineering as an ..." 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}, } Article: icsews12formsera-id13-p doi:
	Krka, Ivo	FormSERA '12: "Revisiting Modal Interface ..." 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}, } Article: icsews12formsera-id16-p doi:
	Laibinis, Linas	FormSERA '12: "Augmenting Event-B Modelling ..." 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}, } Article: icsews12formsera-id12-p doi:
	Latvala, Timo	FormSERA '12: "Augmenting Event-B Modelling ..." 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}, } Article: icsews12formsera-id12-p doi:
	Margaria, Tiziana	FormSERA '12: "Automated Continuous Quality ..." 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}, } Article: icsews12formsera-id2-p doi:
	Medvidović, Nenad	FormSERA '12: "Revisiting Modal Interface ..." 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}, } Article: icsews12formsera-id16-p doi:
	Merten, Maik	FormSERA '12: "Automated Continuous Quality ..." 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}, } Article: icsews12formsera-id2-p doi:
	Neubauer, Johannes	FormSERA '12: "Automated Continuous Quality ..." 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}, } Article: icsews12formsera-id2-p doi:
	Ratiu, Daniel	FormSERA '12: "Language Engineering as an ..." 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}, } Article: icsews12formsera-id13-p doi:
	Romanovsky, Alexander	FormSERA '12: "Augmenting Event-B Modelling ..." 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}, } Article: icsews12formsera-id12-p doi:
	Schätz, Bernhard	FormSERA '12: "Language Engineering as an ..." 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}, } Article: icsews12formsera-id13-p doi:
	Steffen, Bernhard	FormSERA '12: "Automated Continuous Quality ..." 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}, } Article: icsews12formsera-id2-p doi:
	Troubitsyna, Elena	FormSERA '12: "Augmenting Event-B Modelling ..." 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}, } Article: icsews12formsera-id12-p doi:
	Voelter, Markus	FormSERA '12: "Language Engineering as an ..." 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}, } Article: icsews12formsera-id13-p doi:
	Windmüller, Stephan	FormSERA '12: "Automated Continuous Quality ..." 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}, } Article: icsews12formsera-id2-p doi:
	Wolff, Sune	FormSERA '12: "Scrum Goes Formal: Agile Methods ..." 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}, } Article: icsews12formsera-id4-p doi:

28 authors

proc time: 0.02