ISoLA (2)

Keyphrases

Publications

2022

Ole Jørgen Abusdal, Eduard Kamburjan, Violet Ka I Pun, Volker Stolz
A Notion of Equivalence for Refactorings with Abstract Execution. ISoLA (2) (2022)
Dennis Dams, Klaus Havelund, Sean Kauffman
Runtime Verification as Documentation. ISoLA (2) (2022)
John Hatcliff, Jérôme Hugues, Danielle Stewart, Lutz Wrage
Formalization of the AADL Run-Time Services. ISoLA (2) (2022)
Steven Smyth, Jette Petzold, Jonas Schürmann, Florian Karbus, Tiziana Margaria, Reinhard von Hanxleden, Bernhard Steffen
Executable Documentation: Test-First in Action. ISoLA (2) (2022)
Alexander Bainczyk, Steve Boßelmann, Marvin Krause, Marco Krumrey, Dominic Wirkner, Bernhard Steffen
Towards Continuous Quality Control in the Context of Language-Driven Engineering. ISoLA (2) (2022)
Lennart Beringer
Verified Software Units for Simple DFA Modules and Objects in C. ISoLA (2) (2022)
Klaus Havelund, Tim Tegeler, Steven Smyth, Bernhard Steffen
Discussing the Future Role of Documentation in the Context of Modern Software Engineering (ISoLA 2022 Track Introduction). ISoLA (2) (2022)
Serge Demeyer, Henrique Rocha, Darin Verheijke
Refactoring Solidity Smart Contracts to Protect Against Reentrancy Exploits. ISoLA (2) (2022)
Marcus Hilbrich, Sebastian Müller, Svetlana Kulagina, Christopher Lazik, Ninon De Mecquenem, Lars Grunske
A Consolidated View on Specification Languages for Data Analysis Workflows. ISoLA (2) (2022)
Tiziana Margaria, Dominic Wirkner, Daniel Busch, Alexander Bainczyk, Tim Tegeler, Bernhard Steffen
DIME Days (ISoLA 2022 Track Introduction). ISoLA (2) (2022)
Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich
Towards a Usable and Sustainable Deductive Verification Tool. ISoLA (2) (2022)
Tim Tegeler, Steve Boßelmann, Jonas Schürmann, Steven Smyth, Sebastian Teumert, Bernhard Steffen
Executable Documentation: From Documentation Languages to Purpose-Specific Languages. ISoLA (2) (2022)
Ole Lehrmann Madsen, Birger Møller-Pedersen
Using Supplementary Properties to Reduce the Need for Documentation. ISoLA (2) (2022)
Perdita Stevens
Models as Documents, Documents as Models. ISoLA (2) (2022)
Florian Lanzinger, Mattias Ulbrich, Alexander Weigl
A Refactoring for Data Minimisation Using Formal Verification. ISoLA (2) (2022)
Sigrid Eldh
On Technical Debt in Software Testing - Observations from Industry. ISoLA (2) (2022)
Sebastian Teumert, Tim Tegeler, Jonas Schürmann, Daniel Busch, Dominic Wirkner
Evaluation of Graphical Modeling of CI/CD Workflows with Rig. ISoLA (2) (2022)
Alexander Bainczyk, Daniel Busch, Marco Krumrey, Daniel Sami Mitwalli, Jonas Schürmann, Joel Tagoukeng Dongmo, Bernhard Steffen
Cinco Cloud: A Holistic Approach for Web-Based Language-Driven Engineering. ISoLA (2) (2022)
Gabor Karsai, Daniel Balasubramanian
Assurance Provenance: The Next Challenge in Software Documentation. ISoLA (2) (2022)
Serge Demeyer, Reiner Hähnle, Heiko Mantel
Automating Software Re-engineering: Introduction to the ISoLA 2022 Track. ISoLA (2) (2022)
Dennis Hendriks, Kousar Aslam
A Systematic Approach for Interfacing Component-Based Software with an Active Automata Learning Tool. ISoLA (2) (2022)
Manfred Broy
Software System Documentation: Coherent Description of Software System Properties. ISoLA (2) (2022)
Reinhard von Hanxleden, Edward A. Lee, Hauke Fuhrmann, Alexander Schulz-Rosengarten, Sören Domrös, Marten Lohstroh, Soroush Bateni, Christian Menard
Pragmatics Twelve Years Later: A Report on Lingua Franca. ISoLA (2) (2022)

volume 13702, 2022

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part II ISoLA (2) 13702 (2022)

2020

volume 12477, 2020

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part II ISoLA (2) 12477 (2020)