default search action

combined dblp search
author search
venue search
publication search

ask others

1st FormSERA@ICSE 2012: Zurich, Switzerland

> Home > Conferences and Workshops > FormSERA
> Home > Conferences and Workshops > ICSE

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
- export record
  dblp key:
  - conf/icse/2012formsera
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/2012formsera
Stefania Gnesi, Stefan Gruner, Nico Plat, Bernhard Rumpe:
Proceedings of the First International Workshop on Formal Methods in Software Engineering - Rigorous and Agile Approaches, FormSERA 2012, Zurich, Switzerland, June 2, 2012. IEEE 2012, ISBN 978-1-4673-1906-5
- view
  authority control:
- export record
  dblp key:
  - conf/icse/Jackson12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/Jackson12
Michael Jackson:
Formalisms and structures. 1
- view
  authority control:
- export record
  dblp key:
  - conf/icse/FilieriG12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/FilieriG12
Antonio Filieri, Carlo Ghezzi:
Further steps towards efficient runtime verification: handling probabilistic cost models. 2-8
- view
  authority control:
- export record
  dblp key:
  - conf/icse/RatiuSVK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/RatiuSVK12
Daniel Ratiu, Bernhard Schätz, Markus Völter, Bernd Kolb:
Language engineering as an enabler for incrementally defined formal analyses. 9-15
- view
  authority control:
- export record
  dblp key:
  - conf/icse/BailesB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/BailesB12
Paul A. Bailes, Leighton Brough:
Making sense of recursion patterns. 16-22
- view
  authority control:
- export record
  dblp key:
  - conf/icse/Wolff12a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/Wolff12a
Sune Wolff:
Scrum goes formal: agile methods for safety-critical systems. 23-29
- view
  authority control:
- export record
  dblp key:
  - conf/icse/KrkaM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/KrkaM12
Ivo Krka, Nenad Medvidovic:
Revisiting modal interface automata. 30-36
- view
  authority control:
- export record
  dblp key:
  - conf/icse/NeubauerSBWMMH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/NeubauerSBWMMH12
Johannes Neubauer, Bernhard Steffen, Oliver Bauer, Stephan Windmüller, Maik Merten, Tiziana Margaria, Falk Howar:
Automated continuous quality assurance. 37-43
- view
  authority control:
- export record
  dblp key:
  - conf/icse/GonzalezBCC12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/GonzalezBCC12
Carlos A. González, Fabian Büttner, Robert Clarisó, Jordi Cabot:
EMFtoCSP: a tool for the lightweight verification of EMF models. 44-50
- view
  authority control:
- export record
  dblp key:
  - conf/icse/IliasovRLTL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/IliasovRLTL12
Alexei Iliasov, Alexander B. Romanovsky, Linas Laibinis, Elena Troubitsyna, Timo Latvala:
Augmenting Event-B modelling with real-time verification. 51-57

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.