Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID11th 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
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-04-26 18:34 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:
