Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/atva/0001019,
  author       = {Dirk Beyer and
                  Thomas Lemberger},
  editor       = {Yu{-}Fang Chen and
                  Chih{-}Hong Cheng and
                  Javier Esparza},
  title        = {Conditional Testing - Off-the-Shelf Combination of Test-Case Generators},
  booktitle    = {Automated Technology for Verification and Analysis - 17th International
                  Symposium, {ATVA} 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11781},
  pages        = {189--208},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-31784-3\_11},
  doi          = {10.1007/978-3-030-31784-3\_11},
  timestamp    = {Mon, 03 Jan 2022 17:11:32 +0100},
  biburl       = {https://dblp.org/rec/conf/atva/0001019.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/0001BBKT19,
  author       = {Joshua Schneider and
                  David A. Basin and
                  Frederik Brix and
                  Srdan Krstic and
                  Dmitriy Traytel},
  editor       = {Yu{-}Fang Chen and
                  Chih{-}Hong Cheng and
                  Javier Esparza},
  title        = {Adaptive Online First-Order Monitoring},
  booktitle    = {Automated Technology for Verification and Analysis - 17th International
                  Symposium, {ATVA} 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11781},
  pages        = {133--150},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-31784-3\_8},
  doi          = {10.1007/978-3-030-31784-3\_8},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/0001BBKT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/AbdullaADHJ19,
  author       = {Parosh Aziz Abdulla and
                  Mohamed Faouzi Atig and
                  Bui Phi Diep and
                  Luk{\'{a}}s Hol{\'{\i}}k and
                  Petr Janku},
  editor       = {Yu{-}Fang Chen and
                  Chih{-}Hong Cheng and
                  Javier Esparza},
  title        = {Chain-Free String Constraints},
  booktitle    = {Automated Technology for Verification and Analysis - 17th International
                  Symposium, {ATVA} 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11781},
  pages        = {277--293},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-31784-3\_16},
  doi          = {10.1007/978-3-030-31784-3\_16},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/AbdullaADHJ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/Andre019,
  author       = {{\'{E}}tienne Andr{\'{e}} and
                  Jun Sun},
  editor       = {Yu{-}Fang Chen and
                  Chih{-}Hong Cheng and
                  Javier Esparza},
  title        = {Parametric Timed Model Checking for Guaranteeing Timed Opacity},
  booktitle    = {Automated Technology for Verification and Analysis - 17th International
                  Symposium, {ATVA} 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11781},
  pages        = {115--130},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-31784-3\_7},
  doi          = {10.1007/978-3-030-31784-3\_7},
  timestamp    = {Thu, 07 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atva/Andre019.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/BaierBD00S19,
  author       = {Christel Baier and
                  Frantisek Blahoudek and
                  Alexandre Duret{-}Lutz and
                  Joachim Klein and
                  David M{\"{u}}ller and
                  Jan Strejcek},
  editor       = {Yu{-}Fang Chen and
                  Chih{-}Hong Cheng and
                  Javier Esparza},
  title        = {Generic Emptiness Check for Fun and Profit},
  booktitle    = {Automated Technology for Verification and Analysis - 17th International
                  Symposium, {ATVA} 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11781},
  pages        = {445--461},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-31784-3\_26},
  doi          = {10.1007/978-3-030-31784-3\_26},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/BaierBD00S19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/BartocciKS19,
  author       = {Ezio Bartocci and
                  Laura Kov{\'{a}}cs and
                  Miroslav Stankovic},
  editor       = {Yu{-}Fang Chen and
                  Chih{-}Hong Cheng and
                  Javier Esparza},
  title        = {Automatic Generation of Moment-Based Invariants for Prob-Solvable
                  Loops},
  booktitle    = {Automated Technology for Verification and Analysis - 17th International
                  Symposium, {ATVA} 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11781},
  pages        = {255--276},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-31784-3\_15},
  doi          = {10.1007/978-3-030-31784-3\_15},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/BartocciKS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/BloemJV19,
  author       = {Roderick Bloem and
                  Swen Jacobs and
                  Yakir Vizel},
  editor       = {Yu{-}Fang Chen and
                  Chih{-}Hong Cheng and
                  Javier Esparza},
  title        = {Efficient Information-Flow Verification Under Speculative Execution},
  booktitle    = {Automated Technology for Verification and Analysis - 17th International
                  Symposium, {ATVA} 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11781},
  pages        = {499--514},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-31784-3\_29},
  doi          = {10.1007/978-3-030-31784-3\_29},
  timestamp    = {Tue, 22 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/BloemJV19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/BonakdarpourF19,
  author       = {Borzoo Bonakdarpour and
                  Bernd Finkbeiner},
  editor       = {Yu{-}Fang Chen and
                  Chih{-}Hong Cheng and
                  Javier Esparza},
  title        = {Program Repair for Hyperproperties},
  booktitle    = {Automated Technology for Verification and Analysis - 17th International
                  Symposium, {ATVA} 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11781},
  pages        = {423--441},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-31784-3\_25},
  doi          = {10.1007/978-3-030-31784-3\_25},
  timestamp    = {Tue, 22 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/BonakdarpourF19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/Bouyer19,
  author       = {Patricia Bouyer},
  editor       = {Yu{-}Fang Chen and
                  Chih{-}Hong Cheng and
                  Javier Esparza},
  title        = {A Note on Game Theory and Verification},
  booktitle    = {Automated Technology for Verification and Analysis - 17th International
                  Symposium, {ATVA} 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11781},
  pages        = {3--22},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-31784-3\_1},
  doi          = {10.1007/978-3-030-31784-3\_1},
  timestamp    = {Tue, 22 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/Bouyer19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/BrazdilC00V19,
  author       = {Tom{\'{a}}s Br{\'{a}}zdil and
                  Krishnendu Chatterjee and
                  Anton{\'{\i}}n Kucera and
                  Petr Novotn{\'{y}} and
                  Dominik Velan},
  editor       = {Yu{-}Fang Chen and
                  Chih{-}Hong Cheng and
                  Javier Esparza},
  title        = {Deciding Fast Termination for Probabilistic {VASS} with Nondeterminism},
  booktitle    = {Automated Technology for Verification and Analysis - 17th International
                  Symposium, {ATVA} 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11781},
  pages        = {462--478},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-31784-3\_27},
  doi          = {10.1007/978-3-030-31784-3\_27},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/BrazdilC00V19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/DimitrovaFT19,
  author       = {Rayna Dimitrova and
                  Bernd Finkbeiner and
                  Hazem Torfah},
  editor       = {Yu{-}Fang Chen and
                  Chih{-}Hong Cheng and
                  Javier Esparza},
  title        = {Approximate Automata for Omega-Regular Languages},
  booktitle    = {Automated Technology for Verification and Analysis - 17th International
                  Symposium, {ATVA} 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11781},
  pages        = {334--349},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-31784-3\_19},
  doi          = {10.1007/978-3-030-31784-3\_19},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atva/DimitrovaFT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/EhlersA19,
  author       = {R{\"{u}}diger Ehlers and
                  Keerthi Adabala},
  editor       = {Yu{-}Fang Chen and
                  Chih{-}Hong Cheng and
                  Javier Esparza},
  title        = {Reactive Synthesis of Graphical User Interface Glue Code},
  booktitle    = {Automated Technology for Verification and Analysis - 17th International
                  Symposium, {ATVA} 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11781},
  pages        = {387--403},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-31784-3\_23},
  doi          = {10.1007/978-3-030-31784-3\_23},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atva/EhlersA19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/FinkbeinerGHO19,
  author       = {Bernd Finkbeiner and
                  Manuel Gieseking and
                  Jesko Hecking{-}Harbusch and
                  Ernst{-}R{\"{u}}diger Olderog},
  editor       = {Yu{-}Fang Chen and
                  Chih{-}Hong Cheng and
                  Javier Esparza},
  title        = {Model Checking Data Flows in Concurrent Network Updates},
  booktitle    = {Automated Technology for Verification and Analysis - 17th International
                  Symposium, {ATVA} 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11781},
  pages        = {515--533},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-31784-3\_30},
  doi          = {10.1007/978-3-030-31784-3\_30},
  timestamp    = {Tue, 22 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/FinkbeinerGHO19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/Hecking-Harbusch19,
  author       = {Jesko Hecking{-}Harbusch and
                  Niklas O. Metzger},
  editor       = {Yu{-}Fang Chen and
                  Chih{-}Hong Cheng and
                  Javier Esparza},
  title        = {Efficient Trace Encodings of Bounded Synthesis for Asynchronous Distributed
                  Systems},
  booktitle    = {Automated Technology for Verification and Analysis - 17th International
                  Symposium, {ATVA} 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11781},
  pages        = {369--386},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-31784-3\_22},
  doi          = {10.1007/978-3-030-31784-3\_22},
  timestamp    = {Tue, 22 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/Hecking-Harbusch19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/HsuMMS19,
  author       = {Kyle Hsu and
                  Rupak Majumdar and
                  Kaushik Mallik and
                  Anne{-}Kathrin Schmuck},
  editor       = {Yu{-}Fang Chen and
                  Chih{-}Hong Cheng and
                  Javier Esparza},
  title        = {Lazy Abstraction-Based Controller Synthesis},
  booktitle    = {Automated Technology for Verification and Analysis - 17th International
                  Symposium, {ATVA} 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11781},
  pages        = {23--47},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-31784-3\_2},
  doi          = {10.1007/978-3-030-31784-3\_2},
  timestamp    = {Tue, 22 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/HsuMMS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/IzychevaDS19,
  author       = {Anastasiia Izycheva and
                  Eva Darulova and
                  Helmut Seidl},
  editor       = {Yu{-}Fang Chen and
                  Chih{-}Hong Cheng and
                  Javier Esparza},
  title        = {Synthesizing Efficient Low-Precision Kernels},
  booktitle    = {Automated Technology for Verification and Analysis - 17th International
                  Symposium, {ATVA} 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11781},
  pages        = {294--313},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-31784-3\_17},
  doi          = {10.1007/978-3-030-31784-3\_17},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/IzychevaDS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/JaegerJLLST19,
  author       = {Manfred Jaeger and
                  Peter Gj{\o}l Jensen and
                  Kim Guldstrand Larsen and
                  Axel Legay and
                  Sean Sedwards and
                  Jakob Haahr Taankvist},
  editor       = {Yu{-}Fang Chen and
                  Chih{-}Hong Cheng and
                  Javier Esparza},
  title        = {Teaching Stratego to Play Ball: Optimal Synthesis for Continuous Space
                  MDPs},
  booktitle    = {Automated Technology for Verification and Analysis - 17th International
                  Symposium, {ATVA} 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11781},
  pages        = {81--97},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-31784-3\_5},
  doi          = {10.1007/978-3-030-31784-3\_5},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atva/JaegerJLLST19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/KhoussiNSFBBB19,
  author       = {Siham Khoussi and
                  Ayoub Nouri and
                  Junxiao Shi and
                  James Filliben and
                  Lotfi Benmohamed and
                  Abdella Battou and
                  Saddek Bensalem},
  editor       = {Yu{-}Fang Chen and
                  Chih{-}Hong Cheng and
                  Javier Esparza},
  title        = {Performance Evaluation of the {NDN} Data Plane Using Statistical Model
                  Checking},
  booktitle    = {Automated Technology for Verification and Analysis - 17th International
                  Symposium, {ATVA} 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11781},
  pages        = {534--550},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-31784-3\_31},
  doi          = {10.1007/978-3-030-31784-3\_31},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/KhoussiNSFBBB19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/KieslHB19,
  author       = {Benjamin Kiesl and
                  Marijn J. H. Heule and
                  Armin Biere},
  editor       = {Yu{-}Fang Chen and
                  Chih{-}Hong Cheng and
                  Javier Esparza},
  title        = {Truth Assignments as Conditional Autarkies},
  booktitle    = {Automated Technology for Verification and Analysis - 17th International
                  Symposium, {ATVA} 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11781},
  pages        = {48--64},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-31784-3\_3},
  doi          = {10.1007/978-3-030-31784-3\_3},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atva/KieslHB19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/KolblL19,
  author       = {Martin K{\"{o}}lbl and
                  Stefan Leue},
  editor       = {Yu{-}Fang Chen and
                  Chih{-}Hong Cheng and
                  Javier Esparza},
  title        = {An Efficient Algorithm for Computing Causal Trace Sets in Causality
                  Checking},
  booktitle    = {Automated Technology for Verification and Analysis - 17th International
                  Symposium, {ATVA} 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11781},
  pages        = {171--186},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-31784-3\_10},
  doi          = {10.1007/978-3-030-31784-3\_10},
  timestamp    = {Tue, 22 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/KolblL19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/KretinskyMM19,
  author       = {Jan Kret{\'{\i}}nsk{\'{y}} and
                  Alexander Manta and
                  Tobias Meggendorfer},
  editor       = {Yu{-}Fang Chen and
                  Chih{-}Hong Cheng and
                  Javier Esparza},
  title        = {Semantic Labelling and Learning for Parity Game Solving in {LTL} Synthesis},
  booktitle    = {Automated Technology for Verification and Analysis - 17th International
                  Symposium, {ATVA} 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11781},
  pages        = {404--422},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-31784-3\_24},
  doi          = {10.1007/978-3-030-31784-3\_24},
  timestamp    = {Sat, 29 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/KretinskyMM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/Le19,
  author       = {Hoang M. Le},
  editor       = {Yu{-}Fang Chen and
                  Chih{-}Hong Cheng and
                  Javier Esparza},
  title        = {{KLUZZER:} Whitebox Fuzzing on Top of {LLVM}},
  booktitle    = {Automated Technology for Verification and Analysis - 17th International
                  Symposium, {ATVA} 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11781},
  pages        = {246--252},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-31784-3\_14},
  doi          = {10.1007/978-3-030-31784-3\_14},
  timestamp    = {Tue, 22 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/Le19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/LodingP19,
  author       = {Christof L{\"{o}}ding and
                  Anton Pirogov},
  editor       = {Yu{-}Fang Chen and
                  Chih{-}Hong Cheng and
                  Javier Esparza},
  title        = {New Optimizations and Heuristics for Determinization of B{\"{u}}chi
                  Automata},
  booktitle    = {Automated Technology for Verification and Analysis - 17th International
                  Symposium, {ATVA} 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11781},
  pages        = {317--333},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-31784-3\_18},
  doi          = {10.1007/978-3-030-31784-3\_18},
  timestamp    = {Thu, 07 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atva/LodingP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/MajorBSSZ19,
  author       = {Juraj Major and
                  Frantisek Blahoudek and
                  Jan Strejcek and
                  Miriama Sasar{\'{a}}kov{\'{a}} and
                  Tatiana Zbonc{\'{a}}kov{\'{a}}},
  editor       = {Yu{-}Fang Chen and
                  Chih{-}Hong Cheng and
                  Javier Esparza},
  title        = {ltl3tela: {LTL} to Small Deterministic or Nondeterministic Emerson-Lei
                  Automata},
  booktitle    = {Automated Technology for Verification and Analysis - 17th International
                  Symposium, {ATVA} 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11781},
  pages        = {357--365},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-31784-3\_21},
  doi          = {10.1007/978-3-030-31784-3\_21},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/MajorBSSZ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/MurawskiRT19,
  author       = {Andrzej S. Murawski and
                  Steven J. Ramsay and
                  Nikos Tzevelekos},
  editor       = {Yu{-}Fang Chen and
                  Chih{-}Hong Cheng and
                  Javier Esparza},
  title        = {{DEQ:} Equivalence Checker for Deterministic Register Automata},
  booktitle    = {Automated Technology for Verification and Analysis - 17th International
                  Symposium, {ATVA} 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11781},
  pages        = {350--356},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-31784-3\_20},
  doi          = {10.1007/978-3-030-31784-3\_20},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/MurawskiRT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/Parizek19,
  author       = {Pavel Par{\'{\i}}zek},
  editor       = {Yu{-}Fang Chen and
                  Chih{-}Hong Cheng and
                  Javier Esparza},
  title        = {{BUBEN:} Automated Library Abstractions Enabling Scalable Bug Detection
                  for Large Programs with {I/O} and Complex Environment},
  booktitle    = {Automated Technology for Verification and Analysis - 17th International
                  Symposium, {ATVA} 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11781},
  pages        = {228--245},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-31784-3\_13},
  doi          = {10.1007/978-3-030-31784-3\_13},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atva/Parizek19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/PhamLP0Q19,
  author       = {Long H. Pham and
                  Quang Loc Le and
                  Quoc{-}Sang Phan and
                  Jun Sun and
                  Shengchao Qin},
  editor       = {Yu{-}Fang Chen and
                  Chih{-}Hong Cheng and
                  Javier Esparza},
  title        = {Enhancing Symbolic Execution of Heap-Based Programs with Separation
                  Logic for Test Input Generation},
  booktitle    = {Automated Technology for Verification and Analysis - 17th International
                  Symposium, {ATVA} 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11781},
  pages        = {209--227},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-31784-3\_12},
  doi          = {10.1007/978-3-030-31784-3\_12},
  timestamp    = {Tue, 22 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/PhamLP0Q19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/RaszykBKT19,
  author       = {Martin Raszyk and
                  David A. Basin and
                  Srdan Krstic and
                  Dmitriy Traytel},
  editor       = {Yu{-}Fang Chen and
                  Chih{-}Hong Cheng and
                  Javier Esparza},
  title        = {Multi-head Monitoring of Metric Temporal Logic},
  booktitle    = {Automated Technology for Verification and Analysis - 17th International
                  Symposium, {ATVA} 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11781},
  pages        = {151--170},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-31784-3\_9},
  doi          = {10.1007/978-3-030-31784-3\_9},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/RaszykBKT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/SibaiMM19,
  author       = {Hussein Sibai and
                  Navid Mokhlesi and
                  Sayan Mitra},
  editor       = {Yu{-}Fang Chen and
                  Chih{-}Hong Cheng and
                  Javier Esparza},
  title        = {Using Symmetry Transformations in Equivariant Dynamical Systems for
                  Their Safety Verification},
  booktitle    = {Automated Technology for Verification and Analysis - 17th International
                  Symposium, {ATVA} 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11781},
  pages        = {98--114},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-31784-3\_6},
  doi          = {10.1007/978-3-030-31784-3\_6},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/SibaiMM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/Sifakis19,
  author       = {Joseph Sifakis},
  editor       = {Yu{-}Fang Chen and
                  Chih{-}Hong Cheng and
                  Javier Esparza},
  title        = {Can We Trust Autonomous Systems? Boundaries and Risks},
  booktitle    = {Automated Technology for Verification and Analysis - 17th International
                  Symposium, {ATVA} 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11781},
  pages        = {65--78},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-31784-3\_4},
  doi          = {10.1007/978-3-030-31784-3\_4},
  timestamp    = {Tue, 22 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/Sifakis19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/SpelJK19,
  author       = {Jip Spel and
                  Sebastian Junges and
                  Joost{-}Pieter Katoen},
  editor       = {Yu{-}Fang Chen and
                  Chih{-}Hong Cheng and
                  Javier Esparza},
  title        = {Are Parametric Markov Chains Monotonic?},
  booktitle    = {Automated Technology for Verification and Analysis - 17th International
                  Symposium, {ATVA} 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11781},
  pages        = {479--496},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-31784-3\_28},
  doi          = {10.1007/978-3-030-31784-3\_28},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atva/SpelJK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/atva/2019,
  editor       = {Yu{-}Fang Chen and
                  Chih{-}Hong Cheng and
                  Javier Esparza},
  title        = {Automated Technology for Verification and Analysis - 17th International
                  Symposium, {ATVA} 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11781},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-31784-3},
  doi          = {10.1007/978-3-030-31784-3},
  isbn         = {978-3-030-31783-6},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atva/2019.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.