![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
11th ISoLA 2022: Rhodes, Greece - Volume 3
- Tiziana Margaria
, Bernhard Steffen
:
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III. Lecture Notes in Computer Science 13703, Springer 2022, ISBN 978-3-031-19758-1
Rigorous Engineering of Collective Adaptive Systems
- Martin Wirsing, Rocco De Nicola, Stefan Jähnichen:
Rigorous Engineering of Collective Adaptive Systems Introduction to the 4th Track Edition. 3-12 - Marius Bozga
, Joseph Sifakis
:
Correct by Design Coordination of Autonomous Driving Systems. 13-29 - Francesca Cairoli, Nicola Paoletti
, Luca Bortolussi:
Neural Predictive Monitoring for Collective Adaptive Systems. 30-46 - Jaehun Lee, Kyungmin Bae
, Peter Csaba Ölveczky
:
An Extension of HybridSynchAADL and Its Application to Collaborating Autonomous UAVs. 47-64 - Peter Fettke
, Wolfgang Reisig
:
Discrete Models of Continuous Behavior of Collective Adaptive Systems. 65-81 - Rocco De Nicola, Luca Di Stefano
, Omar Inverso, Serenella Valiani:
Modelling Flocks of Birds from the Bottom Up. 82-96 - Andreas Brandstätter
, Scott A. Smolka, Scott D. Stoller
, Ashish Tiwari
, Radu Grosu
:
Towards Drone Flocking Using Relative Distance Measurements. 97-109 - Rolf Hennicker, Alexander Knapp, Martin Wirsing:
Epistemic Ensembles. 110-126 - Yifeng Chen, Jeff W. Sanders:
A Modal Approach to Consciousness of Agents. 127-141 - Davide Basile
, Maurice H. ter Beek
, Vincenzo Ciancia
:
An Experimental Toolchain for Strategy Synthesis with Spatial Properties. 142-164 - Stefania Monica, Federico Bergenti, Franco Zambonelli:
Toward a Kinetic Framework to Model the Collective Dynamics of Multi-agent Systems. 165-180 - Julia Klein
, Tatjana Petrov
:
Understanding Social Feedback in Biological Collectives with Smoothed Model Checking. 181-198 - Alexander Leguizamon-Robayo, Max Tschaikowski
:
Efficient Estimation of Agent Networks. 199-214 - Tomás Bures
, Petr Hnetynka
, Martin Krulis, Frantisek Plásil
, Danylo Khalyeyev
, Sebastian Hahner
, Stephan Seifermann, Maximilian Walter
, Robert Heinrich:
Attuning Adaptation Rules via a Rule-Specific Neural Network. 215-230 - Elvin Alberts
, Ilias Gerostathopoulos
:
Measuring Convergence Inertia: Online Learning in Self-adaptive Systems with Context Shifts. 231-248 - Fabian Ritz
, Thomy Phan
, Andreas Sedlmeier, Philipp Altmann
, Jan Wieghardt, Reiner N. Schmid, Horst Sauer, Cornel Klein, Claudia Linnhoff-Popien, Thomas Gabor:
Capturing Dependencies Within Machine Learning via a Formal Process Model. 249-265 - Maurizio Murgia
, Riccardo Pinciroli
, Catia Trubiani, Emilio Tuosto:
On Model-Based Performance Analysis of Collective Adaptive Systems. 266-282 - Lorenzo Bettini
, Khalid Bourr
, Rosario Pugliese
, Francesco Tiezzi
:
Programming Multi-robot Systems with X-KLAIM. 283-300 - Giorgio Audrito
, Ferruccio Damiani
, Gianluca Torta
:
Bringing Aggregate Programming Towards the Cloud. 301-317 - Michal Töpfer
, Milad Abdullah
, Tomás Bures
, Petr Hnetynka
, Martin Krulis:
Ensemble-Based Modeling Abstractions for Modern Self-optimizing Systems. 318-334 - Massimo Bartoletti
, James Hsin-yu Chiang
, Tommi Junttila, Alberto Lluch-Lafuente
, Massimiliano Mirelli
, Andrea Vandin
:
Formal Analysis of Lending Pools in Decentralized Finance. 335-355 - Benjamin Lion, Farhad Arbab, Carolyn L. Talcott:
A Rewriting Framework for Interacting Cyber-Physical Agents. 356-372 - Yehia Abd Alrahman
, Shaun Azzopardi
, Nir Piterman:
Model Checking Reconfigurable Interacting Systems. 373-389
Formal Methods Meet Machine Learning
- Kim G. Larsen
, Axel Legay, Gerrit Nolte, Maximilian Schlüter, Mariëlle Stoelinga
, Bernhard Steffen:
Formal Methods Meet Machine Learning (F3ML). 393-405 - Arnd Hartmanns
, Michaela Klauck
:
The Modest State of Learning, Sampling, and Verifying Strategies. 406-432 - Kim Guldstrand Larsen
, Axel Legay
, Marius Mikucionis
, Danny Bøgsted Poulsen
:
Importance Splitting in Uppaal. 433-447 - Sami Lazreg, Maxime Cordy, Axel Legay:
Verification of Variability-Intensive Stochastic Systems with Statistical Model Checking. 448-471
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.