default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID12th ISoLA 2024: Crete, Greece - Part III
- Tiziana Margaria
, Bernhard Steffen:
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification - 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III. Lecture Notes in Computer Science 15221, Springer 2025, ISBN 978-3-031-75379-4
Specify This
- Gidon Ernst, Paula Herber, Marieke Huisman, Mattias Ulbrich:
SpecifyThis Bridging Gaps Between Program Specification Paradigms: Track Introduction. 3-7 - Jesper Amilon, Dilian Gurov:
Deductively Verified Program Models for Software Model Checking. 8-25 - Pauline Blohm, Martin Fränzle, Paula Herber, Paul Kröger, Anne Remke:
Towards Probabilistic Contracts for Intelligent Cyber-Physical Systems. 26-47 - Lorenzo Cappelletti, Roberto Cavada, Alessandro Cimatti, Marco Keppel:
Towards the Formal Analysis of Algorithmic Requirements. 48-65 - Christian Colombo, Gordon J. Pace, Gerardo Schneider:
Interest Beyond Violation: On Points-of-Interest in Runtime Verification. 66-78 - Gidon Ernst, Wolfram Pfeifer, Mattias Ulbrich:
Contract-LIB: A Proposal for a Common Interchange Format for Software System Specification. 79-105 - Marie Farrell, Matt Luckcuck, Rosemary Monahan, Conor Reynolds, Oisín Sheridan:
Adventures in FRET and Specification. 106-123 - Carlo A. Furia, Abhishek Tiwari:
Challenges of Multilingual Program Specification and Analysis. 124-143 - George Granberry, Wolfgang Ahrendt, Moa Johansson:
Towards Integrating Copiloting and Formal Methods - Building Blocks, Architecture, and Challenges. 144-158 - Virgile Robles, Nikolai Kosmatov, Virgile Prevosto, Pascale Le Gall:
High-Level Program Properties in Frama-C: Definition, Verification and Deduction. 159-177 - Romain Pascual, Bernhard Beckert, Mattias Ulbrich, Michael Kirsten, Wolfram Pfeifer:
Formal Foundations of Consistency in Model-Driven Development. 178-200 - Marco Scaletta, Reiner Hähnle:
Context-Aware Contracts as a Lingua Franca for Behavioral Specification. 201-219 - Predrag Filipovikj, Nesredin Mahmud, Cristina Seceleanu, Guillermo Rodríguez-Navas, Oscar Ljungkrantz, Henrik Lönn:
SIMPPAAL: A Framework for Statistical Model Checking of Industrial Simulink Models. 220-246 - Tiago Lopes Soares, Ion Chirica, Mário Pereira:
Static and Dynamic Verification of OCaml Programs: The Gospel Ecosystem. 247-265
Scalable Verification and Validation
- Marieke Huisman, Stephan Merz, Cristina Seceleanu:
Scalable Verification and Validation of Concurrent and Distributed Systems (ScaVeri) (Track Summary). 269-273 - Frédéric Loulergue, Jordan Ischard:
SyDPaCC: A Framework for the Development of Verified Scalable Parallel Functional Programs. 274-295 - Anton Hampus, Mattias Nyberg:
A Theory of Probabilistic Contracts. 296-319 - Inigo Incer:
Composition and Merging of Assume-Guarantee Contracts Are Tensor Products. 320-329 - Tom van Dijk:
Avoiding Distractions in Parity Games. 330-352 - Rik van Spreuwel, Anton Wijs:
No Need to Be Stubborn: Partial-Order Reduction for GPU Model Checking Revisited. 353-373 - Yun-Rong Luo, Aman Goel, Karem A. Sakallah:
SAT-Based Quantified Symmetric Minimization of the Reachable States of Distributed Protocols: An Update. 374-384 - Rong Gu, Kaige Tan, Andreas Holck Høeg-Petersen, Lei Feng, Kim Guldstrand Larsen:
CommonUppRoad: A Framework of Formal Modelling, Verifying, Learning, and Visualisation of Autonomous Vehicles. 385-404
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-15 19:46 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
