Search 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},
  title        = {{JPF:} From 2003 to 2023},
  booktitle    = {{TACAS} {(2)}},
  pages        = {3--22},
  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 01:00:00 +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},
  title        = {CTMCs with Imprecisely Timed Observations},
  booktitle    = {{TACAS} {(2)}},
  pages        = {258--278},
  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},
  title        = {Automated Software Verification of Hyperliveness},
  booktitle    = {{TACAS} {(2)}},
  pages        = {196--216},
  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},
  title        = {Learning Explainable and Better Performing Representations of {POMDP}
                  Strategies},
  booktitle    = {{TACAS} {(2)}},
  pages        = {299--319},
  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},
  title        = {Dissipative quadratizations of polynomial {ODE} systems},
  booktitle    = {{TACAS} {(2)}},
  pages        = {323--342},
  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},
  title        = {Mata: {A} Fast and Simple Finite Automata Library},
  booktitle    = {{TACAS} {(2)}},
  pages        = {130--151},
  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},
  title        = {Scalable Tree-based Register Automata Learning},
  booktitle    = {{TACAS} {(2)}},
  pages        = {87--108},
  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},
  title        = {Forward and Backward Constrained Bisimulations for Quantum Circuits},
  booktitle    = {{TACAS} {(2)}},
  pages        = {343--362},
  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},
  title        = {Enhancing GenMC's Usability and Performance},
  booktitle    = {{TACAS} {(2)}},
  pages        = {66--84},
  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},
  title        = {Towards Safe Autonomous Driving: Model Checking a Behavior Planner
                  during Development},
  booktitle    = {{TACAS} {(2)}},
  pages        = {44--65},
  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},
  title        = {Small Test Suites for Active Automata Learning},
  booktitle    = {{TACAS} {(2)}},
  pages        = {109--129},
  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},
  title        = {A Parallel and Distributed Quantum {SAT} Solver Based on Entanglement
                  and Teleportation},
  booktitle    = {{TACAS} {(2)}},
  pages        = {363--382},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-57249-4\_18},
  doi          = {10.1007/978-3-031-57249-4\_18},
  timestamp    = {Sat, 08 Jun 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},
  title        = {Accurately Computing Expected Visiting Times and Stationary Distributions
                  in Markov Chains},
  booktitle    = {{TACAS} {(2)}},
  pages        = {237--257},
  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},
  title        = {Hitching a Ride to a Lasso: Massively Parallel On-The-Fly {LTL} Model
                  Checking},
  booktitle    = {{TACAS} {(2)}},
  pages        = {23--43},
  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},
  title        = {Weakest Precondition Inference for Non-Deterministic Linear Array
                  Programs},
  booktitle    = {{TACAS} {(2)}},
  pages        = {175--195},
  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},
  title        = {Accelerated Bounded Model Checking Using Interpolation Based Summaries},
  booktitle    = {{TACAS} {(2)}},
  pages        = {155--174},
  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},
  title        = {Pareto Curves for Compositionally Model Checking String Diagrams of
                  MDPs},
  booktitle    = {{TACAS} {(2)}},
  pages        = {279--298},
  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},
  title        = {A Comprehensive Specification and Verification of the {L4} Microkernel
                  {API}},
  booktitle    = {{TACAS} {(2)}},
  pages        = {217--234},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-57249-4\_11},
  doi          = {10.1007/978-3-031-57249-4\_11},
  timestamp    = {Sat, 08 Jun 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}
}
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.