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 |
|---|---|---|
| 2024 | Once and for All: How to Compose Modules - The Composition Calculus. | Peter Fettke, Wolfgang Reisig |
| 2024 | Adventures in FRET and Specification. | Marie Farrell, Matt Luckcuck, Rosemary Monahan, Conor Reynolds, Oisn Sheridan |
| 2024 | Formal Methods for Distributed Computing in Future Railway Systems. | Alessandro Fantechi, Stefania Gnesi, Anne E. Haxthausen |
| 2024 | Contract-LIB: A Proposal for a Common Interchange Format for Software System Specification. | Gidon Ernst, Wolfram Pfeifer, Mattias Ulbrich |
| 2024 | SpecifyThis Bridging Gaps Between Program Specification Paradigms: Track Introduction. | Gidon Ernst, Paula Herber, Marieke Huisman, Mattias Ulbrich |
| 2024 | Securing Automatic Small Railway Vehicles Using Automatic Train Protection. | Simon Collart Dutilleul, Philippe Bon, Rgine Laleau |
| 2024 | Avoiding Distractions in Parity Games. | Tom van Dijk |
| 2024 | Threats to Instrument Validity Within "in Silico" Research: Software Engineering to the Rescue. | Serge Demeyer, Coen De Roover, Mutlu Beyazit, Johannes Hrtel |
| 2024 | Automating Software Re-Engineering Introduction to the ISoLA 2024 Track. | Serge Demeyer, Reiner Hhnle, Heiko Mantel |
| 2024 | DiTEC: Digital Twin for Evolutionary Changes in Water Distribution Networks. | Victoria Degeler, Mostafa Hadadian Nejad Yousefi, Erkan Karabulut, Alexander Lazovik, Hester van het Loo, Andrs Tello, Huy Truong |
| 2024 | Interoperability of Digital Twins: Challenges, Success Factors, and Future Research Directions. | Istvan David, Guodong Shao, Cludio Gomes, Dawn M. Tilbury, Bassam Zarkout |
| 2024 | Systems Security Modeling and Analysis at IMT Lucca. | Gabriele Costa, Silvia de Francisci, Letterio Galletta, Cosimo Perini Brogi, Marinella Petrocchi, Fabio Pinelli, Roberto Pizziol, Manuel Pratelli, Margherita Renieri, Simone Soderi, Mirco Tribastone, Serenella Valiani |
| 2024 | Formal Approaches for Modeling and Analysis of Business Process Collaborations. | Flavio Corradini, Fabrizio Fornari, Barbara Re, Lorenzo Rossi, Andrea Polini, Francesco Tiezzi, Andrea Vandin |
| 2024 | Interest Beyond Violation: On Points-of-Interest in Runtime Verification. | Christian Colombo, Gordon J. Pace, Gerardo Schneider |
| 2024 | Model-Based Testing of Railway Interlocking Systems. | Alessandro Cimatti, Shaker Khandaker, Fitsum Meshesha Kifetew, Lorenzo Leone, Davide Prandi, Giuseppe Scaglione, Angelo Susi, Orazio Turboli |
| 2024 | The Evolving Conscious Agent, I. | Yifeng Chen, Jeff W. Sanders |
| 2024 | QuAK: Quantitative Automata Kit. | Marek Chalupa, Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Sara |
| 2024 | Testing Quantum Processes. | Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno, Gabriele Tedeschi |
| 2024 | White-Box Validation of Collective Adaptive Systems by Statistical Model Checking and Process Mining. | Roberto Casaluce, Max Tschaikowski, Andrea Vandin |
| 2024 | Towards the Formal Analysis of Algorithmic Requirements. | Lorenzo Cappelletti, Roberto Cavada, Alessandro Cimatti, Marco Keppel |
| 2024 | Code-Centric Code Generation. | Daniel Busch, Steven Smyth, Tim Tegeler, Bernhard Steffen |
| 2024 | A Process Algebraic View of In/Out Prisoners. | Roberto Bruni |
| 2024 | Analysing Collective Adaptive Systems by Proving Theorems. | Cosimo Perini Brogi, Marco Maggesi |
| 2024 | Towards Formal Design of FDIR Components with AI. | Marco Bozzano, Alessandro Cimatti, Marco Cristoforetti, Alberto Griggio, Piergiorgio Svaizer, Stefano Tonetta |
| 2024 | Model-Driven Development of Multi-Robot Systems: From BPMN Models to X-Klaim Code. | Khalid Bourr, Francesco Tiezzi, Lorenzo Bettini |
51–75 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