default search action

combined dblp search
author search
venue search
publication search

ask others

2nd SERENE 2010: London, UK

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Conferences and Workshops > SERENE

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/serene/2010
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/serene/2010
Giovanna Di Marzo Serugendo, John S. Fitzgerald:
Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems, SERENE '10, London, United Kingdom, April 15-16, 2010. ACM 2010, ISBN 978-1-4503-0289-0
- view
  authority control:
- export record
  dblp key:
  - conf/serene/SlattenKH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/serene/SlattenKH10
Vidar Slåtten, Frank Alexander Kraemer, Peter Herrmann:
Towards a model-driven method for reliable applications: from ideal to realistic transmission semantics. 2-11
- view
  authority control:
- export record
  dblp key:
  - conf/serene/HarrisonAZ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/serene/HarrisonAZ10
Neil B. Harrison, Paris Avgeriou, Uwe Zdun:
On the impact of fault tolerance tactics on architecture patterns. 12-21
- view
  authority control:
- export record
  dblp key:
  - conf/serene/LopatkinIR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/serene/LopatkinIR10
Ilya Lopatkin, Alexei Iliasov, Alexander B. Romanovsky:
On fault tolerance reuse during refinement. 22-31
- view
  authority control:
- export record
  dblp key:
  - conf/serene/Martin-Guillerez10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/serene/Martin-Guillerez10
Damien Martin-Guillerez, Jérémie Guiochet, David Powell, Christophe Zanon:
A UML-based method for risk analysis of human-robot interactions. 32-41
- view
  authority control:
- export record
  dblp key:
  - conf/serene/RodriguezMB10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/serene/RodriguezMB10
Ricardo J. Rodríguez, José Merseguer, Simona Bernardi:
Modelling and analysing resilience as a security issue within UML. 42-51
- view
  authority control:
- export record
  dblp key:
  - conf/serene/HamoudaKK10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/serene/HamoudaKK10
Ossama Hamouda, Mohamed Kaâniche, Karama Kanoun:
Availability modelling of a virtual black box for automotive systems. 52-60
- view
  authority control:
- export record
  dblp key:
  - conf/serene/TarasyukTL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/serene/TarasyukTL10
Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis:
Augmenting formal development of control systems with quantitative reliability assessment. 61-70
- view
  authority control:
- export record
  dblp key:
  - conf/serene/FerrariPFG10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/serene/FerrariPFG10
Alessio Ferrari, Mario Papini, Alessandro Fantechi, Daniele Grasso:
An industrial application of formal model based development: the Metrô Rio ATP case. 71-76
- view
  authority control:
- export record
  dblp key:
  - conf/serene/BroeninkKLJVP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/serene/BroeninkKLJVP10
Jan F. Broenink, Christian Kleijn, Peter Gorm Larsen, Dusko S. Jovanovic, Marcel Verhoef, Kenneth Pierce:
Design support and tooling for dependable embedded control software. 77-82
- view
  authority control:
- export record
  dblp key:
  - conf/serene/BertolinoMMIS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/serene/BertolinoMMIS10
Antonia Bertolino, Antinisca Di Marco, Fabio Martinelli, Valérie Issarny, Rachid Saadi:
Dependability in dynamic, evolving and heterogeneous systems: the connect approach. 83-88
- view
  authority control:
- export record
  dblp key:
  - conf/serene/0001JBCND10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/serene/0001JBCND10
Jinfu Wang, Peng Jiang, John Bigham, Bob Chew, Milan Novkovic, Ilesh Dattani:
Adding resilience to message oriented middleware. 89-94

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.