Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Hadar Frenkel, Orna Grumberg, Sarai Sheinvald |
An Automata-Theoretic Approach to Modeling Systems and Specifications over Infinite Data. |
NFM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Marie-Christine Jakobs, Heike Wehrheim |
Compact Proof Witnesses. |
NFM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Saddek Bensalem |
Improved Learning for Stochastic Timed Models by State-Merging Algorithms. |
NFM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Sogokon, Paul B. Jackson, Taylor T. Johnson |
Verifying Safety and Persistence Properties of Hybrid Systems Using Flowpipes and Continuous Invariants. |
NFM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Constantin Enea, Ondrej Lengál, Mihaela Sighireanu, Tomás Vojnar |
SPEN: A Solver for Separation Logic. |
NFM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | James Jerson Ortiz, Moussa Amrani, Pierre-Yves Schobbens |
Multi-timed Bisimulation for Distributed Timed Automata. |
NFM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Kim Völlinger, Samira Akili |
Verifying a Class of Certifying Distributed Programs. |
NFM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Schupp, Erika Ábrahám, Ibtissem Ben Makhlouf, Stefan Kowalewski |
HyPro: A C++ Library of State Set Representations for Hybrid Systems Reachability Analysis. |
NFM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Étienne André, Hoang Gia Nguyen, Laure Petrucci, Jun Sun 0001 |
Parametric Model Checking Timed Automata Under Non-Zenoness Assumption. |
NFM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Silvia Bonfanti, Marco Carissoni, Angelo Gargantini, Atif Mashkoor |
Asm2C++: A Tool for Code Generation from Abstract State Machines to Arduino. |
NFM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Claire Dross, Yannick Moy |
Auto-Active Proof of Red-Black Trees in SPARK. |
NFM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin F. Jones, Lee Pike |
Modular Model-Checking of a Byzantine Fault-Tolerant Protocol. |
NFM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Tommaso Dreossi, Alexandre Donzé, Sanjit A. Seshia |
Compositional Falsification of Cyber-Physical Systems with Machine Learning Components. |
NFM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Brandon Shapiro, Chris Casinghino |
specgen: A Tool for Modeling Statecharts in CSP. |
NFM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Mario Gleirscher, Stefan Kugele |
From Hazard Analysis to Hazard Mitigation Planning: The Automated Driving Case. |
NFM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | 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. |
NFM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Arnaud Dieumegard, Ning Ge 0002, Eric Jenn |
Event-B at Work: Some Lessons Learnt from an Application to a Robot Anti-collision Function. |
NFM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ashlie B. Hocking, M. Anthony Aiello, John C. Knight, Nikos Aréchiga |
Input Space Partitioning to Enable Massively Parallel Proof. |
NFM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ashlie B. Hocking, Benjamin D. Rodes, John C. Knight, Jack W. Davidson, Clark L. Coleman |
A Proof Infrastructure for Binary Programs. |
NFM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Hua Zhong, Lingming Zhang 0001, Sarfraz Khurshid |
The comKorat Tool: Unified Combinatorial and Constraint-Based Generation of Structurally Complex Tests. |
NFM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Abel 0002, Jan Reineke 0001 |
Gray-Box Learning of Serial Compositions of Mealy Machines. |
NFM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Srinivas Pinisetty, Stavros Tripakis |
Compositional Runtime Enforcement. |
NFM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Christophe Filliâtre, Mário Pereira |
A Modular Way to Reason About Iteration. |
NFM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Josh Newell, Linna Pang, David Tremaine, Alan Wassyng, Mark Lawford |
Formal Translation of IEC 61131-3 Function Block Diagrams to PVS with Nuclear Application. |
NFM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Meng Wu, Haibo Zeng 0001, Chao Wang 0001 |
Synthesizing Runtime Enforcer of Safety Properties Under Burst Error. |
NFM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Devesh Bhatt, Arunabh Chattopadhyay, Wenchao Li 0001, David Oglesby, Sam Owre, Natarajan Shankar |
Contract-Based Verification of Complex Time-Dependent Behaviors in Avionic Systems. |
NFM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sergio B. Guarro, Ümit Özgüner, Tunc Aldemir, Matt Knudson, Arda Kurt, Michael K. Yau, Mohammad Hejase, Steve Kwon |
Formal Validation and Verification Framework for Model-Based and Adaptive Control Systems. |
NFM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Julian Brunner 0001, Peter Lammich |
Formal Verification of an Executable LTL Model Checker with Partial Order Reduction. |
NFM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | John D. Backes, Michael W. Whalen, Andrew Gacek, John Komp |
On Implementing Real-Time Specification Patterns Using Observers. |
NFM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Adam Nellis, Pascal Kesseli, Philippa Ryan Conmy, Daniel Kroening, Peter Schrammel, Michael Tautschnig |
Assisted Coverage Closure. |
NFM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Michael D. Ernst, Damiano Macedonio, Massimo Merro, Fausto Spoto |
Semantics for Locking Specifications. |
NFM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Muhammad Usama Sardar, Nida Afaq, Khaza Anuarul Hoque, Taylor T. Johnson, Osman Hasan |
Probabilistic Formal Verification of the SATS Concept of Operation. |
NFM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Yi-Chin Wu, Vasumathi Raman, Stéphane Lafortune, Sanjit A. Seshia |
Obfuscator Synthesis for Privacy and Utility. |
NFM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Clément Fumex, Claire Dross, Jens Gerlach, Claude Marché |
Specification and Proof of High-Level Functional Properties of Bit-Level Programs. |
NFM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Hao Ren 0004, Devesh Bhatt, Jan Hvozdovic |
Improving an Industrial Test Generation Tool Using SMT Solver. |
NFM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Néstor Cataño, Victor Rivera |
EventB2Java: A Code Generator for Event-B. |
NFM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | César A. Muñoz, Anthony Narkawicz |
Formal Analysis of Extended Well-Clear Boundaries for Unmanned Aircraft. |
NFM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Shaobo He, Shuvendu K. Lahiri, Zvonimir Rakamaric |
Verifying Relative Safety, Accuracy, and Termination for Program Approximations. |
NFM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jing Liu, John D. Backes, Darren D. Cofer, Andrew Gacek |
From Design Contracts to Component Requirements Verification. |
NFM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ariane Piel, Jean Bourrely, Stéphanie Lala, Sylvain Bertrand, Romain Kervarc |
Temporal Logic Framework for Performance Analysis of Architectures of Systems. |
NFM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Shalini Ghosh, Daniel Elenius, Wenchao Li 0001, Patrick Lincoln, Natarajan Shankar, Wilfried Steiner |
ARSENAL: Automatic Requirements Specification Extraction from Natural Language. |
NFM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sidi Mohamed Beillahi, Mohamed Yousri Mahmoud, Sofiène Tahar |
Hierarchical Verification of Quantum Circuits. |
NFM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Robert P. Goldman, Daniel Bryce, Michael J. S. Pelican, David J. Musliner, Kyungmin Bae |
A Hybrid Architecture for Correct-by-Construction Hybrid Planning and Control. |
NFM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Gaspard Férey, Natarajan Shankar |
Code Generation Using a Formal Model of Reference Counting. |
NFM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Susmit Jha, Vasumathi Raman |
Automated Synthesis of Safe Autonomous Vehicle Control Under Perception Uncertainty. |
NFM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Albert Rizaldi, Fabian Immler, Matthias Althoff |
A Formally Verified Checker of the Safe Distance Traffic Rules for Autonomous Vehicles. |
NFM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jeroen Meijer, Jaco van de Pol |
Bandwidth and Wavefront Reduction for Static Variable Ordering in Symbolic Reachability Analysis. |
NFM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sanjai Rayadurgam, Oksana Tkachuk (eds.) |
NASA Formal Methods - 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings |
NFM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Gianluca Amato, Simone Di Nardo Di Maio, Francesca Scozzari |
Sum of Abstract Domains. |
NFM |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey |
A Tool for Intersecting Context-Free Grammars and Its Applications. |
NFM |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Alex Groce, Jervis Pinto |
A Little Language for Testing. |
NFM |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Dragan Bosnacki, Mark Scheffer |
Partial Order Reduction and Symmetry with Multiple Representatives. |
NFM |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Rajiv Murali, Andrew Ireland, Gudmund Grov |
A Rigorous Approach to Combining Use Case Modelling and Accident Scenarios. |
NFM |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Gacek, Andreas Katis, Michael W. Whalen, John Backes, Darren D. Cofer |
Towards Realizability Checking of Contracts Using Theories. |
NFM |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Anitha Murugesan, Michael W. Whalen, Neha Rungta, Oksana Tkachuk, Suzette Person, Mats Per Erik Heimdahl, Dongjiang You |
Are We There Yet? Determining the Adequacy of Formalized Requirements and Test Suites. |
NFM |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ahlem Triki, Borzoo Bonakdarpour, Jacques Combaz, Saddek Bensalem |
Automated Conflict-Free Concurrent Implementation of Timed Component-Based Models. |
NFM |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Alice Dal Corso, Damiano Macedonio, Massimo Merro |
Statistical Model Checking of Ad Hoc Routing Protocols in Lossy Grid Networks. |
NFM |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Andrew N. Fisher, Chris J. Myers, Peng Li 0001 |
Reachability Analysis Using Extremal Rates. |
NFM |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Xin Chen 0002, Stefan Schupp, Ibtissem Ben Makhlouf, Erika Ábrahám, Goran Frehse, Stefan Kowalewski |
A Benchmark Suite for Hybrid Systems Reachability Analysis. |
NFM |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Shashank Pathak, Erika Ábrahám, Nils Jansen 0001, Armando Tacchella, Joost-Pieter Katoen |
A Greedy Approach for the Efficient Repair of Stochastic Models. |
NFM |
2015 |
DBLP DOI BibTeX RDF |
|
1 | John Backes, Darren D. Cofer, Steven P. Miller, Michael W. Whalen |
Requirements Analysis of a Quad-Redundant Flight Control System. |
NFM |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Olli Saarikivi, Keijo Heljanko |
Reporting Races in Dynamic Partial Order Reduction. |
NFM |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Luis M. Carril, Walter F. Tichy |
Predicting and Witnessing Data Races Using CSP. |
NFM |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Freek Verbeek, Oto Havle, Julien Schmaltz, Sergey Tverdyshev, Holger Blasum, Bruno Langenstein, Werner Stephan 0001, Burkhart Wolff, Yakoub Nemouchi |
Formal API Specification of the PikeOS Separation Kernel. |
NFM |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Tommaso Dreossi, Thao Dang 0001, Alexandre Donzé, James Kapinski, Xiaoqing Jin, Jyotirmoy V. Deshmukh |
Efficient Guiding Strategies for Testing of Temporal Properties of Hybrid Systems. |
NFM |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ivan Bocic, Tevfik Bultan |
Data Model Bugs. |
NFM |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Cristiano Calcagno, Dino Distefano, Jérémy Dubreil, Dominik Gabi, Pieter Hooimeijer, Martino Luca, Peter W. O'Hearn, Irene Papakonstantinou, Jim Purbrick, Dulma Rodriguez |
Moving Fast with Software Verification. |
NFM |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Yu Huang, Eric Mercer |
Detecting MPI Zero Buffer Incompatibility by SMT Encoding. |
NFM |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Viktor Kuncak |
Developing Verified Software Using Leon. |
NFM |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Holger Siegel, Axel Simon |
Shape Analysis with Connectors. |
NFM |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni |
UFIT: A Tool for Modeling Faults in UPPAAL Timed Automata. |
NFM |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jesús Aransay, Jose Divasón |
Generalizing a Mathematical Analysis Library in Isabelle/HOL. |
NFM |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Robert Jakob, Peter Thiemann 0001 |
A Falsification View of Success Typing. |
NFM |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi (eds.) |
NASA Formal Methods - 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings |
NFM |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Greg Eakman, Howard Reubenstein, Tom Hawkins, Mitesh Jain, Panagiotis Manolios |
Practical Formal Verification of Domain-Specific Language Applications. |
NFM |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Marijn Heule, Martina Seidl, Armin Biere |
Blocked Literals Are Universal. |
NFM |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Wenrui Meng, Junkil Park, Oleg Sokolsky, Stephanie Weirich, Insup Lee 0001 |
Verified ROS-Based Deployment of Platform-Independent Control Systems. |
NFM |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Aboubakr Achraf El Ghazi, Mana Taghdiri, Mihai Herda |
First-Order Transitive Closure Axiomatization via Iterative Invariant Injections. |
NFM |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Schwartz-Narbonne, Martin Schäf, Dejan Jovanovic, Philipp Rümmer, Thomas Wies |
Conflict-Directed Graph Coverage. |
NFM |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Gibson-Robinson, Henri Hansen, A. W. Roscoe 0001, Xu Wang 0001 |
Practical Partial Order Reduction for CSP. |
NFM |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Yan Peng, Mark R. Greenstreet |
Integrating SMT with Theorem Proving for Analog/Mixed-Signal Circuit Verification. |
NFM |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem, Marius Bozga, Jacques Combaz |
Compositional Verification of Parameterised Timed Systems. |
NFM |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Étienne André, Giuseppe Lipari, Hoang Gia Nguyen, Youcheng Sun |
Reachability Preservation Based Parameter Synthesis for Timed Automata. |
NFM |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Martín Abadi, Michael Isard |
Timely Rollback: Specification and Verification. |
NFM |
2015 |
DBLP DOI BibTeX RDF |
|