International Symposium on Leveraging Applications of Formal Methods, Verification and Validation

ISoLA

CORE rank

CORE rank (raw)

Fields of research

Software Engineering

Papers indexed

1,121

2004–2024

Best Software Engineering conferences

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
2020	Benchmarking Open-Source Static Analyzers for Security Testing for C.	Christoph Gentsch, Rohan Krishnamurthy, Thomas S. Heinze
2020	Model Checking a Distributed Interlocking System Using k-induction with RT-Tester.	Signe Geisler, Anne E. Haxthausen
2020	A Formal Model for Reasoning About the Ideal Fitness in Evolutionary Processes.	Thomas Gabor, Claudia Linnhoff-Popien
2020	Guess What I'm Doing! - Rendering Formal Verification Methods Ripe for the Era of Interacting Intelligent Systems.	Martin Frnzle, Paul Krger
2020	Towards a Digital Twin - Modelling an Agricultural Vehicle.	Frederik F. Foldager, Casper Thule, Ole Balling, Peter Gorm Larsen
2020	Engineering of Digital Twins for Cyber-Physical Systems.	John S. Fitzgerald, Peter Gorm Larsen, Tiziana Margaria, Jim Woodcock
2020	Abstraction and Genericity in Why3.	Jean-Christophe Fillitre, Andrei Paskevich
2020	Towards Dynamic Dependable Systems Through Evidence-Based Continuous Certification.	Rasha Faqeh, Christof Fetzer, Holger Hermanns, Jrg Hoffmann, Michaela Klauck, Maximilian A. Khl, Marcel Steinmetz, Christoph Weidenbach
2020	Formal Methods for Distributed Computing in Future Railway Systems.	Alessandro Fantechi, Stefania Gnesi, Anne E. Haxthausen
2020	Behavioral Specification Theories: An Algebraic Taxonomy.	Uli Fahrenberg, Axel Legay
2020	Towards Configurable and Efficient Runtime Verification of Blockchain Based Smart Contracts at the Virtual Machine Level.	Joshua Ellul
2020	A Modular Design Framework to Assess Intelligent Trains.	Simon Collart Dutilleul, Philippe Bon
2020	Formal Verification of Developer Tests: A Research Agenda Inspired by Mutation Testing.	Serge Demeyer, Ali Parsai, Sten Vercammen, Brent van Bladel, Mehrdad Abdi
2020	Automating Software Re-engineering - Introduction to the ISoLA 2020 Track.	Serge Demeyer, Reiner Hhnle, Heiko Mantel
2020	On Slicing Software Product Line Signatures.	Ferruccio Damiani, Michael Lienhardt, Luca Paolini
2020	On Testing Message-Passing Components.	Alex Coto, Roberto Guanciale, Emilio Tuosto
2020	UTXO	Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Jann Mller, Michael Peyton Jones, Polina Vinogradova, Philip Wadler, Joachim Zahnentferner
2020	Native Custom Tokens in the Extended UTXO Model.	Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Jann Mller, Michael Peyton Jones, Polina Vinogradova, Philip Wadler
2020	Measuring Adaptability and Reliability of Large Scale Systems.	Valentina Castiglioni, Michele Loreti, Simone Tini
2020	Engineering Semantic Self-composition of Services Through Tuple-Based Coordination.	Ashley Caselli, Giovanni Ciatto, Giovanna Di Marzo Serugendo, Andrea Omicini
2020	FScaFi : A Core Calculus for Collective Adaptive Systems Programming.	Roberto Casadei, Mirko Viroli, Giorgio Audrito, Ferruccio Damiani
2020	Capturing Dynamicity and Uncertainty in Security and Trust via Situational Patterns.	Toms Bures, Petr Hnetynka, Robert Heinrich, Stephan Seifermann, Maximilian Walter
2020	Forming Ensembles at Runtime: A Machine Learning Approach.	Toms Bures, Ilias Gerostathopoulos, Petr Hnetynka, Jan Pacovsky
2020	On Correctness, Precision, and Performance in Quantitative Verification - QComp 2020 Competition Report.	Carlos E. Budde, Arnd Hartmanns, Michaela Klauck, Jan Kretnsk, David Parker, Tim Quatmann, Andrea Turrini, Zhen Zhang
2020	UTxO- vs Account-Based Smart Contract Blockchain Programming Paradigms.	Lars Brnjes, Murdoch James Gabbay

301–325 of 1,121← Previous Next →

Comparable venues

Other A*/A conferences filed under the same field of research.