


default search action
4. ISARCS 2013: Vancouver, BC, Canada
- Philippe Kruchten, Sam Malek:

Proceedings of the 4th international ACM Sigsoft symposium on Architecting critical systems, ISARCS 2013, Vancouver, BC, Canada, June 17-21, 2013. ACM 2013, ISBN 978-1-4503-2123-5
Analysis techniques
- Teerat Pitakrat, André van Hoorn, Lars Grunske

:
A comparison of machine learning algorithms for proactive hard disk drive failure detection. 1-10 - Xiwei Xu, Qinghua Lu, Liming Zhu

, Zhanwen Li, Sherif Sakr
, Hiroshi Wada, Ingo Weber:
Availability analysis for deployment of in-cloud applications. 11-16
Security and safety
- Cuauhtemoc Castellanos, Thomas Vergnaud, Etienne Borde, Thomas Derive, Laurent Pautet:

Formalization of design patterns for security and dependability. 17-26 - Roshanak Roshandel, Payman Arabshahi, Radha Poovendran

:
LIDAR: a layered intrusion detection and remediationframework for smartphones. 27-32 - Marc Ronell:

Safety concerns regarding the use of visual programming in civilian avionics software. 33-38
Critical systems
- Maurice H. ter Beek

, Fabio Gadducci
, Francesco Santini
:
Validating reconfigurations of reo circuits in an e-Banking scenario. 39-48 - Manuel Oriol, Thomas Gamer

, Thijmen de Gooijer, Michael Wahler, Ettore Ferranti:
Fault-tolerant fault tolerance for component-based automation systems. 49-58
Keynote
- Wojtek Kozaczynski:

Monitoring and diagnosing cloud infrastructure. 59-60

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














