The SCEAS System
Navigation Menu

Conferences in DBLP

(isarcs)
2010 (conf/isarcs/2010)


  1. An Architectural Framework for Analyzing Tradeoffs between Software Security and Performance. [Citation Graph (, )][DBLP]


  2. Architectural Design Decisions for Achieving Reliable Software Systems. [Citation Graph (, )][DBLP]


  3. Integrating Fault-Tolerant Techniques into the Design of Critical Systems. [Citation Graph (, )][DBLP]


  4. Component Behavior Synthesis for Critical Systems, . [Citation Graph (, )][DBLP]


  5. A Road to a Formally Verified General-Purpose Operating System. [Citation Graph (, )][DBLP]


  6. Engineering a Distributed e-Voting System Architecture: Meeting Critical Requirements. [Citation Graph (, )][DBLP]


  7. Testing Fault Robustness of Model Predictive Control Algorithms. [Citation Graph (, )][DBLP]


  8. Towards Net-Centric Cyber Survivability for Ballistic Missile Defense. [Citation Graph (, )][DBLP]


  9. A Safety Case Approach to Assuring Configurable Architectures of Safety-Critical Product Lines. [Citation Graph (, )][DBLP]


  10. Increasing the Resilience of Critical SCADA Systems Using Peer-to-Peer Overlays. [Citation Graph (, )][DBLP]


  11. ISO/DIS 26262 in the Context of Electric and Electronic Architecture Modeling. [Citation Graph (, )][DBLP]

NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002