Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/atva/AkhundovMFHC21,
  author       = {Murad Akhundov and
                  Federico Mora and
                  Nick Feng and
                  Vincent Hui and
                  Marsha Chechik},
  editor       = {Zhe Hou and
                  Vijay Ganesh},
  title        = {Verification by Gambling on Program Slices},
  booktitle    = {Automated Technology for Verification and Analysis - 19th International
                  Symposium, {ATVA} 2021, Gold Coast, QLD, Australia, October 18-22,
                  2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12971},
  pages        = {266--282},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88885-5\_18},
  doi          = {10.1007/978-3-030-88885-5\_18},
  timestamp    = {Wed, 06 Nov 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atva/AkhundovMFHC21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/AzzopardiPS21,
  author       = {Shaun Azzopardi and
                  Nir Piterman and
                  Gerardo Schneider},
  editor       = {Zhe Hou and
                  Vijay Ganesh},
  title        = {Incorporating Monitors in Reactive Synthesis Without Paying the Price},
  booktitle    = {Automated Technology for Verification and Analysis - 19th International
                  Symposium, {ATVA} 2021, Gold Coast, QLD, Australia, October 18-22,
                  2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12971},
  pages        = {337--353},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88885-5\_22},
  doi          = {10.1007/978-3-030-88885-5\_22},
  timestamp    = {Wed, 03 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atva/AzzopardiPS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/BaierFJPZ21,
  author       = {Christel Baier and
                  Florian Funke and
                  Simon Jantsch and
                  Jakob Piribauer and
                  Robin Ziemek},
  editor       = {Zhe Hou and
                  Vijay Ganesh},
  title        = {Probabilistic Causes in Markov Chains},
  booktitle    = {Automated Technology for Verification and Analysis - 19th International
                  Symposium, {ATVA} 2021, Gold Coast, QLD, Australia, October 18-22,
                  2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12971},
  pages        = {205--221},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88885-5\_14},
  doi          = {10.1007/978-3-030-88885-5\_14},
  timestamp    = {Wed, 03 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atva/BaierFJPZ21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/BeyerFH21,
  author       = {Dirk Beyer and
                  Karlheinz Friedberger and
                  Stephan Holzner},
  editor       = {Zhe Hou and
                  Vijay Ganesh},
  title        = {{PJBDD:} {A} {BDD} Library for Java and Multi-Threading},
  booktitle    = {Automated Technology for Verification and Analysis - 19th International
                  Symposium, {ATVA} 2021, Gold Coast, QLD, Australia, October 18-22,
                  2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12971},
  pages        = {144--149},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88885-5\_10},
  doi          = {10.1007/978-3-030-88885-5\_10},
  timestamp    = {Wed, 03 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atva/BeyerFH21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/CimattiGM21,
  author       = {Alessandro Cimatti and
                  Alberto Griggio and
                  Enrico Magnago},
  editor       = {Zhe Hou and
                  Vijay Ganesh},
  title        = {Automatic Discovery of Fair Paths in Infinite-State Transition Systems},
  booktitle    = {Automated Technology for Verification and Analysis - 19th International
                  Symposium, {ATVA} 2021, Gold Coast, QLD, Australia, October 18-22,
                  2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12971},
  pages        = {32--47},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88885-5\_3},
  doi          = {10.1007/978-3-030-88885-5\_3},
  timestamp    = {Wed, 03 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atva/CimattiGM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/CoenenFHHS21,
  author       = {Norine Coenen and
                  Bernd Finkbeiner and
                  Christopher Hahn and
                  Jana Hofmann and
                  Yannick Schillo},
  editor       = {Zhe Hou and
                  Vijay Ganesh},
  title        = {Runtime Enforcement of Hyperproperties},
  booktitle    = {Automated Technology for Verification and Analysis - 19th International
                  Symposium, {ATVA} 2021, Gold Coast, QLD, Australia, October 18-22,
                  2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12971},
  pages        = {283--299},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88885-5\_19},
  doi          = {10.1007/978-3-030-88885-5\_19},
  timestamp    = {Mon, 18 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/CoenenFHHS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/DupontAPS21,
  author       = {Guillaume Dupont and
                  Yamine A{\"{\i}}t Ameur and
                  Marc Pantel and
                  Neeraj Kumar Singh},
  editor       = {Zhe Hou and
                  Vijay Ganesh},
  title        = {Event-B Refinement for Continuous Behaviours Approximation},
  booktitle    = {Automated Technology for Verification and Analysis - 19th International
                  Symposium, {ATVA} 2021, Gold Coast, QLD, Australia, October 18-22,
                  2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12971},
  pages        = {320--336},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88885-5\_21},
  doi          = {10.1007/978-3-030-88885-5\_21},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atva/DupontAPS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/FinkbeinerKM21,
  author       = {Bernd Finkbeiner and
                  Felix Klein and
                  Niklas Metzger},
  editor       = {Zhe Hou and
                  Vijay Ganesh},
  title        = {Live Synthesis},
  booktitle    = {Automated Technology for Verification and Analysis - 19th International
                  Symposium, {ATVA} 2021, Gold Coast, QLD, Australia, October 18-22,
                  2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12971},
  pages        = {153--169},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88885-5\_11},
  doi          = {10.1007/978-3-030-88885-5\_11},
  timestamp    = {Tue, 20 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/FinkbeinerKM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/FinkbeinerP21,
  author       = {Bernd Finkbeiner and
                  Noemi Passing},
  editor       = {Zhe Hou and
                  Vijay Ganesh},
  title        = {Compositional Synthesis of Modular Systems},
  booktitle    = {Automated Technology for Verification and Analysis - 19th International
                  Symposium, {ATVA} 2021, Gold Coast, QLD, Australia, October 18-22,
                  2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12971},
  pages        = {303--319},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88885-5\_20},
  doi          = {10.1007/978-3-030-88885-5\_20},
  timestamp    = {Wed, 03 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atva/FinkbeinerP21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/GaglioneNRTX21,
  author       = {Jean{-}Rapha{\"{e}}l Gaglione and
                  Daniel Neider and
                  Rajarshi Roy and
                  Ufuk Topcu and
                  Zhe Xu},
  editor       = {Zhe Hou and
                  Vijay Ganesh},
  title        = {Learning Linear Temporal Properties from Noisy Data: {A} MaxSAT-Based
                  Approach},
  booktitle    = {Automated Technology for Verification and Analysis - 19th International
                  Symposium, {ATVA} 2021, Gold Coast, QLD, Australia, October 18-22,
                  2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12971},
  pages        = {74--90},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88885-5\_6},
  doi          = {10.1007/978-3-030-88885-5\_6},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atva/GaglioneNRTX21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/GuidottiPT21,
  author       = {Dario Guidotti and
                  Luca Pulina and
                  Armando Tacchella},
  editor       = {Zhe Hou and
                  Vijay Ganesh},
  title        = {pyNeVer: {A} Framework for Learning and Verification of Neural Networks},
  booktitle    = {Automated Technology for Verification and Analysis - 19th International
                  Symposium, {ATVA} 2021, Gold Coast, QLD, Australia, October 18-22,
                  2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12971},
  pages        = {357--363},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88885-5\_23},
  doi          = {10.1007/978-3-030-88885-5\_23},
  timestamp    = {Sat, 19 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/GuidottiPT21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/HadzicPB21,
  author       = {Vedad Hadzic and
                  Robert Primas and
                  Roderick Bloem},
  editor       = {Zhe Hou and
                  Vijay Ganesh},
  title        = {Proving {SIFA} Protection of Masked Redundant Circuits},
  booktitle    = {Automated Technology for Verification and Analysis - 19th International
                  Symposium, {ATVA} 2021, Gold Coast, QLD, Australia, October 18-22,
                  2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12971},
  pages        = {249--265},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88885-5\_17},
  doi          = {10.1007/978-3-030-88885-5\_17},
  timestamp    = {Mon, 18 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/HadzicPB21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/HuangDM21,
  author       = {Zixin Huang and
                  Saikat Dutta and
                  Sasa Misailovic},
  editor       = {Zhe Hou and
                  Vijay Ganesh},
  title        = {{AQUA:} Automated Quantized Inference for Probabilistic Programs},
  booktitle    = {Automated Technology for Verification and Analysis - 19th International
                  Symposium, {ATVA} 2021, Gold Coast, QLD, Australia, October 18-22,
                  2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12971},
  pages        = {229--246},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88885-5\_16},
  doi          = {10.1007/978-3-030-88885-5\_16},
  timestamp    = {Mon, 18 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/HuangDM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/JensenSSSVD21,
  author       = {Peter Gj{\o}l Jensen and
                  Stefan Schmid and
                  Morten Konggaard Schou and
                  Jir{\'{\i}} Srba and
                  Juan Vanerio and
                  Ingo van Duijn},
  editor       = {Zhe Hou and
                  Vijay Ganesh},
  title        = {Faster Pushdown Reachability Analysis with Applications in Network
                  Verification},
  booktitle    = {Automated Technology for Verification and Analysis - 19th International
                  Symposium, {ATVA} 2021, Gold Coast, QLD, Australia, October 18-22,
                  2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12971},
  pages        = {170--186},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88885-5\_12},
  doi          = {10.1007/978-3-030-88885-5\_12},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atva/JensenSSSVD21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/JohnJBK21,
  author       = {Tobias John and
                  Simon Jantsch and
                  Christel Baier and
                  Sascha Kl{\"{u}}ppelholz},
  editor       = {Zhe Hou and
                  Vijay Ganesh},
  title        = {Determinization and Limit-Determinization of Emerson-Lei Automata},
  booktitle    = {Automated Technology for Verification and Analysis - 19th International
                  Symposium, {ATVA} 2021, Gold Coast, QLD, Australia, October 18-22,
                  2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12971},
  pages        = {15--31},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88885-5\_2},
  doi          = {10.1007/978-3-030-88885-5\_2},
  timestamp    = {Wed, 03 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atva/JohnJBK21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/KhmelnitskyNRXB21,
  author       = {Igor Khmelnitsky and
                  Daniel Neider and
                  Rajarshi Roy and
                  Xuan Xie and
                  Beno{\^{\i}}t Barbot and
                  Benedikt Bollig and
                  Alain Finkel and
                  Serge Haddad and
                  Martin Leucker and
                  Lina Ye},
  editor       = {Zhe Hou and
                  Vijay Ganesh},
  title        = {Property-Directed Verification and Robustness Certification of Recurrent
                  Neural Networks},
  booktitle    = {Automated Technology for Verification and Analysis - 19th International
                  Symposium, {ATVA} 2021, Gold Coast, QLD, Australia, October 18-22,
                  2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12971},
  pages        = {364--380},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88885-5\_24},
  doi          = {10.1007/978-3-030-88885-5\_24},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/KhmelnitskyNRXB21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/KupfermanLS21,
  author       = {Orna Kupferman and
                  Nir Lavee and
                  Salomon Sickert},
  editor       = {Zhe Hou and
                  Vijay Ganesh},
  title        = {Certifying {DFA} Bounds for Recognition and Separation},
  booktitle    = {Automated Technology for Verification and Analysis - 19th International
                  Symposium, {ATVA} 2021, Gold Coast, QLD, Australia, October 18-22,
                  2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12971},
  pages        = {48--64},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88885-5\_4},
  doi          = {10.1007/978-3-030-88885-5\_4},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/KupfermanLS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/MohammadinejadD21,
  author       = {Sara Mohammadinejad and
                  Jyotirmoy V. Deshmukh and
                  Laura Nenzi},
  editor       = {Zhe Hou and
                  Vijay Ganesh},
  title        = {Mining Interpretable Spatio-Temporal Logic Properties for Spatially
                  Distributed Systems},
  booktitle    = {Automated Technology for Verification and Analysis - 19th International
                  Symposium, {ATVA} 2021, Gold Coast, QLD, Australia, October 18-22,
                  2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12971},
  pages        = {91--107},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88885-5\_7},
  doi          = {10.1007/978-3-030-88885-5\_7},
  timestamp    = {Wed, 03 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atva/MohammadinejadD21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/MuskardinAPPT21,
  author       = {Edi Muskardin and
                  Bernhard K. Aichernig and
                  Ingo Pill and
                  Andrea Pferscher and
                  Martin Tappler},
  editor       = {Zhe Hou and
                  Vijay Ganesh},
  title        = {AALpy: An Active Automata Learning Library},
  booktitle    = {Automated Technology for Verification and Analysis - 19th International
                  Symposium, {ATVA} 2021, Gold Coast, QLD, Australia, October 18-22,
                  2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12971},
  pages        = {67--73},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88885-5\_5},
  doi          = {10.1007/978-3-030-88885-5\_5},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/MuskardinAPPT21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/PrangerKPB21,
  author       = {Stefan Pranger and
                  Bettina K{\"{o}}nighofer and
                  Lukas Posch and
                  Roderick Bloem},
  editor       = {Zhe Hou and
                  Vijay Ganesh},
  title        = {{TEMPEST} - Synthesis Tool for Reactive Systems and Shields in Probabilistic
                  Environments},
  booktitle    = {Automated Technology for Verification and Analysis - 19th International
                  Symposium, {ATVA} 2021, Gold Coast, QLD, Australia, October 18-22,
                  2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12971},
  pages        = {222--228},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88885-5\_15},
  doi          = {10.1007/978-3-030-88885-5\_15},
  timestamp    = {Mon, 18 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/PrangerKPB21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/PriyaZSVBG21,
  author       = {Siddharth Priya and
                  Xiang Zhou and
                  Yusen Su and
                  Yakir Vizel and
                  Yuyan Bao and
                  Arie Gurfinkel},
  editor       = {Zhe Hou and
                  Vijay Ganesh},
  title        = {Verifying Verified Code},
  booktitle    = {Automated Technology for Verification and Analysis - 19th International
                  Symposium, {ATVA} 2021, Gold Coast, QLD, Australia, October 18-22,
                  2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12971},
  pages        = {187--202},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88885-5\_13},
  doi          = {10.1007/978-3-030-88885-5\_13},
  timestamp    = {Mon, 18 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/PriyaZSVBG21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/StevensN21,
  author       = {Lukas Stevens and
                  Tobias Nipkow},
  editor       = {Zhe Hou and
                  Vijay Ganesh},
  title        = {A Verified Decision Procedure for Orders in Isabelle/HOL},
  booktitle    = {Automated Technology for Verification and Analysis - 19th International
                  Symposium, {ATVA} 2021, Gold Coast, QLD, Australia, October 18-22,
                  2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12971},
  pages        = {127--143},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88885-5\_9},
  doi          = {10.1007/978-3-030-88885-5\_9},
  timestamp    = {Wed, 03 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atva/StevensN21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/TabajaraV21,
  author       = {Lucas M. Tabajara and
                  Moshe Y. Vardi},
  editor       = {Zhe Hou and
                  Vijay Ganesh},
  title        = {Linear Temporal Logic - From Infinite to Finite Horizon},
  booktitle    = {Automated Technology for Verification and Analysis - 19th International
                  Symposium, {ATVA} 2021, Gold Coast, QLD, Australia, October 18-22,
                  2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12971},
  pages        = {3--12},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88885-5\_1},
  doi          = {10.1007/978-3-030-88885-5\_1},
  timestamp    = {Mon, 18 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/TabajaraV21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/WebbUH21,
  author       = {Brae J. Webb and
                  Mark Utting and
                  Ian J. Hayes},
  editor       = {Zhe Hou and
                  Vijay Ganesh},
  title        = {A Formal Semantics of the GraalVM Intermediate Representation},
  booktitle    = {Automated Technology for Verification and Analysis - 19th International
                  Symposium, {ATVA} 2021, Gold Coast, QLD, Australia, October 18-22,
                  2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12971},
  pages        = {111--126},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88885-5\_8},
  doi          = {10.1007/978-3-030-88885-5\_8},
  timestamp    = {Wed, 03 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atva/WebbUH21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/atva/2021,
  editor       = {Zhe Hou and
                  Vijay Ganesh},
  title        = {Automated Technology for Verification and Analysis - 19th International
                  Symposium, {ATVA} 2021, Gold Coast, QLD, Australia, October 18-22,
                  2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12971},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88885-5},
  doi          = {10.1007/978-3-030-88885-5},
  isbn         = {978-3-030-88884-8},
  timestamp    = {Mon, 01 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/2021.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.