|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 186 occurrences of 130 keywords
|
|
|
Results
Found 572 publication records. Showing 572 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Solofomampionona Fortunat Rajaona, Ioana Boureanu, Vadim Malvone, Francesco Belardinelli |
Program Semantics and Verification Technique for AI-Centred Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings, pp. 473-491, 2023, Springer, 978-3-031-27480-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | David A. Basin, Daniel Stefan Dietiker, Srdan Krstic, Yvonne-Anne Pignolet, Martin Raszyk, Joshua Schneider 0001, Arshavir Ter-Gabrielyan |
Monitoring the Internet Computer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings, pp. 383-402, 2023, Springer, 978-3-031-27480-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Sebastiaan Brand, Thomas Bäck, Alfons Laarman |
A Decision Diagram Operation for Reachability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings, pp. 514-532, 2023, Springer, 978-3-031-27480-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Masoud Ebrahimi 0002, Stefan Marksteiner, Dejan Nickovic, Roderick Bloem, David Schögler, Philipp Eisner, Samuel Sprung, Thomas Schober, Sebastian Chlup, Christoph Schmittner, Sandra König |
A Systematic Approach to Automotive Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings, pp. 598-609, 2023, Springer, 978-3-031-27480-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Vincenzo Ciancia, Jan Friso Groote, Diego Latella, Mieke Massink, Erik P. de Vink |
Minimisation of Spatial Models Using Branching Bisimilarity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings, pp. 263-281, 2023, Springer, 978-3-031-27480-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Davide Basile 0001, Maurice H. ter Beek |
A Runtime Environment for Contract Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings, pp. 550-567, 2023, Springer, 978-3-031-27480-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Achim D. Brucker, Amy Stell |
Verifying Feedforward Neural Networks for Classification in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings, pp. 427-444, 2023, Springer, 978-3-031-27480-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Adam Molin, Edgar A. Aguilar, Dejan Nickovic, Mengjia Zhu, Alberto Bemporad, Hasan Esen |
Specification-Guided Critical Scenario Identification for Automated Driving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings, pp. 610-621, 2023, Springer, 978-3-031-27480-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Stanley Bak, Taylor Dohmen, K. Subramani 0001, Ashutosh Trivedi 0001, Alvaro Velasquez, Piotr Wojciechowski 0002 |
The Octatope Abstract Domain for Verification of Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings, pp. 454-472, 2023, Springer, 978-3-031-27480-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Petra van den Bos, Sung-Shik Jongmans |
VeyMont: Parallelising Verified Programs Instead of Verifying Parallel Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings, pp. 321-339, 2023, Springer, 978-3-031-27480-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Robert J. Colvin |
A Fine-Grained Semantics for Arrays and Pointers Under Weak Memory Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings, pp. 301-320, 2023, Springer, 978-3-031-27480-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Laura Kovács |
Symbolic Computation in Automated Program Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings, pp. 3-9, 2023, Springer, 978-3-031-27480-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Marco Paganoni, Carlo A. Furia |
Verifying Functional Correctness Properties at the Level of Java Bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings, pp. 343-363, 2023, Springer, 978-3-031-27480-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Nils Jansen 0001 |
Intelligent and Dependable Decision-Making Under Uncertainty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings, pp. 26-36, 2023, Springer, 978-3-031-27480-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Amat, Silvano Dal-Zilio |
SMPT: A Testbed for Reachability Methods in Generalized Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings, pp. 445-453, 2023, Springer, 978-3-031-27480-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Sylvie Boldo, François Clément, Vincent Martin, Micaela Mayero, Houda Mouhcine |
A Coq Formalization of Lebesgue Induction Principle and Tonelli's Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings, pp. 39-55, 2023, Springer, 978-3-031-27480-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Maurice H. ter Beek, Guillermina Cledou, Rolf Hennicker, José Proença |
Can We Communicate? Using Dynamic Logic to Verify Team Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings, pp. 122-141, 2023, Springer, 978-3-031-27480-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Fabian Bauer-Marquart, Stefan Leue, Christian Schilling 0001 |
symQV: Automated Symbolic Verification of Quantum Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings, pp. 181-198, 2023, Springer, 978-3-031-27480-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Tsutomu Kobayashi, Martin Bondu, Fuyuki Ishikawa |
Formal Modelling of Safety Architecture for Responsibility-Aware Autonomous Vehicle via Event-B Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings, pp. 533-549, 2023, Springer, 978-3-031-27480-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Tomás Kolárik, Stefan Ratschan |
Railway Scheduling Using Boolean Satisfiability Modulo Simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings, pp. 56-73, 2023, Springer, 978-3-031-27480-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Robert Sison, Scott Buckley, Toby Murray, Gerwin Klein, Gernot Heiser |
Formalising the Prevention of Microarchitectural Timing Channels by Operating Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings, pp. 103-121, 2023, Springer, 978-3-031-27480-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Matan Peled, Bat-Chen Rothenberg, Shachar Itzhaky |
SMT Sampling via Model-Guided Approximation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings, pp. 74-91, 2023, Springer, 978-3-031-27480-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Harald Ruess |
The Next Big Thing: From Embedded Systems to Embodied Actors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings, pp. 10-25, 2023, Springer, 978-3-031-27480-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Montserrat Hermo, Paqui Lucio, César Sánchez 0001 |
Tableaux for Realizability of Safety Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings, pp. 495-513, 2023, Springer, 978-3-031-27480-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Frantisek Blahoudek, Yu-Fang Chen 0001, David Chocholatý, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Juraj Síc |
Word Equations in Synergy with Regular Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings, pp. 403-423, 2023, Springer, 978-3-031-27480-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Sven Dziadek, Uli Fahrenberg, Philipp Schlehuber-Caissier |
Energy Büchi Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings, pp. 222-239, 2023, Springer, 978-3-031-27480-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Marsha Chechik, Joost-Pieter Katoen, Martin Leucker (eds.) |
Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![Springer, 978-3-031-27480-0 The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Ernst Moritz Hahn, Mariëlle Stoelinga |
sfPFL: A Probabilistic Logic for Fault Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings, pp. 199-221, 2023, Springer, 978-3-031-27480-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Yu Liu, Pavle Subotic, Emmanuel Letier, Sergey Mechtaev, Abhik Roychoudhury |
Efficient SMT-Based Network Fault Tolerance Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings, pp. 92-100, 2023, Springer, 978-3-031-27480-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Vahid Hashemi, Jan Kretínský, Sabine Rieder, Jessica Schmidt |
Runtime Monitoring for Out-of-Distribution Detection in Object Detection Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings, pp. 622-634, 2023, Springer, 978-3-031-27480-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Ben Liblit, Linghui Luo, Alejandro Molina 0002, Rajdeep Mukherjee, Zachary Patterson, Goran Piskachev, Martin Schäf, Omer Tripp, Willem Visser |
Shifting Left for Early Detection of Machine-Learning Bugs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings, pp. 584-597, 2023, Springer, 978-3-031-27480-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Heike Wehrheim, Lara Bargmann, Brijesh Dongol |
Reasoning About Promises in Weak Memory Models with Event Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings, pp. 282-300, 2023, Springer, 978-3-031-27480-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Franck Cassez, Joanne Fuller, Milad K. Ghale, David J. Pearce 0001, Horacio Mijail Anton Quiles |
Formal and Executable Semantics of the Ethereum Virtual Machine in Dafny. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings, pp. 571-583, 2023, Springer, 978-3-031-27480-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Guy Amir, Ziv Freund, Guy Katz, Elad Mandelbaum, Idan Refaeli |
veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings, pp. 648-656, 2023, Springer, 978-3-031-27480-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo |
QMaude: Quantitative Specification and Verification in Rewriting Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings, pp. 240-259, 2023, Springer, 978-3-031-27480-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Akshay Dhonthi, Ernst Moritz Hahn, Vahid Hashemi |
Backdoor Mitigation in Deep Neural Networks via Strategic Retraining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings, pp. 635-647, 2023, Springer, 978-3-031-27480-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jan Oliver Ringert, Allison Sullivan |
Abstract Alloy Instances. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings, pp. 364-382, 2023, Springer, 978-3-031-27480-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Gianluca Amato, Francesca Scozzari |
The ScalaFix Equation Solver. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings, pp. 142-159, 2023, Springer, 978-3-031-27480-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Huanhuan Sheng, Alexander Bentkamp, Bohua Zhan |
HHLPy: Practical Verification of Hybrid Systems Using Hoare Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings, pp. 160-178, 2023, Springer, 978-3-031-27480-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Federico Mora, Murphy Berzish, Mitja Kulczynski, Dirk Nowotka, Vijay Ganesh |
Z3str4: A Multi-armed String Solver. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, pp. 389-406, 2021, Springer, 978-3-030-90869-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Shankara Narayanan Krishna, Khushraj Madnani, Manuel Mazo Jr., Paritosh K. Pandya |
Generalizing Non-punctuality for Timed Temporal Logic with Freeze Quantifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, pp. 182-199, 2021, Springer, 978-3-030-90869-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Panagiotis Kouvaros, Trent Kyono, Francesco Leofante, Alessio Lomuscio, Dragos D. Margineantu, Denis Osipychev, Yang Zheng 0001 |
Formal Analysis of Neural Network-Based Systems in the Aircraft Domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, pp. 730-740, 2021, Springer, 978-3-030-90869-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Tino Teige, Andreas Eggers, Karsten Scheibler, Matthias Stasch, Udo Brockmeyer, Hans Jürgen Holberg, Tom Bienmüller |
Two Decades of Formal Methods in Industrial Products at BTC Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, pp. 725-729, 2021, Springer, 978-3-030-90869-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jinting Bian, Hans-Dieter A. Hiep, Frank S. de Boer, Stijn de Gouw |
Integrating ADTs in KeY and Their Application to History-Based Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, pp. 255-272, 2021, Springer, 978-3-030-90869-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Bing Sun, Jun Sun 0001, Ting Dai, Lijun Zhang |
Probabilistic Verification of Neural Networks Against Group Fairness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, pp. 83-102, 2021, Springer, 978-3-030-90869-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ionut Tutu, Claudia Elena Chirita, José Luiz Fiadeiro |
Dynamic Reconfiguration via Typed Modalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, pp. 599-615, 2021, Springer, 978-3-030-90869-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Wenjing Xu, Yongwang Zhao, Chengtao Cao, Jean Raphael Ngnie Sighom, Lei Wang, Zhe Jiang, Shihong Zou |
Apply Formal Methods in Certifying the SyberX High-Assurance Kernel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, pp. 788-798, 2021, Springer, 978-3-030-90869-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Franck Cassez |
Verification of the Incremental Merkle Tree Algorithm with Dafny. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, pp. 445-462, 2021, Springer, 978-3-030-90869-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Weijiang Hong, Zhenbang Chen, Yide Du, Ji Wang 0001 |
Trace Abstraction-Based Verification for Uninterpreted Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, pp. 545-562, 2021, Springer, 978-3-030-90869-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Felix A. Wolf, Malte Schwerhoff, Peter Müller 0001 |
Concise Outlines for a Complex Logic: A Proof Outline Checker for TaDA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, pp. 407-426, 2021, Springer, 978-3-030-90869-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Yong Li 0031, Yih-Kuen Tsay, Andrea Turrini, Moshe Y. Vardi, Lijun Zhang 0001 |
Congruence Relations for Büchi Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, pp. 465-482, 2021, Springer, 978-3-030-90869-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács |
The Probabilistic Termination Tool Amber. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, pp. 667-675, 2021, Springer, 978-3-030-90869-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný 0001, Jiri Zárevúcky, Dorde Zikelic |
On Lexicographic Proof Rules for Probabilistic Termination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, pp. 619-639, 2021, Springer, 978-3-030-90869-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Alexei Kopylov, Stefan Mitsch, Aleksey Nogin, Michael A. Warren |
Formally Verified Safety Net for Waypoint Navigation Neural Network Controllers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, pp. 122-141, 2021, Springer, 978-3-030-90869-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Pferscher, Bernhard K. Aichernig |
Fingerprinting Bluetooth Low Energy Devices via Active Automata Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, pp. 524-542, 2021, Springer, 978-3-030-90869-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Conrad Watt, Xiaojia Rao, Jean Pichon-Pharabod, Martin Bodin, Philippa Gardner |
Two Mechanisations of WebAssembly 1.0. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, pp. 61-79, 2021, Springer, 978-3-030-90869-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Simon Foster 0001, Jonathan Julián Huerta y Munive, Mario Gleirscher, Georg Struth |
Hybrid Systems Verification with Isabelle/HOL: Simpler Syntax, Better Models, Faster Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, pp. 367-386, 2021, Springer, 978-3-030-90869-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Adel Djoudi, Martin Hána, Nikolai Kosmatov |
Formal Verification of a JavaCard Virtual Machine with Frama-C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, pp. 427-444, 2021, Springer, 978-3-030-90869-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Rim Saddem-Yagoubi, Pascal Poizat, Sara Houhou |
Business Processes Meet Spatial Concerns: The sBPMN Verification Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, pp. 218-234, 2021, Springer, 978-3-030-90869-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Song Gao 0014, Bohua Zhan, Depeng Liu, Xuechao Sun, Yanan Zhi, David N. Jansen, Lijun Zhang 0001 |
Formal Verification of Consensus in the Taurus Distributed Database. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, pp. 741-751, 2021, Springer, 978-3-030-90869-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Anastasia Mavridou, Andreas Katis, Dimitra Giannakopoulou, David Kooi, Thomas Pressburger, Michael W. Whalen |
From Partial to Global Assume-Guarantee Contracts: Compositional Realizability Analysis in FRET. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, pp. 503-523, 2021, Springer, 978-3-030-90869-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Cui Su, Jun Pang 0001 |
Cabean 2.0: Efficient and Efficacious Control of Asynchronous Boolean Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, pp. 581-598, 2021, Springer, 978-3-030-90869-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Felipe Gorostiaga, César Sánchez 0001 |
HStriver: A Very Functional Extensible Tool for the Runtime Verification of Real-Time Event Streams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, pp. 563-580, 2021, Springer, 978-3-030-90869-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Julius Adelt, Timm Liebrenz, Paula Herber |
Formal Verification of Intelligent Hybrid Systems that are Modeled with Simulink and the Reinforcement Learning Toolbox. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, pp. 349-366, 2021, Springer, 978-3-030-90869-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Alexandra Bugariu, Arshavir Ter-Gabrielyan, Peter Müller 0001 |
Identifying Overly Restrictive Matching Patterns in SMT-Based Program Verifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, pp. 273-291, 2021, Springer, 978-3-030-90869-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Matias Scharager, Katherine Cordwell, Stefan Mitsch, André Platzer |
Verified Quadratic Virtual Substitution for Real Arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, pp. 200-217, 2021, Springer, 978-3-030-90869-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Joseph Scott, Trishal Sudula, Hammad Rehman, Federico Mora, Vijay Ganesh |
BanditFuzz: Fuzzing SMT Solvers with Multi-agent Reinforcement Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, pp. 103-121, 2021, Springer, 978-3-030-90869-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Sota Sato 0001, Atsuyoshi Saimen, Masaki Waga, Kenji Takao, Ichiro Hasuo |
Hybrid System Falsification for Multiple-Constraint Parameter Synthesis: A Gas Turbine Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, pp. 313-329, 2021, Springer, 978-3-030-90869-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | César Augusto Ribeiro dos Santos, Tom Schrijvers, Amr Hany Saleh, Mike Nicolai |
Divide et Impera: Efficient Synthesis of Cyber-Physical System Architectures from Formal Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, pp. 776-787, 2021, Springer, 978-3-030-90869-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Matt Griffin, Brijesh Dongol |
Verifying Secure Speculation in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, pp. 43-60, 2021, Springer, 978-3-030-90869-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Wright 0001, Mark Batty, Brijesh Dongol |
Owicki-Gries Reasoning for C11 Programs with Relaxed Dependencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, pp. 237-254, 2021, Springer, 978-3-030-90869-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Mingsheng Ying |
Model Checking for Verification of Quantum Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, pp. 23-39, 2021, Springer, 978-3-030-90869-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Zhenya Zhang, Paolo Arcaini |
Gaussian Process-Based Confidence Estimation for Hybrid System Falsification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, pp. 330-348, 2021, Springer, 978-3-030-90869-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Marieke Huisman, Corina S. Pasareanu, Naijun Zhan (eds.) |
Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![Springer, 978-3-030-90869-0 The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour |
HyperProb: A Model Checker for Probabilistic Hyperproperties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, pp. 657-666, 2021, Springer, 978-3-030-90869-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Nicholas Coughlin, Kirsten Winter, Graeme Smith 0001 |
Rely/Guarantee Reasoning for Multicopy Atomic Weak Memory Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, pp. 292-310, 2021, Springer, 978-3-030-90869-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Maurice H. ter Beek, Guillermina Cledou, Rolf Hennicker, José Proença |
Featured Team Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, pp. 483-502, 2021, Springer, 978-3-030-90869-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi 0001, Dominik Wojtczak |
Model-Free Reinforcement Learning for Lexicographic Omega-Regular Objectives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, pp. 142-159, 2021, Springer, 978-3-030-90869-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Yousaf Rahman, Md Tawhid Bin Waez, Yuming Niu |
Formally Guaranteed Tight Dynamic Future Occupancy of Autonomous Vehicles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, pp. 763-775, 2021, Springer, 978-3-030-90869-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Paula Herber, Timm Liebrenz, Julius Adelt |
Combining Forces: How to Formally Verify Informally Defined Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, pp. 3-22, 2021, Springer, 978-3-030-90869-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Carl-Johan H. Seger |
Formal Verification of Complex Data Paths: An Industrial Experience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, pp. 697-716, 2021, Springer, 978-3-030-90869-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Rong Gu, Cristina Seceleanu, Eduard Enoiu, Kristina Lundqvist |
Model Checking Collision Avoidance of Nonlinear Autonomous Vehicles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, pp. 676-694, 2021, Springer, 978-3-030-90869-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Grant Olney Passmore |
Some Lessons Learned in the Industrialization of Formal Methods for Financial Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, pp. 717-721, 2021, Springer, 978-3-030-90869-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Gal Amram, Shahar Maoz, Or Pistiner, Jan Oliver Ringert |
Efficient Algorithms for Omega-Regular Energy Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, pp. 163-181, 2021, Springer, 978-3-030-90869-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Frantisek Blahoudek, Murat Cubuktepe, Petr Novotný 0001, Melkior Ornik, Pranay Thangeda, Ufuk Topcu |
Fuel in Markov Decision Processes (FiMDP): A Practical Approach to Consumption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, pp. 640-656, 2021, Springer, 978-3-030-90869-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jiawan Wang, Lei Bu, Shaopeng Xing, Yuming Wu, Xuandong Li |
Combined Online Checking and Control Synthesis: A Study on a Vehicle Platoon Testbed. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, pp. 752-762, 2021, Springer, 978-3-030-90869-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Diego Marmsoler, Genc Blakqori |
APML: An Architecture Proof Modeling 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. 611-630, 2019, Springer, 978-3-030-30941-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Robert Eschbach |
Industrial Application of Event-B to a Wayside Train Monitoring System: Formal Conceptual Data Analysis. ![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. 738-745, 2019, Springer, 978-3-030-30941-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim |
Verifying Correctness of Persistent Concurrent Data Structures. ![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. 179-195, 2019, Springer, 978-3-030-30941-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Maurice H. ter Beek, Annabelle McIver, José N. Oliveira (eds.) |
Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![Springer, 978-3-030-30941-1 The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Hoang-Dung Tran, Diego Manzanas Lopez, Patrick Musau, Xiaodong Yang, Luan Viet Nguyen, Weiming Xiang 0001, Taylor T. Johnson |
Star-Based Reachability Analysis of Deep Neural Networks. ![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. 670-686, 2019, Springer, 978-3-030-30941-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Silveira, Andreas Jung, Marcel Verhoef, Tiago Jorge |
Formal Methods Applicability on Space Applications Specification and Implementation Using MORA-TSP. ![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. 727-737, 2019, Springer, 978-3-030-30941-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Mariano M. Moscato, Laura Titolo, Marco A. Feliú, César A. Muñoz |
Provably Correct Floating-Point Implementation of a Point-in-Polygon Algorithm. ![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. 21-37, 2019, Springer, 978-3-030-30941-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Dominic Steinhöfel, Reiner Hähnle |
Abstract Execution. ![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. 319-336, 2019, Springer, 978-3-030-30941-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | M. Anthony Aiello, Claire Dross, Patrick Rogers, Laura R. Humphrey, James Hamil |
Practical Application of SPARK to OpenUxAS. ![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. 751-761, 2019, Springer, 978-3-030-30941-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Frank S. de Boer, Marcello M. Bonsangue |
On the Nature of Symbolic Execution. ![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. 64-80, 2019, Springer, 978-3-030-30941-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Paul Bodeveix, Julien Brunel, David Chemouil, Mamoun Filali |
Mechanically Verifying the Fundamental Liveness Property of the Chord Protocol. ![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. 45-63, 2019, Springer, 978-3-030-30941-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun 0001 |
Concolic Testing Heap-Manipulating 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. 442-461, 2019, Springer, 978-3-030-30941-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Sandro Stucki, César Sánchez 0001, Gerardo Schneider, Borzoo Bonakdarpour |
Gray-Box Monitoring of Hyperproperties. ![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. 406-424, 2019, Springer, 978-3-030-30941-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Frédéric Lang, Radu Mateescu 0001, Franco Mazzanti |
Compositional Verification of Concurrent Systems by Combining Bisimulations. ![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. 196-213, 2019, Springer, 978-3-030-30941-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 572 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ >>] |
|