default search action
FM 2018: Oxford, UK
- Klaus Havelund, Jan Peleska, Bill Roscoe, Erik P. de Vink:
Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings. Lecture Notes in Computer Science 10951, Springer 2018, ISBN 978-3-319-95581-0
Invited Papers
- Natasha Fernandes
, Mark Dras
Processing Text for Privacy: An Information Flow Perspective. 3-21 - Kim Guldstrand Larsen
20 Years of Real Real Time Model Validation. 22-36
FM 2018 Main Conference
- Keyvan Azadbakht, Frank S. de Boer, Erik P. de Vink:
Deadlock Detection for Actor-Based Coroutines. 39-54 - Arthur Américo, Mário S. Alvim
An Algebraic Approach for Reasoning About Information Flow. 55-72 - Jingyi Wang, Jun Sun, Yifan Jia, Shengchao Qin
Towards 'Verifying' a Water Treatment System. 73-92 - Florent Avellaneda, Alexandre Petrenko
FSM Inference from Long Traces. 93-109 - Davide Giacomo Cavezza, Dalal Alrajeh, András György
A Weakness Measure for GR(1) Formulae. 110-128 - Simon Busard, Charles Pecheur:
Producing Explanations for Rich Logics. 129-146 - Thomas Ferrère:
The Compound Interest in Relaxing Punctuality. 147-164 - Ivan Ruchkin
IPL: An Integration Property Language for Multi-model Cyber-physical Systems. 165-184 - Raúl Pardo, César Sánchez, Gerardo Schneider:
Timed Epistemic Knowledge Bases for Social Networks. 185-202 - Giovanni Bacci
Optimal and Robust Controller Synthesis - Using Energy Timed Automata with Uncertainty. 203-221 - Ian J. Hayes, Larissa A. Meinicke
Encoding Fairness in a Synchronous Concurrent Program Algebra. 222-239 - Robert J. Colvin, Graeme Smith
A Wide-Spectrum Language for Verification of Programs on Weak Memory Models. 240-257 - Daniel Schnetzer Fava, Martin Steffen, Volker Stolz:
Operational Semantics of a Weak Memory Model with Channel Synchronization. 258-276 - Signe Geisler, Anne E. Haxthausen
Stepwise Development and Model Checking of a Distributed Interlocking System - Using RAISE. 277-293 - Rongjie Yan, Di Zhu, Fan Zhang, Yiqi Lv, Junjie Yang
Resource-Aware Design for Reliable Autonomous Applications with Multiple Periods. 294-311 - Philipp Berger, Joost-Pieter Katoen, Erika Ábrahám
Verifying Auto-generated C Code from Simulink - An Experience Report in the Automotive Domain. 312-328 - Andrea Vandin
QFLan: A Tool for the Quantitative Analysis of Highly Reconfigurable Systems. 329-337 - Thomas Letan, Yann Régis-Gianas, Pierre Chifflier, Guillaume Hiet
Modular Verification of Programs with Effects and Effect Handlers in Coq. 338-354 - Heiko Becker, Pavel Panchekha, Eva Darulova
Combining Tools for Optimization and Analysis of Floating-Point Computations. 355-363 - Laura Titolo
A Formally Verified Floating-Point Implementation of the Compact Position Reporting Algorithm. 364-381 - Johanna Nellen, Thomas Rambow, Md Tawhid Bin Waez, Erika Ábrahám
Formal Verification of Automotive Simulink Controller Models: Empirical Technical Challenges, Evaluation and Recommendations. 382-398 - Claudio Menghi
Multi-robot LTL Planning Under Uncertainty. 399-417 - Andrew Sogokon
Vector Barrier Certificates and Comparison Systems. 418-437 - Hana Chockler, Shibashis Guha, Orna Kupferman:
Timed Vacuity. 438-455 - Takumi Akazaki, Shuang Liu, Yoriyuki Yamagata
Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning. 456-465 - Dhriti Khanna, Subodh Sharma, César Rodríguez, Rahul Purandare:
Dynamic Symbolic Verification of MPI Programs. 466-484 - Sander de Putter
To Compose, or Not to Compose, That Is the Question: An Analysis of Compositional State Space Generation. 485-504 - Gavin Lowe:
View Abstraction for Systems with Component Identities. 505-522 - Fuyuan Zhang, Yongwang Zhao, David Sanán
Compositional Reasoning for Shared-Variable Concurrent Programs. 523-541 - Axel Legay, Dirk Nowotka, Danny Bøgsted Poulsen, Louis-Marie Traonouez:
Statistical Model Checking of LLVM Code. 542-549 - Elvira Albert, Miguel Gómez-Zamalloa
SDN-Actors: Modeling and Verification of SDN Programs. 550-567 - Sorawee Porncharoenwase, Tim Nelson
CompoSAT: Specification-Guided Coverage for Model Finding. 568-587 - Chuchu Fan
Approximate Partial Order Reduction. 588-607 - Cosimo Laneve
A Lightweight Deadlock Analysis for Programs with Threads and Reentrant Locks. 608-624 - Alessandro Cimatti, Ivan Stojic, Stefano Tonetta:
Formal Specification and Verification of Dynamic Parametrized Architectures. 625-644
FM 2018 Industry Day
- César A. Muñoz, Anthony Narkawicz, Aaron Dutle:
From Formal Requirements to Highly Assured Software for Unmanned Aircraft Systems. 647-652 - Arne Borälv:
Interlocking Design Automation Using Prover Trident. 653-656 - Jörg Brauer, Uwe Schulze:
Model-Based Testing for Avionics Systems. 657-661 - Daniel Kästner, Laurent Mauborgne, Christian Ferdinand:
On Software Safety, Security, and Abstract Interpretation. 662-665 - Pavel Avgustinov, Kevin Backhouse, Man Yue Mo:
Variant Analysis with QL. 666-670 - Ernie Cohen:
Object-Oriented Security Proofs. 671-674 - Nikolaj S. Bjørner:
Z3 and SMT in Industrial R&D. 675-678 - Tewodros A. Beyene, Harald Ruess:
Evidential and Continuous Integration of Software Verification Tools. 679-685 - Thierry Lecomte
Disruptive Innovations for the Development and the Deployment of Fault-Free Software. 686-689
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-12-18 18:16 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: