International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
ISoLA
C
CORE rank
CORE rank (raw)
C
Fields of research
Software Engineering
Papers indexed
1,121
2004–2024
Papers per year
2004135 peak2024
Most published authors
ISoLA papers
1,121 records sourced from DBLP. Search titles, filter by year, sort by recency.
| Year | Title | Authors |
|---|---|---|
| 2022 | Using Digital Twins in the Development of Complex Dependable Real-Time Embedded Systems. | Xiaotian Dai, Shuai Zhao, Benjamin Lesage, Iain Bate |
| 2022 | On Formal Choreographic Modelling: A Case Study in EU Business Processes. | Alex Coto, Franco Barbanera, Ivan Lanese, Davide Rossi, Emilio Tuosto |
| 2022 | Abstraction in Deductive Verification: Model Fields and Model Methods. | David R. Cok, Gary T. Leavens |
| 2022 | A Modal Approach to Consciousness of Agents. | Yifeng Chen, Jeff W. Sanders |
| 2022 | Model-Driven Engineering in Digital Thread Platforms: A Practical Use Case and Future Challenges. | Hafiz Ahmad Awais Chaudhary, Ivan Guevara, Jobish John, Amandeep Singh, Amrita Ghosal, Dirk Pesch, Tiziana Margaria |
| 2022 | Automatic Generation of Domain-Aware Control Plane Logic for Software Defined Railway Communication Networks. | Roberto Canonico, Francesco Flammini, Stefano Marrone, Roberto Nardone, Valeria Vittorini |
| 2022 | Neural Predictive Monitoring for Collective Adaptive Systems. | Francesca Cairoli, Nicola Paoletti, Luca Bortolussi |
| 2022 | On Binding in the Spatial Logics for Closure Spaces. | Laura Bussi, Vincenzo Ciancia, Fabio Gadducci, Diego Latella, Mieke Massink |
| 2022 | Attuning Adaptation Rules via a Rule-Specific Neural Network. | Toms Bures, Petr Hnetynka, Martin Krulis, Frantisek Plsil, Danylo Khalyeyev, Sebastian Hahner, Stephan Seifermann, Maximilian Walter, Robert Heinrich |
| 2022 | Digital Twins for Organ Preservation Devices. | Aaron John Buhagiar, Leo Freitas, William E. Scott III, Peter Gorm Larsen |
| 2022 | Software System Documentation: Coherent Description of Software System Properties. | Manfred Broy |
| 2022 | Towards Drone Flocking Using Relative Distance Measurements. | Andreas Brandsttter, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari, Radu Grosu |
| 2022 | Correct by Design Coordination of Autonomous Driving Systems. | Marius Bozga, Joseph Sifakis |
| 2022 | Integrating Wearable and Camera Based Monitoring in the Digital Twin for Safety Assessment in the Industry 4.0 Era. | Michele Boldo, Nicola Bombieri, Stefano Centomo, Mirco De Marchi, Florenc Demrozi, Graziano Pravadelli, Davide Quaglia, Cristian Turetta |
| 2022 | Data-Driven Reachability Analysis of Digital Twin FMI Models. | Sergiy Bogomolov, John S. Fitzgerald, Sadegh Soudjani, Paulius Stankaitis |
| 2022 | An Efficient VCGen-Based Modular Verification of Relational Properties. | Lionel Blatter, Nikolai Kosmatov, Virgile Prevosto, Pascale Le Gall |
| 2022 | Programming Multi-robot Systems with X-KLAIM. | Lorenzo Bettini, Khalid Bourr, Rosario Pugliese, Francesco Tiezzi |
| 2022 | Verified Software Units for Simple DFA Modules and Objects in C. | Lennart Beringer |
| 2022 | Safe Policy Improvement in Constrained Markov Decision Processes. | Luigi Berducci, Radu Grosu |
| 2022 | X-by-Construction Meets Runtime Verification. | Maurice H. ter Beek, Loek Cleophas, Martin Leucker, Ina Schaefer |
| 2022 | Towards a Usable and Sustainable Deductive Verification Tool. | Bernhard Beckert, Richard Bubel, Reiner Hhnle, Mattias Ulbrich |
| 2022 | An Experimental Toolchain for Strategy Synthesis with Spatial Properties. | Davide Basile, Maurice H. ter Beek, Vincenzo Ciancia |
| 2022 | Formal Analysis of Lending Pools in Decentralized Finance. | Massimo Bartoletti, James Hsin-yu Chiang, Tommi A. Junttila, Alberto Lluch-Lafuente, Massimiliano Mirelli, Andrea Vandin |
| 2022 | Cinco Cloud: A Holistic Approach for Web-Based Language-Driven Engineering. | Alexander Bainczyk, Daniel Busch, Marco Krumrey, Daniel Sami Mitwalli, Jonas Schrmann, Joel Tagoukeng Dongmo, Bernhard Steffen |
| 2022 | Towards Continuous Quality Control in the Context of Language-Driven Engineering. | Alexander Bainczyk, Steve Boelmann, Marvin Krause, Marco Krumrey, Dominic Wirkner, Bernhard Steffen |
176–200 of 1,121← PreviousNext →
Comparable venues
Other A*/A conferences filed under the same field of research.
- A*ICSEInternational Conference on Software Engineering
- AOOPSLAACM Conference on Object Oriented Programming Systems Languages and Applications
- AMODELSInternational Conference on Model Driven Engineering Languages and Systems (Previously UML, changed in 2005)
- AREIEEE International Requirements Engineering Conference
- ABPMInternational Conference in Business Process Management
- AISSREInternational Symposium on Software Reliability Engineering
- AICSTInternational Conference on Software Testing, Verification and Validation
- A*SIGMETRICSMeasurement and Modeling of Computer Systems