default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1. ISARCS 2010: Prague, Czech Republic
- Holger Giese:
Architecting Critical Systems, First International Symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010, Proceedings. Lecture Notes in Computer Science 6150, Springer 2010, ISBN 978-3-642-13555-2
Design
- Vittorio Cortellessa, Catia Trubiani
, Leonardo Mostarda, Naranker Dulay:
An Architectural Framework for Analyzing Tradeoffs between Software Security and Performance. 1-18 - Atef Mohamed, Mohammad Zulkernine:
Architectural Design Decisions for Achieving Reliable Software Systems. 19-32 - Ricardo J. Rodríguez, José Merseguer:
Integrating Fault-Tolerant Techniques into the Design of Critical Systems. 33-51 - Tobias Eckardt, Stefan Henkler:
Component Behavior Synthesis for Critical Systems, . 52-71
Verification and Validation
- Martin Decký:
A Road to a Formally Verified General-Purpose Operating System. 72-88 - J. Paul Gibson, Eric Lallet, Jean-Luc Raffy:
Engineering a Distributed e-Voting System Architecture: Meeting Critical Requirements. 89-108 - Piotr Gawkowski, Konrad Grochowski, Maciej Lawrynczuk, Piotr M. Marusak, Janusz Sosnowski, Piotr Tatjewski:
Testing Fault Robustness of Model Predictive Control Algorithms. 109-124
Domain-Specific Results
- Michael N. Gagnon, John Truelove, Apu Kapadia, Joshua W. Haines, Orton Huang:
Towards Net-Centric Cyber Survivability for Ballistic Missile Defense. 125-141 - Ibrahim Habli, Tim Kelly:
A Safety Case Approach to Assuring Configurable Architectures of Safety-Critical Product Lines. 142-160 - Daniel Germanus, Abdelmajid Khelil, Neeraj Suri:
Increasing the Resilience of Critical SCADA Systems Using Peer-to-Peer Overlays. 161-178
Standards
- Martin Hillenbrand, Matthias Heinz, Nico Adler, Klaus D. Müller-Glaser, Johannes Matheis, Clemens Reichmann:
ISO/DIS 26262 in the Context of Electric and Electronic Architecture Modeling. 179-192
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 2025-10-30 00:50 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:
