Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Artur Oliveira Gomes, Andrew Butterfield |
Circus2CSP: A Tool for Model-Checking Circus Using FDR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, pp. 235-242, 2019, Springer, 978-3-030-30941-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, pp. 138-157, 2019, Springer, 978-3-030-30941-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Cui Su, Soumya Paul, Jun Pang 0001 |
Controlling Large Boolean Networks with Temporary and Permanent Perturbations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, pp. 707-724, 2019, Springer, 978-3-030-30941-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Artur Oliveira Gomes, Andrew Butterfield |
Towards a Model-Checker for Circus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, pp. 217-234, 2019, Springer, 978-3-030-30941-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Hans-Peter Deifel, Stefan Milius, Lutz Schröder, Thorsten Wißmann |
Generic Partition Refinement and Weighted Tree Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, pp. 280-297, 2019, Springer, 978-3-030-30941-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, pp. 651-669, 2019, Springer, 978-3-030-30941-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, pp. 593-610, 2019, Springer, 978-3-030-30941-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, pp. 484-501, 2019, Springer, 978-3-030-30941-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Philipp Körner, Jens Bendisposto, Jannik Dunkelau, Sebastian Krings, Michael Leuschel |
Embedding High-Level Formal Specifications into Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, pp. 519-535, 2019, Springer, 978-3-030-30941-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Gal Amram, Shahar Maoz, Or Pistiner |
GR(1)*: GR(1) Specifications Extended with Existential Guarantees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, pp. 83-100, 2019, Springer, 978-3-030-30941-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Joachim Bard, Heiko Becker, Eva Darulova |
Formally Verified Roundoff Errors Using SMT-based Certificates and Subdivisions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, pp. 38-44, 2019, Springer, 978-3-030-30941-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Sarai Sheinvald |
Learning Deterministic Variable Automata over Infinite Alphabets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, pp. 633-650, 2019, Springer, 978-3-030-30941-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Milan Ceska 0002, Christian Hensel, Sebastian Junges, Joost-Pieter Katoen |
Counterexample-Driven Synthesis for Probabilistic Program Sketches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, pp. 101-120, 2019, Springer, 978-3-030-30941-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Sung-Shik Jongmans, Arjan Lamers, Marko C. J. D. van Eekelen |
SOA and the Button Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, pp. 689-706, 2019, Springer, 978-3-030-30941-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Mathieu Comptier, David Déharbe, Paulin Fournier, Julien Molinero Perez |
Property-Driven Software Analysis - (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, pp. 746-750, 2019, Springer, 978-3-030-30941-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Alexandros Evangelidis, David Parker 0001 |
Quantitative Verification of Numerical Stability for Kalman Filters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, pp. 425-441, 2019, Springer, 978-3-030-30941-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, pp. 161-178, 2019, Springer, 978-3-030-30941-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Arusoaie, Dorel Lucanu |
Unification in Matching Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, pp. 502-518, 2019, Springer, 978-3-030-30941-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, pp. 337-353, 2019, Springer, 978-3-030-30941-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Lennart Beringer, Andrew W. Appel |
Abstraction and Subsumption in Modular Verification of C Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, pp. 573-590, 2019, Springer, 978-3-030-30941-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Anh V. Vu, Mizuhito Ogawa |
Formal Semantics Extraction from Natural Language Specifications for ARM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, pp. 465-483, 2019, Springer, 978-3-030-30941-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, pp. 354-370, 2019, Springer, 978-3-030-30941-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Marta Kwiatkowska, Gethin Norman, David Parker 0001, Gabriel Santos |
Equilibria-Based Probabilistic Model Checking for Concurrent Stochastic Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, pp. 298-315, 2019, Springer, 978-3-030-30941-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yong Kiam Tan, André Platzer |
An Axiomatic Approach to Liveness for Differential Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, pp. 371-388, 2019, Springer, 978-3-030-30941-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Rüdiger Ehlers |
How Hard Is Finding Shortest Counter-Example Lassos in Model Checking? ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, pp. 245-261, 2019, Springer, 978-3-030-30941-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Shriram Krishnamurthi, Tim Nelson |
The Human in Formal Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, pp. 3-10, 2019, Springer, 978-3-030-30941-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Dina Irofti, Paul Dubrulle |
Local Consistency Check in Synchronous Dataflow Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, pp. 389-405, 2019, Springer, 978-3-030-30941-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jon Haël Brenas, Rachid Echahed, Martin Strecker |
Reasoning Formally About Database Queries and Updates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, pp. 556-572, 2019, Springer, 978-3-030-30941-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Graeme Smith 0001, Nicholas Coughlin, Toby Murray |
Value-Dependent Information-Flow Security on Weak Memory Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, pp. 539-555, 2019, Springer, 978-3-030-30941-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, pp. 262-279, 2019, Springer, 978-3-030-30941-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, pp. 762-772, 2019, Springer, 978-3-030-30941-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | June Andronick |
Successes in Deployed Verified Software (and Insights on Key Social Factors). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, pp. 11-17, 2019, Springer, 978-3-030-30941-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Bjørnar Luteberget, Christian Johansen, Martin Steffen |
Synthesis of Railway Signaling Layout from Local Capacity Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, pp. 121-137, 2019, Springer, 978-3-030-30941-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Cosimo Laneve |
A Lightweight Deadlock Analysis for Programs with Threads and Reentrant Locks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings, pp. 608-624, 2018, Springer, 978-3-319-95581-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Florent Avellaneda, Alexandre Petrenko |
FSM Inference from Long Traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings, pp. 93-109, 2018, Springer, 978-3-319-95581-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings, pp. 312-328, 2018, Springer, 978-3-319-95581-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Kim Guldstrand Larsen, Florian Lorber, Brian Nielsen |
20 Years of Real Real Time Model Validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings, pp. 22-36, 2018, Springer, 978-3-319-95581-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Keyvan Azadbakht, Frank S. de Boer, Erik P. de Vink |
Deadlock Detection for Actor-Based Coroutines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings, pp. 39-54, 2018, Springer, 978-3-319-95581-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Axel Legay, Dirk Nowotka, Danny Bøgsted Poulsen, Louis-Marie Traonouez |
Statistical Model Checking of LLVM Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings, pp. 542-549, 2018, Springer, 978-3-319-95581-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Davide Giacomo Cavezza, Dalal Alrajeh, András György 0001 |
A Weakness Measure for GR(1) Formulae. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings, pp. 110-128, 2018, Springer, 978-3-319-95581-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings, pp. 382-398, 2018, Springer, 978-3-319-95581-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Kästner, Laurent Mauborgne, Christian Ferdinand |
On Software Safety, Security, and Abstract Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings, pp. 662-665, 2018, Springer, 978-3-319-95581-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings, pp. 523-541, 2018, Springer, 978-3-319-95581-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Chuchu Fan, Zhenqi Huang, Sayan Mitra |
Approximate Partial Order Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings, pp. 588-607, 2018, Springer, 978-3-319-95581-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings, pp. 485-504, 2018, Springer, 978-3-319-95581-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ian J. Hayes, Larissa A. Meinicke |
Encoding Fairness in a Synchronous Concurrent Program Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings, pp. 222-239, 2018, Springer, 978-3-319-95581-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Cimatti, Ivan Stojic, Stefano Tonetta |
Formal Specification and Verification of Dynamic Parametrized Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings, pp. 625-644, 2018, Springer, 978-3-319-95581-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings, pp. 550-567, 2018, Springer, 978-3-319-95581-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Thierry Lecomte |
Disruptive Innovations for the Development and the Deployment of Fault-Free Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings, pp. 686-689, 2018, Springer, 978-3-319-95581-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Dhriti Khanna, Subodh Sharma 0001, César Rodríguez, Rahul Purandare |
Dynamic Symbolic Verification of MPI Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings, pp. 466-484, 2018, Springer, 978-3-319-95581-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Natasha Fernandes, Mark Dras, Annabelle McIver |
Processing Text for Privacy: An Information Flow Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings, pp. 3-21, 2018, Springer, 978-3-319-95581-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Heiko Becker, Pavel Panchekha, Eva Darulova, Zachary Tatlock |
Combining Tools for Optimization and Analysis of Floating-Point Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings, pp. 355-363, 2018, Springer, 978-3-319-95581-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings, pp. 329-337, 2018, Springer, 978-3-319-95581-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings, pp. 73-92, 2018, Springer, 978-3-319-95581-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings, pp. 203-221, 2018, Springer, 978-3-319-95581-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ernie Cohen |
Object-Oriented Security Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings, pp. 671-674, 2018, Springer, 978-3-319-95581-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Ferrère |
The Compound Interest in Relaxing Punctuality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings, pp. 147-164, 2018, Springer, 978-3-319-95581-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Claudio Menghi, Sergio García 0002, Patrizio Pelliccione, Jana Tumova |
Multi-robot LTL Planning Under Uncertainty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings, pp. 399-417, 2018, Springer, 978-3-319-95581-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Schnetzer Fava, Martin Steffen, Volker Stolz |
Operational Semantics of a Weak Memory Model with Channel Synchronization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings, pp. 258-276, 2018, Springer, 978-3-319-95581-0. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![Springer, 978-3-319-95581-0 The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings, pp. 338-354, 2018, Springer, 978-3-319-95581-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Sorawee Porncharoenwase, Tim Nelson, Shriram Krishnamurthi |
CompoSAT: Specification-Guided Coverage for Model Finding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings, pp. 568-587, 2018, Springer, 978-3-319-95581-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings, pp. 364-381, 2018, Springer, 978-3-319-95581-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Signe Geisler, Anne E. Haxthausen |
Stepwise Development and Model Checking of a Distributed Interlocking System - Using RAISE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings, pp. 277-293, 2018, Springer, 978-3-319-95581-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Arthur Américo, Mário S. Alvim, Annabelle McIver |
An Algebraic Approach for Reasoning About Information Flow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings, pp. 55-72, 2018, Springer, 978-3-319-95581-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Raúl Pardo, César Sánchez 0001, Gerardo Schneider |
Timed Epistemic Knowledge Bases for Social Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings, pp. 185-202, 2018, Springer, 978-3-319-95581-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Tewodros A. Beyene, Harald Ruess |
Evidential and Continuous Integration of Software Verification Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings, pp. 679-685, 2018, Springer, 978-3-319-95581-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings, pp. 647-652, 2018, Springer, 978-3-319-95581-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Pavel Avgustinov, Kevin Backhouse, Man Yue Mo |
Variant Analysis with QL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings, pp. 666-670, 2018, Springer, 978-3-319-95581-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jörg Brauer, Uwe Schulze |
Model-Based Testing for Avionics Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings, pp. 657-661, 2018, Springer, 978-3-319-95581-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings, pp. 165-184, 2018, Springer, 978-3-319-95581-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Sogokon, Khalil Ghorbal, Yong Kiam Tan, André Platzer |
Vector Barrier Certificates and Comparison Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings, pp. 418-437, 2018, Springer, 978-3-319-95581-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Gavin Lowe |
View Abstraction for Systems with Component Identities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings, pp. 505-522, 2018, Springer, 978-3-319-95581-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Robert J. Colvin, Graeme Smith 0001 |
A Wide-Spectrum Language for Verification of Programs on Weak Memory Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings, pp. 240-257, 2018, Springer, 978-3-319-95581-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Arne Borälv |
Interlocking Design Automation Using Prover Trident. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings, pp. 653-656, 2018, Springer, 978-3-319-95581-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings, pp. 294-311, 2018, Springer, 978-3-319-95581-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Simon Busard, Charles Pecheur |
Producing Explanations for Rich Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings, pp. 129-146, 2018, Springer, 978-3-319-95581-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Hana Chockler, Shibashis Guha, Orna Kupferman |
Timed Vacuity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings, pp. 438-455, 2018, Springer, 978-3-319-95581-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings, pp. 456-465, 2018, Springer, 978-3-319-95581-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Nikolaj S. Bjørner |
Z3 and SMT in Industrial R&D. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings, pp. 675-678, 2018, Springer, 978-3-319-95581-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Cristina David, Pascal Kesseli, Daniel Kroening, Matt Lewis |
Danger Invariants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings, pp. 182-198, 2016, 978-3-319-48988-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings, pp. 779-785, 2016, 978-3-319-48988-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings, pp. 748-756, 2016, 978-3-319-48988-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Artem Khyzha, Alexey Gotsman, Matthew J. Parkinson |
A Generic Logic for Proving Linearizability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings, pp. 426-443, 2016, 978-3-319-48988-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Christoph-Simon Senjak, Martin Hofmann 0001 |
An Implementation of Deflate in Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings, pp. 612-627, 2016, 978-3-319-48988-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings, pp. 551-558, 2016, 978-3-319-48988-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings, pp. 155-163, 2016, 978-3-319-48988-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Bat-Chen Rothenberg, Orna Grumberg |
Sound and Complete Mutation-Based Program Repair. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings, pp. 593-611, 2016, 978-3-319-48988-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Pedro R. G. Antonino, Thomas Gibson-Robinson, A. W. Roscoe 0001 |
Tighter Reachability Criteria for Deadlock-Freedom Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings, pp. 43-59, 2016, 978-3-319-48988-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Cimatti, Sergio Mover, Mirko Sessa |
From Electrical Switched Networks to Hybrid Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings, pp. 164-181, 2016, 978-3-319-48988-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Dimitra Giannakopoulou, Dennis Guck, Johann Schumann |
Exploring Model Quality for ACAS X. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings, pp. 274-290, 2016, 978-3-319-48988-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Claudio Menghi, Paola Spoletini, Carlo Ghezzi |
Dealing with Incompleteness in Automata-Based Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings, pp. 531-550, 2016, 978-3-319-48988-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings, pp. 85-101, 2016, 978-3-319-48988-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings, pp. 460-478, 2016, 978-3-319-48988-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings, pp. 388-405, 2016, 978-3-319-48988-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Gaogao Yan, Li Jiao, Yangjia Li, Shuling Wang, Naijun Zhan |
Approximate Bisimulation and Discretization of Hybrid CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings, pp. 702-720, 2016, 978-3-319-48988-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden |
Refactoring Refinement Structure of Event-B Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings, pp. 444-459, 2016, 978-3-319-48988-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Sogokon, Khalil Ghorbal, Taylor T. Johnson |
Decoupling Abstractions of Non-linear Ordinary Differential Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings, pp. 628-644, 2016, 978-3-319-48988-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings, pp. 352-369, 2016, 978-3-319-48988-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Holzer, Daniel Schwartz-Narbonne, Mitra Tabaei Befrouei, Georg Weissenbacher, Thomas Wies |
Error Invariants for Concurrent Traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings, pp. 370-387, 2016, 978-3-319-48988-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|