More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

1. ISARCS 2010: Prague, Czech Republic

> Home > Conferences and Workshops > ISARCS

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/isarcs/2010
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isarcs/2010
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

- view
  authority control:
- export record
  dblp key:
  - conf/isarcs/CortellessaTMD10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isarcs/CortellessaTMD10
Vittorio Cortellessa, Catia Trubiani, Leonardo Mostarda, Naranker Dulay:
An Architectural Framework for Analyzing Tradeoffs between Software Security and Performance. 1-18
- view
  authority control:
- export record
  dblp key:
  - conf/isarcs/MohamedZ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isarcs/MohamedZ10
Atef Mohamed, Mohammad Zulkernine:
Architectural Design Decisions for Achieving Reliable Software Systems. 19-32
- view
  authority control:
- export record
  dblp key:
  - conf/isarcs/RodriguezM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isarcs/RodriguezM10
Ricardo J. Rodríguez, José Merseguer:
Integrating Fault-Tolerant Techniques into the Design of Critical Systems. 33-51
- view
  authority control:
- export record
  dblp key:
  - conf/isarcs/EckardtH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isarcs/EckardtH10
Tobias Eckardt, Stefan Henkler:
Component Behavior Synthesis for Critical Systems^,. 52-71

Verification and Validation

- view
  authority control:
- export record
  dblp key:
  - conf/isarcs/Decky10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isarcs/Decky10
Martin Decký:
A Road to a Formally Verified General-Purpose Operating System. 72-88
- view
  authority control:
- export record
  dblp key:
  - conf/isarcs/GibsonLR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isarcs/GibsonLR10
J. Paul Gibson, Eric Lallet, Jean-Luc Raffy:
Engineering a Distributed e-Voting System Architecture: Meeting Critical Requirements. 89-108
- view
  authority control:
- export record
  dblp key:
  - conf/isarcs/GawkowskiGLMST10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isarcs/GawkowskiGLMST10
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

- view
  authority control:
- export record
  dblp key:
  - conf/isarcs/GagnonTKHH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isarcs/GagnonTKHH10
Michael N. Gagnon, John Truelove, Apu Kapadia, Joshua W. Haines, Orton Huang:
Towards Net-Centric Cyber Survivability for Ballistic Missile Defense. 125-141
- view
  authority control:
- export record
  dblp key:
  - conf/isarcs/HabliK10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isarcs/HabliK10
Ibrahim Habli, Tim Kelly:
A Safety Case Approach to Assuring Configurable Architectures of Safety-Critical Product Lines. 142-160
- view
  authority control:
- export record
  dblp key:
  - conf/isarcs/GermanusKS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isarcs/GermanusKS10
Daniel Germanus, Abdelmajid Khelil, Neeraj Suri:
Increasing the Resilience of Critical SCADA Systems Using Peer-to-Peer Overlays. 161-178

Standards

- view
  authority control:
- export record
  dblp key:
  - conf/isarcs/HillenbrandHAMMR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isarcs/HillenbrandHAMMR10
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.