Automated Technology for Verification and Analysis - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 100 from 709

2023

Automated Property Directed Self CompositionAkshatha Shenoy 0001, Sumanth Prabhu S, Kumar Madhukar, Ron Shemer, Mandayam K. Srivas. ATVA 2023: 139-158 [doi]

A Novel Family of Finite Automata for Recognizing and Learning ømega-Regular LanguagesYong Li 0031, Sven Schewe, Qiyi Tang 0001. ATVA 2023: 53-73 [doi]

Tailoring Stateless Model Checking for Event-Driven Multi-threaded ProgramsParosh Aziz Abdulla, Mohamed Faouzi Atig, Frederik Meyer Bønneland, Sarbojit Das, Bengt Jonsson 0001, Magnus Lång, Konstantinos Sagonas. ATVA 2023: 176-198 [doi]

Using Counterexamples to Improve Robustness Verification in Neural NetworksMohammad Afzal, Ashutosh Gupta 0001, S. Akshay 0001. ATVA 2023: 422-443 [doi]

Learning Provably Stabilizing Neural Controllers for Discrete-Time Stochastic SystemsMatin Ansaripour, Krishnendu Chatterjee, Thomas A. Henzinger, Mathias Lechner, Dorde Zikelic. ATVA 2023: 357-379 [doi]

pymwp: A Static Analyzer Determining Polynomial Growth BoundsClément Aubert, Thomas Rubiano, Neea Rusch, Thomas Seiller. ATVA 2023: 263-275 [doi]

ppLTLTT : Temporal Testing for Pure-Past Linear Temporal Logic FormulaeShaun Azzopardi, David Lidell, Nir Piterman, Gerardo Schneider. ATVA 2023: 276-287 [doi]

Minimally Comparing Relational Abstract DomainsKenny Ballou, Elena Sherman. ATVA 2023: 159-175 [doi]

Model Checking Strategies from Synthesis over Finite TracesSuguman Bansal, Yong Li 0031, Lucas M. Tabajara, Moshe Y. Vardi, Andrew M. Wells. ATVA 2023: 227-247 [doi]

Correct and Efficient Policy Monitoring, a RetrospectiveDavid A. Basin, Srdan Krstic, Joshua Schneider 0001, Dmitriy Traytel. ATVA 2023: 3-30 [doi]

Checking and Sketching Causes on Temporal SequencesRaven Beutner, Bernd Finkbeiner, Hadar Frenkel, Julian Siber. ATVA 2023: 314-327 [doi]

Bi-objective Lexicographic Optimization in Markov Decision Processes with Related ObjectivesDamien Busatto-Gaston, Debraj Chakraborty 0002, Anirban Majumdar 0002, Sayan Mukherjee 0002, Guillermo A. Pérez 0001, Jean-François Raskin. ATVA 2023: 203-223 [doi]

Syntactic vs Semantic Linear Abstraction and Refinement of Neural NetworksCalvin Chau, Jan Kretínský, Stefanie Mohr. ATVA 2023: 401-421 [doi]

Better Predicates and Heuristics for Improved Commutativity SynthesisAdam Chen, Parisa Fathololumi, Mihai Nicola, Jared Pincus, Tegan Brennan, Eric Koskinen. ATVA 2023: 93-113 [doi]

Compositional High-Quality SynthesisRafael Dewes, Rayna Dimitrova. ATVA 2023: 334-354 [doi]

Lightweight Verification of HyperpropertiesOyendrila Dobe, Stefan Schupp, Ezio Bartocci, Borzoo Bonakdarpour, Axel Legay, Miroslav Pajic, Yu Wang 0044. ATVA 2023: 3-25 [doi]

Synthesis of Distributed Protocols by Enumeration Modulo IsomorphismsDerek Egolf, Stavros Tripakis. ATVA 2023: 270-291 [doi]

Graph-Based Reductions for Parametric and Weighted MDPsKasper Engelen, Guillermo A. Pérez 0001, Shrisha Rao 0002. ATVA 2023: 137-157 [doi]

Reactive Synthesis of Smart Contract Control FlowsBernd Finkbeiner, Jana Hofmann, Florian Kohn, Noemi Passing. ATVA 2023: 248-269 [doi]

Leveraging Static Analysis: An IDE for RTLolaBernd Finkbeiner, Florian Kohn, Malte Schledjewski. ATVA 2023: 251-262 [doi]

Learning Nonlinear Hybrid Automata from Input-Output Time-Series DataAmit Gurung, Masaki Waga, Kohei Suenaga. ATVA 2023: 33-52 [doi]

Fast Verified SCCs for Probabilistic Model CheckingArnd Hartmanns, Bram Kohlen, Peter Lammich. ATVA 2023: 181-202 [doi]

On the Difficulty of Intersection Checking with Polynomial ZonotopesYushen Huang, Ertai Luo, Stanley Bak, Yifan Sun 0001. ATVA 2023: 51-71 [doi]

On the Containment Problem for Deterministic Multicounter Machine ModelsOscar H. Ibarra, Ian McQuillan. ATVA 2023: 74-94 [doi]

Controller Synthesis for Reactive Systems with Communication Delay by Formula TranslationJ. S. Sajiv Kumar, Raghavan Komondoor. ATVA 2023: 292-311 [doi]

AutoKoopman: A Toolbox for Automated System Identification via Koopman Operator LinearizationEthan Lew, Abdelrahman Hekal, Kostiantyn Potomkin, Niklas Kochdumper, Brandon Hencey, Stanley Bak, Sergiy Bogomolov. ATVA 2023: 237-250 [doi]

Scenario Approach for Parametric Markov ModelsYing Liu, Andrea Turrini, Ernst Moritz Hahn, Bai Xue 0001, Lijun Zhang 0001. ATVA 2023: 158-180 [doi]

Specification Sketching for Linear Temporal LogicSimon Lutz, Daniel Neider, Rajarshi Roy 0002. ATVA 2023: 26-48 [doi]

Automatic Verification of High-Level Executable Models Running on FPGAsMorgan McColl, Callum McColl, René Hexel. ATVA 2023: 217-234 [doi]

RTAEval: A Framework for Evaluating Runtime Assurance LogicKristina Miller, Christopher K. Zeitler, William Shen, Mahesh Viswanathan 0001, Sayan Mitra. ATVA 2023: 302-313 [doi]

An Automata Theoretic Characterization of Weighted First-Order LogicDhruv Nevatia, Benjamin Monmege. ATVA 2023: 115-133 [doi]

Structure-Guided Solution of Constrained Horn ClausesOmer Rappoport, Orna Grumberg, Yakir Vizel. ATVA 2023: 117-138 [doi]

Predicting Memory Demands of BDD Operations Using Maximum Graph CutsSteffan Christ Sølvsten, Jaco van de Pol. ATVA 2023: 72-92 [doi]

An Automata-Theoretic Approach to Synthesizing Binarized Neural NetworksYe Tao, Wanwei Liu, Fu Song, Zhen Liang, Ji Wang 0001, Hongxu Zhu. ATVA 2023: 380-400 [doi]

Fast Equivalence Checking of Quantum Circuits of Clifford GatesDimitrios Thanos, Tim Coopmans, Alfons Laarman. ATVA 2023: 199-216 [doi]

Statistical Approach to Efficient and Deterministic Schedule Synthesis for Cyber-Physical SystemsShengjie Xu, Bineet Ghosh, Clara Hobbs, Enrico Fraccaroli, Parasara Sridhar Duggirala, Samarjit Chakraborty. ATVA 2023: 312-333 [doi]

AquaSense: Automated Sensitivity Analysis of Probabilistic Programs via Quantized InferenceZitong Zhou, Zixin Huang, Sasa Misailovic. ATVA 2023: 288-301 [doi]

Parallel and Incremental Verification of Hybrid Automata with Ray and VerseHaoqing Zhu, Yangge Li, Keyi Shen, Sayan Mitra. ATVA 2023: 95-114 [doi]

Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part IIÉtienne André, Jun Sun 0001, editors, Volume 14216 of Lecture Notes in Computer Science, Springer, 2023. [doi]

Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part IÉtienne André, Jun Sun 0001, editors, Volume 14215 of Lecture Notes in Computer Science, Springer, 2023. [doi]

2022

Projected Model Counting: Beyond Independent SupportJiong Yang 0002, Supratik Chakraborty, Kuldeep S. Meel. ATVA 2022: 171-187 [doi]

POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled SystemsChao Huang 0015, Jiameng Fan, Xin Chen, Wenchao Li 0001, Qi Zhu 0002. ATVA 2022: 414-430 [doi]

Reusable Contracts for Safe Integration of Reinforcement Learning in Hybrid SystemsJulius Adelt, Daniel Brettschneider, Paula Herber. ATVA 2022: 58-74 [doi]

Optimistic and Topological Value Iteration for Simple Stochastic GamesMuqsit Azeem, Alexandros Evangelidis, Jan Kretínský, Alexander Slivinskiy, Maximilian Weininger. ATVA 2022: 285-302 [doi]

Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, ProceedingsAhmed Bouajjani, Lukás Holík, Zhilin Wu, editors, Volume 13505 of Lecture Notes in Computer Science, Springer, 2022. [doi]

Prioritizing Corners in OoD Detectors via Symbolic String ManipulationChih-Hong Cheng, Changshun Wu, Emmanouil Seferis, Saddek Bensalem. ATVA 2022: 397-413 [doi]

Verification of SMT Systems with QuantifiersAlessandro Cimatti, Alberto Griggio, Gianluca Redondi. ATVA 2022: 154-170 [doi]

Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree TestAlessandro Cimatti, Alberto Griggio, Enrico Lipparini, Roberto Sebastiani. ATVA 2022: 137-153 [doi]

Temporal Causality in Reactive SystemsNorine Coenen, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Niklas Metzger 0001, Julian Siber. ATVA 2022: 208-224 [doi]

Optimal Repair for Omega-Regular PropertiesVrunda Dave, Shankara Narayanan Krishna, Vishnu Murali, Ashutosh Trivedi 0001. ATVA 2022: 354-370 [doi]

Learning and Characterizing Fully-Ordered Lattice AutomataDana Fisman, Sagi Saadon. ATVA 2022: 266-282 [doi]

STOMPC: Stochastic Model-Predictive Control with Uppaal StrategoMartijn A. Goorden, Peter Gjøl Jensen, Kim G. Larsen, Mihhail Samusev, Jirí Srba, Guohan Zhao. ATVA 2022: 327-333 [doi]

Alternating Good-for-MDPs AutomataErnst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi 0001, Dominik Wojtczak. ATVA 2022: 303-319 [doi]

An Impossibility Result in Automata-Theoretic Reinforcement LearningErnst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi 0001, Dominik Wojtczak. ATVA 2022: 42-57 [doi]

PDAAAL: A Library for Reachability Analysis of Weighted Pushdown SystemsPeter Gjøl Jensen, Stefan Schmid 0001, Morten Konggaard Schou, Jirí Srba. ATVA 2022: 225-230 [doi]

Symbolic Runtime Verification for Monitoring Under Uncertainties and AssumptionsHannes Kallwies, Martin Leucker, César Sánchez. ATVA 2022: 117-134 [doi]

PET - A Partial Exploration Tool for Probabilistic VerificationTobias Meggendorfer. ATVA 2022: 320-326 [doi]

Repairing Real-Time RequirementsReiya Noguchi, Ocan Sankur, Thierry Jéron, Nicolas Markey, David Mentré. ATVA 2022: 371-387 [doi]

An Abstraction-Refinement Approach to Verifying Convolutional Neural NetworksMatan Ostrovsky, Clark W. Barrett, Guy Katz. ATVA 2022: 391-396 [doi]

Minimization of Automata for Liveness LanguagesBader Abu Radi, Orna Kupferman. ATVA 2022: 191-207 [doi]

Fence Synthesis Under the C11 Memory ModelSanjana Singh, Divyanjali Sharma, Ishita Jaju, Subodh Sharma 0001. ATVA 2022: 83-99 [doi]

Synthesis of Parametric Hybrid Automata from Time SeriesMiriam García Soto, Thomas A. Henzinger, Christian Schilling 0001. ATVA 2022: 337-353 [doi]

Learning Deterministic One-Clock Timed Automata via Mutation TestingXiaochen Tang, Wei Shen, Miaomiao Zhang, Jie An, Bohua Zhan, Naijun Zhan. ATVA 2022: 233-248 [doi]

SISL: Concolic Testing of Structured Binary Input Formats via Partial SpecificationSören Tempel, Vladimir Herdt, Rolf Drechsler. ATVA 2022: 77-82 [doi]

Learning Monitorable Operational Design Domains for Assured AutonomyHazem Torfah, Carol Xie, Sebastian Junges, Marcell Vazquez-Chanlatte, Sanjit A. Seshia. ATVA 2022: 3-22 [doi]

Dynamic Shielding for Reinforcement Learning in Black-Box EnvironmentsMasaki Waga, Ezequiel Castellano, Sasinee Pruekprasert, Stefan Klikovits, Toru Takisaka, Ichiro Hasuo. ATVA 2022: 25-41 [doi]

Active Learning of One-Clock Timed Automata Using Constraint SolvingRunqing Xu, Jie An, Bohua Zhan. ATVA 2022: 249-265 [doi]

Checking Scheduling-Induced Violations of Control Safety PropertiesAnand Yeolekar, Ravindra Metta, Clara Hobbs, Samarjit Chakraborty. ATVA 2022: 100-116 [doi]

2021

PJBDD: A BDD Library for Java and Multi-ThreadingDirk Beyer 0001, Karlheinz Friedberger, Stephan Holzner. ATVA 2021: 144-149 [doi]

Verification by Gambling on Program SlicesMurad Akhundov, Federico Mora, Nick Feng, Vincent Hui, Marsha Chechik. ATVA 2021: 266-282 [doi]

Incorporating Monitors in Reactive Synthesis Without Paying the PriceShaun Azzopardi, Nir Piterman, Gerardo Schneider. ATVA 2021: 337-353 [doi]

Probabilistic Causes in Markov ChainsChristel Baier, Florian Funke 0002, Simon Jantsch, Jakob Piribauer, Robin Ziemek. ATVA 2021: 205-221 [doi]

Automatic Discovery of Fair Paths in Infinite-State Transition SystemsAlessandro Cimatti, Alberto Griggio, Enrico Magnago. ATVA 2021: 32-47 [doi]

Runtime Enforcement of HyperpropertiesNorine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Yannick Schillo. ATVA 2021: 283-299 [doi]

Event-B Refinement for Continuous Behaviours ApproximationGuillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh. ATVA 2021: 320-336 [doi]

Compositional Synthesis of Modular SystemsBernd Finkbeiner, Noemi Passing. ATVA 2021: 303-319 [doi]

Live SynthesisBernd Finkbeiner, Felix Klein 0001, Niklas Metzger. ATVA 2021: 153-169 [doi]

Learning Linear Temporal Properties from Noisy Data: A MaxSAT-Based ApproachJean-Raphaël Gaglione, Daniel Neider, Rajarshi Roy 0002, Ufuk Topcu, Zhe Xu 0005. ATVA 2021: 74-90 [doi]

pyNeVer: A Framework for Learning and Verification of Neural NetworksDario Guidotti, Luca Pulina, Armando Tacchella. ATVA 2021: 357-363 [doi]

Proving SIFA Protection of Masked Redundant CircuitsVedad Hadzic, Robert Primas, Roderick Bloem. ATVA 2021: 249-265 [doi]

Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, ProceedingsZhe Hou, Vijay Ganesh, editors, Volume 12971 of Lecture Notes in Computer Science, Springer, 2021. [doi]

AQUA: Automated Quantized Inference for Probabilistic ProgramsZixin Huang, Saikat Dutta 0001, Sasa Misailovic. ATVA 2021: 229-246 [doi]

Faster Pushdown Reachability Analysis with Applications in Network VerificationPeter Gjøl Jensen, Stefan Schmid 0001, Morten Konggaard Schou, Jirí Srba, Juan Vanerio, Ingo van Duijn. ATVA 2021: 170-186 [doi]

Determinization and Limit-Determinization of Emerson-Lei AutomataTobias John, Simon Jantsch, Christel Baier, Sascha Klüppelholz. ATVA 2021: 15-31 [doi]

Property-Directed Verification and Robustness Certification of Recurrent Neural NetworksIgor Khmelnitsky, Daniel Neider, Rajarshi Roy 0002, Xuan Xie, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye. ATVA 2021: 364-380 [doi]

Certifying DFA Bounds for Recognition and SeparationOrna Kupferman, Nir Lavee, Salomon Sickert. ATVA 2021: 48-64 [doi]

Mining Interpretable Spatio-Temporal Logic Properties for Spatially Distributed SystemsSara Mohammadinejad, Jyotirmoy V. Deshmukh, Laura Nenzi. ATVA 2021: 91-107 [doi]

AALpy: An Active Automata Learning LibraryEdi Muskardin, Bernhard K. Aichernig, Ingo Pill, Andrea Pferscher, Martin Tappler. ATVA 2021: 67-73 [doi]

TEMPEST - Synthesis Tool for Reactive Systems and Shields in Probabilistic EnvironmentsStefan Pranger, Bettina Könighofer, Lukas Posch, Roderick Bloem. ATVA 2021: 222-228 [doi]

Verifying Verified CodeSiddharth Priya, Xiang Zhou, Yusen Su, Yakir Vizel, Yuyan Bao, Arie Gurfinkel. ATVA 2021: 187-202 [doi]

A Verified Decision Procedure for Orders in Isabelle/HOLLukas Stevens, Tobias Nipkow. ATVA 2021: 127-143 [doi]

Linear Temporal Logic - From Infinite to Finite HorizonLucas M. Tabajara, Moshe Y. Vardi. ATVA 2021: 3-12 [doi]

A Formal Semantics of the GraalVM Intermediate RepresentationBrae J. Webb, Mark Utting, Ian J. Hayes. ATVA 2021: 111-126 [doi]

2020

On (I/O)-Aware Good-For-Games AutomataRachel Faran, Orna Kupferman. ATVA 2020: 161-178 [doi]

Verification of a Generative Separation KernelInzemamul Haque, Deepak D'Souza, Habeeb P, Arnab Kundu, Ganesh Babu. ATVA 2020: 305-322 [doi]

RVX - A Tool for Concolic Testing of Embedded Binaries Targeting RISC-V PlatformsVladimir Herdt, Daniel Große, Rolf Drechsler. ATVA 2020: 543-549 [doi]

Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, ProceedingsDang Van Hung, Oleg Sokolsky, editors, Volume 12302 of Lecture Notes in Computer Science, Springer, 2020. [doi]

From Checking to Inference: Actual Causality Computations as Optimization ProblemsAmjad Ibrahim, Alexander Pretschner. ATVA 2020: 343-359 [doi]

RTAMT: Online Robustness Monitors from STLDejan Nickovic, Tomoya Yamaguchi 0001. ATVA 2020: 564-571 [doi]

Practical "Paritizing" of Emerson-Lei AutomataFlorian Renkin, Alexandre Duret-Lutz, Adrien Pommellet. ATVA 2020: 127-143 [doi]

Links

Filter by Year

[+]
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1

Automated Technology for Verification and Analysis (ATVA)

Viewing Publication 1 - 100 from 709

2023

2022

2021

2020

Links

Filter by Year [+]OR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top terms [+]OR AND NOT 1

Automated Technology for Verification and Analysis (ATVA)

Viewing Publication 1 - 100 from 709

2023

2022

2021

2020

Filter by Year

[+]
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1