default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/tacas/tacas2024-2.bht:"
download as .bib file
@inproceedings{DBLP:conf/tacas/ArthoPQGY24,
author = {Cyrille Artho and
Pavel Par{\'{\i}}zek and
Daohan Qu and
Varadraj Galgali and
Pu (Luke) Yi},
editor = {Bernd Finkbeiner and
Laura Kov{\'{a}}cs},
title = {{JPF:} From 2003 to 2023},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 30th International Conference, {TACAS} 2024, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {14571},
pages = {3--22},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57249-4\_1},
doi = {10.1007/978-3-031-57249-4\_1},
timestamp = {Sat, 08 Jun 2024 13:13:56 +0200},
biburl = {https://dblp.org/rec/conf/tacas/ArthoPQGY24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BadingsVJSJ24,
author = {Thom S. Badings and
Matthias Volk and
Sebastian Junges and
Mari{\"{e}}lle Stoelinga and
Nils Jansen},
editor = {Bernd Finkbeiner and
Laura Kov{\'{a}}cs},
title = {CTMCs with Imprecisely Timed Observations},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 30th International Conference, {TACAS} 2024, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {14571},
pages = {258--278},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57249-4\_13},
doi = {10.1007/978-3-031-57249-4\_13},
timestamp = {Sat, 08 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BadingsVJSJ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Beutner24,
author = {Raven Beutner},
editor = {Bernd Finkbeiner and
Laura Kov{\'{a}}cs},
title = {Automated Software Verification of Hyperliveness},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 30th International Conference, {TACAS} 2024, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {14571},
pages = {196--216},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57249-4\_10},
doi = {10.1007/978-3-031-57249-4\_10},
timestamp = {Sat, 08 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/Beutner24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BorkCGKM24,
author = {Alexander Bork and
Debraj Chakraborty and
Kush Grover and
Jan Kret{\'{\i}}nsk{\'{y}} and
Stefanie Mohr},
editor = {Bernd Finkbeiner and
Laura Kov{\'{a}}cs},
title = {Learning Explainable and Better Performing Representations of {POMDP}
Strategies},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 30th International Conference, {TACAS} 2024, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {14571},
pages = {299--319},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57249-4\_15},
doi = {10.1007/978-3-031-57249-4\_15},
timestamp = {Sat, 08 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BorkCGKM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/CaiP24,
author = {Yubo Cai and
Gleb Pogudin},
editor = {Bernd Finkbeiner and
Laura Kov{\'{a}}cs},
title = {Dissipative quadratizations of polynomial {ODE} systems},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 30th International Conference, {TACAS} 2024, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {14571},
pages = {323--342},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57249-4\_16},
doi = {10.1007/978-3-031-57249-4\_16},
timestamp = {Sat, 08 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/CaiP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ChocholatyFHHHLS24,
author = {David Chocholat{\'{y}} and
Tom{\'{a}}s Fiedor and
Vojtech Havlena and
Luk{\'{a}}s Hol{\'{\i}}k and
Martin Hruska and
Ondrej Leng{\'{a}}l and
Juraj S{\'{\i}}c},
editor = {Bernd Finkbeiner and
Laura Kov{\'{a}}cs},
title = {Mata: {A} Fast and Simple Finite Automata Library},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 30th International Conference, {TACAS} 2024, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {14571},
pages = {130--151},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57249-4\_7},
doi = {10.1007/978-3-031-57249-4\_7},
timestamp = {Sat, 08 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/ChocholatyFHHHLS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/DierlFHJST24,
author = {Simon Dierl and
Paul Fiterau{-}Brostean and
Falk Howar and
Bengt Jonsson and
Konstantinos Sagonas and
Fredrik T{\aa}quist},
editor = {Bernd Finkbeiner and
Laura Kov{\'{a}}cs},
title = {Scalable Tree-based Register Automata Learning},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 30th International Conference, {TACAS} 2024, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {14571},
pages = {87--108},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57249-4\_5},
doi = {10.1007/978-3-031-57249-4\_5},
timestamp = {Sat, 08 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/DierlFHJST24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/JimenezPastorLTT24,
author = {Antonio Jim{\'{e}}nez{-}Pastor and
Kim G. Larsen and
Mirco Tribastone and
Max Tschaikowski},
editor = {Bernd Finkbeiner and
Laura Kov{\'{a}}cs},
title = {Forward and Backward Constrained Bisimulations for Quantum Circuits},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 30th International Conference, {TACAS} 2024, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {14571},
pages = {343--362},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57249-4\_17},
doi = {10.1007/978-3-031-57249-4\_17},
timestamp = {Sat, 08 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/JimenezPastorLTT24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/KokologiannakisMV24,
author = {Michalis Kokologiannakis and
Rupak Majumdar and
Viktor Vafeiadis},
editor = {Bernd Finkbeiner and
Laura Kov{\'{a}}cs},
title = {Enhancing GenMC's Usability and Performance},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 30th International Conference, {TACAS} 2024, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {14571},
pages = {66--84},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57249-4\_4},
doi = {10.1007/978-3-031-57249-4\_4},
timestamp = {Sat, 08 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/KokologiannakisMV24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/KonigHGKCHTKFH24,
author = {Lukas K{\"{o}}nig and
Christian Heinzemann and
Alberto Griggio and
Michaela Klauck and
Alessandro Cimatti and
Franziska Henze and
Stefano Tonetta and
Stefan K{\"{u}}perkoch and
Dennis Fassbender and
Michael Hanselmann},
editor = {Bernd Finkbeiner and
Laura Kov{\'{a}}cs},
title = {Towards Safe Autonomous Driving: Model Checking a Behavior Planner
during Development},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 30th International Conference, {TACAS} 2024, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {14571},
pages = {44--65},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57249-4\_3},
doi = {10.1007/978-3-031-57249-4\_3},
timestamp = {Sat, 08 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/KonigHGKCHTKFH24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/KrugerJR24,
author = {Loes Kruger and
Sebastian Junges and
Jurriaan Rot},
editor = {Bernd Finkbeiner and
Laura Kov{\'{a}}cs},
title = {Small Test Suites for Active Automata Learning},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 30th International Conference, {TACAS} 2024, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {14571},
pages = {109--129},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57249-4\_6},
doi = {10.1007/978-3-031-57249-4\_6},
timestamp = {Sat, 08 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/KrugerJR24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/LinWCHST24,
author = {Shang{-}Wei Lin and
Tzu{-}Fan Wang and
Yean{-}Ru Chen and
Zhe Hou and
David San{\'{a}}n and
Yon Shin Teo},
editor = {Bernd Finkbeiner and
Laura Kov{\'{a}}cs},
title = {A Parallel and Distributed Quantum {SAT} Solver Based on Entanglement
and Teleportation},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 30th International Conference, {TACAS} 2024, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {14571},
pages = {363--382},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57249-4\_18},
doi = {10.1007/978-3-031-57249-4\_18},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/LinWCHST24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/MertensKQW24,
author = {Hannah Mertens and
Joost{-}Pieter Katoen and
Tim Quatmann and
Tobias Winkler},
editor = {Bernd Finkbeiner and
Laura Kov{\'{a}}cs},
title = {Accurately Computing Expected Visiting Times and Stationary Distributions
in Markov Chains},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 30th International Conference, {TACAS} 2024, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {14571},
pages = {237--257},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57249-4\_12},
doi = {10.1007/978-3-031-57249-4\_12},
timestamp = {Sat, 08 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/MertensKQW24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/OsamaW24,
author = {Muhammad Osama and
Anton Wijs},
editor = {Bernd Finkbeiner and
Laura Kov{\'{a}}cs},
title = {Hitching a Ride to a Lasso: Massively Parallel On-The-Fly {LTL} Model
Checking},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 30th International Conference, {TACAS} 2024, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {14571},
pages = {23--43},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57249-4\_2},
doi = {10.1007/978-3-031-57249-4\_2},
timestamp = {Sat, 08 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/OsamaW24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/PrabhuDCVF24,
author = {Sumanth Prabhu and
Deepak D'Souza and
Supratik Chakraborty and
R. Venkatesh and
Grigory Fedyukovich},
editor = {Bernd Finkbeiner and
Laura Kov{\'{a}}cs},
title = {Weakest Precondition Inference for Non-Deterministic Linear Array
Programs},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 30th International Conference, {TACAS} 2024, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {14571},
pages = {175--195},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57249-4\_9},
doi = {10.1007/978-3-031-57249-4\_9},
timestamp = {Sat, 08 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/PrabhuDCVF24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/SolankiCLR24,
author = {Mayank Solanki and
Prantik Chatterjee and
Akash Lal and
Subhajit Roy},
editor = {Bernd Finkbeiner and
Laura Kov{\'{a}}cs},
title = {Accelerated Bounded Model Checking Using Interpolation Based Summaries},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 30th International Conference, {TACAS} 2024, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {14571},
pages = {155--174},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57249-4\_8},
doi = {10.1007/978-3-031-57249-4\_8},
timestamp = {Sat, 08 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/SolankiCLR24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/WatanabeVHRJ24,
author = {Kazuki Watanabe and
Marck van der Vegt and
Ichiro Hasuo and
Jurriaan Rot and
Sebastian Junges},
editor = {Bernd Finkbeiner and
Laura Kov{\'{a}}cs},
title = {Pareto Curves for Compositionally Model Checking String Diagrams of
MDPs},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 30th International Conference, {TACAS} 2024, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {14571},
pages = {279--298},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57249-4\_14},
doi = {10.1007/978-3-031-57249-4\_14},
timestamp = {Sat, 08 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/WatanabeVHRJ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ZhangZL24,
author = {Leping Zhang and
Yongwang Zhao and
Jianxin Li},
editor = {Bernd Finkbeiner and
Laura Kov{\'{a}}cs},
title = {A Comprehensive Specification and Verification of the {L4} Microkernel
{API}},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 30th International Conference, {TACAS} 2024, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {14571},
pages = {217--234},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57249-4\_11},
doi = {10.1007/978-3-031-57249-4\_11},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/ZhangZL24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2024-2,
editor = {Bernd Finkbeiner and
Laura Kov{\'{a}}cs},
title = {Tools and Algorithms for the Construction and Analysis of Systems
- 30th International Conference, {TACAS} 2024, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {14571},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57249-4},
doi = {10.1007/978-3-031-57249-4},
isbn = {978-3-031-57248-7},
timestamp = {Sat, 08 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/2024-2.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-11-12 19:18 CET 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:
