default search action

combined dblp search
author search
venue search
publication search

ask others

6. SERENE 2014: Budapest, Hungary

> Home > Conferences and Workshops > SERENE

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/serene/2014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/serene/2014
István Majzik, Marco Vieira:
Software Engineering for Resilient Systems - 6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014. Proceedings. Lecture Notes in Computer Science 8785, Springer 2014, ISBN 978-3-319-12240-3

Invited Talk

- view
  authority control:
- export record
  dblp key:
  - conf/serene/FlorioSB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/serene/FlorioSB14
Vincenzo De Florio, Hong Sun, Chris Blondia:
Community Resilience Engineering: Reflections and Preliminary Contributions. 1-8

Design of Resilient Systems

- view
  authority control:
- export record
  dblp key:
  - conf/serene/MalavoltaMR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/serene/MalavoltaMR14
Ivano Malavolta, Henry Muccini, V. Smrithi Rekha:
Enhancing Architecture Design Decisions Evolution with Group Decision Making Principles. 9-23
- view
  authority control:
- export record
  dblp key:
  - conf/serene/RuscioMP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/serene/RuscioMP14
Davide Di Ruscio, Ivano Malavolta, Patrizio Pelliccione:
The Role of Parts in the System Behaviour. 24-39
- view
  authority control:
- export record
  dblp key:
  - conf/serene/TurenneKGB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/serene/TurenneKGB14
Maxime Turenne, Ali Kanso, Abdelouahed Gherbi, Ronan Barrett:
Automatic Generation of Description Files for Highly Available Services. 40-54

Analysis of Resilience

- view
  authority control:
- export record
  dblp key:
  - conf/serene/LaibinisKTDLK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/serene/LaibinisKTDLK14
Linas Laibinis, Dmitry M. Klionskiy, Elena Troubitsyna, Anatoly Dorokhov, Johan Lilius, Mikhail Kupriyanov:
Modelling Resilience of Data Processing Capabilities of CPS. 55-70
- view
  authority control:
- export record
  dblp key:
  - conf/serene/HollerKPK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/serene/HollerKPK14
Andrea Höller, Nermin Kajtazovic, Christopher Preschern, Christian Kreiner:
Formal Fault Tolerance Analysis of Algorithms for Redundant Systems in Early Design Stages. 71-85
- view
  authority control:
- export record
  dblp key:
  - conf/serene/AreiasAC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/serene/AreiasAC14
Cristiana Areias, Nuno Antunes, João Carlos Cunha:
On Applying FMEA to SOAs: A Proposal and Open Challenges. 86-100

Verification and Validation

- view
  authority control:
- export record
  dblp key:
  - conf/serene/BostromHHWL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/serene/BostromHHWL14
Pontus Boström, Mikko Heikkilä, Mikko Huova, Marina Waldén, Matti Linjama:
Verification and Validation of a Pressure Control Unit for Hydraulic Systems. 101-115
- view
  authority control:
- export record
  dblp key:
  - conf/serene/LipkaPP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/serene/LipkaPP14
Richard Lipka, Marek Paska, Tomas Potuzak:
Simulation Testing and Model Checking: A Case Study Comparing these Approaches. 116-130
- view
  authority control:
- export record
  dblp key:
  - conf/serene/IliasovPR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/serene/IliasovPR14
Alexei Iliasov, Roberto Palacin, Alexander B. Romanovsky:
Advanced Modelling, Simulation and Verification for Future Traffic Regulation Optimisation. 131-138

Monitoring

- view
  authority control:
- export record
  dblp key:
  - conf/serene/LawrenceBW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/serene/LawrenceBW14
David P. Y. Lawrence, Didier Buchs, Armin Wellig:
Using Instrumentation for Quality Assessment of Resilient Software in Embedded Systems. 139-153
- view
  authority control:
- export record
  dblp key:
  - conf/serene/UnsalSAS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/serene/UnsalSAS14
Arda Ahmet Ünsal, Görkem Sazara, Baris Aktemur, Hasan Sözer:
Adaptive Domain-Specific Service Monitoring. 154-168
- view
  authority control:
- export record
  dblp key:
  - conf/serene/UrbanicsGUHK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/serene/UrbanicsGUHK14
Gábor Urbanics, László Gönczy, Balázs Urbán, János Hartwig, Imre Kocsis:
Combined Error Propagation Analysis and Runtime Event Detection in Process-Driven Systems. 169-183

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.