Search dblp for Publications

export results for "toc:db/conf/atva/atva2023.bht:"

 download as .bib file

@inproceedings{DBLP:conf/atva/AbdullaABDJLS23,
  author       = {Parosh Aziz Abdulla and
                  Mohamed Faouzi Atig and
                  Frederik Meyer B{\o}nneland and
                  Sarbojit Das and
                  Bengt Jonsson and
                  Magnus L{\aa}ng and
                  Konstantinos Sagonas},
  editor       = {{\'{E}}tienne Andr{\'{e}} and
                  Jun Sun},
  title        = {Tailoring Stateless Model Checking for Event-Driven Multi-threaded
                  Programs},
  booktitle    = {Automated Technology for Verification and Analysis - 21st International
                  Symposium, {ATVA} 2023, Singapore, October 24-27, 2023, Proceedings,
                  Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14216},
  pages        = {176--198},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-45332-8\_9},
  doi          = {10.1007/978-3-031-45332-8\_9},
  timestamp    = {Thu, 09 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atva/AbdullaABDJLS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/AubertRRS23,
  author       = {Cl{\'{e}}ment Aubert and
                  Thomas Rubiano and
                  Neea Rusch and
                  Thomas Seiller},
  editor       = {{\'{E}}tienne Andr{\'{e}} and
                  Jun Sun},
  title        = {pymwp: {A} Static Analyzer Determining Polynomial Growth Bounds},
  booktitle    = {Automated Technology for Verification and Analysis - 21st International
                  Symposium, {ATVA} 2023, Singapore, October 24-27, 2023, Proceedings,
                  Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14216},
  pages        = {263--275},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-45332-8\_14},
  doi          = {10.1007/978-3-031-45332-8\_14},
  timestamp    = {Thu, 09 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atva/AubertRRS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/AzzopardiLPS23,
  author       = {Shaun Azzopardi and
                  David Lidell and
                  Nir Piterman and
                  Gerardo Schneider},
  editor       = {{\'{E}}tienne Andr{\'{e}} and
                  Jun Sun},
  title        = {ppLTLTT : Temporal Testing for Pure-Past Linear Temporal Logic Formulae},
  booktitle    = {Automated Technology for Verification and Analysis - 21st International
                  Symposium, {ATVA} 2023, Singapore, October 24-27, 2023, Proceedings,
                  Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14216},
  pages        = {276--287},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-45332-8\_15},
  doi          = {10.1007/978-3-031-45332-8\_15},
  timestamp    = {Fri, 27 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/AzzopardiLPS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/BallouS23,
  author       = {Kenny Ballou and
                  Elena Sherman},
  editor       = {{\'{E}}tienne Andr{\'{e}} and
                  Jun Sun},
  title        = {Minimally Comparing Relational Abstract Domains},
  booktitle    = {Automated Technology for Verification and Analysis - 21st International
                  Symposium, {ATVA} 2023, Singapore, October 24-27, 2023, Proceedings,
                  Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14216},
  pages        = {159--175},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-45332-8\_8},
  doi          = {10.1007/978-3-031-45332-8\_8},
  timestamp    = {Fri, 27 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/BallouS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/BeutnerFFS23,
  author       = {Raven Beutner and
                  Bernd Finkbeiner and
                  Hadar Frenkel and
                  Julian Siber},
  editor       = {{\'{E}}tienne Andr{\'{e}} and
                  Jun Sun},
  title        = {Checking and Sketching Causes on Temporal Sequences},
  booktitle    = {Automated Technology for Verification and Analysis - 21st International
                  Symposium, {ATVA} 2023, Singapore, October 24-27, 2023, Proceedings,
                  Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14216},
  pages        = {314--327},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-45332-8\_18},
  doi          = {10.1007/978-3-031-45332-8\_18},
  timestamp    = {Fri, 27 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/BeutnerFFS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/ChenFNPBK23,
  author       = {Adam Chen and
                  Parisa Fathololumi and
                  Mihai Nicola and
                  Jared Pincus and
                  Tegan Brennan and
                  Eric Koskinen},
  editor       = {{\'{E}}tienne Andr{\'{e}} and
                  Jun Sun},
  title        = {Better Predicates and Heuristics for Improved Commutativity Synthesis},
  booktitle    = {Automated Technology for Verification and Analysis - 21st International
                  Symposium, {ATVA} 2023, Singapore, October 24-27, 2023, Proceedings,
                  Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14216},
  pages        = {93--113},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-45332-8\_5},
  doi          = {10.1007/978-3-031-45332-8\_5},
  timestamp    = {Fri, 27 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/ChenFNPBK23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/DobeSBBLPW23,
  author       = {Oyendrila Dobe and
                  Stefan Schupp and
                  Ezio Bartocci and
                  Borzoo Bonakdarpour and
                  Axel Legay and
                  Miroslav Pajic and
                  Yu Wang},
  editor       = {{\'{E}}tienne Andr{\'{e}} and
                  Jun Sun},
  title        = {Lightweight Verification of Hyperproperties},
  booktitle    = {Automated Technology for Verification and Analysis - 21st International
                  Symposium, {ATVA} 2023, Singapore, October 24-27, 2023, Proceedings,
                  Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14216},
  pages        = {3--25},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-45332-8\_1},
  doi          = {10.1007/978-3-031-45332-8\_1},
  timestamp    = {Fri, 27 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/DobeSBBLPW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/FinkbeinerKS23,
  author       = {Bernd Finkbeiner and
                  Florian Kohn and
                  Malte Schledjewski},
  editor       = {{\'{E}}tienne Andr{\'{e}} and
                  Jun Sun},
  title        = {Leveraging Static Analysis: An {IDE} for RTLola},
  booktitle    = {Automated Technology for Verification and Analysis - 21st International
                  Symposium, {ATVA} 2023, Singapore, October 24-27, 2023, Proceedings,
                  Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14216},
  pages        = {251--262},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-45332-8\_13},
  doi          = {10.1007/978-3-031-45332-8\_13},
  timestamp    = {Fri, 27 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/FinkbeinerKS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/HuangLBS23,
  author       = {Yushen Huang and
                  Ertai Luo and
                  Stanley Bak and
                  Yifan Sun},
  editor       = {{\'{E}}tienne Andr{\'{e}} and
                  Jun Sun},
  title        = {On the Difficulty of Intersection Checking with Polynomial Zonotopes},
  booktitle    = {Automated Technology for Verification and Analysis - 21st International
                  Symposium, {ATVA} 2023, Singapore, October 24-27, 2023, Proceedings,
                  Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14216},
  pages        = {51--71},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-45332-8\_3},
  doi          = {10.1007/978-3-031-45332-8\_3},
  timestamp    = {Thu, 09 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atva/HuangLBS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/LewHPKHBB23,
  author       = {Ethan Lew and
                  Abdelrahman Hekal and
                  Kostiantyn Potomkin and
                  Niklas Kochdumper and
                  Brandon Hencey and
                  Stanley Bak and
                  Sergiy Bogomolov},
  editor       = {{\'{E}}tienne Andr{\'{e}} and
                  Jun Sun},
  title        = {AutoKoopman: {A} Toolbox for Automated System Identification via Koopman
                  Operator Linearization},
  booktitle    = {Automated Technology for Verification and Analysis - 21st International
                  Symposium, {ATVA} 2023, Singapore, October 24-27, 2023, Proceedings,
                  Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14216},
  pages        = {237--250},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-45332-8\_12},
  doi          = {10.1007/978-3-031-45332-8\_12},
  timestamp    = {Thu, 09 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atva/LewHPKHBB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/LutzNR23,
  author       = {Simon Lutz and
                  Daniel Neider and
                  Rajarshi Roy},
  editor       = {{\'{E}}tienne Andr{\'{e}} and
                  Jun Sun},
  title        = {Specification Sketching for Linear Temporal Logic},
  booktitle    = {Automated Technology for Verification and Analysis - 21st International
                  Symposium, {ATVA} 2023, Singapore, October 24-27, 2023, Proceedings,
                  Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14216},
  pages        = {26--48},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-45332-8\_2},
  doi          = {10.1007/978-3-031-45332-8\_2},
  timestamp    = {Fri, 20 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/LutzNR23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/McCollMH23,
  author       = {Morgan McColl and
                  Callum McColl and
                  Ren{\'{e}} Hexel},
  editor       = {{\'{E}}tienne Andr{\'{e}} and
                  Jun Sun},
  title        = {Automatic Verification of High-Level Executable Models Running on
                  FPGAs},
  booktitle    = {Automated Technology for Verification and Analysis - 21st International
                  Symposium, {ATVA} 2023, Singapore, October 24-27, 2023, Proceedings,
                  Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14216},
  pages        = {217--234},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-45332-8\_11},
  doi          = {10.1007/978-3-031-45332-8\_11},
  timestamp    = {Thu, 09 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atva/McCollMH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/MillerZSVM23,
  author       = {Kristina Miller and
                  Christopher K. Zeitler and
                  William Shen and
                  Mahesh Viswanathan and
                  Sayan Mitra},
  editor       = {{\'{E}}tienne Andr{\'{e}} and
                  Jun Sun},
  title        = {RTAEval: {A} Framework for Evaluating Runtime Assurance Logic},
  booktitle    = {Automated Technology for Verification and Analysis - 21st International
                  Symposium, {ATVA} 2023, Singapore, October 24-27, 2023, Proceedings,
                  Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14216},
  pages        = {302--313},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-45332-8\_17},
  doi          = {10.1007/978-3-031-45332-8\_17},
  timestamp    = {Fri, 20 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/MillerZSVM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/RappoportGV23,
  author       = {Omer Rappoport and
                  Orna Grumberg and
                  Yakir Vizel},
  editor       = {{\'{E}}tienne Andr{\'{e}} and
                  Jun Sun},
  title        = {Structure-Guided Solution of Constrained Horn Clauses},
  booktitle    = {Automated Technology for Verification and Analysis - 21st International
                  Symposium, {ATVA} 2023, Singapore, October 24-27, 2023, Proceedings,
                  Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14216},
  pages        = {117--138},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-45332-8\_6},
  doi          = {10.1007/978-3-031-45332-8\_6},
  timestamp    = {Thu, 09 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atva/RappoportGV23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/ShenoySMSS23,
  author       = {Akshatha Shenoy and
                  Sumanth Prabhu S and
                  Kumar Madhukar and
                  Ron Shemer and
                  Mandayam K. Srivas},
  editor       = {{\'{E}}tienne Andr{\'{e}} and
                  Jun Sun},
  title        = {Automated Property Directed Self Composition},
  booktitle    = {Automated Technology for Verification and Analysis - 21st International
                  Symposium, {ATVA} 2023, Singapore, October 24-27, 2023, Proceedings,
                  Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14216},
  pages        = {139--158},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-45332-8\_7},
  doi          = {10.1007/978-3-031-45332-8\_7},
  timestamp    = {Fri, 20 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/ShenoySMSS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/SolvstenP23,
  author       = {Steffan Christ S{\o}lvsten and
                  Jaco van de Pol},
  editor       = {{\'{E}}tienne Andr{\'{e}} and
                  Jun Sun},
  title        = {Predicting Memory Demands of {BDD} Operations Using Maximum Graph
                  Cuts},
  booktitle    = {Automated Technology for Verification and Analysis - 21st International
                  Symposium, {ATVA} 2023, Singapore, October 24-27, 2023, Proceedings,
                  Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14216},
  pages        = {72--92},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-45332-8\_4},
  doi          = {10.1007/978-3-031-45332-8\_4},
  timestamp    = {Fri, 27 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/SolvstenP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/ThanosCL23,
  author       = {Dimitrios Thanos and
                  Tim Coopmans and
                  Alfons Laarman},
  editor       = {{\'{E}}tienne Andr{\'{e}} and
                  Jun Sun},
  title        = {Fast Equivalence Checking of Quantum Circuits of Clifford Gates},
  booktitle    = {Automated Technology for Verification and Analysis - 21st International
                  Symposium, {ATVA} 2023, Singapore, October 24-27, 2023, Proceedings,
                  Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14216},
  pages        = {199--216},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-45332-8\_10},
  doi          = {10.1007/978-3-031-45332-8\_10},
  timestamp    = {Fri, 20 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/ThanosCL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/ZhouHM23,
  author       = {Zitong Zhou and
                  Zixin Huang and
                  Sasa Misailovic},
  editor       = {{\'{E}}tienne Andr{\'{e}} and
                  Jun Sun},
  title        = {AquaSense: Automated Sensitivity Analysis of Probabilistic Programs
                  via Quantized Inference},
  booktitle    = {Automated Technology for Verification and Analysis - 21st International
                  Symposium, {ATVA} 2023, Singapore, October 24-27, 2023, Proceedings,
                  Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14216},
  pages        = {288--301},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-45332-8\_16},
  doi          = {10.1007/978-3-031-45332-8\_16},
  timestamp    = {Fri, 20 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/ZhouHM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/atva/2023,
  editor       = {{\'{E}}tienne Andr{\'{e}} and
                  Jun Sun},
  title        = {Automated Technology for Verification and Analysis - 21st International
                  Symposium, {ATVA} 2023, Singapore, October 24-27, 2023, Proceedings,
                  Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14216},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-45332-8},
  doi          = {10.1007/978-3-031-45332-8},
  isbn         = {978-3-031-45331-1},
  timestamp    = {Tue, 24 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/2023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.