Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/tacas/tacas2010.bht:"
download as .bib file
@inproceedings{DBLP:conf/tacas/AbdullaCHMV10,
author = {Parosh Aziz Abdulla and
Yu{-}Fang Chen and
Luk{\'{a}}s Hol{\'{\i}}k and
Richard Mayr and
Tom{\'{a}}s Vojnar},
editor = {Javier Esparza and
Rupak Majumdar},
title = {When Simulation Meets Antichains},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
16th International Conference, {TACAS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6015},
pages = {158--174},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12002-2\_14},
doi = {10.1007/978-3-642-12002-2\_14},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/AbdullaCHMV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Aderhold10,
author = {Markus Aderhold},
editor = {Javier Esparza and
Rupak Majumdar},
title = {Automated Termination Analysis for Programs with Second-Order Recursion},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
16th International Conference, {TACAS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6015},
pages = {221--235},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12002-2\_18},
doi = {10.1007/978-3-642-12002-2\_18},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/Aderhold10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AndresPRS10,
author = {Miguel E. Andr{\'{e}}s and
Catuscia Palamidessi and
Peter van Rossum and
Geoffrey Smith},
editor = {Javier Esparza and
Rupak Majumdar},
title = {Computing the Leakage of Information-Hiding Systems},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
16th International Conference, {TACAS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6015},
pages = {373--389},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12002-2\_32},
doi = {10.1007/978-3-642-12002-2\_32},
timestamp = {Mon, 19 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/AndresPRS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AvnitSP10,
author = {Karin Avnit and
Arcot Sowmya and
Jorgen Peddersen},
editor = {Javier Esparza and
Rupak Majumdar},
title = {{ACS:} Automatic Converter Synthesis for SoC Bus Protocols},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
16th International Conference, {TACAS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6015},
pages = {343--348},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12002-2\_28},
doi = {10.1007/978-3-642-12002-2\_28},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/AvnitSP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BallBCMQ10,
author = {Thomas Ball and
Sebastian Burckhardt and
Katherine E. Coons and
Madanlal Musuvathi and
Shaz Qadeer},
editor = {Javier Esparza and
Rupak Majumdar},
title = {Preemption Sealing for Efficient Concurrency Testing},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
16th International Conference, {TACAS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6015},
pages = {420--434},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12002-2\_35},
doi = {10.1007/978-3-642-12002-2\_35},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BallBCMQ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BardinHP10,
author = {S{\'{e}}bastien Bardin and
Philippe Herrmann and
Florian Perroud},
editor = {Javier Esparza and
Rupak Majumdar},
title = {An Alternative to SAT-Based Approaches for Bit-Vectors},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
16th International Conference, {TACAS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6015},
pages = {84--98},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12002-2\_7},
doi = {10.1007/978-3-642-12002-2\_7},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BardinHP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BaslerHKOWZ10,
author = {G{\'{e}}rard Basler and
Matthew Hague and
Daniel Kroening and
C.{-}H. Luke Ong and
Thomas Wahl and
Haoxian Zhao},
editor = {Javier Esparza and
Rupak Majumdar},
title = {Boom: Taking Boolean Program Model Checking One Step Further},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
16th International Conference, {TACAS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6015},
pages = {145--149},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12002-2\_11},
doi = {10.1007/978-3-642-12002-2\_11},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/BaslerHKOWZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BauerMSH10,
author = {Sebastian S. Bauer and
Philip Mayer and
Andreas Schroeder and
Rolf Hennicker},
editor = {Javier Esparza and
Rupak Majumdar},
title = {On Weak Modal Compatibility, Refinement, and the {MIO} Workbench},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
16th International Conference, {TACAS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6015},
pages = {175--189},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12002-2\_15},
doi = {10.1007/978-3-642-12002-2\_15},
timestamp = {Wed, 08 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/BauerMSH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Belinfante10,
author = {Axel Belinfante},
editor = {Javier Esparza and
Rupak Majumdar},
title = {JTorX: {A} Tool for On-Line Model-Driven Test Derivation and Execution},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
16th International Conference, {TACAS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6015},
pages = {266--270},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12002-2\_21},
doi = {10.1007/978-3-642-12002-2\_21},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/Belinfante10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BruttomessoPST10,
author = {Roberto Bruttomesso and
Edgar Pek and
Natasha Sharygina and
Aliaksei Tsitovich},
editor = {Javier Esparza and
Rupak Majumdar},
title = {The OpenSMT Solver},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
16th International Conference, {TACAS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6015},
pages = {150--153},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12002-2\_12},
doi = {10.1007/978-3-642-12002-2\_12},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BruttomessoPST10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BuchsHMR10,
author = {Didier Buchs and
Steve Hostettler and
Alexis Marechal and
Matteo Risoldi},
editor = {Javier Esparza and
Rupak Majumdar},
title = {AlPiNA: An Algebraic Petri Net Analyzer},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
16th International Conference, {TACAS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6015},
pages = {349--352},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12002-2\_29},
doi = {10.1007/978-3-642-12002-2\_29},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BuchsHMR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ChatzikokolakisCG10,
author = {Konstantinos Chatzikokolakis and
Tom Chothia and
Apratim Guha},
editor = {Javier Esparza and
Rupak Majumdar},
title = {Statistical Measurement of Information Leakage},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
16th International Conference, {TACAS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6015},
pages = {390--404},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12002-2\_33},
doi = {10.1007/978-3-642-12002-2\_33},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/ChatzikokolakisCG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/CimattiFGSS10,
author = {Alessandro Cimatti and
Anders Franz{\'{e}}n and
Alberto Griggio and
Roberto Sebastiani and
Cristian Stenico},
editor = {Javier Esparza and
Rupak Majumdar},
title = {Satisfiability Modulo the Theory of Costs: Foundations and Applications},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
16th International Conference, {TACAS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6015},
pages = {99--113},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12002-2\_8},
doi = {10.1007/978-3-642-12002-2\_8},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/CimattiFGSS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/CookKRW10,
author = {Byron Cook and
Daniel Kroening and
Philipp R{\"{u}}mmer and
Christoph M. Wintersteiger},
editor = {Javier Esparza and
Rupak Majumdar},
title = {Ranking Function Synthesis for Bit-Vector Relations},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
16th International Conference, {TACAS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6015},
pages = {236--250},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12002-2\_19},
doi = {10.1007/978-3-642-12002-2\_19},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/CookKRW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/DonaldsonKR10,
author = {Alastair F. Donaldson and
Daniel Kroening and
Philipp R{\"{u}}mmer},
editor = {Javier Esparza and
Rupak Majumdar},
title = {Automatic Analysis of Scratch-Pad Memory Code for Heterogeneous Multicore
Processors},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
16th International Conference, {TACAS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6015},
pages = {280--295},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12002-2\_24},
doi = {10.1007/978-3-642-12002-2\_24},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/DonaldsonKR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/DoyenR10,
author = {Laurent Doyen and
Jean{-}Fran{\c{c}}ois Raskin},
editor = {Javier Esparza and
Rupak Majumdar},
title = {Antichain Algorithms for Finite Automata},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
16th International Conference, {TACAS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6015},
pages = {2--22},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12002-2\_2},
doi = {10.1007/978-3-642-12002-2\_2},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/DoyenR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/DragerKFW10,
author = {Klaus Dr{\"{a}}ger and
Andrey Kupriyanov and
Bernd Finkbeiner and
Heike Wehrheim},
editor = {Javier Esparza and
Rupak Majumdar},
title = {{SLAB:} {A} Certifying Model Checker for Infinite-State Concurrent
Systems},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
16th International Conference, {TACAS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6015},
pages = {271--274},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12002-2\_22},
doi = {10.1007/978-3-642-12002-2\_22},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/DragerKFW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ElmasQSST10,
author = {Tayfun Elmas and
Shaz Qadeer and
Ali Sezgin and
Omer Subasi and
Serdar Tasiran},
editor = {Javier Esparza and
Rupak Majumdar},
title = {Simplifying Linearizability Proofs with Reduction and Abstraction},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
16th International Conference, {TACAS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6015},
pages = {296--311},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12002-2\_25},
doi = {10.1007/978-3-642-12002-2\_25},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/ElmasQSST10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/FismanKL10,
author = {Dana Fisman and
Orna Kupferman and
Yoad Lustig},
editor = {Javier Esparza and
Rupak Majumdar},
title = {Rational Synthesis},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
16th International Conference, {TACAS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6015},
pages = {190--204},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12002-2\_16},
doi = {10.1007/978-3-642-12002-2\_16},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/FismanKL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/FogartyV10,
author = {Seth Fogarty and
Moshe Y. Vardi},
editor = {Javier Esparza and
Rupak Majumdar},
title = {Efficient B{\"{u}}chi Universality Checking},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
16th International Conference, {TACAS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6015},
pages = {205--220},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12002-2\_17},
doi = {10.1007/978-3-642-12002-2\_17},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/FogartyV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/GoreKP10,
author = {Rajeev Gor{\'{e}} and
Clemens Kupke and
Dirk Pattinson},
editor = {Javier Esparza and
Rupak Majumdar},
title = {Optimal Tableau Algorithms for Coalgebraic Logics},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
16th International Conference, {TACAS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6015},
pages = {114--128},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12002-2\_9},
doi = {10.1007/978-3-642-12002-2\_9},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/GoreKP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HahnHWZ10,
author = {Ernst Moritz Hahn and
Holger Hermanns and
Bj{\"{o}}rn Wachter and
Lijun Zhang},
editor = {Javier Esparza and
Rupak Majumdar},
title = {{PASS:} Abstraction Refinement for Infinite Probabilistic Models},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
16th International Conference, {TACAS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6015},
pages = {353--357},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12002-2\_30},
doi = {10.1007/978-3-642-12002-2\_30},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/HahnHWZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HoenickeOP10,
author = {Jochen Hoenicke and
Ernst{-}R{\"{u}}diger Olderog and
Andreas Podelski},
editor = {Javier Esparza and
Rupak Majumdar},
title = {Fairness for Dynamic Control},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
16th International Conference, {TACAS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6015},
pages = {251--265},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12002-2\_20},
doi = {10.1007/978-3-642-12002-2\_20},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/HoenickeOP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/JarvisaloBH10,
author = {Matti J{\"{a}}rvisalo and
Armin Biere and
Marijn Heule},
editor = {Javier Esparza and
Rupak Majumdar},
title = {Blocked Clause Elimination},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
16th International Conference, {TACAS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6015},
pages = {129--144},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12002-2\_10},
doi = {10.1007/978-3-642-12002-2\_10},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/JarvisaloBH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/KatzP10,
author = {Gal Katz and
Doron A. Peled},
editor = {Javier Esparza and
Rupak Majumdar},
title = {Code Mutation in Verification and Automatic Code Correction},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
16th International Conference, {TACAS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6015},
pages = {435--450},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12002-2\_36},
doi = {10.1007/978-3-642-12002-2\_36},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/KatzP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/KwiatkowskaNPQ10,
author = {Marta Z. Kwiatkowska and
Gethin Norman and
David Parker and
Hongyang Qu},
editor = {Javier Esparza and
Rupak Majumdar},
title = {Assume-Guarantee Verification for Probabilistic Systems},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
16th International Conference, {TACAS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6015},
pages = {23--37},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12002-2\_3},
doi = {10.1007/978-3-642-12002-2\_3},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/KwiatkowskaNPQ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/LegrielGCM10,
author = {Julien Legriel and
Colas Le Guernic and
Scott Cotton and
Oded Maler},
editor = {Javier Esparza and
Rupak Majumdar},
title = {Approximating the Pareto Front of Multi-criteria Optimization Problems},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
16th International Conference, {TACAS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6015},
pages = {69--83},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12002-2\_6},
doi = {10.1007/978-3-642-12002-2\_6},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/LegrielGCM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/LeinoR10,
author = {K. Rustan M. Leino and
Philipp R{\"{u}}mmer},
editor = {Javier Esparza and
Rupak Majumdar},
title = {A Polymorphic Intermediate Verification Language: Design and Logical
Encoding},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
16th International Conference, {TACAS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6015},
pages = {312--327},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12002-2\_26},
doi = {10.1007/978-3-642-12002-2\_26},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/LeinoR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/MalinowskiN10,
author = {Janusz Malinowski and
Peter Niebert},
editor = {Javier Esparza and
Rupak Majumdar},
title = {{SAT} Based Bounded Model Checking with Partial Order Semantics for
Timed Automata},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
16th International Conference, {TACAS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6015},
pages = {405--419},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12002-2\_34},
doi = {10.1007/978-3-642-12002-2\_34},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/MalinowskiN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/MoyA10,
author = {Matthieu Moy and
Karine Altisen},
editor = {Javier Esparza and
Rupak Majumdar},
title = {Arrival Curves for Real-Time Calculus: The Causality Problem and Its
Solutions},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
16th International Conference, {TACAS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6015},
pages = {358--372},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12002-2\_31},
doi = {10.1007/978-3-642-12002-2\_31},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/MoyA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ParizekK10,
author = {Pavel Par{\'{\i}}zek and
Tomas Kalibera},
editor = {Javier Esparza and
Rupak Majumdar},
title = {Efficient Detection of Errors in Java Components Using Random Environment
and Restarts},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
16th International Conference, {TACAS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6015},
pages = {451--465},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12002-2\_37},
doi = {10.1007/978-3-642-12002-2\_37},
timestamp = {Tue, 22 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/ParizekK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Sifakis10,
author = {Joseph Sifakis},
editor = {Javier Esparza and
Rupak Majumdar},
title = {Embedded Systems Design - Scientific Challenges and Work Directions},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
16th International Conference, {TACAS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6015},
pages = {1},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12002-2\_1},
doi = {10.1007/978-3-642-12002-2\_1},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/Sifakis10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ValmariF10,
author = {Antti Valmari and
Giuliana Franceschinis},
editor = {Javier Esparza and
Rupak Majumdar},
title = {Simple \emph{O}(\emph{m} log\emph{n}) Time Markov Chain Lumping},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
16th International Conference, {TACAS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6015},
pages = {38--52},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12002-2\_4},
doi = {10.1007/978-3-642-12002-2\_4},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/ValmariF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/VillardLC10,
author = {Jules Villard and
{\'{E}}tienne Lozes and
Cristiano Calcagno},
editor = {Javier Esparza and
Rupak Majumdar},
title = {Tracking Heaps That Hop with Heap-Hop},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
16th International Conference, {TACAS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6015},
pages = {275--279},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12002-2\_23},
doi = {10.1007/978-3-642-12002-2\_23},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/VillardLC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/WangLGG10,
author = {Chao Wang and
Rhishikesh Limaye and
Malay K. Ganai and
Aarti Gupta},
editor = {Javier Esparza and
Rupak Majumdar},
title = {Trace-Based Symbolic Analysis for Atomicity Violations},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
16th International Conference, {TACAS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6015},
pages = {328--342},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12002-2\_27},
doi = {10.1007/978-3-642-12002-2\_27},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/WangLGG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/YuAB10,
author = {Fang Yu and
Muath Alkhalaf and
Tevfik Bultan},
editor = {Javier Esparza and
Rupak Majumdar},
title = {Stranger: An Automata-Based String Analysis Tool for {PHP}},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
16th International Conference, {TACAS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6015},
pages = {154--157},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12002-2\_13},
doi = {10.1007/978-3-642-12002-2\_13},
timestamp = {Mon, 27 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/YuAB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ZhangN10,
author = {Lijun Zhang and
Martin R. Neuh{\"{a}}u{\ss}er},
editor = {Javier Esparza and
Rupak Majumdar},
title = {Model Checking Interactive Markov Chains},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
16th International Conference, {TACAS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6015},
pages = {53--68},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12002-2\_5},
doi = {10.1007/978-3-642-12002-2\_5},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/ZhangN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2010,
editor = {Javier Esparza and
Rupak Majumdar},
title = {Tools and Algorithms for the Construction and Analysis of Systems,
16th International Conference, {TACAS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6015},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12002-2},
doi = {10.1007/978-3-642-12002-2},
isbn = {978-3-642-12001-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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-05-01 13:51 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:
