default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID9. NFM 2017: Moffett Field, CA, USA
- Clark W. Barrett
, Misty D. Davies, Temesghen Kahsai:
NASA Formal Methods - 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings. Lecture Notes in Computer Science 10227, 2017, ISBN 978-3-319-57287-1 - Hadar Frenkel, Orna Grumberg, Sarai Sheinvald:
An Automata-Theoretic Approach to Modeling Systems and Specifications over Infinite Data. 1-18 - Bernhard K. Aichernig, Martin Tappler:
Learning from Faults: Mutation Testing in Active Automata Learning. 19-34 - Étienne André, Hoang Gia Nguyen, Laure Petrucci, Jun Sun:
Parametric Model Checking Timed Automata Under Non-Zenoness Assumption. 35-51 - James Jerson Ortiz, Moussa Amrani, Pierre-Yves Schobbens:
Multi-timed Bisimulation for Distributed Timed Automata. 52-67 - Claire Dross, Yannick Moy:
Auto-Active Proof of Red-Black Trees in SPARK. 68-83 - Colin F. Snook, Thai Son Hoang, Michael J. Butler:
Analysing Security Protocols Using Refinement in iUML-B. 84-98 - Susmit Jha, Vasumathi Raman, Alessandro Pinto, Tuhin Sahai, Michael Francis:
On Learning Sparse Boolean Formulae for Explaining AI Decisions. 99-114 - Matteo Camilli, Angelo Gargantini, Patrizia Scandurra, Carlo Bellettini:
Event-Based Runtime Verification of Temporal Properties Using Time Basic Petri Nets. 115-130 - Mateus Borges, Quoc-Sang Phan, Antonio Filieri, Corina S. Pasareanu:
Model-Counting Approaches for Nonlinear Numerical Constraints. 131-138 - Ashlie B. Hocking, M. Anthony Aiello, John C. Knight, Nikos Aréchiga:
Input Space Partitioning to Enable Massively Parallel Proof. 139-145 - Hugo Daniel Macedo, Alessandro Fantechi, Anne E. Haxthausen:
Compositional Model Checking of Interlocking Systems for Lines with Multiple Stations. 146-162 - Benjamin F. Jones, Lee Pike:
Modular Model-Checking of a Byzantine Fault-Tolerant Protocol. 163-177 - Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Saddek Bensalem:
Improved Learning for Stochastic Timed Models by State-Merging Algorithms. 178-193 - Andrew Sogokon, Paul B. Jackson, Taylor T. Johnson:
Verifying Safety and Persistence Properties of Hybrid Systems Using Flowpipes and Continuous Invariants. 194-211 - Hugo Illous, Matthieu Lemerre, Xavier Rival:
A Relational Shape Abstract Domain. 212-229 - Matthieu Martel:
Floating-Point Format Inference in Mixed-Precision. 230-246 - Saeed Darabi, Stefan C. C. Blom, Marieke Huisman:
A Verification Technique for Deterministic Parallel Programs. 247-264 - Yulia Demyanova, Philipp Rümmer, Florian Zuleger:
Systematic Predicate Abstraction Using Variable Roles. 265-281 - Brandon Shapiro, Chris Casinghino:
specgen: A Tool for Modeling Statecharts in CSP. 282-287 - Stefan Schupp, Erika Ábrahám, Ibtissem Ben Makhlouf, Stefan Kowalewski:
HyPro: A C++ Library of State Set Representations for Hybrid Systems Reachability Analysis. 288-294 - Silvia Bonfanti, Marco Carissoni, Angelo Gargantini, Atif Mashkoor:
Asm2C++: A Tool for Code Generation from Abstract State Machines to Arduino. 295-301 - Constantin Enea, Ondrej Lengál, Mihaela Sighireanu, Tomás Vojnar:
SPEN: A Solver for Separation Logic. 302-309 - Mario Gleirscher, Stefan Kugele:
From Hazard Analysis to Hazard Mitigation Planning: The Automated Driving Case. 310-326 - Arnaud Dieumegard, Ning Ge, Eric Jenn:
Event-B at Work: Some Lessons Learnt from an Application to a Robot Anti-collision Function. 327-341 - Seth Ahrenbach:
Reasoning About Safety-Critical Information Flow Between Pilot and Computer. 342-356 - Tommaso Dreossi, Alexandre Donzé, Sanjit A. Seshia:
Compositional Falsification of Cyber-Physical Systems with Machine Learning Components. 357-372 - Kim Völlinger, Samira Akili:
Verifying a Class of Certifying Distributed Programs. 373-388 - Marie-Christine Jakobs, Heike Wehrheim:
Compact Proof Witnesses. 389-403 - Lucas G. Wagner, Alain Mebsout, Cesare Tinelli, Darren D. Cofer, Konrad Slind:
Qualification of a Model Checker for Avionics Software Verification. 404-419 - Aaron W. Fifarek, Lucas G. Wagner, Jonathan A. Hoffman, Benjamin D. Rodes, M. Anthony Aiello, Jennifer A. Davis:
SpeAR v2.0: Formalized Past LTL Specification and Analysis of Requirements. 420-426 - Levi Lúcio, Salman Rahman, Chih-Hong Cheng, Alistair Mavin:
Just Formal Enough? Automated Analysis of EARS Requirements. 427-434
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-20 23:13 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:
