default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDISoLA 2020: Rhodes, Greece
- Tiziana Margaria
, Bernhard Steffen:
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part II. Lecture Notes in Computer Science 12477, Springer 2020, ISBN 978-3-030-61469-0
Automating Software Re-Engineering
- Serge Demeyer, Reiner Hähnle, Heiko Mantel:
Automating Software Re-engineering - Introduction to the ISoLA 2020 Track. 3-8 - Serge Demeyer, Ali Parsai, Sten Vercammen, Brent van Bladel, Mehrdad Abdi:
Formal Verification of Developer Tests: A Research Agenda Inspired by Mutation Testing. 9-24 - Alexander Weigl, Mattias Ulbrich, Daniel Lentzsch:
Modular Regression Verification for Reactive Systems. 25-43 - Dmitry Orlov:
Finding Idioms in Source Code Using Subtree Counting Techniques. 44-54 - Malte Lochau, Lars Luthmann, Hendrik Göttmann, Isabelle Bacher:
Parametric Timed Bisimulation. 55-71 - Marie-Christine Jakobs, Heiko Mantel:
A Unifying Framework for Dynamic Monitoring and a Taxonomy of Optimizations. 72-92 - David A. Naumann:
Thirty-Seven Years of Relational Hoare Logic: Remarks on Its Principles and History. 93-116 - Reiner Hähnle, Asmae Heydari Tabar, Arya Mazaheri, Mohammad Norouzi, Dominic Steinhöfel, Felix Wolf:
Safer Parallelization. 117-137 - Volker Stolz, Violet Ka I Pun, Rohit Gheyi:
Refactoring and Active Object Languages. 138-158
Rigorous Engineering of Collective Adaptive Systems
- Martin Wirsing, Rocco De Nicola, Stefan Jähnichen:
Rigorous Engineering of Collective Adaptive Systems Introduction to the 3rd Track Edition. 161-170 - Wolfgang Reisig:
Composition of Component Models - A Key to Construct Big Systems. 171-188 - Stefano Mariani, Franco Zambonelli:
Degrees of Autonomy in Coordinating Collectives of Self-Driving Vehicles. 189-204 - Ashley Caselli, Giovanni Ciatto, Giovanna Di Marzo Serugendo, Andrea Omicini:
Engineering Semantic Self-composition of Services Through Tuple-Based Coordination. 205-223 - Rolf Hennicker, Martin Wirsing:
A Dynamic Logic for Systems with Predicate-Based Communication. 224-242 - Omar Inverso, Catia Trubiani, Emilio Tuosto:
Abstractions for Collective Adaptive Systems. 243-260 - Rocco De Nicola, Tan Duong, Omar Inverso:
Verifying AbC Specifications via Emulation. 261-279 - Flemming Nielson, René Rydhof Hansen, Hanne Riis Nielson:
Adaptive Security Policies. 280-294 - Tomás Bures, Petr Hnetynka, Robert Heinrich, Stephan Seifermann, Maximilian Walter:
Capturing Dynamicity and Uncertainty in Security and Trust via Situational Patterns. 295-310 - Jonas Schürmann, Tim Tegeler, Bernhard Steffen:
Guaranteeing Type Consistency in Collective Adaptive Systems. 311-328 - Jan Sürmeli:
Epistemic Logic in Ensemble Specification. 329-343 - Roberto Casadei, Mirko Viroli, Giorgio Audrito, Ferruccio Damiani:
FScaFi : A Core Calculus for Collective Adaptive Systems Programming. 344-360 - Lorenzo Bettini, Khalid Bourr, Rosario Pugliese, Francesco Tiezzi:
Writing Robotics Applications with X-Klaim. 361-379 - Valentina Castiglioni, Michele Loreti, Simone Tini:
Measuring Adaptability and Reliability of Large Scale Systems. 380-396 - Tatjana Petrov, Stefano Tognazzi:
Centrality-Preserving Exact Reductions of Multi-Layer Networks. 397-415 - Rasha Faqeh, Christof Fetzer, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Maximilian A. Köhl, Marcel Steinmetz, Christoph Weidenbach:
Towards Dynamic Dependable Systems Through Evidence-Based Continuous Certification. 416-439 - Tomás Bures, Ilias Gerostathopoulos, Petr Hnetynka, Jan Pacovsky:
Forming Ensembles at Runtime: A Machine Learning Approach. 440-456 - Simon Iosti, Doron Peled, Khen Aharon, Saddek Bensalem, Yoav Goldberg:
Synthesizing Control for a System with Black Box Environment, Based on Deep Learning. 457-472 - Thomas Gabor, Claudia Linnhoff-Popien:
A Formal Model for Reasoning About the Ideal Fitness in Evolutionary Processes. 473-490 - Paul Piho, Jane Hillston:
A Case Study of Policy Synthesis for Swarm Robotics. 491-506 - Oliver Kosak, Lukas Huhn, Felix Bohn, Constantin Wanninger, Alwin Hoffmann, Wolfgang Reif:
Maple-Swarm: Programming Collective Behavior for Ensembles by Extending HTN-Planning. 507-524 - Oliver Kosak, Felix Bohn, Lennart Eing, Dennis Rall, Constantin Wanninger, Alwin Hoffmann, Wolfgang Reif:
Swarm and Collective Capabilities for Multipotent Robot Ensembles. 525-540
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.
last updated on 2025-01-10 18:20 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
