default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/tacas/tacas2023-1.bht:"
download as .bib file
@inproceedings{DBLP:conf/tacas/AbdullaAFGHKS23,
author = {Parosh Aziz Abdulla and
Mohamed Faouzi Atig and
Florian Furbach and
Adwait Amit Godbole and
Yacoub G. Hendi and
Shankara Narayanan Krishna and
Stephan Spengler},
editor = {Sriram Sankaranarayanan and
Natasha Sharygina},
title = {Parameterized Verification under {TSO} with Data Types},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 29th International Conference, {TACAS} 2023, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Paris, France, April 22-27, 2023, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13993},
pages = {588--606},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30823-9\_30},
doi = {10.1007/978-3-031-30823-9\_30},
timestamp = {Sat, 13 May 2023 01:07:18 +0200},
biburl = {https://dblp.org/rec/conf/tacas/AbdullaAFGHKS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AbdullaAKGT23,
author = {Parosh Aziz Abdulla and
Mohamed Faouzi Atig and
S. Krishna and
Ashutosh Gupta and
Omkar Tuppe},
editor = {Sriram Sankaranarayanan and
Natasha Sharygina},
title = {Optimal Stateless Model Checking for Causal Consistency},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 29th International Conference, {TACAS} 2023, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Paris, France, April 22-27, 2023, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13993},
pages = {105--125},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30823-9\_6},
doi = {10.1007/978-3-031-30823-9\_6},
timestamp = {Thu, 15 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/AbdullaAKGT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AggarwalBYG23,
author = {Saksham Aggarwal and
Alejandro Stuckey de la Banda and
Luke Yang and
Julian Gutierrez},
editor = {Sriram Sankaranarayanan and
Natasha Sharygina},
title = {A Matrix-Based Approach to Parity Games},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 29th International Conference, {TACAS} 2023, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Paris, France, April 22-27, 2023, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13993},
pages = {666--683},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30823-9\_34},
doi = {10.1007/978-3-031-30823-9\_34},
timestamp = {Sat, 13 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/AggarwalBYG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AlbertCGRR23,
author = {Elvira Albert and
Jes{\'{u}}s Correas and
Pablo Gordillo and
Guillermo Rom{\'{a}}n{-}D{\'{\i}}ez and
Albert Rubio},
editor = {Sriram Sankaranarayanan and
Natasha Sharygina},
title = {Inferring Needless Write Memory Accesses on Ethereum Bytecode},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 29th International Conference, {TACAS} 2023, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Paris, France, April 22-27, 2023, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13993},
pages = {448--466},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30823-9\_23},
doi = {10.1007/978-3-031-30823-9\_23},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/AlbertCGRR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AmirCYMHFK23,
author = {Guy Amir and
Davide Corsi and
Raz Yerushalmi and
Luca Marzari and
David Harel and
Alessandro Farinelli and
Guy Katz},
editor = {Sriram Sankaranarayanan and
Natasha Sharygina},
title = {Verifying Learning-Based Robotic Navigation Systems},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 29th International Conference, {TACAS} 2023, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Paris, France, April 22-27, 2023, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13993},
pages = {607--627},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30823-9\_31},
doi = {10.1007/978-3-031-30823-9\_31},
timestamp = {Sat, 13 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/AmirCYMHFK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AndreottiLB23,
author = {Bruno Andreotti and
Hanna Lachnitt and
Haniel Barbosa},
editor = {Sriram Sankaranarayanan and
Natasha Sharygina},
title = {Carcara: An Efficient Proof Checker and Elaborator for {SMT} Proofs
in the Alethe Format},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 29th International Conference, {TACAS} 2023, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Paris, France, April 22-27, 2023, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13993},
pages = {367--386},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30823-9\_19},
doi = {10.1007/978-3-031-30823-9\_19},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/AndreottiLB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BajwaZCV23,
author = {Ali Bajwa and
Minjian Zhang and
Rohit Chadha and
Mahesh Viswanathan},
editor = {Sriram Sankaranarayanan and
Natasha Sharygina},
title = {Stack-Aware Hyperproperties},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 29th International Conference, {TACAS} 2023, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Paris, France, April 22-27, 2023, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13993},
pages = {308--325},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30823-9\_16},
doi = {10.1007/978-3-031-30823-9\_16},
timestamp = {Sat, 13 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BajwaZCV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BassanK23,
author = {Shahaf Bassan and
Guy Katz},
editor = {Sriram Sankaranarayanan and
Natasha Sharygina},
title = {Towards Formal {XAI:} Formally Approximate Minimal Explanations of
Neural Networks},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 29th International Conference, {TACAS} 2023, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Paris, France, April 22-27, 2023, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13993},
pages = {187--207},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30823-9\_10},
doi = {10.1007/978-3-031-30823-9\_10},
timestamp = {Sat, 13 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BassanK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BeutnerF23,
author = {Raven Beutner and
Bernd Finkbeiner},
editor = {Sriram Sankaranarayanan and
Natasha Sharygina},
title = {AutoHyper: Explicit-State Model Checking for HyperLTL},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 29th International Conference, {TACAS} 2023, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Paris, France, April 22-27, 2023, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13993},
pages = {145--163},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30823-9\_8},
doi = {10.1007/978-3-031-30823-9\_8},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BeutnerF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BruyerePS23,
author = {V{\'{e}}ronique Bruy{\`{e}}re and
Guillermo A. P{\'{e}}rez and
Ga{\"{e}}tan Staquet},
editor = {Sriram Sankaranarayanan and
Natasha Sharygina},
title = {Validating Streaming {JSON} Documents with Learned VPAs},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 29th International Conference, {TACAS} 2023, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Paris, France, April 22-27, 2023, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13993},
pages = {271--289},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30823-9\_14},
doi = {10.1007/978-3-031-30823-9\_14},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BruyerePS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ChatterjeeHLZ23,
author = {Krishnendu Chatterjee and
Thomas A. Henzinger and
Mathias Lechner and
Dorde Zikelic},
editor = {Sriram Sankaranarayanan and
Natasha Sharygina},
title = {A Learner-Verifier Framework for Neural Network Controllers and Certificates
of Stochastic Systems},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 29th International Conference, {TACAS} 2023, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Paris, France, April 22-27, 2023, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13993},
pages = {3--25},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30823-9\_1},
doi = {10.1007/978-3-031-30823-9\_1},
timestamp = {Sat, 13 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/ChatterjeeHLZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/DoveriGH23,
author = {Kyveli Doveri and
Pierre Ganty and
Luka Hadzi{-}Dokic},
editor = {Sriram Sankaranarayanan and
Natasha Sharygina},
title = {Antichains Algorithms for the Inclusion Problem Between {\o}mega-VPL},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 29th International Conference, {TACAS} 2023, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Paris, France, April 22-27, 2023, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13993},
pages = {290--307},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30823-9\_15},
doi = {10.1007/978-3-031-30823-9\_15},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/DoveriGH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/FuchsBI23,
author = {Tobias Fuchs and
Jakob Bach and
Markus Iser},
editor = {Sriram Sankaranarayanan and
Natasha Sharygina},
title = {Active Learning for {SAT} Solver Benchmarking},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 29th International Conference, {TACAS} 2023, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Paris, France, April 22-27, 2023, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13993},
pages = {407--425},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30823-9\_21},
doi = {10.1007/978-3-031-30823-9\_21},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/FuchsBI23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/GuoZZKZ23,
author = {Xingwu Guo and
Ziwei Zhou and
Yueling Zhang and
Guy Katz and
Min Zhang},
editor = {Sriram Sankaranarayanan and
Natasha Sharygina},
title = {OccRob: Efficient SMT-Based Occlusion Robustness Verification of Deep
Neural Networks},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 29th International Conference, {TACAS} 2023, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Paris, France, April 22-27, 2023, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13993},
pages = {208--226},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30823-9\_11},
doi = {10.1007/978-3-031-30823-9\_11},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/GuoZZKZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HahnPSSTW23,
author = {Ernst Moritz Hahn and
Mateo Perez and
Sven Schewe and
Fabio Somenzi and
Ashutosh Trivedi and
Dominik Wojtczak},
editor = {Sriram Sankaranarayanan and
Natasha Sharygina},
title = {Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 29th International Conference, {TACAS} 2023, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Paris, France, April 22-27, 2023, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13993},
pages = {527--545},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30823-9\_27},
doi = {10.1007/978-3-031-30823-9\_27},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/HahnPSSTW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HartmannsJQW23,
author = {Arnd Hartmanns and
Sebastian Junges and
Tim Quatmann and
Maximilian Weininger},
editor = {Sriram Sankaranarayanan and
Natasha Sharygina},
title = {A Practitioner's Guide to {MDP} Model Checking Algorithms},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 29th International Conference, {TACAS} 2023, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Paris, France, April 22-27, 2023, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13993},
pages = {469--488},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30823-9\_24},
doi = {10.1007/978-3-031-30823-9\_24},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/HartmannsJQW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HavlenaLLST23,
author = {Vojtech Havlena and
Ondrej Leng{\'{a}}l and
Yong Li and
Barbora Smahl{\'{\i}}kov{\'{a}} and
Andrea Turrini},
editor = {Sriram Sankaranarayanan and
Natasha Sharygina},
title = {Modular Mix-and-Match Complementation of B{\"{u}}chi Automata},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 29th International Conference, {TACAS} 2023, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Paris, France, April 22-27, 2023, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13993},
pages = {249--270},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30823-9\_13},
doi = {10.1007/978-3-031-30823-9\_13},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/HavlenaLLST23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HeisingerSB23,
author = {Maximilian Heisinger and
Martina Seidl and
Armin Biere},
editor = {Sriram Sankaranarayanan and
Natasha Sharygina},
title = {ParaQooba: {A} Fast and Flexible Framework for Parallel and Distributed
{QBF} Solving},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 29th International Conference, {TACAS} 2023, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Paris, France, April 22-27, 2023, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13993},
pages = {426--447},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30823-9\_22},
doi = {10.1007/978-3-031-30823-9\_22},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/HeisingerSB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HsuBFS23,
author = {Tzu{-}Han Hsu and
Borzoo Bonakdarpour and
Bernd Finkbeiner and
C{\'{e}}sar S{\'{a}}nchez},
editor = {Sriram Sankaranarayanan and
Natasha Sharygina},
title = {Bounded Model Checking for Asynchronous Hyperproperties},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 29th International Conference, {TACAS} 2023, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Paris, France, April 22-27, 2023, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13993},
pages = {29--46},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30823-9\_2},
doi = {10.1007/978-3-031-30823-9\_2},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/HsuBFS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HsuSSB23,
author = {Tzu{-}Han Hsu and
C{\'{e}}sar S{\'{a}}nchez and
Sarai Sheinvald and
Borzoo Bonakdarpour},
editor = {Sriram Sankaranarayanan and
Natasha Sharygina},
title = {Efficient Loop Conditions for Bounded Model Checking Hyperproperties},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 29th International Conference, {TACAS} 2023, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Paris, France, April 22-27, 2023, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13993},
pages = {66--84},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30823-9\_4},
doi = {10.1007/978-3-031-30823-9\_4},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/HsuSSB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HuangCMPM23,
author = {Xuanxiang Huang and
Martin C. Cooper and
Ant{\'{o}}nio Morgado and
Jordi Planes and
Jo{\~{a}}o Marques{-}Silva},
editor = {Sriram Sankaranarayanan and
Natasha Sharygina},
title = {Feature Necessity {\&} Relevancy in {ML} Classifier Explanations},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 29th International Conference, {TACAS} 2023, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Paris, France, April 22-27, 2023, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13993},
pages = {167--186},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30823-9\_9},
doi = {10.1007/978-3-031-30823-9\_9},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/HuangCMPM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/KobayashiW23,
author = {Naoki Kobayashi and
Minchao Wu},
editor = {Sriram Sankaranarayanan and
Natasha Sharygina},
title = {Neural Network-Guided Synthesis of Recursive List Functions},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 29th International Conference, {TACAS} 2023, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Paris, France, April 22-27, 2023, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13993},
pages = {227--245},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30823-9\_12},
doi = {10.1007/978-3-031-30823-9\_12},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/KobayashiW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/KorovinKRSV23,
author = {Konstantin Korovin and
Laura Kov{\'{a}}cs and
Giles Reger and
Johannes Schoisswohl and
Andrei Voronkov},
editor = {Sriram Sankaranarayanan and
Natasha Sharygina},
title = {{ALASCA:} Reasoning in Quantified Linear Arithmetic},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 29th International Conference, {TACAS} 2023, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Paris, France, April 22-27, 2023, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13993},
pages = {647--665},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30823-9\_33},
doi = {10.1007/978-3-031-30823-9\_33},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/KorovinKRSV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/LefaucheuxOPS23,
author = {Engel Lefaucheux and
Jo{\"{e}}l Ouaknine and
David Purser and
Mohammadamin Sharifi},
editor = {Sriram Sankaranarayanan and
Natasha Sharygina},
title = {Model Checking Linear Dynamical Systems under Floating-point Rounding},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 29th International Conference, {TACAS} 2023, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Paris, France, April 22-27, 2023, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13993},
pages = {47--65},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30823-9\_3},
doi = {10.1007/978-3-031-30823-9\_3},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/LefaucheuxOPS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/MarmanisKV23,
author = {Iason Marmanis and
Michalis Kokologiannakis and
Viktor Vafeiadis},
editor = {Sriram Sankaranarayanan and
Natasha Sharygina},
title = {Reconciling Preemption Bounding with {DPOR}},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 29th International Conference, {TACAS} 2023, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Paris, France, April 22-27, 2023, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13993},
pages = {85--104},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30823-9\_5},
doi = {10.1007/978-3-031-30823-9\_5},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/MarmanisKV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Meggendorfer23,
author = {Tobias Meggendorfer},
editor = {Sriram Sankaranarayanan and
Natasha Sharygina},
title = {Correct Approximation of Stationary Distributions},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 29th International Conference, {TACAS} 2023, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Paris, France, April 22-27, 2023, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13993},
pages = {489--507},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30823-9\_25},
doi = {10.1007/978-3-031-30823-9\_25},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/Meggendorfer23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/MeyerWW23,
author = {Roland Meyer and
Thomas Wies and
Sebastian Wolff},
editor = {Sriram Sankaranarayanan and
Natasha Sharygina},
title = {Make Flows Small Again: Revisiting the Flow Framework},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 29th International Conference, {TACAS} 2023, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Paris, France, April 22-27, 2023, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13993},
pages = {628--646},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30823-9\_32},
doi = {10.1007/978-3-031-30823-9\_32},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/MeyerWW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/MichaelsonSHKW23,
author = {Dawn Michaelson and
Dominik Schreiber and
Marijn J. H. Heule and
Benjamin Kiesl{-}Reiter and
Michael W. Whalen},
editor = {Sriram Sankaranarayanan and
Natasha Sharygina},
title = {Unsatisfiability Proofs for Distributed Clause-Sharing {SAT} Solvers},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 29th International Conference, {TACAS} 2023, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Paris, France, April 22-27, 2023, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13993},
pages = {348--366},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30823-9\_18},
doi = {10.1007/978-3-031-30823-9\_18},
timestamp = {Tue, 13 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/MichaelsonSHKW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/OtoniKKES23,
author = {Rodrigo Otoni and
Igor Konnov and
Jure Kukovec and
Patrick Eugster and
Natasha Sharygina},
editor = {Sriram Sankaranarayanan and
Natasha Sharygina},
title = {Symbolic Model Checking for {TLA+} Made Faster},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 29th International Conference, {TACAS} 2023, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Paris, France, April 22-27, 2023, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13993},
pages = {126--144},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30823-9\_7},
doi = {10.1007/978-3-031-30823-9\_7},
timestamp = {Sat, 13 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/OtoniKKES23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ParkPM23,
author = {Seung Hoon Park and
Rekha R. Pai and
Tom Melham},
editor = {Sriram Sankaranarayanan and
Natasha Sharygina},
title = {A Formal {CHERI-C} Semantics for Verification},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 29th International Conference, {TACAS} 2023, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Paris, France, April 22-27, 2023, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13993},
pages = {549--568},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30823-9\_28},
doi = {10.1007/978-3-031-30823-9\_28},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/ParkPM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ReevesKH23,
author = {Joseph E. Reeves and
Benjamin Kiesl{-}Reiter and
Marijn J. H. Heule},
editor = {Sriram Sankaranarayanan and
Natasha Sharygina},
title = {Propositional Proof Skeletons},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 29th International Conference, {TACAS} 2023, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Paris, France, April 22-27, 2023, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13993},
pages = {329--347},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30823-9\_17},
doi = {10.1007/978-3-031-30823-9\_17},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/ReevesKH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/SongC23,
author = {Yahui Song and
Wei{-}Ngan Chin},
editor = {Sriram Sankaranarayanan and
Natasha Sharygina},
title = {Automated Verification for Real-Time Systems - via Implicit Clocks
and an Extended Antimirov Algorithm},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 29th International Conference, {TACAS} 2023, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Paris, France, April 22-27, 2023, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13993},
pages = {569--587},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30823-9\_29},
doi = {10.1007/978-3-031-30823-9\_29},
timestamp = {Sat, 13 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/SongC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/SubercaseauxH23,
author = {Bernardo Subercaseaux and
Marijn J. H. Heule},
editor = {Sriram Sankaranarayanan and
Natasha Sharygina},
title = {The Packing Chromatic Number of the Infinite Square Grid is 15},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 29th International Conference, {TACAS} 2023, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Paris, France, April 22-27, 2023, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13993},
pages = {389--406},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30823-9\_20},
doi = {10.1007/978-3-031-30823-9\_20},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/SubercaseauxH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/VegtJJ23,
author = {Marck van der Vegt and
Nils Jansen and
Sebastian Junges},
editor = {Sriram Sankaranarayanan and
Natasha Sharygina},
title = {Robust Almost-Sure Reachability in Multi-Environment MDPs},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 29th International Conference, {TACAS} 2023, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Paris, France, April 22-27, 2023, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13993},
pages = {508--526},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30823-9\_26},
doi = {10.1007/978-3-031-30823-9\_26},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/VegtJJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/WijsO23,
author = {Anton Wijs and
Muhammad Osama},
editor = {Sriram Sankaranarayanan and
Natasha Sharygina},
title = {A {GPU} Tree Database for Many-Core Explicit State Space Exploration},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 29th International Conference, {TACAS} 2023, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Paris, France, April 22-27, 2023, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13993},
pages = {684--703},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30823-9\_35},
doi = {10.1007/978-3-031-30823-9\_35},
timestamp = {Tue, 22 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/WijsO23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2023-1,
editor = {Sriram Sankaranarayanan and
Natasha Sharygina},
title = {Tools and Algorithms for the Construction and Analysis of Systems
- 29th International Conference, {TACAS} 2023, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Paris, France, April 22-27, 2023, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13993},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30823-9},
doi = {10.1007/978-3-031-30823-9},
isbn = {978-3-031-30822-2},
timestamp = {Sat, 13 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/2023-1.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.
retrieved on 2024-10-15 07:14 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
