ISoLA (3)

Keyphrases

Publications

2022

Kim G. Larsen, Axel Legay, Gerrit Nolte, Maximilian Schlüter, Mariëlle Stoelinga, Bernhard Steffen
Formal Methods Meet Machine Learning (F3ML). ISoLA (3) (2022)
Giorgio Audrito, Ferruccio Damiani, Gianluca Torta
Bringing Aggregate Programming Towards the Cloud. ISoLA (3) (2022)
Sami Lazreg, Maxime Cordy, Axel Legay
Verification of Variability-Intensive Stochastic Systems with Statistical Model Checking. ISoLA (3) (2022)
Andreas Brandstätter, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari, Radu Grosu
Towards Drone Flocking Using Relative Distance Measurements. ISoLA (3) (2022)
Julia Klein, Tatjana Petrov
Understanding Social Feedback in Biological Collectives with Smoothed Model Checking. ISoLA (3) (2022)
Elvin Alberts, Ilias Gerostathopoulos
Measuring Convergence Inertia: Online Learning in Self-adaptive Systems with Context Shifts. ISoLA (3) (2022)
Maurizio Murgia, Riccardo Pinciroli, Catia Trubiani, Emilio Tuosto
On Model-Based Performance Analysis of Collective Adaptive Systems. ISoLA (3) (2022)
Benjamin Lion, Farhad Arbab, Carolyn L. Talcott
A Rewriting Framework for Interacting Cyber-Physical Agents. ISoLA (3) (2022)
Arnd Hartmanns, Michaela Klauck
The Modest State of Learning, Sampling, and Verifying Strategies. ISoLA (3) (2022)
Rocco De Nicola, Luca Di Stefano, Omar Inverso, Serenella Valiani
Modelling Flocks of Birds from the Bottom Up. ISoLA (3) (2022)
Davide Basile, Maurice H. ter Beek, Vincenzo Ciancia
An Experimental Toolchain for Strategy Synthesis with Spatial Properties. ISoLA (3) (2022)
Lorenzo Bettini, Khalid Bourr, Rosario Pugliese, Francesco Tiezzi
Programming Multi-robot Systems with X-KLAIM. ISoLA (3) (2022)
Jaehun Lee, Kyungmin Bae, Peter Csaba Ölveczky
An Extension of HybridSynchAADL and Its Application to Collaborating Autonomous UAVs. ISoLA (3) (2022)
Yifeng Chen, Jeff W. Sanders
A Modal Approach to Consciousness of Agents. ISoLA (3) (2022)
Martin Wirsing, Rocco De Nicola, Stefan Jähnichen
Track Edition. ISoLA (3) (2022)
Rolf Hennicker, Alexander Knapp, Martin Wirsing
Epistemic Ensembles. ISoLA (3) (2022)
Massimo Bartoletti, James Hsin-yu Chiang, Tommi Junttila, Alberto Lluch-Lafuente, Massimiliano Mirelli, Andrea Vandin
Formal Analysis of Lending Pools in Decentralized Finance. ISoLA (3) (2022)
Yehia Abd Alrahman, Shaun Azzopardi, Nir Piterman
Model Checking Reconfigurable Interacting Systems. ISoLA (3) (2022)
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. ISoLA (3) (2022)
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. ISoLA (3) (2022)
Peter Fettke, Wolfgang Reisig
Discrete Models of Continuous Behavior of Collective Adaptive Systems. ISoLA (3) (2022)
Marius Bozga, Joseph Sifakis
Correct by Design Coordination of Autonomous Driving Systems. ISoLA (3) (2022)
Michal Töpfer, Milad Abdullah, Tomás Bures, Petr Hnetynka, Martin Krulis
Ensemble-Based Modeling Abstractions for Modern Self-optimizing Systems. ISoLA (3) (2022)
Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen
Importance Splitting in Uppaal. ISoLA (3) (2022)
Stefania Monica, Federico Bergenti, Franco Zambonelli
Toward a Kinetic Framework to Model the Collective Dynamics of Multi-agent Systems. ISoLA (3) (2022)
Alexander Leguizamon-Robayo, Max Tschaikowski
Efficient Estimation of Agent Networks. ISoLA (3) (2022)
Francesca Cairoli, Nicola Paoletti, Luca Bortolussi
Neural Predictive Monitoring for Collective Adaptive Systems. ISoLA (3) (2022)

volume 13703, 2022

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 ISoLA (3) 13703 (2022)

2020

volume 12478, 2020

Leveraging Applications of Formal Methods, Verification and Validation: Applications - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part III ISoLA (3) 12478 (2020)