share record
persistent URL:
Adam Molin , Edgar A. Aguilar , Dejan Nickovic , Mengjia Zhu , Alberto Bemporad , Hasan Esen : Specification-Guided Critical Scenario Identification for Automated Driving. FM 2023 : 610-621 share record
persistent URL:
Stefano M. Nicoletti , Milan Lopuhaä-Zwakenberg , Ernst Moritz Hahn , Mariëlle Stoelinga : sfPFL: A Probabilistic Logic for Fault Trees. FM 2023 : 199-221 share record
persistent URL:
Marco Paganoni , Carlo A. Furia : Verifying Functional Correctness Properties at the Level of Java Bytecode. FM 2023 : 343-363 share record
persistent URL:
Matan Peled , Bat-Chen Rothenberg , Shachar Itzhaky : SMT Sampling via Model-Guided Approximation. FM 2023 : 74-91 share record
persistent URL:
Andrea Pferscher , Benjamin Wunderling , Bernhard K. Aichernig , Edi Muskardin : Mining Digital Twins of a VPN Server. FMDT@FM 2023 share record
persistent URL:
Solofomampionona Fortunat Rajaona , Ioana Boureanu , Vadim Malvone , Francesco Belardinelli : Program Semantics and Verification Technique for AI-Centred Programs. FM 2023 : 473-491 share record
persistent URL:
Jan Oliver Ringert , Allison Sullivan : Abstract Alloy Instances. FM 2023 : 364-382 share record
persistent URL:
Rubén Rubio , Narciso Martí-Oliet , Isabel Pita , Alberto Verdejo : QMaude: Quantitative Specification and Verification in Rewriting Logic. FM 2023 : 240-259 share record
persistent URL:
Harald Ruess : The Next Big Thing: From Embedded Systems to Embodied Actors. FM 2023 : 10-25 share record
persistent URL:
Jonas Schiffl , Alexander Weigl : Are Formal Contracts a Useful Digital Twin of Software Systems? FMDT@FM 2023 share record
persistent URL:
Huanhuan Sheng , Alexander Bentkamp , Bohua Zhan : HHLPy: Practical Verification of Hybrid Systems Using Hoare Logic. FM 2023 : 160-178 share record
persistent URL:
Robert Sison , Scott Buckley , Toby Murray , Gerwin Klein , Gernot Heiser : Formalising the Prevention of Microarchitectural Timing Channels by Operating Systems. FM 2023 : 103-121 share record
persistent URL:
Daniel Thoma , Martin Sachenbacher , Martin Leucker , Aliyu Tanko Ali : A Digital Twin for Coupling Mobility and Energy Optimization: The ReNuBiL Living Lab. FMDT@FM 2023 share record
persistent URL:
Heike Wehrheim , Lara Bargmann , Brijesh Dongol : Reasoning About Promises in Weak Memory Models with Event Structures. FM 2023 : 282-300 share record
persistent URL:
Marsha Chechik , Joost-Pieter Katoen , Martin Leucker : Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings. Lecture Notes in Computer Science 14000, Springer 2023 , ISBN 978-3-031-27480-0 [contents] share record
persistent URL:
Stefan Hallerstede , Eduard Kamburjan : Proceedings of the Workshop on Applications of Formal Methods and Digital Twins co-located with 25th International Symposium on Formal Methods (FM 2023), Lübeck, Germany, March 06, 2023. CEUR Workshop Proceedings 3507, CEUR-WS.org 2023 [contents] 2021 share record
persistent URL:
Julius Adelt , Timm Liebrenz , Paula Herber : Formal Verification of Intelligent Hybrid Systems that are Modeled with Simulink and the Reinforcement Learning Toolbox. FM 2021 : 349-366 share record
persistent URL:
Gal Amram , Shahar Maoz , Or Pistiner , Jan Oliver Ringert : Efficient Algorithms for Omega-Regular Energy Games. FM 2021 : 163-181 share record
persistent URL:
Maurice H. ter Beek , Guillermina Cledou , Rolf Hennicker , José Proença : Featured Team Automata. FM 2021 : 483-502 share record
persistent URL:
Jinting Bian , Hans-Dieter A. Hiep , Frank S. de Boer , Stijn de Gouw : Integrating ADTs in KeY and Their Application to History-Based Reasoning. FM 2021 : 255-272 share record
persistent URL:
Frantisek Blahoudek , Murat Cubuktepe , Petr Novotný , Melkior Ornik , Pranay Thangeda , Ufuk Topcu : Fuel in Markov Decision Processes (FiMDP): A Practical Approach to Consumption. FM 2021 : 640-656 share record
persistent URL:
Alexandra Bugariu , Arshavir Ter-Gabrielyan , Peter Müller : Identifying Overly Restrictive Matching Patterns in SMT-Based Program Verifiers. FM 2021 : 273-291 share record
persistent URL:
Franck Cassez : Verification of the Incremental Merkle Tree Algorithm with Dafny. FM 2021 : 445-462 share record
persistent URL:
Krishnendu Chatterjee , Ehsan Kafshdar Goharshady , Petr Novotný , Jiri Zárevúcky , Dorde Zikelic : On Lexicographic Proof Rules for Probabilistic Termination. FM 2021 : 619-639 share record
persistent URL:
Nicholas Coughlin , Kirsten Winter , Graeme Smith : Rely/Guarantee Reasoning for Multicopy Atomic Weak Memory Models. FM 2021 : 292-310 share record
persistent URL:
Adel Djoudi , Martin Hána , Nikolai Kosmatov : Formal Verification of a JavaCard Virtual Machine with Frama-C. FM 2021 : 427-444 share record
persistent URL:
Oyendrila Dobe , Erika Ábrahám , Ezio Bartocci , Borzoo Bonakdarpour : HyperProb: A Model Checker for Probabilistic Hyperproperties. FM 2021 : 657-666 share record
persistent URL:
Simon Foster , Jonathan Julián Huerta y Munive , Mario Gleirscher , Georg Struth : Hybrid Systems Verification with Isabelle/HOL: Simpler Syntax, Better Models, Faster Proofs. FM 2021 : 367-386 share record
persistent URL:
Song Gao , Bohua Zhan , Depeng Liu , Xuechao Sun , Yanan Zhi , David N. Jansen , Lijun Zhang : Formal Verification of Consensus in the Taurus Distributed Database. FM 2021 : 741-751 share record
persistent URL:
Felipe Gorostiaga , César Sánchez : HStriver: A Very Functional Extensible Tool for the Runtime Verification of Real-Time Event Streams. FM 2021 : 563-580