Abstract is missing.
- Empirical Assessment of ResilienceAndrás Pataricza, Imre Kocsis, Ágnes Salánki, László Gönczy. 1-16 [doi]
- Security-Informed Safety: If It's Not Secure, It's Not SafeRobin E. Bloomfield, Kateryna Netkachova, Robert J. Stroud. 17-32 [doi]
- Engineering a Platform for Mission Planning of Autonomous and Resilient QuadrotorsDavide Di Ruscio, Ivano Malavolta, Patrizio Pelliccione. 33-47 [doi]
- Towards Agile Development of Critical SoftwareJanusz Górski, Katarzyna Lukasiewicz. 48-55 [doi]
- Supporting the Evolution of Free and Open Source Software DistributionsDavide Di Ruscio, Patrizio Pelliccione. 56-63 [doi]
- Optimizing Verification of Structurally Evolving Algebraic Petri NetsYasir Imtiaz Khan. 64-78 [doi]
- A Case Study in Refinement-Based Modelling of a Resilient Control SystemYuliya Prokhorova, Elena Troubitsyna, Linas Laibinis. 79-93 [doi]
- Synthesis of Resilient ChoreographiesMarco Autili, Amleto Di Salle, Massimo Tivoli. 94-108 [doi]
- Formal Development and Quantitative Assessment of a Resilient Multi-robotic SystemAnton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis. 109-124 [doi]
- The SafeCap Project on Railway Safety Verification and Capacity SimulationAlexei Iliasov, Ilya Lopatkin, Alexander Romanovsky. 125-132 [doi]
- Modeling of Autonomous Vehicle Operation in Intelligent Transportation SystemsMark Woodard, Sahra Sedigh. 133-140 [doi]
- Preliminary Contributions Towards Auto-resilienceVincenzo De Florio. 141-155 [doi]
- A New Approach to Software ReliabilityDmitry A. Maevsky. 156-168 [doi]
- Static Analysis Approach for Defect Detection in Multithreaded C/C++ ProgramsMikhail J. Moiseev. 169-183 [doi]
- Stochastic Model-Based Analysis of Railway Operation to Support Traffic PlanningFelicita Di Giandomenico, Alessandro Fantechi, Stefania Gnesi, Massimiliano Leone Itria. 184-198 [doi]