default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID13th IFM 2017: Torino, Italy
- Nadia Polikarpova, Steve A. Schneider:
Integrated Formal Methods - 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings. Lecture Notes in Computer Science 10510, Springer 2017, ISBN 978-3-319-66844-4
Cyber-Physical Systems
- Simone Silvetti
, Alberto Policriti, Luca Bortolussi:
An Active Learning Approach to the Falsification of Black Box Cyber-Physical Systems. 3-17 - Pedro Ribeiro, Alvaro Miyazawa, Wei Li, Ana Cavalcanti, Jon Timmis:
Modelling and Verification of Timed Robotic Controllers. 18-33 - Sven Linker:
Spatial Reasoning About Motorway Traffic Safety with Isabelle/HOL. 34-49 - Albert Rizaldi, Jonas Keinholz, Monika Huber, Jochen Feldle, Fabian Immler, Matthias Althoff, Eric Hilgendorf, Tobias Nipkow:
Formalising and Monitoring Traffic Rules for Autonomous Vehicles in Isabelle/HOL. 50-66
Software Verification Tools
- Mark Utting, David J. Pearce, Lindsay Groves:
Making Whiley Boogie! 69-84 - Florian Frohn, Jürgen Giesl:
Complexity Analysis for Java with AProVE. 85-101 - Stefan Blom, Saeed Darabi, Marieke Huisman, Wytse Oortwijn:
The VerCors Tool Set: Verification of Parallel and Concurrent Software. 102-110 - Ferruccio Damiani, Michael Lienhardt, Radu Muschevici, Ina Schaefer:
An Extension of the ABS Toolchain with a Mechanism for Type Checking SPLs. 111-126
Safety-Critical Systems
- Bernhard Beckert, Suhyun Cha, Mattias Ulbrich, Birgit Vogel-Heuser, Alexander Weigl:
Generalised Test Tables: A Practical Specification Language for Reactive Systems. 129-144 - Stephen Gilmore, Daniël Reijsbergen, Andrea Vandin:
Transient and Steady-State Statistical Analysis for Discrete Event Simulators. 145-160 - James Baxter, Ana Cavalcanti:
Algebraic Compilation of Safety-Critical Java Bytecode. 161-176 - Andrii Kovalov, Elisabeth Lobe, Andreas Gerndt, Daniel Lüdtke:
Task-Node Mapping in an Arbitrary Computer Network Using SMT Solver. 177-191
Concurrency and Distributed Systems
- Ludovic Henrio, Cosimo Laneve, Vincenzo Mastandrea:
Analysis of Synchronisations in Stateful Active Objects. 195-210 - Dalay Israel de Almeida Pereira, Marcel Vinícius Medeiros Oliveira, Madiel S. Conserva Filho, Sarah Raquel Da Rocha Silva:
BTS: A Tool for Formal Component-Based Development. 211-226 - Stavros Aronis, Scott Lystig Fritchie, Konstantinos Sagonas:
Testing and Verifying Chain Repair Methods for Corfu Using Stateless Model Checking. 227-242 - Wei Ji, Farn Wang, Peng Wu:
Synthesizing Coalitions for Multi-agent Games. 243-259
Program Verification Techniques
- Olaf Owe, Toktam Ramezanifarkhani, Elahe Fazeldehkordi:
Hoare-Style Reasoning from Multiple Contracts. 263-278 - Dominic Steinhöfel, Nathan Wasser:
A New Invariant Rule for the Analysis of Loops with Non-standard Control Flows. 279-294 - Yuting Chen, Carlo A. Furia:
Triggerless Happy - Intermediate Verification with a First-Order Prover. 295-311 - Bernhard Beckert, Thorsten Bormer, Stephan Gocht, Mihai Herda, Daniel Lentzsch, Mattias Ulbrich:
SemSlice: Exploiting Relational Verification for Automatic Program Slicing. 312-319
Formal Modeling
- Ajay Krishna, Pascal Poizat, Gwen Salaün:
VBPMN: Automated Verification of BPMN Processes (Tool Paper). 323-331 - Barbara Kordy, Wojciech Widel:
How Well Can I Secure My System? 332-347 - Hao Wu:
MaxUSE: A Tool for Finding Achievable Constraints and Conflicts for Inconsistent UML Class Diagrams. 348-356 - Fahrurrozi Rahman, Juliana Küster Filipe Bowles:
Formal Verification of CNL Health Recommendations. 357-371
Verified Software
- Jörg Pfähler, Gidon Ernst, Stefan Bodenmüller, Gerhard Schellhorn, Wolfgang Reif:
Modular Verification of Order-Preserving Write-Back Caches. 375-390 - Danilo Bruschi, Andrea Di Pasquale, Silvio Ghilardi, Andrea Lanzi, Elena Pagani:
Formal Verification of ARP (Address Resolution Protocol) Through SMT-Based Model Checking - A Case Study -. 391-406 - João F. Ferreira, Saul A. Johnson, Alexandra Mendes, Phillip J. Brooke:
Certified Password Quality - A Case Study Using Coq and Linux Pluggable Authentication Modules. 407-421 - Murat Moran, Dan S. Wallach:
Verification of STAR-Vote and Evaluation of FDR and ProVerif. 422-436
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 2025-09-09 02:30 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:
