|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 180 occurrences of 124 keywords
|
|
|
Results
Found 571 publication records. Showing 571 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. |
FM |
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. |
FM |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Sebastiaan Brand, Thomas Bäck, Alfons Laarman |
A Decision Diagram Operation for Reachability. |
FM |
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. |
FM |
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. |
FM |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Davide Basile 0001, Maurice H. ter Beek |
A Runtime Environment for Contract Automata. |
FM |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Achim D. Brucker, Amy Stell |
Verifying Feedforward Neural Networks for Classification in Isabelle/HOL. |
FM |
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. |
FM |
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. |
FM |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Petra van den Bos, Sung-Shik Jongmans |
VeyMont: Parallelising Verified Programs Instead of Verifying Parallel Programs. |
FM |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Robert J. Colvin |
A Fine-Grained Semantics for Arrays and Pointers Under Weak Memory Models. |
FM |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Laura Kovács |
Symbolic Computation in Automated Program Reasoning. |
FM |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Marco Paganoni, Carlo A. Furia |
Verifying Functional Correctness Properties at the Level of Java Bytecode. |
FM |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Nils Jansen 0001 |
Intelligent and Dependable Decision-Making Under Uncertainty. |
FM |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Amat, Silvano Dal-Zilio |
SMPT: A Testbed for Reachability Methods in Generalized Petri Nets. |
FM |
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. |
FM |
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. |
FM |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Fabian Bauer-Marquart, Stefan Leue, Christian Schilling 0001 |
symQV: Automated Symbolic Verification of Quantum Programs. |
FM |
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. |
FM |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Tomás Kolárik, Stefan Ratschan |
Railway Scheduling Using Boolean Satisfiability Modulo Simulations. |
FM |
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. |
FM |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Matan Peled, Bat-Chen Rothenberg, Shachar Itzhaky |
SMT Sampling via Model-Guided Approximation. |
FM |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Harald Ruess |
The Next Big Thing: From Embedded Systems to Embodied Actors. |
FM |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Montserrat Hermo, Paqui Lucio, César Sánchez 0001 |
Tableaux for Realizability of Safety Specifications. |
FM |
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. |
FM |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Sven Dziadek, Uli Fahrenberg, Philipp Schlehuber-Caissier |
Energy Büchi Problems. |
FM |
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 |
FM |
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. |
FM |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Yu Liu, Pavle Subotic, Emmanuel Letier, Sergey Mechtaev, Abhik Roychoudhury |
Efficient SMT-Based Network Fault Tolerance Verification. |
FM |
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. |
FM |
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. |
FM |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Heike Wehrheim, Lara Bargmann, Brijesh Dongol |
Reasoning About Promises in Weak Memory Models with Event Structures. |
FM |
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. |
FM |
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. |
FM |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo |
QMaude: Quantitative Specification and Verification in Rewriting Logic. |
FM |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Akshay Dhonthi, Ernst Moritz Hahn, Vahid Hashemi |
Backdoor Mitigation in Deep Neural Networks via Strategic Retraining. |
FM |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jan Oliver Ringert, Allison Sullivan |
Abstract Alloy Instances. |
FM |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Gianluca Amato, Francesca Scozzari |
The ScalaFix Equation Solver. |
FM |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Huanhuan Sheng, Alexander Bentkamp, Bohua Zhan |
HHLPy: Practical Verification of Hybrid Systems Using Hoare Logic. |
FM |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Federico Mora, Murphy Berzish, Mitja Kulczynski, Dirk Nowotka, Vijay Ganesh |
Z3str4: A Multi-armed String Solver. |
FM |
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. |
FM |
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. |
FM |
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. |
FM |
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. |
FM |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Bing Sun, Jun Sun 0001, Ting Dai, Lijun Zhang |
Probabilistic Verification of Neural Networks Against Group Fairness. |
FM |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ionut Tutu, Claudia Elena Chirita, José Luiz Fiadeiro |
Dynamic Reconfiguration via Typed Modalities. |
FM |
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. |
FM |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Franck Cassez |
Verification of the Incremental Merkle Tree Algorithm with Dafny. |
FM |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Weijiang Hong, Zhenbang Chen, Yide Du, Ji Wang 0001 |
Trace Abstraction-Based Verification for Uninterpreted Programs. |
FM |
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. |
FM |
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. |
FM |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács |
The Probabilistic Termination Tool Amber. |
FM |
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. |
FM |
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. |
FM |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Pferscher, Bernhard K. Aichernig |
Fingerprinting Bluetooth Low Energy Devices via Active Automata Learning. |
FM |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Conrad Watt, Xiaojia Rao, Jean Pichon-Pharabod, Martin Bodin, Philippa Gardner |
Two Mechanisations of WebAssembly 1.0. |
FM |
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. |
FM |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Adel Djoudi, Martin Hána, Nikolai Kosmatov |
Formal Verification of a JavaCard Virtual Machine with Frama-C. |
FM |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Rim Saddem-Yagoubi, Pascal Poizat, Sara Houhou |
Business Processes Meet Spatial Concerns: The sBPMN Verification Framework. |
FM |
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. |
FM |
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. |
FM |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Cui Su, Jun Pang 0001 |
Cabean 2.0: Efficient and Efficacious Control of Asynchronous Boolean Networks. |
FM |
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. |
FM |
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. |
FM |
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. |
FM |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Matias Scharager, Katherine Cordwell, Stefan Mitsch, André Platzer |
Verified Quadratic Virtual Substitution for Real Arithmetic. |
FM |
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. |
FM |
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. |
FM |
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. |
FM |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Matt Griffin, Brijesh Dongol |
Verifying Secure Speculation in Isabelle/HOL. |
FM |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Wright 0001, Mark Batty, Brijesh Dongol |
Owicki-Gries Reasoning for C11 Programs with Relaxed Dependencies. |
FM |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Mingsheng Ying |
Model Checking for Verification of Quantum Circuits. |
FM |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Zhenya Zhang, Paolo Arcaini |
Gaussian Process-Based Confidence Estimation for Hybrid System Falsification. |
FM |
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 |
FM |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour |
HyperProb: A Model Checker for Probabilistic Hyperproperties. |
FM |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Nicholas Coughlin, Kirsten Winter, Graeme Smith 0001 |
Rely/Guarantee Reasoning for Multicopy Atomic Weak Memory Models. |
FM |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Maurice H. ter Beek, Guillermina Cledou, Rolf Hennicker, José Proença |
Featured Team Automata. |
FM |
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. |
FM |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Yousaf Rahman, Md Tawhid Bin Waez, Yuming Niu |
Formally Guaranteed Tight Dynamic Future Occupancy of Autonomous Vehicles. |
FM |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Paula Herber, Timm Liebrenz, Julius Adelt |
Combining Forces: How to Formally Verify Informally Defined Embedded Systems. |
FM |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Carl-Johan H. Seger |
Formal Verification of Complex Data Paths: An Industrial Experience. |
FM |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Rong Gu, Cristina Seceleanu, Eduard Enoiu, Kristina Lundqvist |
Model Checking Collision Avoidance of Nonlinear Autonomous Vehicles. |
FM |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Grant Olney Passmore |
Some Lessons Learned in the Industrialization of Formal Methods for Financial Algorithms. |
FM |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Gal Amram, Shahar Maoz, Or Pistiner, Jan Oliver Ringert |
Efficient Algorithms for Omega-Regular Energy Games. |
FM |
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. |
FM |
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. |
FM |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Diego Marmsoler, Genc Blakqori |
APML: An Architecture Proof Modeling Language. |
FM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Robert Eschbach |
Industrial Application of Event-B to a Wayside Train Monitoring System: Formal Conceptual Data Analysis. |
FM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim |
Verifying Correctness of Persistent Concurrent Data Structures. |
FM |
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 |
FM |
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. |
FM |
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. |
FM |
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. |
FM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Dominic Steinhöfel, Reiner Hähnle |
Abstract Execution. |
FM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | M. Anthony Aiello, Claire Dross, Patrick Rogers, Laura R. Humphrey, James Hamil |
Practical Application of SPARK to OpenUxAS. |
FM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Frank S. de Boer, Marcello M. Bonsangue |
On the Nature of Symbolic Execution. |
FM |
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. |
FM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun 0001 |
Concolic Testing Heap-Manipulating Programs. |
FM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Sandro Stucki, César Sánchez 0001, Gerardo Schneider, Borzoo Bonakdarpour |
Gray-Box Monitoring of Hyperproperties. |
FM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Frédéric Lang, Radu Mateescu 0001, Franco Mazzanti |
Compositional Verification of Concurrent Systems by Combining Bisimulations. |
FM |
2019 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 571 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ >>] |
|