default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID19th IFM 2024: Manchester, UK
- Nikolai Kosmatov, Laura Kovács
:
Integrated Formal Methods - 19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings. Lecture Notes in Computer Science 15234, Springer 2025, ISBN 978-3-031-76553-7
Software Verification
- Andrei Mogage, Dorel Lucanu:
A Formal Tainting-Based Framework for Malware Analysis. 3-23 - Roman Bögli, Leandro Lerena, Christos Tsigkanos, Timo Kehrer:
A Systematic Literature Review on a Decade of Industrial TLA+ Practice. 24-34 - Stefan Ciobaca, Diana-Elena Gratie:
Implementing, Specifying, and Verifying the QOI Format in Dafny: A Case Study. 35-52 - Gerhard Schellhorn, Stefan Bodenmüller, Wolfgang Reif:
VeriCode: Correct Translation of Abstract Specifications to C Code. 53-74 - Dragana Milovancevic, Carsten Fuhs, Mario Bucev, Viktor Kuncak:
Proving Termination via Measure Transfer in Equivalence Checking. 75-84
Verification and Refinement
- Logan Murphy, Torin Viger, Alessio Di Sandro, Marsha Chechik:
PLACIDUS: Engineering Product Lines of Rigorous Assurance Cases. 87-108 - Frédéric Peschanski:
Stateful Functional Modeling with Refinement (a Lean4 Framework). 109-127 - Alexander Loitzl, Florian Zuleger:
Modeling Register Pairs in CompCert. 128-147
Quantitative Analysis
- Marek Chalupa, Thomas A. Henzinger, Ana Oliveira da Costa:
Monitoring Extended Hypernode Logic. 151-171 - Pauline Blohm, Paula Herber, Anne Remke:
Towards Quantitative Analysis of Simulink Models Using Stochastic Hybrid Automata. 172-193 - Martin Fränzle, Thomas Møller Grosen, Kim G. Larsen, Martin Zimmermann:
Monitoring Real-Time Systems Under Parametric Delay. 194-213
System Analysis and Security
- Robert Rubbens, Petra van den Bos, Marieke Huisman:
VeyMont: Choreography-Based Generation of Correct Concurrent Programs with Shared Memory. 217-236 - Erik Voogd, Einar Broch Johnsen, Åsmund Aqissiaq Arild Kløvstad, Jurriaan Rot, Alexandra Silva:
Correct and Complete Symbolic Execution for Free. 237-255 - Massimo Bartoletti, Angelo Ferrando, Enrico Lipparini, Vadim Malvone:
Solvent: Liquidity Verification of Smart Contracts. 256-266 - Surasak Phetmanee, Michele Sevegnani, Oana Andrei:
StEVe: A Rational Verification Tool for Stackelberg Security Games. 267-275
Learning and Reasoning
- Mark Peyrer, Maximilian Heisinger, Martina Seidl:
PyQBF: A Python Framework for Solving Quantified Boolean Formulas. 279-287 - Sabrine Saouli, Souheib Baarir, Claude Dutheillet:
Improving SAT Solver Performance Through MLP-Predicted Genetic Algorithm Parameters. 288-296 - Sebastian Junges, Sanjit A. Seshia, Hazem Torfah:
Active Learning of Runtime Monitors Under Uncertainty. 297-306 - George Granberry, Wolfgang Ahrendt, Moa Johansson:
Specify What? Enhancing Neural Specification Synthesis by Symbolic Methods. 307-325
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 2026-05-27 02:06 CEST 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:
