| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|