ISARCS

Publications

2013

Cuauhtemoc Castellanos, Thomas Vergnaud, Etienne Borde, Thomas Derive, Laurent Pautet
Formalization of design patterns for security and dependability. ISARCS (2013)
Marc Ronell
Safety concerns regarding the use of visual programming in civilian avionics software. ISARCS (2013)
Manuel Oriol, Thomas Gamer, Thijmen de Gooijer, Michael Wahler, Ettore Ferranti
Fault-tolerant fault tolerance for component-based automation systems. ISARCS (2013)
Wojtek Kozaczynski
Monitoring and diagnosing cloud infrastructure. ISARCS (2013)
Roshanak Roshandel, Payman Arabshahi, Radha Poovendran
LIDAR: a layered intrusion detection and remediationframework for smartphones. ISARCS (2013)
Proceedings of the 4th international ACM Sigsoft symposium on Architecting critical systems, ISARCS 2013, Vancouver, BC, Canada, June 17-21, 2013 ISARCS (2013)
Maurice H. ter Beek, Fabio Gadducci, Francesco Santini
Validating reconfigurations of reo circuits in an e-Banking scenario. ISARCS (2013)
Xiwei Xu, Qinghua Lu, Liming Zhu, Zhanwen Li, Sherif Sakr, Hiroshi Wada, Ingo Weber
Availability analysis for deployment of in-cloud applications. ISARCS (2013)
Teerat Pitakrat, André van Hoorn, Lars Grunske
A comparison of machine learning algorithms for proactive hard disk drive failure detection. ISARCS (2013)

2012

2010

volume 6150, 2010

Architecting Critical Systems, First International Symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010, Proceedings ISARCS 6150 (2010)