default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/atva/atva2011.bht:"
download as .bib file
@inproceedings{DBLP:conf/atva/AbbasF11,
author = {Houssam Abbas and
Georgios Fainekos},
editor = {Tevfik Bultan and
Pao{-}Ann Hsiung},
title = {Linear Hybrid System Falsification through Local Search},
booktitle = {Automated Technology for Verification and Analysis, 9th International
Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6996},
pages = {503--510},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24372-1\_39},
doi = {10.1007/978-3-642-24372-1\_39},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/AbbasF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/AlglaveDKT11,
author = {Jade Alglave and
Alastair F. Donaldson and
Daniel Kroening and
Michael Tautschnig},
editor = {Tevfik Bultan and
Pao{-}Ann Hsiung},
title = {Making Software Verification Tools Really Work},
booktitle = {Automated Technology for Verification and Analysis, 9th International
Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6996},
pages = {28--42},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24372-1\_3},
doi = {10.1007/978-3-642-24372-1\_3},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/AlglaveDKT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/AlmagorBK11,
author = {Shaull Almagor and
Udi Boker and
Orna Kupferman},
editor = {Tevfik Bultan and
Pao{-}Ann Hsiung},
title = {What's Decidable about Weighted Automata?},
booktitle = {Automated Technology for Verification and Analysis, 9th International
Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6996},
pages = {482--491},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24372-1\_37},
doi = {10.1007/978-3-642-24372-1\_37},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/AlmagorBK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/AlmagorK11,
author = {Shaull Almagor and
Orna Kupferman},
editor = {Tevfik Bultan and
Pao{-}Ann Hsiung},
title = {Max and Sum Semantics for Alternating Weighted Automata},
booktitle = {Automated Technology for Verification and Analysis, 9th International
Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6996},
pages = {13--27},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24372-1\_2},
doi = {10.1007/978-3-642-24372-1\_2},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/AlmagorK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/AminofKL11,
author = {Benjamin Aminof and
Orna Kupferman and
Robby Lampert},
editor = {Tevfik Bultan and
Pao{-}Ann Hsiung},
title = {Formal Analysis of Online Algorithms},
booktitle = {Automated Technology for Verification and Analysis, 9th International
Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6996},
pages = {213--227},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24372-1\_16},
doi = {10.1007/978-3-642-24372-1\_16},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/AminofKL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/BauerML11,
author = {Sebastian S. Bauer and
Philip Mayer and
Axel Legay},
editor = {Tevfik Bultan and
Pao{-}Ann Hsiung},
title = {{MIO} Workbench: {A} Tool for Compositional Design with Modal Input/Output
Interfaces},
booktitle = {Automated Technology for Verification and Analysis, 9th International
Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6996},
pages = {418--421},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24372-1\_30},
doi = {10.1007/978-3-642-24372-1\_30},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/BauerML11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/BenesCK11,
author = {Nikola Benes and
Ivana Cern{\'{a}} and
Jan Kret{\'{\i}}nsk{\'{y}}},
editor = {Tevfik Bultan and
Pao{-}Ann Hsiung},
title = {Modal Transition Systems: Composition and {LTL} Model Checking},
booktitle = {Automated Technology for Verification and Analysis, 9th International
Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6996},
pages = {228--242},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24372-1\_17},
doi = {10.1007/978-3-642-24372-1\_17},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/BenesCK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/BenesKLMS11,
author = {Nikola Benes and
Jan Kret{\'{\i}}nsk{\'{y}} and
Kim G. Larsen and
Mikael H. M{\o}ller and
Jir{\'{\i}} Srba},
editor = {Tevfik Bultan and
Pao{-}Ann Hsiung},
title = {Parametric Modal Transition Systems},
booktitle = {Automated Technology for Verification and Analysis, 9th International
Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6996},
pages = {275--289},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24372-1\_20},
doi = {10.1007/978-3-642-24372-1\_20},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/BenesKLMS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/BodeveixBF11,
author = {Jean{-}Paul Bodeveix and
Abdeldjalil Boudjadar and
Mamoun Filali},
editor = {Tevfik Bultan and
Pao{-}Ann Hsiung},
title = {An Alternative Definition for Timed Automata Composition},
booktitle = {Automated Technology for Verification and Analysis, 9th International
Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6996},
pages = {105--119},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24372-1\_9},
doi = {10.1007/978-3-642-24372-1\_9},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/BodeveixBF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/BouyerMOU11,
author = {Patricia Bouyer and
Nicolas Markey and
J{\"{o}}rg Olschewski and
Michael Ummels},
editor = {Tevfik Bultan and
Pao{-}Ann Hsiung},
title = {Measuring Permissiveness in Parity Games: Mean-Payoff Parity Games
Revisited},
booktitle = {Automated Technology for Verification and Analysis, 9th International
Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6996},
pages = {135--149},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24372-1\_11},
doi = {10.1007/978-3-642-24372-1\_11},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/BouyerMOU11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/BrihayeBDDR11,
author = {Thomas Brihaye and
V{\'{e}}ronique Bruy{\`{e}}re and
Laurent Doyen and
Marc Ducobu and
Jean{-}Fran{\c{c}}ois Raskin},
editor = {Tevfik Bultan and
Pao{-}Ann Hsiung},
title = {Antichain-Based {QBF} Solving},
booktitle = {Automated Technology for Verification and Analysis, 9th International
Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6996},
pages = {183--197},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24372-1\_14},
doi = {10.1007/978-3-642-24372-1\_14},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/BrihayeBDDR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/CarrilloR11,
author = {Miguel Carrillo and
David A. Rosenblueth},
editor = {Tevfik Bultan and
Pao{-}Ann Hsiung},
title = {Nondeterministic Update of {CTL} Models by Preserving Satisfaction
through Protections},
booktitle = {Automated Technology for Verification and Analysis, 9th International
Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6996},
pages = {60--74},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24372-1\_6},
doi = {10.1007/978-3-642-24372-1\_6},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/CarrilloR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/CasselHJMS11,
author = {Sofia Cassel and
Falk Howar and
Bengt Jonsson and
Maik Merten and
Bernhard Steffen},
editor = {Tevfik Bultan and
Pao{-}Ann Hsiung},
title = {A Succinct Canonical Register Automaton Model},
booktitle = {Automated Technology for Verification and Analysis, 9th International
Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6996},
pages = {366--380},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24372-1\_26},
doi = {10.1007/978-3-642-24372-1\_26},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/CasselHJMS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/ChengBCYJRBK11,
author = {Chih{-}Hong Cheng and
Saddek Bensalem and
Yu{-}Fang Chen and
Rongjie Yan and
Barbara Jobstmann and
Harald Ruess and
Christian Buckl and
Alois C. Knoll},
editor = {Tevfik Bultan and
Pao{-}Ann Hsiung},
title = {Algorithms for Synthesizing Priorities in Component-Based Systems},
booktitle = {Automated Technology for Verification and Analysis, 9th International
Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6996},
pages = {150--167},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24372-1\_12},
doi = {10.1007/978-3-642-24372-1\_12},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/ChengBCYJRBK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/ClarkeZ11,
author = {Edmund M. Clarke and
Paolo Zuliani},
editor = {Tevfik Bultan and
Pao{-}Ann Hsiung},
title = {Statistical Model Checking for Cyber-Physical Systems},
booktitle = {Automated Technology for Verification and Analysis, 9th International
Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6996},
pages = {1--12},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24372-1\_1},
doi = {10.1007/978-3-642-24372-1\_1},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/ClarkeZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/DahlKSH11,
author = {Morten Dahl and
Naoki Kobayashi and
Yunde Sun and
Hans H{\"{u}}ttel},
editor = {Tevfik Bultan and
Pao{-}Ann Hsiung},
title = {Type-Based Automated Verification of Authenticity in Asymmetric Cryptographic
Protocols},
booktitle = {Automated Technology for Verification and Analysis, 9th International
Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6996},
pages = {75--89},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24372-1\_7},
doi = {10.1007/978-3-642-24372-1\_7},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/DahlKSH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/DangG11,
author = {Thao Dang and
Thomas Martin Gawlitza},
editor = {Tevfik Bultan and
Pao{-}Ann Hsiung},
title = {Discretizing Affine Hybrid Automata with Uncertainty},
booktitle = {Automated Technology for Verification and Analysis, 9th International
Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6996},
pages = {473--481},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24372-1\_36},
doi = {10.1007/978-3-642-24372-1\_36},
timestamp = {Tue, 03 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/DangG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/DarondeauHM11,
author = {Philippe Darondeau and
Lo{\"{\i}}c H{\'{e}}lou{\"{e}}t and
Madhavan Mukund},
editor = {Tevfik Bultan and
Pao{-}Ann Hsiung},
title = {Assembling Sessions},
booktitle = {Automated Technology for Verification and Analysis, 9th International
Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6996},
pages = {259--274},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24372-1\_19},
doi = {10.1007/978-3-642-24372-1\_19},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/DarondeauHM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/Duret-LutzKPT11,
author = {Alexandre Duret{-}Lutz and
Kais Klai and
Denis Poitrenaud and
Yann Thierry{-}Mieg},
editor = {Tevfik Bultan and
Pao{-}Ann Hsiung},
title = {Self-Loop Aggregation Product - {A} New Hybrid Approach to On-the-Fly
{LTL} Model Checking},
booktitle = {Automated Technology for Verification and Analysis, 9th International
Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6996},
pages = {336--350},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24372-1\_24},
doi = {10.1007/978-3-642-24372-1\_24},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/Duret-LutzKPT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/EmersonS11,
author = {E. Allen Emerson and
Roopsha Samanta},
editor = {Tevfik Bultan and
Pao{-}Ann Hsiung},
title = {An Algorithmic Framework for Synthesis of Concurrent Programs},
booktitle = {Automated Technology for Verification and Analysis, 9th International
Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6996},
pages = {522--530},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24372-1\_41},
doi = {10.1007/978-3-642-24372-1\_41},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/EmersonS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/EvangelistaPY11,
author = {Sami Evangelista and
Laure Petrucci and
Samir Youcef},
editor = {Tevfik Bultan and
Pao{-}Ann Hsiung},
title = {Parallel Nested Depth-First Searches for {LTL} Model Checking},
booktitle = {Automated Technology for Verification and Analysis, 9th International
Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6996},
pages = {381--396},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24372-1\_27},
doi = {10.1007/978-3-642-24372-1\_27},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/EvangelistaPY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/FengHKP11,
author = {Lu Feng and
Tingting Han and
Marta Z. Kwiatkowska and
David Parker},
editor = {Tevfik Bultan and
Pao{-}Ann Hsiung},
title = {Learning-Based Compositional Verification for Synchronous Probabilistic
Systems},
booktitle = {Automated Technology for Verification and Analysis, 9th International
Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6996},
pages = {511--521},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24372-1\_40},
doi = {10.1007/978-3-642-24372-1\_40},
timestamp = {Wed, 06 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/FengHKP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/Fu11,
author = {Hongfei Fu},
editor = {Tevfik Bultan and
Pao{-}Ann Hsiung},
title = {Model Checking {EGF} on Basic Parallel Processes},
booktitle = {Automated Technology for Verification and Analysis, 9th International
Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6996},
pages = {120--134},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24372-1\_10},
doi = {10.1007/978-3-642-24372-1\_10},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/Fu11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/Fujita11,
author = {Masahiro Fujita},
editor = {Tevfik Bultan and
Pao{-}Ann Hsiung},
title = {Synthesizing, Verifying, and Debugging SoC with FSM-Based Specification
of On-Chip Communication Protocols},
booktitle = {Automated Technology for Verification and Analysis, 9th International
Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6996},
pages = {43--50},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24372-1\_4},
doi = {10.1007/978-3-642-24372-1\_4},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/Fujita11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/HolikLSV11,
author = {Luk{\'{a}}s Hol{\'{\i}}k and
Ondrej Leng{\'{a}}l and
Jir{\'{\i}} Sim{\'{a}}cek and
Tom{\'{a}}s Vojnar},
editor = {Tevfik Bultan and
Pao{-}Ann Hsiung},
title = {Efficient Inclusion Checking on Explicit and Semi-symbolic Tree Automata},
booktitle = {Automated Technology for Verification and Analysis, 9th International
Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6996},
pages = {243--258},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24372-1\_18},
doi = {10.1007/978-3-642-24372-1\_18},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/HolikLSV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/JansenAKWKB11,
author = {Nils Jansen and
Erika {\'{A}}brah{\'{a}}m and
Jens Katelaan and
Ralf Wimmer and
Joost{-}Pieter Katoen and
Bernd Becker},
editor = {Tevfik Bultan and
Pao{-}Ann Hsiung},
title = {Hierarchical Counterexamples for Discrete-Time Markov Chains},
booktitle = {Automated Technology for Verification and Analysis, 9th International
Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6996},
pages = {443--452},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24372-1\_33},
doi = {10.1007/978-3-642-24372-1\_33},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/JansenAKWKB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/JinCKZ11,
author = {Xiaoqing Jin and
Gianfranco Ciardo and
Tae{-}Hyong Kim and
Yang Zhao},
editor = {Tevfik Bultan and
Pao{-}Ann Hsiung},
title = {Symbolic Verification and Test Generation for a Network of Communicating
FSMs},
booktitle = {Automated Technology for Verification and Analysis, 9th International
Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6996},
pages = {432--442},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24372-1\_32},
doi = {10.1007/978-3-642-24372-1\_32},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/JinCKZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/KatzPS11,
author = {Gal Katz and
Doron A. Peled and
Sven Schewe},
editor = {Tevfik Bultan and
Pao{-}Ann Hsiung},
title = {The Buck Stops Here: Order, Chance, and Coordination in Distributed
Control},
booktitle = {Automated Technology for Verification and Analysis, 9th International
Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6996},
pages = {422--431},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24372-1\_31},
doi = {10.1007/978-3-642-24372-1\_31},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/KatzPS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/KimK11,
author = {Moonzoo Kim and
Yunho Kim},
editor = {Tevfik Bultan and
Pao{-}Ann Hsiung},
title = {Automated Analysis of Industrial Embedded Software},
booktitle = {Automated Technology for Verification and Analysis, 9th International
Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6996},
pages = {51--59},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24372-1\_5},
doi = {10.1007/978-3-642-24372-1\_5},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/KimK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/LaarmanLPWW11,
author = {Alfons Laarman and
Rom Langerak and
Jaco van de Pol and
Michael Weber and
Anton Wijs},
editor = {Tevfik Bultan and
Pao{-}Ann Hsiung},
title = {Multi-core Nested Depth-First Search},
booktitle = {Automated Technology for Verification and Analysis, 9th International
Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6996},
pages = {321--335},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24372-1\_23},
doi = {10.1007/978-3-642-24372-1\_23},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/LaarmanLPWW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/Lakhdar-ChaouchJG11,
author = {Lies Lakhdar{-}Chaouch and
Bertrand Jeannet and
Alain Girault},
editor = {Tevfik Bultan and
Pao{-}Ann Hsiung},
title = {Widening with Thresholds for Programs with Complex Control Graphs},
booktitle = {Automated Technology for Verification and Analysis, 9th International
Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6996},
pages = {492--502},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24372-1\_38},
doi = {10.1007/978-3-642-24372-1\_38},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/Lakhdar-ChaouchJG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/LinADSL11,
author = {Shang{-}Wei Lin and
{\'{E}}tienne Andr{\'{e}} and
Jin Song Dong and
Jun Sun and
Yang Liu},
editor = {Tevfik Bultan and
Pao{-}Ann Hsiung},
title = {An Efficient Algorithm for Learning Event-Recording Automata},
booktitle = {Automated Technology for Verification and Analysis, 9th International
Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6996},
pages = {463--472},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24372-1\_35},
doi = {10.1007/978-3-642-24372-1\_35},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/LinADSL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/LiuHT11,
author = {Liya Liu and
Osman Hasan and
Sofi{\`{e}}ne Tahar},
editor = {Tevfik Bultan and
Pao{-}Ann Hsiung},
title = {Formalization of Finite-State Discrete-Time Markov Chains in {HOL}},
booktitle = {Automated Technology for Verification and Analysis, 9th International
Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6996},
pages = {90--104},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24372-1\_8},
doi = {10.1007/978-3-642-24372-1\_8},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/LiuHT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/LvGDYY11,
author = {Mingsong Lv and
Nan Guan and
Qingxu Deng and
Ge Yu and
Wang Yi},
editor = {Tevfik Bultan and
Pao{-}Ann Hsiung},
title = {McAiT - {A} Timing Analyzer for Multicore Real-Time Software},
booktitle = {Automated Technology for Verification and Analysis, 9th International
Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6996},
pages = {414--417},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24372-1\_29},
doi = {10.1007/978-3-642-24372-1\_29},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/LvGDYY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/MalinowskiNR11,
author = {Janusz Malinowski and
Peter Niebert and
Pierre{-}Alain Reynier},
editor = {Tevfik Bultan and
Pao{-}Ann Hsiung},
title = {A Hierarchical Approach for the Synthesis of Stabilizing Controllers
for Hybrid Systems},
booktitle = {Automated Technology for Verification and Analysis, 9th International
Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6996},
pages = {198--212},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24372-1\_15},
doi = {10.1007/978-3-642-24372-1\_15},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/MalinowskiNR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/Neider11,
author = {Daniel Neider},
editor = {Tevfik Bultan and
Pao{-}Ann Hsiung},
title = {Small Strategies for Safety Games},
booktitle = {Automated Technology for Verification and Analysis, 9th International
Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6996},
pages = {306--320},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24372-1\_22},
doi = {10.1007/978-3-642-24372-1\_22},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/Neider11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/ObdrzalekT11,
author = {Jan Obdrz{\'{a}}lek and
Marek Trt{\'{\i}}k},
editor = {Tevfik Bultan and
Pao{-}Ann Hsiung},
title = {Efficient Loop Navigation for Symbolic Execution},
booktitle = {Automated Technology for Verification and Analysis, 9th International
Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6996},
pages = {453--462},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24372-1\_34},
doi = {10.1007/978-3-642-24372-1\_34},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/ObdrzalekT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/SchuppanD11,
author = {Viktor Schuppan and
Luthfi Darmawan},
editor = {Tevfik Bultan and
Pao{-}Ann Hsiung},
title = {Evaluating {LTL} Satisfiability Solvers},
booktitle = {Automated Technology for Verification and Analysis, 9th International
Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6996},
pages = {397--413},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24372-1\_28},
doi = {10.1007/978-3-642-24372-1\_28},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/SchuppanD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/Seghir11,
author = {Mohamed Nassim Seghir},
editor = {Tevfik Bultan and
Pao{-}Ann Hsiung},
title = {A Lightweight Approach for Loop Summarization},
booktitle = {Automated Technology for Verification and Analysis, 9th International
Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6996},
pages = {351--365},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24372-1\_25},
doi = {10.1007/978-3-642-24372-1\_25},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/Seghir11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/SotinJVG11,
author = {Pascal Sotin and
Bertrand Jeannet and
Franck V{\'{e}}drine and
Eric Goubault},
editor = {Tevfik Bultan and
Pao{-}Ann Hsiung},
title = {Policy Iteration within Logico-Numerical Abstract Domains},
booktitle = {Automated Technology for Verification and Analysis, 9th International
Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6996},
pages = {290--305},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24372-1\_21},
doi = {10.1007/978-3-642-24372-1\_21},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/SotinJVG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/Wojtczak11,
author = {Dominik Wojtczak},
editor = {Tevfik Bultan and
Pao{-}Ann Hsiung},
title = {Trust Metrics for the {SPKI/SDSI} Authorisation Framework},
booktitle = {Automated Technology for Verification and Analysis, 9th International
Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6996},
pages = {168--182},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24372-1\_13},
doi = {10.1007/978-3-642-24372-1\_13},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/Wojtczak11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atva/2011,
editor = {Tevfik Bultan and
Pao{-}Ann Hsiung},
title = {Automated Technology for Verification and Analysis, 9th International
Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6996},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24372-1},
doi = {10.1007/978-3-642-24372-1},
isbn = {978-3-642-24371-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/2011.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-09-22 08:54 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:
