|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 44 occurrences of 39 keywords
|
|
|
Results
Found 689 publication records. Showing 689 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Clément Aubert, Thomas Rubiano, Neea Rusch, Thomas Seiller |
pymwp: A Static Analyzer Determining Polynomial Growth Bounds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II, pp. 263-275, 2023, Springer, 978-3-031-45331-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Julian Siber |
Checking and Sketching Causes on Temporal Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II, pp. 314-327, 2023, Springer, 978-3-031-45331-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Finkbeiner, Florian Kohn, Malte Schledjewski |
Leveraging Static Analysis: An IDE for RTLola. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II, pp. 251-262, 2023, Springer, 978-3-031-45331-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Shaun Azzopardi, David Lidell, Nir Piterman, Gerardo Schneider |
ppLTLTT : Temporal Testing for Pure-Past Linear Temporal Logic Formulae. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II, pp. 276-287, 2023, Springer, 978-3-031-45331-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Kenny Ballou, Elena Sherman |
Minimally Comparing Relational Abstract Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II, pp. 159-175, 2023, Springer, 978-3-031-45331-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Simon Lutz, Daniel Neider, Rajarshi Roy 0002 |
Specification Sketching for Linear Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II, pp. 26-48, 2023, Springer, 978-3-031-45331-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Omer Rappoport, Orna Grumberg, Yakir Vizel |
Structure-Guided Solution of Constrained Horn Clauses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II, pp. 117-138, 2023, Springer, 978-3-031-45331-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Zitong Zhou, Zixin Huang, Sasa Misailovic |
AquaSense: Automated Sensitivity Analysis of Probabilistic Programs via Quantized Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II, pp. 288-301, 2023, Springer, 978-3-031-45331-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Yushen Huang, Ertai Luo, Stanley Bak, Yifan Sun 0001 |
On the Difficulty of Intersection Checking with Polynomial Zonotopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II, pp. 51-71, 2023, Springer, 978-3-031-45331-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Oyendrila Dobe, Stefan Schupp, Ezio Bartocci, Borzoo Bonakdarpour, Axel Legay, Miroslav Pajic, Yu Wang 0044 |
Lightweight Verification of Hyperproperties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II, pp. 3-25, 2023, Springer, 978-3-031-45331-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Steffan Christ Sølvsten, Jaco van de Pol |
Predicting Memory Demands of BDD Operations Using Maximum Graph Cuts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II, pp. 72-92, 2023, Springer, 978-3-031-45331-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Akshatha Shenoy 0001, Sumanth Prabhu S, Kumar Madhukar, Ron Shemer, Mandayam K. Srivas |
Automated Property Directed Self Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II, pp. 139-158, 2023, Springer, 978-3-031-45331-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Kristina Miller, Christopher K. Zeitler, William Shen, Mahesh Viswanathan 0001, Sayan Mitra |
RTAEval: A Framework for Evaluating Runtime Assurance Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II, pp. 302-313, 2023, Springer, 978-3-031-45331-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Dimitrios Thanos, Tim Coopmans, Alfons Laarman |
Fast Equivalence Checking of Quantum Circuits of Clifford Gates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II, pp. 199-216, 2023, Springer, 978-3-031-45331-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Adam Chen, Parisa Fathololumi, Mihai Nicola, Jared Pincus, Tegan Brennan, Eric Koskinen |
Better Predicates and Heuristics for Improved Commutativity Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II, pp. 93-113, 2023, Springer, 978-3-031-45331-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Morgan McColl, Callum McColl, René Hexel |
Automatic Verification of High-Level Executable Models Running on FPGAs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II, pp. 217-234, 2023, Springer, 978-3-031-45331-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Ethan Lew, Abdelrahman Hekal, Kostiantyn Potomkin, Niklas Kochdumper, Brandon Hencey, Stanley Bak, Sergiy Bogomolov |
AutoKoopman: A Toolbox for Automated System Identification via Koopman Operator Linearization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II, pp. 237-250, 2023, Springer, 978-3-031-45331-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Frederik Meyer Bønneland, Sarbojit Das, Bengt Jonsson 0001, Magnus Lång, Konstantinos Sagonas |
Tailoring Stateless Model Checking for Event-Driven Multi-threaded Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II, pp. 176-198, 2023, Springer, 978-3-031-45331-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Sören Tempel, Vladimir Herdt, Rolf Drechsler |
SISL: Concolic Testing of Structured Binary Input Formats via Partial Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings, pp. 77-82, 2022, Springer, 978-3-031-19991-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Dana Fisman, Sagi Saadon |
Learning and Characterizing Fully-Ordered Lattice Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings, pp. 266-282, 2022, Springer, 978-3-031-19991-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Chih-Hong Cheng, Changshun Wu, Emmanouil Seferis, Saddek Bensalem |
Prioritizing Corners in OoD Detectors via Symbolic String Manipulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings, pp. 397-413, 2022, Springer, 978-3-031-19991-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Meggendorfer |
PET - A Partial Exploration Tool for Probabilistic Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings, pp. 320-326, 2022, Springer, 978-3-031-19991-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Chao Huang 0015, Jiameng Fan, Xin Chen 0002, Wenchao Li 0001, Qi Zhu 0002 |
POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings, pp. 414-430, 2022, Springer, 978-3-031-19991-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Norine Coenen, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Niklas Metzger 0001, Julian Siber |
Temporal Causality in Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings, pp. 208-224, 2022, Springer, 978-3-031-19991-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Cimatti, Alberto Griggio, Gianluca Redondi |
Verification of SMT Systems with Quantifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings, pp. 154-170, 2022, Springer, 978-3-031-19991-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Julius Adelt, Daniel Brettschneider, Paula Herber |
Reusable Contracts for Safe Integration of Reinforcement Learning in Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings, pp. 58-74, 2022, Springer, 978-3-031-19991-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Cimatti, Alberto Griggio, Enrico Lipparini, Roberto Sebastiani |
Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings, pp. 137-153, 2022, Springer, 978-3-031-19991-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Hazem Torfah, Carol Xie, Sebastian Junges, Marcell Vazquez-Chanlatte, Sanjit A. Seshia |
Learning Monitorable Operational Design Domains for Assured Autonomy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings, pp. 3-22, 2022, Springer, 978-3-031-19991-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Anand Yeolekar, Ravindra Metta, Clara Hobbs, Samarjit Chakraborty |
Checking Scheduling-Induced Violations of Control Safety Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings, pp. 100-116, 2022, Springer, 978-3-031-19991-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Sanjana Singh, Divyanjali Sharma, Ishita Jaju, Subodh Sharma 0001 |
Fence Synthesis Under the C11 Memory Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings, pp. 83-99, 2022, Springer, 978-3-031-19991-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Matan Ostrovsky, Clark W. Barrett, Guy Katz |
An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings, pp. 391-396, 2022, Springer, 978-3-031-19991-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi 0001, Dominik Wojtczak |
An Impossibility Result in Automata-Theoretic Reinforcement Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings, pp. 42-57, 2022, Springer, 978-3-031-19991-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Xiaochen Tang, Wei Shen, Miaomiao Zhang, Jie An 0001, Bohua Zhan, Naijun Zhan |
Learning Deterministic One-Clock Timed Automata via Mutation Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings, pp. 233-248, 2022, Springer, 978-3-031-19991-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Reiya Noguchi, Ocan Sankur, Thierry Jéron, Nicolas Markey, David Mentré |
Repairing Real-Time Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings, pp. 371-387, 2022, Springer, 978-3-031-19991-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Jiong Yang 0002, Supratik Chakraborty, Kuldeep S. Meel |
Projected Model Counting: Beyond Independent Support. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings, pp. 171-187, 2022, Springer, 978-3-031-19991-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Muqsit Azeem, Alexandros Evangelidis, Jan Kretínský, Alexander Slivinskiy, Maximilian Weininger |
Optimistic and Topological Value Iteration for Simple Stochastic Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings, pp. 285-302, 2022, Springer, 978-3-031-19991-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Masaki Waga, Ezequiel Castellano, Sasinee Pruekprasert, Stefan Klikovits, Toru Takisaka, Ichiro Hasuo |
Dynamic Shielding for Reinforcement Learning in Black-Box Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings, pp. 25-41, 2022, Springer, 978-3-031-19991-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Peter Gjøl Jensen, Stefan Schmid 0001, Morten Konggaard Schou, Jirí Srba |
PDAAAL: A Library for Reachability Analysis of Weighted Pushdown Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings, pp. 225-230, 2022, Springer, 978-3-031-19991-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Martijn A. Goorden, Peter Gjøl Jensen, Kim G. Larsen, Mihhail Samusev, Jirí Srba, Guohan Zhao |
STOMPC: Stochastic Model-Predictive Control with Uppaal Stratego. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings, pp. 327-333, 2022, Springer, 978-3-031-19991-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Ahmed Bouajjani, Lukás Holík, Zhilin Wu (eds.) |
Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![Springer, 978-3-031-19991-2 The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi 0001, Dominik Wojtczak |
Alternating Good-for-MDPs Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings, pp. 303-319, 2022, Springer, 978-3-031-19991-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Miriam García Soto, Thomas A. Henzinger, Christian Schilling 0001 |
Synthesis of Parametric Hybrid Automata from Time Series. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings, pp. 337-353, 2022, Springer, 978-3-031-19991-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Hannes Kallwies, Martin Leucker, César Sánchez 0001 |
Symbolic Runtime Verification for Monitoring Under Uncertainties and Assumptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings, pp. 117-134, 2022, Springer, 978-3-031-19991-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Vrunda Dave, Shankara Narayanan Krishna, Vishnu Murali, Ashutosh Trivedi 0001 |
Optimal Repair for Omega-Regular Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings, pp. 354-370, 2022, Springer, 978-3-031-19991-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Bader Abu Radi, Orna Kupferman |
Minimization of Automata for Liveness Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings, pp. 191-207, 2022, Springer, 978-3-031-19991-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Runqing Xu, Jie An 0001, Bohua Zhan |
Active Learning of One-Clock Timed Automata Using Constraint Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings, pp. 249-265, 2022, Springer, 978-3-031-19991-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Yannick Schillo |
Runtime Enforcement of Hyperproperties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings, pp. 283-299, 2021, Springer, 978-3-030-88884-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Vedad Hadzic, Robert Primas, Roderick Bloem |
Proving SIFA Protection of Masked Redundant Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings, pp. 249-265, 2021, Springer, 978-3-030-88884-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Orna Kupferman, Nir Lavee, Salomon Sickert |
Certifying DFA Bounds for Recognition and Separation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings, pp. 48-64, 2021, Springer, 978-3-030-88884-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Cimatti, Alberto Griggio, Enrico Magnago |
Automatic Discovery of Fair Paths in Infinite-State Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings, pp. 32-47, 2021, Springer, 978-3-030-88884-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Christel Baier, Florian Funke 0002, Simon Jantsch, Jakob Piribauer, Robin Ziemek |
Probabilistic Causes in Markov Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings, pp. 205-221, 2021, Springer, 978-3-030-88884-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh 0001 |
Event-B Refinement for Continuous Behaviours Approximation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings, pp. 320-336, 2021, Springer, 978-3-030-88884-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Lukas Stevens, Tobias Nipkow |
A Verified Decision Procedure for Orders in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings, pp. 127-143, 2021, Springer, 978-3-030-88884-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Finkbeiner, Noemi Passing |
Compositional Synthesis of Modular Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings, pp. 303-319, 2021, Springer, 978-3-030-88884-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Dario Guidotti, Luca Pulina, Armando Tacchella |
pyNeVer: A Framework for Learning and Verification of Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings, pp. 357-363, 2021, Springer, 978-3-030-88884-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Shaun Azzopardi, Nir Piterman, Gerardo Schneider |
Incorporating Monitors in Reactive Synthesis Without Paying the Price. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings, pp. 337-353, 2021, Springer, 978-3-030-88884-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Dirk Beyer 0001, Karlheinz Friedberger, Stephan Holzner |
PJBDD: A BDD Library for Java and Multi-Threading. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings, pp. 144-149, 2021, Springer, 978-3-030-88884-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Brae J. Webb, Mark Utting, Ian J. Hayes |
A Formal Semantics of the GraalVM Intermediate Representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings, pp. 111-126, 2021, Springer, 978-3-030-88884-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Zixin Huang, Saikat Dutta 0001, Sasa Misailovic |
AQUA: Automated Quantized Inference for Probabilistic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings, pp. 229-246, 2021, Springer, 978-3-030-88884-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Zhe Hou, Vijay Ganesh (eds.) |
Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![Springer, 978-3-030-88884-8 The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Igor Khmelnitsky, Daniel Neider, Rajarshi Roy 0002, Xuan Xie, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye |
Property-Directed Verification and Robustness Certification of Recurrent Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings, pp. 364-380, 2021, Springer, 978-3-030-88884-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Pranger, Bettina Könighofer, Lukas Posch, Roderick Bloem |
TEMPEST - Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings, pp. 222-228, 2021, Springer, 978-3-030-88884-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Raphaël Gaglione, Daniel Neider, Rajarshi Roy 0002, Ufuk Topcu, Zhe Xu 0005 |
Learning Linear Temporal Properties from Noisy Data: A MaxSAT-Based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings, pp. 74-90, 2021, Springer, 978-3-030-88884-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Tobias John, Simon Jantsch, Christel Baier, Sascha Klüppelholz |
Determinization and Limit-Determinization of Emerson-Lei Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings, pp. 15-31, 2021, Springer, 978-3-030-88884-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Sara Mohammadinejad, Jyotirmoy V. Deshmukh, Laura Nenzi |
Mining Interpretable Spatio-Temporal Logic Properties for Spatially Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings, pp. 91-107, 2021, Springer, 978-3-030-88884-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Murad Akhundov, Federico Mora, Nick Feng, Vincent Hui, Marsha Chechik |
Verification by Gambling on Program Slices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings, pp. 266-282, 2021, Springer, 978-3-030-88884-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Edi Muskardin, Bernhard K. Aichernig, Ingo Pill, Andrea Pferscher, Martin Tappler |
AALpy: An Active Automata Learning Library. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings, pp. 67-73, 2021, Springer, 978-3-030-88884-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Peter Gjøl Jensen, Stefan Schmid 0001, Morten Konggaard Schou, Jirí Srba, Juan Vanerio, Ingo van Duijn |
Faster Pushdown Reachability Analysis with Applications in Network Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings, pp. 170-186, 2021, Springer, 978-3-030-88884-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Lucas M. Tabajara, Moshe Y. Vardi |
Linear Temporal Logic - From Infinite to Finite Horizon. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings, pp. 3-12, 2021, Springer, 978-3-030-88884-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Siddharth Priya, Xiang Zhou, Yusen Su, Yakir Vizel, Yuyan Bao, Arie Gurfinkel |
Verifying Verified Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings, pp. 187-202, 2021, Springer, 978-3-030-88884-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Finkbeiner, Felix Klein 0001, Niklas Metzger 0001 |
Live Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings, pp. 153-169, 2021, Springer, 978-3-030-88884-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | A. R. Balasubramanian, Javier Esparza, Marijana Lazic |
Complexity of Verification and Synthesis of Threshold Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings, pp. 144-160, 2020, Springer, 978-3-030-59151-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Bork, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann |
Verification of Indefinite-Horizon POMDPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings, pp. 288-304, 2020, Springer, 978-3-030-59151-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Manish Goyal 0002, Parasara Sridhar Duggirala |
NeuralExplorer: State Space Exploration of Closed Loop Control Systems Using Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings, pp. 75-91, 2020, Springer, 978-3-030-59151-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Taolue Chen, Matthew Hague, Jinlong He, Denghang Hu, Anthony Widjaja Lin, Philipp Rümmer, Zhilin Wu |
A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings, pp. 325-342, 2020, Springer, 978-3-030-59151-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Vladimir Herdt, Daniel Große, Rolf Drechsler |
RVX - A Tool for Concolic Testing of Embedded Binaries Targeting RISC-V Platforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings, pp. 543-549, 2020, Springer, 978-3-030-59151-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah |
Probabilistic Hyperproperties of Markov Decision Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings, pp. 484-500, 2020, Springer, 978-3-030-59151-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Yong Li 0031, Andrea Turrini, Xuechao Sun, Lijun Zhang 0001 |
Proving Non-inclusion of Büchi Automata Based on Monte Carlo Sampling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings, pp. 467-483, 2020, Springer, 978-3-030-59151-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Simon Jantsch, Florian Funke 0002, Christel Baier |
Minimal Witnesses for Probabilistic Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings, pp. 501-517, 2020, Springer, 978-3-030-59151-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Dennis Gross, Nils Jansen 0001, Guillermo A. Pérez 0001, Stephan Raaijmakers |
Robustness Verification for Classifier Ensembles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings, pp. 271-287, 2020, Springer, 978-3-030-59151-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Pranav Ashok, Vahid Hashemi, Jan Kretínský, Stefanie Mohr |
DeepAbstract: Neural Network Abstraction for Accelerating Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings, pp. 92-107, 2020, Springer, 978-3-030-59151-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ilina Stoilkovska, Igor Konnov 0001, Josef Widder, Florian Zuleger |
Eliminating Message Counters in Threshold Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings, pp. 196-212, 2020, Springer, 978-3-030-59151-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Rachel Faran, Orna Kupferman |
On (I/O)-Aware Good-For-Games Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings, pp. 161-178, 2020, Springer, 978-3-030-59151-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Martin Raszyk, David A. Basin, Dmitriy Traytel |
Multi-head Monitoring of Metric Dynamic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings, pp. 233-250, 2020, Springer, 978-3-030-59151-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Dang Van Hung, Oleg Sokolsky (eds.) |
Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![Springer, 978-3-030-59151-9 The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Dejan Nickovic, Tomoya Yamaguchi 0001 |
RTAMT: Online Robustness Monitors from STL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings, pp. 564-571, 2020, Springer, 978-3-030-59151-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Florian Renkin, Alexandre Duret-Lutz, Adrien Pommellet |
Practical "Paritizing" of Emerson-Lei Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings, pp. 127-143, 2020, Springer, 978-3-030-59151-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi 0001, Dominik Wojtczak |
Faithful and Effective Reward Schemes for Model-Free Reinforcement Learning of Omega-Regular Objectives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings, pp. 108-124, 2020, Springer, 978-3-030-59151-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Amjad Ibrahim, Alexander Pretschner |
From Checking to Inference: Actual Causality Computations as Optimization Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings, pp. 343-359, 2020, Springer, 978-3-030-59151-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Magnus Lång, Konstantinos Sagonas |
Parallel Graph-Based Stateless Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings, pp. 377-393, 2020, Springer, 978-3-030-59151-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Rachid Zennou, Mohamed Faouzi Atig, Ranadeep Biswas, Ahmed Bouajjani, Constantin Enea, Mohammed Erradi |
Boosting Sequential Consistency Checking Using Saturation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings, pp. 360-376, 2020, Springer, 978-3-030-59151-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Yuval Jacoby, Clark W. Barrett, Guy Katz |
Verifying Recurrent Neural Networks Using Invariant Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings, pp. 57-74, 2020, Springer, 978-3-030-59151-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Mahmoud Elfar, Yu Wang 0044, Miroslav Pajic |
Context-Aware Temporal Logic for Probabilistic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings, pp. 215-232, 2020, Springer, 978-3-030-59151-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Kalyani Dole, Ashutosh Gupta, Shankara Narayanan Krishna |
Robust Controller Synthesis for Duration Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings, pp. 429-446, 2020, Springer, 978-3-030-59151-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Kim G. Larsen, Marius Mikucionis, Marco Muñiz, Jirí Srba |
Urgent Partial Order Reduction for Extended Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings, pp. 179-195, 2020, Springer, 978-3-030-59151-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Marek Chalupa |
DG: Analysis and Slicing of LLVM Bitcode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings, pp. 557-563, 2020, Springer, 978-3-030-59151-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Tom Baumeister, Bernd Finkbeiner, Hazem Torfah |
Explainable Reactive Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings, pp. 413-428, 2020, Springer, 978-3-030-59151-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Javier Esparza, Martin Helfrich, Stefan Jaax, Philipp J. Meyer |
Peregrine 2.0: Explaining Correctness of Population Protocols Through Stage Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings, pp. 550-556, 2020, Springer, 978-3-030-59151-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog |
Model Checking Branching Properties on Petri Nets with Transits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings, pp. 394-410, 2020, Springer, 978-3-030-59151-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Nipkow, Manuel Eberl, Maximilian P. L. Haslbeck |
Verified Textbook Algorithms - A Biased Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings, pp. 25-53, 2020, Springer, 978-3-030-59151-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 689 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ >>] |
|