![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
1. 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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.