Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Artur Oliveira Gomes, Andrew Butterfield |
Circus2CSP: A Tool for Model-Checking Circus Using FDR. |
FM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Sogokon, Stefan Mitsch, Yong Kiam Tan, Katherine Cordwell, André Platzer |
Pegasus: A Framework for Sound Continuous Invariant Generation. |
FM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Cui Su, Soumya Paul, Jun Pang 0001 |
Controlling Large Boolean Networks with Temporary and Permanent Perturbations. |
FM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Artur Oliveira Gomes, Andrew Butterfield |
Towards a Model-Checker for Circus. |
FM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Hans-Peter Deifel, Stefan Milius, Lutz Schröder, Thorsten Wißmann |
Generic Partition Refinement and Weighted Tree Automata. |
FM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Martin Tappler, Bernhard K. Aichernig, Giovanni Bacci 0001, Maria Eichlseder, Kim G. Larsen |
L*-Based Learning of Markov Decision Processes. |
FM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Theodoros Kasampalis, Dwight Guth, Brandon M. Moore, Traian-Florin Serbanuta, Yi Zhang, Daniele Filaretti, Virgil Nicolae Serbanuta, Ralph Johnson, Grigore Rosu |
IELE: A Rigorously Designed Language and Tool Ecosystem for the Blockchain. |
FM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Arthur Charguéraud, Jean-Christophe Filliâtre, Cláudio Lourenço, Mário Pereira |
GOSPEL - Providing OCaml with a Formal Specification Language. |
FM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Philipp Körner, Jens Bendisposto, Jannik Dunkelau, Sebastian Krings, Michael Leuschel |
Embedding High-Level Formal Specifications into Applications. |
FM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Gal Amram, Shahar Maoz, Or Pistiner |
GR(1)*: GR(1) Specifications Extended with Existential Guarantees. |
FM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Joachim Bard, Heiko Becker, Eva Darulova |
Formally Verified Roundoff Errors Using SMT-based Certificates and Subdivisions. |
FM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Sarai Sheinvald |
Learning Deterministic Variable Automata over Infinite Alphabets. |
FM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Milan Ceska 0002, Christian Hensel, Sebastian Junges, Joost-Pieter Katoen |
Counterexample-Driven Synthesis for Probabilistic Program Sketches. |
FM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Sung-Shik Jongmans, Arjan Lamers, Marko C. J. D. van Eekelen |
SOA and the Button Problem. |
FM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Mathieu Comptier, David Déharbe, Paulin Fournier, Julien Molinero Perez |
Property-Driven Software Analysis - (Extended Abstract). |
FM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Alexandros Evangelidis, David Parker 0001 |
Quantitative Verification of Numerical Stability for Kalman Filters. |
FM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yongwang Zhao, David Sanán, Fuyuan Zhang, Yang Liu 0003 |
A Parametric Rely-Guarantee Reasoning Framework for Concurrent Reactive Systems. |
FM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Arusoaie, Dorel Lucanu |
Unification in Matching Logic. |
FM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Abhishek Singh, Rekha R. Pai, Deepak D'Souza, Meenakshi D'Souza |
Static Analysis for Detecting High-Level Races in RTOS Kernels. |
FM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Lennart Beringer, Andrew W. Appel |
Abstraction and Subsumption in Modular Verification of C Programs. |
FM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Anh V. Vu, Mizuhito Ogawa |
Formal Semantics Extraction from Natural Language Specifications for ARM. |
FM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Simon Lunel, Stefan Mitsch, Benoît Boyer, Jean-Pierre Talpin |
Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic. |
FM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Marta Kwiatkowska, Gethin Norman, David Parker 0001, Gabriel Santos |
Equilibria-Based Probabilistic Model Checking for Concurrent Stochastic Games. |
FM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yong Kiam Tan, André Platzer |
An Axiomatic Approach to Liveness for Differential Equations. |
FM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Rüdiger Ehlers |
How Hard Is Finding Shortest Counter-Example Lassos in Model Checking? |
FM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Shriram Krishnamurthi, Tim Nelson |
The Human in Formal Methods. |
FM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Dina Irofti, Paul Dubrulle |
Local Consistency Check in Synchronous Dataflow Models. |
FM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jon Haël Brenas, Rachid Echahed, Martin Strecker |
Reasoning Formally About Database Queries and Updates. |
FM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Graeme Smith 0001, Nicholas Coughlin, Toby Murray |
Value-Dependent Information-Flow Security on Weak Memory Models. |
FM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Simon Jantsch, David Müller 0001, Christel Baier, Joachim Klein 0001 |
From LTL to Unambiguous Büchi Automata via Disambiguation of Alternating Automata. |
FM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Maurice H. ter Beek, Arne Borälv, Alessandro Fantechi, Alessio Ferrari 0001, Stefania Gnesi, Christer Löfving, Franco Mazzanti |
Adopting Formal Methods in an Industrial Setting: The Railways Case. |
FM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | June Andronick |
Successes in Deployed Verified Software (and Insights on Key Social Factors). |
FM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Bjørnar Luteberget, Christian Johansen, Martin Steffen |
Synthesis of Railway Signaling Layout from Local Capacity Specifications. |
FM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Cosimo Laneve |
A Lightweight Deadlock Analysis for Programs with Threads and Reentrant Locks. |
FM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Florent Avellaneda, Alexandre Petrenko |
FSM Inference from Long Traces. |
FM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Philipp Berger 0002, Joost-Pieter Katoen, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow |
Verifying Auto-generated C Code from Simulink - An Experience Report in the Automotive Domain. |
FM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Kim Guldstrand Larsen, Florian Lorber, Brian Nielsen |
20 Years of Real Real Time Model Validation. |
FM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Keyvan Azadbakht, Frank S. de Boer, Erik P. de Vink |
Deadlock Detection for Actor-Based Coroutines. |
FM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Axel Legay, Dirk Nowotka, Danny Bøgsted Poulsen, Louis-Marie Traonouez |
Statistical Model Checking of LLVM Code. |
FM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Davide Giacomo Cavezza, Dalal Alrajeh, András György 0001 |
A Weakness Measure for GR(1) Formulae. |
FM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Johanna Nellen, Thomas Rambow, Md Tawhid Bin Waez, Erika Ábrahám, Joost-Pieter Katoen |
Formal Verification of Automotive Simulink Controller Models: Empirical Technical Challenges, Evaluation and Recommendations. |
FM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Kästner, Laurent Mauborgne, Christian Ferdinand |
On Software Safety, Security, and Abstract Interpretation. |
FM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Fuyuan Zhang, Yongwang Zhao, David Sanán, Yang Liu 0003, Alwen Tiu, Shang-Wei Lin 0001, Jun Sun 0001 |
Compositional Reasoning for Shared-Variable Concurrent Programs. |
FM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Chuchu Fan, Zhenqi Huang, Sayan Mitra |
Approximate Partial Order Reduction. |
FM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Sander de Putter, Anton Wijs |
To Compose, or Not to Compose, That Is the Question: An Analysis of Compositional State Space Generation. |
FM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ian J. Hayes, Larissa A. Meinicke |
Encoding Fairness in a Synchronous Concurrent Program Algebra. |
FM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Cimatti, Ivan Stojic, Stefano Tonetta |
Formal Specification and Verification of Dynamic Parametrized Architectures. |
FM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Elvira Albert, Miguel Gómez-Zamalloa, Albert Rubio, Matteo Sammartino, Alexandra Silva 0001 |
SDN-Actors: Modeling and Verification of SDN Programs. |
FM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Thierry Lecomte |
Disruptive Innovations for the Development and the Deployment of Fault-Free Software. |
FM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Dhriti Khanna, Subodh Sharma 0001, César Rodríguez, Rahul Purandare |
Dynamic Symbolic Verification of MPI Programs. |
FM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Natasha Fernandes, Mark Dras, Annabelle McIver |
Processing Text for Privacy: An Information Flow Perspective. |
FM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Heiko Becker, Pavel Panchekha, Eva Darulova, Zachary Tatlock |
Combining Tools for Optimization and Analysis of Floating-Point Computations. |
FM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Vandin, Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente |
QFLan: A Tool for the Quantitative Analysis of Highly Reconfigurable Systems. |
FM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jingyi Wang 0004, Jun Sun 0001, Yifan Jia 0002, Shengchao Qin, Zhiwu Xu 0001 |
Towards 'Verifying' a Water Treatment System. |
FM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Bacci 0001, Patricia Bouyer, Uli Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey, Pierre-Alain Reynier |
Optimal and Robust Controller Synthesis - Using Energy Timed Automata with Uncertainty. |
FM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ernie Cohen |
Object-Oriented Security Proofs. |
FM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Ferrère |
The Compound Interest in Relaxing Punctuality. |
FM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Claudio Menghi, Sergio García 0002, Patrizio Pelliccione, Jana Tumova |
Multi-robot LTL Planning Under Uncertainty. |
FM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Schnetzer Fava, Martin Steffen, Volker Stolz |
Operational Semantics of a Weak Memory Model with Channel Synchronization. |
FM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Havelund, Jan Peleska 0001, Bill Roscoe, Erik P. de Vink (eds.) |
Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings |
FM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Letan, Yann Régis-Gianas, Pierre Chifflier, Guillaume Hiet |
Modular Verification of Programs with Effects and Effect Handlers in Coq. |
FM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Sorawee Porncharoenwase, Tim Nelson, Shriram Krishnamurthi |
CompoSAT: Specification-Guided Coverage for Model Finding. |
FM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Laura Titolo, Mariano M. Moscato, César A. Muñoz, Aaron Dutle, François Bobot |
A Formally Verified Floating-Point Implementation of the Compact Position Reporting Algorithm. |
FM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Signe Geisler, Anne E. Haxthausen |
Stepwise Development and Model Checking of a Distributed Interlocking System - Using RAISE. |
FM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Arthur Américo, Mário S. Alvim, Annabelle McIver |
An Algebraic Approach for Reasoning About Information Flow. |
FM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Raúl Pardo, César Sánchez 0001, Gerardo Schneider |
Timed Epistemic Knowledge Bases for Social Networks. |
FM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Tewodros A. Beyene, Harald Ruess |
Evidential and Continuous Integration of Software Verification Tools. |
FM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | César A. Muñoz, Anthony Narkawicz, Aaron Dutle |
From Formal Requirements to Highly Assured Software for Unmanned Aircraft Systems. |
FM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Pavel Avgustinov, Kevin Backhouse, Man Yue Mo |
Variant Analysis with QL. |
FM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jörg Brauer, Uwe Schulze |
Model-Based Testing for Avionics Systems. |
FM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ivan Ruchkin, Joshua Sunshine, Grant Iraci, Bradley R. Schmerl, David Garlan |
IPL: An Integration Property Language for Multi-model Cyber-physical Systems. |
FM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Sogokon, Khalil Ghorbal, Yong Kiam Tan, André Platzer |
Vector Barrier Certificates and Comparison Systems. |
FM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Gavin Lowe |
View Abstraction for Systems with Component Identities. |
FM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Robert J. Colvin, Graeme Smith 0001 |
A Wide-Spectrum Language for Verification of Programs on Weak Memory Models. |
FM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Arne Borälv |
Interlocking Design Automation Using Prover Trident. |
FM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Rongjie Yan, Di Zhu, Fan Zhang, Yiqi Lv, Junjie Yang, Kai Huang 0001 |
Resource-Aware Design for Reliable Autonomous Applications with Multiple Periods. |
FM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Simon Busard, Charles Pecheur |
Producing Explanations for Rich Logics. |
FM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Hana Chockler, Shibashis Guha, Orna Kupferman |
Timed Vacuity. |
FM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Takumi Akazaki, Shuang Liu 0007, Yoriyuki Yamagata, Yihai Duan, Jianye Hao |
Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning. |
FM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Nikolaj S. Bjørner |
Z3 and SMT in Industrial R&D. |
FM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Cristina David, Pascal Kesseli, Daniel Kroening, Matt Lewis |
Danger Invariants. |
FM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Teodor Stoenescu, Alin Stefanescu, Sorina Predut, Florentin Ipate |
RIVER: A Binary Analysis Framework Using Symbolic Execution and Reversible x86 Instructions. |
FM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Predrag Filipovikj, Nesredin Mahmud, Raluca Marinescu, Cristina Seceleanu, Oscar Ljungkrantz, Henrik Lönn |
Simulink to UPPAAL Statistical Model Checker: Analyzing Automotive Industrial Systems. |
FM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Artem Khyzha, Alexey Gotsman, Matthew J. Parkinson |
A Generic Logic for Proving Linearizability. |
FM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Christoph-Simon Senjak, Martin Hofmann 0001 |
An Implementation of Deflate in Coq. |
FM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Rajdeep Mukherjee, Saurabh Joshi 0001, Andreas Griesmayer, Daniel Kroening, Tom Melham |
Equivalence Checking of a Floating-Point Unit Against a High-Level C Model. |
FM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Yuqi Chen 0001, Christopher M. Poskitt, Jun Sun 0001 |
Towards Learning and Verifying Invariants of Cyber-Physical Systems by Code Mutation. |
FM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Bat-Chen Rothenberg, Orna Grumberg |
Sound and Complete Mutation-Based Program Repair. |
FM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Pedro R. G. Antonino, Thomas Gibson-Robinson, A. W. Roscoe 0001 |
Tighter Reachability Criteria for Deadlock-Freedom Analysis. |
FM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Cimatti, Sergio Mover, Mirko Sessa |
From Electrical Switched Networks to Hybrid Automata. |
FM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Dimitra Giannakopoulou, Dennis Guck, Johann Schumann |
Exploring Model Quality for ACAS X. |
FM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Claudio Menghi, Paola Spoletini, Carlo Ghezzi |
Dealing with Incompleteness in Automata-Based Model Checking. |
FM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Nikola Benes, Lubos Brim, Martin Demko, Samuel Pastva, David Safránek |
A Model Checking Approach to Discrete Bifurcation Analysis. |
FM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Pingfan Kong, Yi Li 0010, Xiaohong Chen 0002, Jun Sun 0001, Meng Sun 0002, Jingyi Wang 0004 |
Towards Concolic Testing for Hybrid Systems. |
FM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Zhe Hou, David Sanán, Alwen Tiu, Yang Liu 0003, Koh Chuen Hoa |
An Executable Formalisation of the SPARCv8 Instruction Set Architecture: A Case Study for the LEON3 Processor. |
FM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Gaogao Yan, Li Jiao, Yangjia Li, Shuling Wang, Naijun Zhan |
Approximate Bisimulation and Discretization of Hybrid CSP. |
FM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden |
Refactoring Refinement Structure of Event-B Machines. |
FM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Sogokon, Khalil Ghorbal, Taylor T. Johnson |
Decoupling Abstractions of Non-linear Ordinary Differential Equations. |
FM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ian J. Hayes, Robert J. Colvin, Larissa A. Meinicke, Kirsten Winter, Andrius Velykis |
An Algebra of Synchronous Atomic Steps. |
FM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Holzer, Daniel Schwartz-Narbonne, Mitra Tabaei Befrouei, Georg Weissenbacher, Thomas Wies |
Error Invariants for Concurrent Traces. |
FM |
2016 |
DBLP DOI BibTeX RDF |
|