


default search action
7. SERENE 2015: Paris, France
- Alessandro Fantechi, Patrizio Pelliccione

:
Software Engineering for Resilient Systems - 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings. Lecture Notes in Computer Science 9274, Springer 2015, ISBN 978-3-319-23128-0 - Marco Autili

, Amleto Di Salle
, Francesco Gallo, Alexander Perucci, Massimo Tivoli
:
Biological Immunity and Software Resilience: Two Faces of the Same Coin? 1-15 - Andrea Höller, Tobias Rauter, Johannes Iber, Christian Kreiner

:
Towards Dynamic Software Diversity for Resilient Redundant Embedded Systems. 16-30 - Tamás Tóth

, András Vörös
, István Majzik:
A Decomposition Method for the Verification of a Real-Time Safety-Critical Protocol. 31-45 - Stefan Klikovits

, David P. Y. Lawrence, Manuel Gonzalez-Berges, Didier Buchs:
Considering Execution Environment Resilience: A White-Box Approach. 46-61 - Rem Gensh, Alexander B. Romanovsky

, Alex Yakovlev
:
Engineering Cross-Layer Fault Tolerance in Many-Core Systems. 62-70 - Szilárd Bozóki

, Gábor Koronka, András Pataricza:
Risk Assessment Based Cloudification. 71-81 - Davide Basile

, Silvano Chiaradonna, Felicita Di Giandomenico, Stefania Gnesi, Franco Mazzanti:
Stochastic Model-Based Analysis of Energy Consumption in a Rail Road Switch Heating System. 82-98 - Harald Sporer, Georg Macher

, Andrea Höller, Christian Kreiner
:
Bidirectional Crosslinking of System and Software Modeling in the Automotive Domain. 99-113 - Guthemberg Silvestre, Carla Sauvanaud

, Mohamed Kaâniche, Karama Kanoun:
Tejo: A Supervised Anomaly Detection Scheme for NewSQL Databases. 114-127 - John C. Mace, Charles Morisset, Aad P. A. van Moorsel

:
Resiliency Variance in Workflows with Choice. 128-143

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














