Abstract is missing.
- Automating Software Re-engineering - Introduction to the ISoLA 2020 TrackSerge Demeyer, Reiner Hähnle, Heiko Mantel. 3-8 [doi]
- Formal Verification of Developer Tests: A Research Agenda Inspired by Mutation TestingSerge Demeyer, Ali Parsai, Sten Vercammen, Brent van Bladel, Mehrdad Abdi. 9-24 [doi]
- Modular Regression Verification for Reactive SystemsAlexander Weigl, Mattias Ulbrich, Daniel Lentzsch. 25-43 [doi]
- Finding Idioms in Source Code Using Subtree Counting TechniquesDmitry Orlov. 44-54 [doi]
- Parametric Timed BisimulationMalte Lochau, Lars Luthmann, Hendrik Göttmann, Isabelle Bacher. 55-71 [doi]
- A Unifying Framework for Dynamic Monitoring and a Taxonomy of OptimizationsMarie-Christine Jakobs, Heiko Mantel. 72-92 [doi]
- Thirty-Seven Years of Relational Hoare Logic: Remarks on Its Principles and HistoryDavid A. Naumann. 93-116 [doi]
- Safer ParallelizationReiner Hähnle, Asmae Heydari Tabar, Arya Mazaheri, Mohammad Norouzi 0003, Dominic Steinhöfel, Felix Wolf 0001. 117-137 [doi]
- Refactoring and Active Object LanguagesVolker Stolz, Violet Ka I Pun, Rohit Gheyi. 138-158 [doi]
- Rigorous Engineering of Collective Adaptive Systems Introduction to the 3rd Track EditionMartin Wirsing, Rocco De Nicola, Stefan Jähnichen. 161-170 [doi]
- Composition of Component Models - A Key to Construct Big SystemsWolfgang Reisig. 171-188 [doi]
- Degrees of Autonomy in Coordinating Collectives of Self-Driving VehiclesStefano Mariani 0001, Franco Zambonelli. 189-204 [doi]
- Engineering Semantic Self-composition of Services Through Tuple-Based CoordinationAshley Caselli, Giovanni Ciatto, Giovanna Di Marzo Serugendo, Andrea Omicini. 205-223 [doi]
- A Dynamic Logic for Systems with Predicate-Based CommunicationRolf Hennicker, Martin Wirsing. 224-242 [doi]
- Abstractions for Collective Adaptive SystemsOmar Inverso, Catia Trubiani, Emilio Tuosto. 243-260 [doi]
- Verifying AbC Specifications via EmulationRocco De Nicola, Tan Duong, Omar Inverso. 261-279 [doi]
- Adaptive Security PoliciesFlemming Nielson, René Rydhof Hansen, Hanne Riis Nielson. 280-294 [doi]
- Capturing Dynamicity and Uncertainty in Security and Trust via Situational PatternsTomás Bures, Petr Hnetynka, Robert Heinrich, Stephan Seifermann, Maximilian Walter. 295-310 [doi]
- Guaranteeing Type Consistency in Collective Adaptive SystemsJonas Schürmann, Tim Tegeler, Bernhard Steffen. 311-328 [doi]
- Epistemic Logic in Ensemble SpecificationJan Sürmeli. 329-343 [doi]
- FScaFi : A Core Calculus for Collective Adaptive Systems ProgrammingRoberto Casadei, Mirko Viroli, Giorgio Audrito, Ferruccio Damiani. 344-360 [doi]
- Writing Robotics Applications with X-KlaimLorenzo Bettini, Khalid Bourr, Rosario Pugliese, Francesco Tiezzi. 361-379 [doi]
- Measuring Adaptability and Reliability of Large Scale SystemsValentina Castiglioni, Michele Loreti, Simone Tini. 380-396 [doi]
- Centrality-Preserving Exact Reductions of Multi-Layer NetworksTatjana Petrov, Stefano Tognazzi. 397-415 [doi]
- Towards Dynamic Dependable Systems Through Evidence-Based Continuous CertificationRasha Faqeh, Christof Fetzer, Holger Hermanns, Jörg Hoffmann 0001, Michaela Klauck, Maximilian A. Köhl, Marcel Steinmetz, Christoph Weidenbach. 416-439 [doi]
- Forming Ensembles at Runtime: A Machine Learning ApproachTomás Bures, Ilias Gerostathopoulos, Petr Hnetynka, Jan Pacovsky. 440-456 [doi]
- Synthesizing Control for a System with Black Box Environment, Based on Deep LearningSimon Iosti, Doron Peled, Khen Aharon, Saddek Bensalem, Yoav Goldberg. 457-472 [doi]
- A Formal Model for Reasoning About the Ideal Fitness in Evolutionary ProcessesThomas Gabor, Claudia Linnhoff-Popien. 473-490 [doi]
- A Case Study of Policy Synthesis for Swarm RoboticsPaul Piho, Jane Hillston. 491-506 [doi]
- Maple-Swarm: Programming Collective Behavior for Ensembles by Extending HTN-PlanningOliver Kosak, Lukas Huhn, Felix Bohn, Constantin Wanninger, Alwin Hoffmann, Wolfgang Reif. 507-524 [doi]
- Swarm and Collective Capabilities for Multipotent Robot EnsemblesOliver Kosak, Felix Bohn, Lennart Eing, Dennis Rall, Constantin Wanninger, Alwin Hoffmann, Wolfgang Reif. 525-540 [doi]