default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID8. SERENE 2017: Geneva, Switzerland
- Alexander B. Romanovsky, Elena Troubitsyna:
Software Engineering for Resilient Systems - 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings. Lecture Notes in Computer Science 10479, Springer 2017, ISBN 978-3-319-65947-3
Invited Talk
- Miroslaw Malek
:
Predictive Analytics: A Shortcut to Dependable Computing. 3-17
Modelling and Specification
- Klaus Havelund, Rajeev Joshi:
Modeling and Monitoring of Hierarchical State Machines in Scala. 21-36 - Luke J. W. Martin, Alexander B. Romanovsky:
Stochastic Activity Networks for the Verification of Knowledge Bases. 37-44 - Swaib Dragule, Bart Meyers, Patrizio Pelliccione:
A Generated Property Specification Language for Resilient Multirobot Missions. 45-61
Safety and Security
- Irum Rauf, Elena Troubitsyna:
Towards a Model-Driven Security Assurance of Open Source Components. 65-80 - Henry Muccini, Mahyar Tourchi Moghaddam:
A Cyber-Physical Space Operational Approach for Crowd Evacuation Handling. 81-95 - Inna Vistbakka, Elena Troubitsyna, Tuomas Kuismin, Timo Latvala:
Co-engineering Safety and Security in Industrial Control Systems: A Formal Outlook. 96-114
Software
- Petter Sainio Berntsson, Lars Strandén, Fredrik Warg:
Evaluation of Open Source Operating Systems for Safety-Critical Applications. 117-132 - Hayley Borck, Paul Kline, Hazel Shackleton, John Gohde, Steven Johnston, Perry Alexander, Todd Carpenter:
100 Years of Software - Adapting Cyber-Physical Systems to the Changing World. 133-148
Fault Tolerance, Resilience and Robustness
- Yulai Zhou, Patrizio Pelliccione, Johan Haraldsson, Mafijul Md. Islam:
Improving Robustness of AUTOSAR Software Components with Design by Contract: A Study Within Volvo AB. 151-168 - Rem Gensh, Ashur Rafiev, Fei Xia, Alexander B. Romanovsky, Alex Yakovlev:
Modelling for Systems with Holistic Fault Tolerance. 169-183 - Marcin Kubacki, Janusz Sosnowski:
Holistic Processing and Exploring Event Logs. 184-200
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-07 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:
