Abstract is missing.
- Rigorous Engineering of Collective Adaptive Systems Introduction to the 2nd Track EditionRocco De Nicola, Stefan Jähnichen, Martin Wirsing. 3-12 [doi]
- DReAM: Dynamic Reconfigurable Architecture ModelingRocco De Nicola, Alessandro Maggi, Joseph Sifakis. 13-31 [doi]
- Dynamic Logic for EnsemblesRolf Hennicker, Martin Wirsing. 32-47 [doi]
- Modelling the Transition to Distributed LedgersJan Sürmeli, Stefan Jähnichen, Jeff W. Sanders. 48-62 [doi]
- A Collective Adaptive Socio-Technical System for Remote- and Self-supervised Exercise in the Treatment of Intermittent ClaudicationJeremy Pitt, Kristina Milanovic, Alexander Coupland, Tim Allan, Alun Davies, Tristan Lane, Anna Maria Malagoni, Ankur Thapar, Joseph Shalhoub. 63-78 [doi]
- Engineering Collectives of Self-driving Vehicles: The SOTA ApproachDhaminda B. Abeywickrama, Marco Mamei, Franco Zambonelli. 79-93 [doi]
- Synthesizing Capabilities for Collective Adaptive Systems from Self-descriptive Hardware Devices Bridging the Reality GapConstantin Wanninger, Christian Eymüller, Alwin Hoffmann, Oliver Kosak, Wolfgang Reif. 94-108 [doi]
- The Meaning of Adaptation: Mastering the Unforeseen?Stefan Jähnichen, Rocco De Nicola, Martin Wirsing. 109-117 [doi]
- Mutation-Based Test Suite Evolution for Self-Organizing SystemsAndré Reichstaller, Thomas Gabor, Alexander Knapp. 118-136 [doi]
- Adapting Quality Assurance to Adaptive Systems: The Scenario Coevolution ParadigmThomas Gabor, Marie Kiermeier, Andreas Sedlmeier, Bernhard Kempter, Cornel Klein, Horst Sauer, Reiner N. Schmid, Jan Wieghardt. 137-154 [doi]
- Designing Systems with Detection and Reconfiguration Capabilities: A Formal ApproachIulia Dragomir, Simon Iosti, Marius Bozga, Saddek Bensalem. 155-171 [doi]
- Dynamic Security Specification Through Autonomic Component EnsemblesRima Al Ali, Tomás Bures, Petr Hnetynka, Filip Krijt, Frantisek Plasil, Jirí Vinárek. 172-185 [doi]
- Differential Equivalence Yields Network CentralityStefano Tognazzi, Mirco Tribastone, Max Tschaikowski, Andrea Vandin. 186-201 [doi]
- Measuring and Evaluating the Performance of Self-Organization Mechanisms Within Collective Adaptive SystemsBenedikt Eberhardinger, Hella Ponsar, Dominik Klumpp, Wolfgang Reif. 202-220 [doi]
- Engineering Sustainable and Adaptive Systems in Dynamic and Unpredictable EnvironmentsRui P. Cardoso, Rosaldo J. F. Rossetti, Emma Hart, David Burth Kurka, Jeremy Pitt. 221-240 [doi]
- The Sharer's Dilemma in Collective Adaptive Systems of Self-interested AgentsLenz Belzner, Kyrill Schmid, Thomy Phan, Thomas Gabor, Martin Wirsing. 241-256 [doi]
- Coordination Model with Reinforcement Learning for Ensuring Reliable On-Demand Services in Collective Adaptive SystemsHoussem Ben Mahfoudh, Giovanna Di Marzo Serugendo, Anthony Boulmier, Nabil Abdennadher. 257-273 [doi]
- Data-Driven Modelling and Simulation of Urban Transportation Systems Using CarmaNatalia Zon, Stephen Gilmore. 274-287 [doi]
- At: Attribute-Based Interaction in Google GoYehia Abd Alrahman, Rocco De Nicola, Giulio Garbi. 288-303 [doi]
- Four Exercises in Programming Dynamic Reconfigurable Systems: Methodology and Solution in DR-BIPRim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis. 304-320 [doi]
- ISoLA 2018 - Verification and Validation of Distributed Systems: Track IntroductionCristina Seceleanu. 323-326 [doi]
- ByMC: Byzantine Model CheckerIgor Konnov 0001, Josef Widder. 327-342 [doi]
- Static Code Verification Through Process ModelsSebastiaan J. C. Joosten, Marieke Huisman. 343-354 [doi]
- Effective Test Suite Design for Detecting Concurrency Control Faults in Distributed Transaction SystemsSimin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu. 355-374 [doi]
- Towards Automated Testing of the Internet of Things: Results Obtained with the TESTAR ToolMirella Martínez, Anna Isabel Esparcia-Alcázar, Tanja E. J. Vos, Pekka Aho, Joan Fons i Cors. 375-385 [doi]
- Quantitative Safety Analysis of a Coordinated Emergency Brake Protocol for Vehicle PlatoonsCarl Bergenhem, Karl Meinke, Fabian Ström. 386-404 [doi]
- Cyber-Physical Systems Engineering: An IntroductionJ. Paul Gibson, Peter Gorm Larsen, Marc Pantel, John S. Fitzgerald, Jim Woodcock. 407-410 [doi]
- Intelligent Adaption Process in Cyber-Physical Production SystemsDaniel Müller, Christin Schumacher, Felix Zeidler. 411-428 [doi]
- Model-Based Systems Engineering for Systems SimulationRenan Leroux, Marc Pantel, Ileana Ober, Jean-Michel Bruel. 429-448 [doi]
- Scenario-Based Validation of Automated Driving SystemsHardi Hungar. 449-460 [doi]
- Engineering of Cyber-Physical Systems in the Automotive Context: Case Study of a Range Prediction AssistantChristian F. J. König, Gerd Meisl, Natalia Balcu, Benjamin Vosseler, Henrik Hörmann, Jos Höll, Victor Fäßler. 461-476 [doi]
- Testing Avionics Software: Is FMI up to the Task?Jörg Brauer, Oliver Möller, Jan Peleska 0001. 477-487 [doi]
- Lessons Learned Using FMI Co-simulation for Model-Based Design of Cyber Physical SystemsLuís Diogo Couto, Stylianos Basagiannis, El Hassan Ridouane, Erica Zavaglio, Pasquale Antonante, Hajer Saada, Sara Falleni. 488-503 [doi]
- Co-simulation: The Past, Future, and Open ChallengesCláudio Gomes, Casper Thule, Julien DeAntoni, Peter Gorm Larsen, Hans Vangheluwe. 504-520 [doi]