Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

5. SERENE 2013: Kiev, Ukraine

> 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/2013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/serene/2013
Anatoliy Gorbenko, Alexander B. Romanovsky, Vyacheslav S. Kharchenko:
Software Engineering for Resilient Systems, 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings. Lecture Notes in Computer Science 8166, Springer 2013, ISBN 978-3-642-40893-9

Keynote Talks

- view
  authority control:
- export record
  dblp key:
  - conf/serene/PatariczaKSG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/serene/PatariczaKSG13
András Pataricza, Imre Kocsis, Ágnes Salánki, László Gönczy:
Empirical Assessment of Resilience. 1-16
- view
  authority control:
- export record
  dblp key:
  - conf/serene/BloomfieldNS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/serene/BloomfieldNS13
Robin E. Bloomfield, Kateryna Netkachova, Robert J. Stroud:
Security-Informed Safety: If It's Not Secure, It's Not Safe. 17-32

Resilient Software and Design

- view
  authority control:
- export record
  dblp key:
  - conf/serene/RuscioMP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/serene/RuscioMP13
Davide Di Ruscio, Ivano Malavolta, Patrizio Pelliccione:
Engineering a Platform for Mission Planning of Autonomous and Resilient Quadrotors. 33-47
- view
  authority control:
- export record
  dblp key:
  - conf/serene/GorskiL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/serene/GorskiL13
Janusz Górski, Katarzyna Lukasiewicz:
Towards Agile Development of Critical Software. 48-55
- view
  authority control:
- export record
  dblp key:
  - conf/serene/RuscioP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/serene/RuscioP13
Davide Di Ruscio, Patrizio Pelliccione:
Supporting the Evolution of Free and Open Source Software Distributions. 56-63

Rigorous Reasoning

- view
  authority control:
- export record
  dblp key:
  - conf/serene/Khan13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/serene/Khan13
Yasir Imtiaz Khan:
Optimizing Verification of Structurally Evolving Algebraic Petri Nets. 64-78
- view
  authority control:
- export record
  dblp key:
  - conf/serene/ProkhorovaTL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/serene/ProkhorovaTL13
Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis:
A Case Study in Refinement-Based Modelling of a Resilient Control System. 79-93
- view
  authority control:
- export record
  dblp key:
  - conf/serene/AutiliST13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/serene/AutiliST13
Marco Autili, Amleto Di Salle, Massimo Tivoli:
Synthesis of Resilient Choreographies. 94-108

Applications

- view
  authority control:
- export record
  dblp key:
  - conf/serene/TarasyukPTL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/serene/TarasyukPTL13
Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis:
Formal Development and Quantitative Assessment of a Resilient Multi-robotic System. 109-124
- view
  authority control:
- export record
  dblp key:
  - conf/serene/IliasovLR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/serene/IliasovLR13
Alexei Iliasov, Ilya Lopatkin, Alexander B. Romanovsky:
The SafeCap Project on Railway Safety Verification and Capacity Simulation. 125-132
- view
  authority control:
- export record
  dblp key:
  - conf/serene/WoodardS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/serene/WoodardS13
Mark Woodard, Sahra Sedigh:
Modeling of Autonomous Vehicle Operation in Intelligent Transportation Systems. 133-140

Concepts

- view
  authority control:
- export record
  dblp key:
  - conf/serene/Florio13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/serene/Florio13
Vincenzo De Florio:
Preliminary Contributions Towards Auto-resilience. 141-155
- view
  authority control:
- export record
  dblp key:
  - conf/serene/Maevsky13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/serene/Maevsky13
Dmitry A. Maevsky:
A New Approach to Software Reliability. 156-168

Analysis

- view
  authority control:
- export record
  dblp key:
  - conf/serene/Moiseev13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/serene/Moiseev13
Mikhail J. Moiseev:
Static Analysis Approach for Defect Detection in Multithreaded C/C++ Programs. 169-183
- view
  authority control:
- export record
  dblp key:
  - conf/serene/GiandomenicoFGI13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/serene/GiandomenicoFGI13
Felicita Di Giandomenico, Alessandro Fantechi, Stefania Gnesi, Massimiliano Leone Itria:
Stochastic Model-Based Analysis of Railway Operation to Support Traffic Planning. 184-198

a service of

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.