Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDISoLA 2018: Limassol, Cyprus
- Tiziana Margaria, Bernhard Steffen:
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III. Lecture Notes in Computer Science 11246, Springer 2018, ISBN 978-3-030-03423-8
Rigorous Engineering of Collective Adaptive Systems
- Rocco De Nicola
, Stefan Jähnichen, Martin Wirsing:
Rigorous Engineering of Collective Adaptive Systems Introduction to the 2nd Track Edition. 3-12 - Rocco De Nicola, Alessandro Maggi, Joseph Sifakis:
DReAM: Dynamic Reconfigurable Architecture Modeling. 13-31 - Rolf Hennicker, Martin Wirsing:
Dynamic Logic for Ensembles. 32-47 - Jan Sürmeli, Stefan Jähnichen, Jeff W. Sanders:
Modelling the Transition to Distributed Ledgers. 48-62 - Jeremy Pitt, Kristina Milanovic, Alexander Coupland, Tim Allan, Alun Davies, Tristan Lane, Anna Maria Malagoni, Ankur Thapar, Joseph Shalhoub:
A Collective Adaptive Socio-Technical System for Remote- and Self-supervised Exercise in the Treatment of Intermittent Claudication. 63-78 - Dhaminda B. Abeywickrama, Marco Mamei, Franco Zambonelli:
Engineering Collectives of Self-driving Vehicles: The SOTA Approach. 79-93 - Constantin Wanninger, Christian Eymüller, Alwin Hoffmann, Oliver Kosak, Wolfgang Reif:
Synthesizing Capabilities for Collective Adaptive Systems from Self-descriptive Hardware Devices Bridging the Reality Gap. 94-108 - Stefan Jähnichen, Rocco De Nicola, Martin Wirsing:
The Meaning of Adaptation: Mastering the Unforeseen? 109-117 - André Reichstaller, Thomas Gabor, Alexander Knapp:
Mutation-Based Test Suite Evolution for Self-Organizing Systems. 118-136 - Thomas Gabor, Marie Kiermeier, Andreas Sedlmeier, Bernhard Kempter, Cornel Klein, Horst Sauer, Reiner N. Schmid, Jan Wieghardt:
Adapting Quality Assurance to Adaptive Systems: The Scenario Coevolution Paradigm. 137-154 - Iulia Dragomir, Simon Iosti, Marius Bozga, Saddek Bensalem:
Designing Systems with Detection and Reconfiguration Capabilities: A Formal Approach. 155-171 - Rima Al Ali, Tomás Bures, Petr Hnetynka, Filip Krijt, Frantisek Plásil, Jirí Vinárek:
Dynamic Security Specification Through Autonomic Component Ensembles. 172-185 - Stefano Tognazzi, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Differential Equivalence Yields Network Centrality. 186-201 - Benedikt Eberhardinger, Hella Ponsar, Dominik Klumpp, Wolfgang Reif:
Measuring and Evaluating the Performance of Self-Organization Mechanisms Within Collective Adaptive Systems. 202-220 - Rui P. Cardoso, Rosaldo J. F. Rossetti, Emma Hart, David Burth Kurka, Jeremy Pitt:
Engineering Sustainable and Adaptive Systems in Dynamic and Unpredictable Environments. 221-240 - Lenz Belzner, Kyrill Schmid, Thomy Phan, Thomas Gabor, Martin Wirsing:
The Sharer's Dilemma in Collective Adaptive Systems of Self-interested Agents. 241-256 - Houssem Ben Mahfoudh, Giovanna Di Marzo Serugendo, Anthony Boulmier, Nabil Abdennadher:
Coordination Model with Reinforcement Learning for Ensuring Reliable On-Demand Services in Collective Adaptive Systems. 257-273 - Natalia Zon, Stephen Gilmore:
Data-Driven Modelling and Simulation of Urban Transportation Systems Using Carma. 274-287 - Yehia Abd Alrahman, Rocco De Nicola, Giulio Garbi:
GoAt: Attribute-Based Interaction in Google Go. 288-303 - Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis:
Four Exercises in Programming Dynamic Reconfigurable Systems: Methodology and Solution in DR-BIP. 304-320
Verification and Validation of Distributed Systems
- Cristina Seceleanu:
ISoLA 2018 - Verification and Validation of Distributed Systems: Track Introduction. 323-326 - Igor Konnov, Josef Widder:
ByMC: Byzantine Model Checker. 327-342 - Sebastiaan J. C. Joosten, Marieke Huisman:
Static Code Verification Through Process Models. 343-354 - Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu:
Effective Test Suite Design for Detecting Concurrency Control Faults in Distributed Transaction Systems. 355-374 - Mirella Martínez, Anna Isabel Esparcia-Alcázar, Tanja E. J. Vos, Pekka Aho, Joan Fons i Cors:
Towards Automated Testing of the Internet of Things: Results Obtained with the TESTAR Tool. 375-385 - Carl Bergenhem, Karl Meinke, Fabian Ström:
Quantitative Safety Analysis of a Coordinated Emergency Brake Protocol for Vehicle Platoons. 386-404
Cyber-Physical Systems Engineering
- J. Paul Gibson, Peter Gorm Larsen, Marc Pantel, John S. Fitzgerald, Jim Woodcock:
Cyber-Physical Systems Engineering: An Introduction. 407-410 - Daniel Müller, Christin Schumacher, Felix Zeidler:
Intelligent Adaption Process in Cyber-Physical Production Systems. 411-428 - Renan Leroux, Marc Pantel, Ileana Ober, Jean-Michel Bruel:
Model-Based Systems Engineering for Systems Simulation. 429-448 - Hardi Hungar:
Scenario-Based Validation of Automated Driving Systems. 449-460 - Christian F. J. König, Gerd Meisl, Natalia Balcu, Benjamin Vosseler, Henrik Hörmann, Jos Höll, Victor Fäßler:
Engineering of Cyber-Physical Systems in the Automotive Context: Case Study of a Range Prediction Assistant. 461-476 - Jörg Brauer, Oliver Möller, Jan Peleska:
Testing Avionics Software: Is FMI up to the Task? 477-487 - Luís Diogo Couto, Stylianos Basagiannis, El Hassan Ridouane, Erica Zavaglio, Pasquale Antonante, Hajer Saada, Sara Falleni:
Lessons Learned Using FMI Co-simulation for Model-Based Design of Cyber Physical Systems. 488-503 - Cláudio Gomes, Casper Thule, Julien Deantoni, Peter Gorm Larsen, Hans Vangheluwe:
Co-simulation: The Past, Future, and Open Challenges. 504-520
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.
last updated on 2024-07-17 21:29 CEST 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:
