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 | Towards Requirements Engineering for Digital Twins of Cyber-Physical Systems. | Tao Yue, Shaukat Ali, Paolo Arcaini, Fuyuki Ishikawa |
| 2022 | Formally Verified Self-adaptation of an Incubator Digital Twin. | Thomas Wright, Cludio Gomes, Jim Woodcock |
| 2022 | Rigorous Engineering of Collective Adaptive Systems Introduction to the 4 | Martin Wirsing, Rocco De Nicola, Stefan Jhnichen |
| 2022 | Adaptive Data-driven Predictor of Ship Maneuvering Motion Under Varying Ocean Environments. | Tongtong Wang, Robert Skulstad, Motoyasu Kanazawa, Lars Ivar Hatledal, Guoyuan Li, Houxiang Zhang |
| 2022 | Ensemble-Based Modeling Abstractions for Modern Self-optimizing Systems. | Michal Tpfer, Milad Abdullah, Toms Bures, Petr Hnetynka, Martin Krulis |
| 2022 | Evaluation of Graphical Modeling of CI/CD Workflows with Rig. | Sebastian Teumert, Tim Tegeler, Jonas Schrmann, Daniel Busch, Dominic Wirkner |
| 2022 | Executable Documentation: From Documentation Languages to Purpose-Specific Languages. | Tim Tegeler, Steve Boelmann, Jonas Schrmann, Steven Smyth, Sebastian Teumert, Bernhard Steffen |
| 2022 | Automata Learning Meets Shielding. | Martin Tappler, Stefan Pranger, Bettina Knighofer, Edi Muskardin, Roderick Bloem, Kim G. Larsen |
| 2022 | Models as Documents, Documents as Models. | Perdita Stevens |
| 2022 | Domain-Specificity as Enabler for Global Organization aLignment and Decision. | Barbara Steffen, Steve Boelmann |
| 2022 | Crazy Nodes: Towards Ultimate Flexibility in Ubiquitous Big Data Stream Engineering, Visualisation, and Analytics, in Smart Factories. | Mirco Soderi, John G. Breslin |
| 2022 | Executable Documentation: Test-First in Action. | Steven Smyth, Jette Petzold, Jonas Schrmann, Florian Karbus, Tiziana Margaria, Reinhard von Hanxleden, Bernhard Steffen |
| 2022 | Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway. | Monika Seisenberger, Maurice H. ter Beek, Xiuyi Fan, Alessio Ferrari, Anne E. Haxthausen, Phillip James, Andrew Lawrence, Bas Luttik, Jaco van de Pol, Simon Wimmer |
| 2022 | On the Pragmatics of Moving from System Models to Program Contracts. | Thomas Santen |
| 2022 | Capturing Dependencies Within Machine Learning via a Formal Process Model. | Fabian Ritz, Thomy Phan, Andreas Sedlmeier, Philipp Altmann, Jan Wieghardt, Reiner N. Schmid, Horst Sauer, Cornel Klein, Claudia Linnhoff-Popien, Thomas Gabor |
| 2022 | Non-functional Testing of Runtime Enforcers in Android. | Oliviero Riganelli, Daniela Micucci, Leonardo Mariani |
| 2022 | Exploring a Parallel SCC Algorithm. | Jaco van de Pol |
| 2022 | Standardisation Considerations for Autonomous Train Control. | Jan Peleska, Anne E. Haxthausen, Thierry Lecomte |
| 2022 | A Formal Model of Metacontrol in Maude. | Juliane Pler, Esther Aguado, Gustavo Rezende Silva, Silvia Lizeth Tapia Tarifa, Carlos Hernndez Corbato, Einar Broch Johnsen |
| 2022 | Evolving Data Space Technologies: Lessons Learned from an IDS Connector Reference Implementation. | Julia Pampus, Brian-Frederik Jahnke, Ronja Quensel |
| 2022 | Modelling Flocks of Birds from the Bottom Up. | Rocco De Nicola, Luca Di Stefano, Omar Inverso, Serenella Valiani |
| 2022 | Robustness-by-Construction Synthesis: Adapting to the Environment at Runtime. | Satya Prakash Nayak, Daniel Neider, Martin Zimmermann |
| 2022 | On Model-Based Performance Analysis of Collective Adaptive Systems. | Maurizio Murgia, Riccardo Pinciroli, Catia Trubiani, Emilio Tuosto |
| 2022 | Using Model Selection and Reduction to Develop an Empirical Model to Predict Energy Consumption of a CNC Machine. | Liam Morris, Rose Clancy, Andriy Hryshchenko, Dominic O'Sullivan, Ken Bruton |
| 2022 | On Deductive Verification of an Industrial Concurrent Software Component with VerCors. | Ral E. Monti, Robert Rubbens, Marieke Huisman |
101–125 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