Search dblp for Publications

export results for "toc:db/conf/tacas/tacas2022-1.bht:"

 download as .bib file

@inproceedings{DBLP:conf/tacas/AlbertGHR22,
  author       = {Elvira Albert and
                  Pablo Gordillo and
                  Alejandro Hern{\'{a}}ndez{-}Cerezo and
                  Albert Rubio},
  editor       = {Dana Fisman and
                  Grigore Rosu},
  title        = {A Max-SMT Superoptimizer for {EVM} handling Memory and Storage},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 28th International Conference, {TACAS} 2022, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2022, Munich, Germany, April 2-7, 2022, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13243},
  pages        = {201--219},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-030-99524-9\_11},
  doi          = {10.1007/978-3-030-99524-9\_11},
  timestamp    = {Fri, 29 Apr 2022 14:50:36 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/AlbertGHR22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/AmatDH22,
  author       = {Nicolas Amat and
                  Silvano Dal{-}Zilio and
                  Thomas Hujsa},
  editor       = {Dana Fisman and
                  Grigore Rosu},
  title        = {Property Directed Reachability for Generalized Petri Nets},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 28th International Conference, {TACAS} 2022, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2022, Munich, Germany, April 2-7, 2022, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13243},
  pages        = {505--523},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-030-99524-9\_28},
  doi          = {10.1007/978-3-030-99524-9\_28},
  timestamp    = {Fri, 29 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/AmatDH22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/AmendolaBCCFPST22,
  author       = {Arturo Amendola and
                  Anna Becchi and
                  Roberto Cavada and
                  Alessandro Cimatti and
                  Andrea Ferrando and
                  Lorenzo Pilati and
                  Giuseppe Scaglione and
                  Alberto Tacchella and
                  Marco Zamboni},
  editor       = {Dana Fisman and
                  Grigore Rosu},
  title        = {{NORMA:} a tool for the analysis of Relay-based Railway Interlocking
                  Systems},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 28th International Conference, {TACAS} 2022, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2022, Munich, Germany, April 2-7, 2022, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13243},
  pages        = {125--142},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-030-99524-9\_7},
  doi          = {10.1007/978-3-030-99524-9\_7},
  timestamp    = {Fri, 29 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/AmendolaBCCFPST22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/BarbosaBBKLMMMN22,
  author       = {Haniel Barbosa and
                  Clark W. Barrett and
                  Martin Brain and
                  Gereon Kremer and
                  Hanna Lachnitt and
                  Makai Mann and
                  Abdalrhman Mohamed and
                  Mudathir Mohamed and
                  Aina Niemetz and
                  Andres N{\"{o}}tzli and
                  Alex Ozdemir and
                  Mathias Preiner and
                  Andrew Reynolds and
                  Ying Sheng and
                  Cesare Tinelli and
                  Yoni Zohar},
  editor       = {Dana Fisman and
                  Grigore Rosu},
  title        = {cvc5: {A} Versatile and Industrial-Strength {SMT} Solver},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 28th International Conference, {TACAS} 2022, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2022, Munich, Germany, April 2-7, 2022, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13243},
  pages        = {415--442},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-030-99524-9\_24},
  doi          = {10.1007/978-3-030-99524-9\_24},
  timestamp    = {Fri, 29 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/BarbosaBBKLMMMN22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/BeyerK22,
  author       = {Dirk Beyer and
                  Sudeep Kanav},
  editor       = {Dana Fisman and
                  Grigore Rosu},
  title        = {CoVeriTeam: On-Demand Composition of Cooperative Verification Systems},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 28th International Conference, {TACAS} 2022, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2022, Munich, Germany, April 2-7, 2022, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13243},
  pages        = {561--579},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-030-99524-9\_31},
  doi          = {10.1007/978-3-030-99524-9\_31},
  timestamp    = {Fri, 29 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/BeyerK22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/BlichaFHS22,
  author       = {Martin Blicha and
                  Grigory Fedyukovich and
                  Antti E. J. Hyv{\"{a}}rinen and
                  Natasha Sharygina},
  editor       = {Dana Fisman and
                  Grigore Rosu},
  title        = {Transition Power Abstractions for Deep Counterexample Detection},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 28th International Conference, {TACAS} 2022, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2022, Munich, Germany, April 2-7, 2022, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13243},
  pages        = {524--542},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-030-99524-9\_29},
  doi          = {10.1007/978-3-030-99524-9\_29},
  timestamp    = {Fri, 29 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/BlichaFHS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/BortolussiGKN22,
  author       = {Luca Bortolussi and
                  Giuseppe Maria Gallo and
                  Jan Kret{\'{\i}}nsk{\'{y}} and
                  Laura Nenzi},
  editor       = {Dana Fisman and
                  Grigore Rosu},
  title        = {Learning Model Checking and the Kernel Trick for Signal Temporal Logic
                  on Stochastic Processes},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 28th International Conference, {TACAS} 2022, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2022, Munich, Germany, April 2-7, 2022, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13243},
  pages        = {281--300},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-030-99524-9\_15},
  doi          = {10.1007/978-3-030-99524-9\_15},
  timestamp    = {Fri, 29 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/BortolussiGKN22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/BozzanoCTV22,
  author       = {Marco Bozzano and
                  Alessandro Cimatti and
                  Stefano Tonetta and
                  Vikt{\'{o}}ria Voz{\'{a}}rov{\'{a}}},
  editor       = {Dana Fisman and
                  Grigore Rosu},
  title        = {Searching for Ribbon-Shaped Paths in Fair Transition Systems},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 28th International Conference, {TACAS} 2022, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2022, Munich, Germany, April 2-7, 2022, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13243},
  pages        = {543--560},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-030-99524-9\_30},
  doi          = {10.1007/978-3-030-99524-9\_30},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/BozzanoCTV22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/BrombergerDFFGK22,
  author       = {Martin Bromberger and
                  Irina Dragoste and
                  Rasha Faqeh and
                  Christof Fetzer and
                  Larry Gonz{\'{a}}lez and
                  Markus Kr{\"{o}}tzsch and
                  Maximilian Marx and
                  Harish K. Murali and
                  Christoph Weidenbach},
  editor       = {Dana Fisman and
                  Grigore Rosu},
  title        = {A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo
                  Simple Linear Arithmetic},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 28th International Conference, {TACAS} 2022, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2022, Munich, Germany, April 2-7, 2022, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13243},
  pages        = {480--501},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-030-99524-9\_27},
  doi          = {10.1007/978-3-030-99524-9\_27},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/BrombergerDFFGK22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/BruyerePS22,
  author       = {V{\'{e}}ronique Bruy{\`{e}}re and
                  Guillermo A. P{\'{e}}rez and
                  Ga{\"{e}}tan Staquet},
  editor       = {Dana Fisman and
                  Grigore Rosu},
  title        = {Learning Realtime One-Counter Automata},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 28th International Conference, {TACAS} 2022, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2022, Munich, Germany, April 2-7, 2022, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13243},
  pages        = {244--262},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-030-99524-9\_13},
  doi          = {10.1007/978-3-030-99524-9\_13},
  timestamp    = {Fri, 29 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/BruyerePS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/BryantBH22,
  author       = {Randal E. Bryant and
                  Armin Biere and
                  Marijn J. H. Heule},
  editor       = {Dana Fisman and
                  Grigore Rosu},
  title        = {Clausal Proofs for Pseudo-Boolean Reasoning},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 28th International Conference, {TACAS} 2022, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2022, Munich, Germany, April 2-7, 2022, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13243},
  pages        = {443--461},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-030-99524-9\_25},
  doi          = {10.1007/978-3-030-99524-9\_25},
  timestamp    = {Fri, 29 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/BryantBH22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/CassezFA22,
  author       = {Franck Cassez and
                  Joanne Fuller and
                  Aditya Asgaonkar},
  editor       = {Dana Fisman and
                  Grigore Rosu},
  title        = {Formal Verification of the Ethereum 2.0 Beacon Chain},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 28th International Conference, {TACAS} 2022, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2022, Munich, Germany, April 2-7, 2022, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13243},
  pages        = {167--182},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-030-99524-9\_9},
  doi          = {10.1007/978-3-030-99524-9\_9},
  timestamp    = {Fri, 29 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/CassezFA22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/ChakarovFRR22,
  author       = {Aleksandar Chakarov and
                  Aleksandr Fedchin and
                  Zvonimir Rakamaric and
                  Neha Rungta},
  editor       = {Dana Fisman and
                  Grigore Rosu},
  title        = {Better Counterexamples for Dafny},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 28th International Conference, {TACAS} 2022, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2022, Munich, Germany, April 2-7, 2022, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13243},
  pages        = {404--411},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-030-99524-9\_23},
  doi          = {10.1007/978-3-030-99524-9\_23},
  timestamp    = {Fri, 29 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/ChakarovFRR22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/DillGPQXZ22,
  author       = {David L. Dill and
                  Wolfgang Grieskamp and
                  Junkil Park and
                  Shaz Qadeer and
                  Meng Xu and
                  Jingyi Emma Zhong},
  editor       = {Dana Fisman and
                  Grigore Rosu},
  title        = {Fast and Reliable Formal Verification of Smart Contracts with the
                  Move Prover},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 28th International Conference, {TACAS} 2022, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2022, Munich, Germany, April 2-7, 2022, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13243},
  pages        = {183--200},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-030-99524-9\_10},
  doi          = {10.1007/978-3-030-99524-9\_10},
  timestamp    = {Fri, 29 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/DillGPQXZ22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/Greiner-PetterC22,
  author       = {Andr{\'{e}} Greiner{-}Petter and
                  Howard S. Cohl and
                  Abdou Youssef and
                  Moritz Schubotz and
                  Avi Trost and
                  Rajen Dey and
                  Akiko Aizawa and
                  Bela Gipp},
  editor       = {Dana Fisman and
                  Grigore Rosu},
  title        = {Comparative Verification of the Digital Library of Mathematical Functions
                  and Computer Algebra Systems},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 28th International Conference, {TACAS} 2022, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2022, Munich, Germany, April 2-7, 2022, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13243},
  pages        = {87--105},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-030-99524-9\_5},
  doi          = {10.1007/978-3-030-99524-9\_5},
  timestamp    = {Sat, 21 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/Greiner-PetterC22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/ImaiLN22,
  author       = {Keigo Imai and
                  Julien Lange and
                  Rumyana Neykova},
  editor       = {Dana Fisman and
                  Grigore Rosu},
  title        = {Kmclib: Automated Inference and Verification of Session Types from
                  OCaml Programs},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 28th International Conference, {TACAS} 2022, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2022, Munich, Germany, April 2-7, 2022, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13243},
  pages        = {379--386},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-030-99524-9\_20},
  doi          = {10.1007/978-3-030-99524-9\_20},
  timestamp    = {Fri, 29 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/ImaiLN22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/KoenigPSA22,
  author       = {Jason R. Koenig and
                  Oded Padon and
                  Sharon Shoham and
                  Alex Aiken},
  editor       = {Dana Fisman and
                  Grigore Rosu},
  title        = {Inferring Invariants with Quantifier Alternations: Taming the Search
                  Space Explosion},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 28th International Conference, {TACAS} 2022, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2022, Munich, Germany, April 2-7, 2022, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13243},
  pages        = {338--356},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-030-99524-9\_18},
  doi          = {10.1007/978-3-030-99524-9\_18},
  timestamp    = {Fri, 29 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/KoenigPSA22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/KramerBDU22,
  author       = {Jonas Kr{\"{a}}mer and
                  Lionel Blatter and
                  Eva Darulova and
                  Mattias Ulbrich},
  editor       = {Dana Fisman and
                  Grigore Rosu},
  title        = {Inferring Interval-Valued Floating-Point Preconditions},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 28th International Conference, {TACAS} 2022, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2022, Munich, Germany, April 2-7, 2022, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13243},
  pages        = {303--321},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-030-99524-9\_16},
  doi          = {10.1007/978-3-030-99524-9\_16},
  timestamp    = {Fri, 29 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/KramerBDU22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/KupfermanS22,
  author       = {Orna Kupferman and
                  Noam Shenwald},
  editor       = {Dana Fisman and
                  Grigore Rosu},
  title        = {The Complexity of {LTL} Rational Synthesis},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 28th International Conference, {TACAS} 2022, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2022, Munich, Germany, April 2-7, 2022, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13243},
  pages        = {25--45},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-030-99524-9\_2},
  doi          = {10.1007/978-3-030-99524-9\_2},
  timestamp    = {Fri, 29 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/KupfermanS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/LinTV22,
  author       = {Yi Lin and
                  Lucas M. Tabajara and
                  Moshe Y. Vardi},
  editor       = {Dana Fisman and
                  Grigore Rosu},
  title        = {{ZDD} Boolean Synthesis},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 28th International Conference, {TACAS} 2022, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2022, Munich, Germany, April 2-7, 2022, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13243},
  pages        = {64--83},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-030-99524-9\_4},
  doi          = {10.1007/978-3-030-99524-9\_4},
  timestamp    = {Fri, 29 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/LinTV22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/NamjoshiP22,
  author       = {Kedar S. Namjoshi and
                  Nisarg Patel},
  editor       = {Dana Fisman and
                  Grigore Rosu},
  title        = {Synthesis of Compact Strategies for Coordination Programs},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 28th International Conference, {TACAS} 2022, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2022, Munich, Germany, April 2-7, 2022, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13243},
  pages        = {46--63},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-030-99524-9\_3},
  doi          = {10.1007/978-3-030-99524-9\_3},
  timestamp    = {Fri, 29 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/NamjoshiP22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/PaulsenW22,
  author       = {Brandon Paulsen and
                  Chao Wang},
  editor       = {Dana Fisman and
                  Grigore Rosu},
  title        = {LinSyn: Synthesizing Tight Linear Bounds for Arbitrary Neural Network
                  Activation Functions},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 28th International Conference, {TACAS} 2022, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2022, Munich, Germany, April 2-7, 2022, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13243},
  pages        = {357--376},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-030-99524-9\_19},
  doi          = {10.1007/978-3-030-99524-9\_19},
  timestamp    = {Fri, 29 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/PaulsenW22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/PerezMPGG22,
  author       = {Ivan Perez and
                  Anastasia Mavridou and
                  Thomas Pressburger and
                  Alwyn Goodloe and
                  Dimitra Giannakopoulou},
  editor       = {Dana Fisman and
                  Grigore Rosu},
  title        = {Automated Translation of Natural Language Requirements to Runtime
                  Monitors},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 28th International Conference, {TACAS} 2022, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2022, Munich, Germany, April 2-7, 2022, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13243},
  pages        = {387--395},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-030-99524-9\_21},
  doi          = {10.1007/978-3-030-99524-9\_21},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/PerezMPGG22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/PutrueleDCD22,
  author       = {Luciano Putruele and
                  Ramiro Demasi and
                  Pablo F. Castro and
                  Pedro R. D'Argenio},
  editor       = {Dana Fisman and
                  Grigore Rosu},
  title        = {MaskD: {A} Tool for Measuring Masking Fault-Tolerance},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 28th International Conference, {TACAS} 2022, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2022, Munich, Germany, April 2-7, 2022, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13243},
  pages        = {396--403},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-030-99524-9\_22},
  doi          = {10.1007/978-3-030-99524-9\_22},
  timestamp    = {Fri, 29 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/PutrueleDCD22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/RahaRFN22,
  author       = {Ritam Raha and
                  Rajarshi Roy and
                  Nathana{\"{e}}l Fijalkow and
                  Daniel Neider},
  editor       = {Dana Fisman and
                  Grigore Rosu},
  title        = {Scalable Anytime Algorithms for Learning Fragments of Linear Temporal
                  Logic},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 28th International Conference, {TACAS} 2022, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2022, Munich, Germany, April 2-7, 2022, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13243},
  pages        = {263--280},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-030-99524-9\_14},
  doi          = {10.1007/978-3-030-99524-9\_14},
  timestamp    = {Fri, 29 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/RahaRFN22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/ReevesHB22,
  author       = {Joseph E. Reeves and
                  Marijn J. H. Heule and
                  Randal E. Bryant},
  editor       = {Dana Fisman and
                  Grigore Rosu},
  title        = {Moving Definition Variables in Quantified Boolean Formulas},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 28th International Conference, {TACAS} 2022, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2022, Munich, Germany, April 2-7, 2022, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13243},
  pages        = {462--479},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-030-99524-9\_26},
  doi          = {10.1007/978-3-030-99524-9\_26},
  timestamp    = {Fri, 29 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/ReevesHB22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/SunM22,
  author       = {Dawei Sun and
                  Sayan Mitra},
  editor       = {Dana Fisman and
                  Grigore Rosu},
  title        = {NeuReach: Learning Reachability Functions from Simulations},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 28th International Conference, {TACAS} 2022, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2022, Munich, Germany, April 2-7, 2022, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13243},
  pages        = {322--337},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-030-99524-9\_17},
  doi          = {10.1007/978-3-030-99524-9\_17},
  timestamp    = {Fri, 29 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/SunM22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/TakharKPR22,
  author       = {Gourav Takhar and
                  Ramesh Karri and
                  Christian Pilato and
                  Subhajit Roy},
  editor       = {Dana Fisman and
                  Grigore Rosu},
  title        = {{HOLL:} Program Synthesis for Higher Order Logic Locking},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 28th International Conference, {TACAS} 2022, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2022, Munich, Germany, April 2-7, 2022, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13243},
  pages        = {3--24},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-030-99524-9\_1},
  doi          = {10.1007/978-3-030-99524-9\_1},
  timestamp    = {Tue, 03 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tacas/TakharKPR22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/VaandragerGRW22,
  author       = {Frits W. Vaandrager and
                  Bharat Garhewal and
                  Jurriaan Rot and
                  Thorsten Wi{\ss}mann},
  editor       = {Dana Fisman and
                  Grigore Rosu},
  title        = {A New Approach for Active Automata Learning Based on Apartness},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 28th International Conference, {TACAS} 2022, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2022, Munich, Germany, April 2-7, 2022, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13243},
  pages        = {223--243},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-030-99524-9\_12},
  doi          = {10.1007/978-3-030-99524-9\_12},
  timestamp    = {Fri, 29 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/VaandragerGRW22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/WuHHS22,
  author       = {Wenhao Wu and
                  Jan H{\"{u}}ckelheim and
                  Paul D. Hovland and
                  Stephen F. Siegel},
  editor       = {Dana Fisman and
                  Grigore Rosu},
  title        = {Verifying Fortran Programs with {CIVL}},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 28th International Conference, {TACAS} 2022, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2022, Munich, Germany, April 2-7, 2022, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13243},
  pages        = {106--124},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-030-99524-9\_6},
  doi          = {10.1007/978-3-030-99524-9\_6},
  timestamp    = {Fri, 29 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/WuHHS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/WuZKB22,
  author       = {Haoze Wu and
                  Aleksandar Zeljic and
                  Guy Katz and
                  Clark W. Barrett},
  editor       = {Dana Fisman and
                  Grigore Rosu},
  title        = {Efficient Neural Network Analysis with Sum-of-Infeasibilities},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 28th International Conference, {TACAS} 2022, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2022, Munich, Germany, April 2-7, 2022, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13243},
  pages        = {143--163},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-030-99524-9\_8},
  doi          = {10.1007/978-3-030-99524-9\_8},
  timestamp    = {Fri, 29 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/WuZKB22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/tacas/2022-1,
  editor       = {Dana Fisman and
                  Grigore Rosu},
  title        = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 28th International Conference, {TACAS} 2022, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2022, Munich, Germany, April 2-7, 2022, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13243},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-030-99524-9},
  doi          = {10.1007/978-3-030-99524-9},
  isbn         = {978-3-030-99523-2},
  timestamp    = {Fri, 29 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/2022-1.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.