default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2nd SERENE 2010: London, UK
- 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 - Vidar Slåtten, Frank Alexander Kraemer, Peter Herrmann
:
Towards a model-driven method for reliable applications: from ideal to realistic transmission semantics. 2-11 - Neil B. Harrison, Paris Avgeriou, Uwe Zdun:
On the impact of fault tolerance tactics on architecture patterns. 12-21 - Ilya Lopatkin, Alexei Iliasov, Alexander B. Romanovsky:
On fault tolerance reuse during refinement. 22-31 - Damien Martin-Guillerez, Jérémie Guiochet, David Powell, Christophe Zanon:
A UML-based method for risk analysis of human-robot interactions. 32-41 - Ricardo J. Rodríguez, José Merseguer, Simona Bernardi:
Modelling and analysing resilience as a security issue within UML. 42-51 - Ossama Hamouda, Mohamed Kaâniche, Karama Kanoun:
Availability modelling of a virtual black box for automotive systems. 52-60 - Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis:
Augmenting formal development of control systems with quantitative reliability assessment. 61-70 - Alessio Ferrari, Mario Papini, Alessandro Fantechi, Daniele Grasso:
An industrial application of formal model based development: the Metrô Rio ATP case. 71-76 - 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 - Antonia Bertolino, Antinisca Di Marco, Fabio Martinelli, Valérie Issarny, Rachid Saadi:
Dependability in dynamic, evolving and heterogeneous systems: the connect approach. 83-88 - 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.
last updated on 2024-11-08 20:40 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
