Search dblp for Publications

export results for "toc:db/conf/atva/atva2009.bht:"

 download as .bib file

@inproceedings{DBLP:conf/atva/AbdullaACJ09,
  author       = {Parosh Aziz Abdulla and
                  Muhsin Atto and
                  Jonathan Cederberg and
                  Ran Ji},
  editor       = {Zhiming Liu and
                  Anders P. Ravn},
  title        = {Automated Analysis of Data-Dependent Programs with Dynamic Memory},
  booktitle    = {Automated Technology for Verification and Analysis, 7th International
                  Symposium, {ATVA} 2009, Macao, China, October 14-16, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5799},
  pages        = {197--212},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04761-9\_16},
  doi          = {10.1007/978-3-642-04761-9\_16},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/AbdullaACJ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/BaierGC09,
  author       = {Christel Baier and
                  Marcus Gr{\"{o}}{\ss}er and
                  Frank Ciesinski},
  editor       = {Zhiming Liu and
                  Anders P. Ravn},
  title        = {Quantitative Analysis under Fairness Constraints},
  booktitle    = {Automated Technology for Verification and Analysis, 7th International
                  Symposium, {ATVA} 2009, Macao, China, October 14-16, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5799},
  pages        = {135--150},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04761-9\_12},
  doi          = {10.1007/978-3-642-04761-9\_12},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/BaierGC09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/BygJS09,
  author       = {Joakim Byg and
                  Kenneth Yrke J{\o}rgensen and
                  Jir{\'{\i}} Srba},
  editor       = {Zhiming Liu and
                  Anders P. Ravn},
  title        = {{TAPAAL:} Editor, Simulator and Verifier of Timed-Arc Petri Nets},
  booktitle    = {Automated Technology for Verification and Analysis, 7th International
                  Symposium, {ATVA} 2009, Macao, China, October 14-16, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5799},
  pages        = {84--89},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04761-9\_7},
  doi          = {10.1007/978-3-642-04761-9\_7},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atva/BygJS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/CampetelliGLT09,
  author       = {Alarico Campetelli and
                  Alexander Gruler and
                  Martin Leucker and
                  Daniel Thoma},
  editor       = {Zhiming Liu and
                  Anders P. Ravn},
  title        = {\emph{Don't Know} for Multi-valued Systems},
  booktitle    = {Automated Technology for Verification and Analysis, 7th International
                  Symposium, {ATVA} 2009, Macao, China, October 14-16, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5799},
  pages        = {289--305},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04761-9\_22},
  doi          = {10.1007/978-3-642-04761-9\_22},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/CampetelliGLT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/CassezDM09,
  author       = {Franck Cassez and
                  J{\'{e}}r{\'{e}}my Dubreil and
                  Herv{\'{e}} Marchand},
  editor       = {Zhiming Liu and
                  Anders P. Ravn},
  title        = {Dynamic Observers for the Synthesis of Opaque Systems},
  booktitle    = {Automated Technology for Verification and Analysis, 7th International
                  Symposium, {ATVA} 2009, Macao, China, October 14-16, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5799},
  pages        = {352--367},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04761-9\_26},
  doi          = {10.1007/978-3-642-04761-9\_26},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atva/CassezDM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/ChenHKM09,
  author       = {Taolue Chen and
                  Tingting Han and
                  Joost{-}Pieter Katoen and
                  Alexandru Mereacre},
  editor       = {Zhiming Liu and
                  Anders P. Ravn},
  title        = {{LTL} Model Checking of Time-Inhomogeneous Markov Chains},
  booktitle    = {Automated Technology for Verification and Analysis, 7th International
                  Symposium, {ATVA} 2009, Macao, China, October 14-16, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5799},
  pages        = {104--119},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04761-9\_10},
  doi          = {10.1007/978-3-642-04761-9\_10},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atva/ChenHKM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/CohenDLQ09,
  author       = {Mika Cohen and
                  Mads Dam and
                  Alessio Lomuscio and
                  Hongyang Qu},
  editor       = {Zhiming Liu and
                  Anders P. Ravn},
  title        = {A Data Symmetry Reduction Technique for Temporal-epistemic Logic},
  booktitle    = {Automated Technology for Verification and Analysis, 7th International
                  Symposium, {ATVA} 2009, Macao, China, October 14-16, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5799},
  pages        = {69--83},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04761-9\_6},
  doi          = {10.1007/978-3-642-04761-9\_6},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/CohenDLQ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/DaxKL09,
  author       = {Christian Dax and
                  Felix Klaedtke and
                  Stefan Leue},
  editor       = {Zhiming Liu and
                  Anders P. Ravn},
  title        = {Specification Languages for Stutter-Invariant Regular Properties},
  booktitle    = {Automated Technology for Verification and Analysis, 7th International
                  Symposium, {ATVA} 2009, Macao, China, October 14-16, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5799},
  pages        = {244--254},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04761-9\_19},
  doi          = {10.1007/978-3-642-04761-9\_19},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/DaxKL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/DimitrovaF09,
  author       = {Rayna Dimitrova and
                  Bernd Finkbeiner},
  editor       = {Zhiming Liu and
                  Anders P. Ravn},
  title        = {Synthesis of Fault-Tolerant Distributed Systems},
  booktitle    = {Automated Technology for Verification and Analysis, 7th International
                  Symposium, {ATVA} 2009, Macao, China, October 14-16, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5799},
  pages        = {321--336},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04761-9\_24},
  doi          = {10.1007/978-3-642-04761-9\_24},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/DimitrovaF09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/Duret-LutzPC09,
  author       = {Alexandre Duret{-}Lutz and
                  Denis Poitrenaud and
                  Jean{-}Michel Couvreur},
  editor       = {Zhiming Liu and
                  Anders P. Ravn},
  title        = {On-the-fly Emptiness Check of Transition-Based Streett Automata},
  booktitle    = {Automated Technology for Verification and Analysis, 7th International
                  Symposium, {ATVA} 2009, Macao, China, October 14-16, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5799},
  pages        = {213--227},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04761-9\_17},
  doi          = {10.1007/978-3-642-04761-9\_17},
  timestamp    = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/Duret-LutzPC09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/FehnkerHS09,
  author       = {Ansgar Fehnker and
                  Ralf Huuck and
                  Sean Seefried},
  editor       = {Zhiming Liu and
                  Anders P. Ravn},
  title        = {Incremental False Path Elimination for Static Software Analysis},
  booktitle    = {Automated Technology for Verification and Analysis, 7th International
                  Symposium, {ATVA} 2009, Macao, China, October 14-16, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5799},
  pages        = {255--270},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04761-9\_20},
  doi          = {10.1007/978-3-642-04761-9\_20},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/FehnkerHS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/FenechPS09,
  author       = {Stephen Fenech and
                  Gordon J. Pace and
                  Gerardo Schneider},
  editor       = {Zhiming Liu and
                  Anders P. Ravn},
  title        = {{CLAN:} {A} Tool for Contract Analysis and Conflict Discovery},
  booktitle    = {Automated Technology for Verification and Analysis, 7th International
                  Symposium, {ATVA} 2009, Macao, China, October 14-16, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5799},
  pages        = {90--96},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04761-9\_8},
  doi          = {10.1007/978-3-642-04761-9\_8},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/FenechPS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/FriedmannL09,
  author       = {Oliver Friedmann and
                  Martin Lange},
  editor       = {Zhiming Liu and
                  Anders P. Ravn},
  title        = {Solving Parity Games in Practice},
  booktitle    = {Automated Technology for Verification and Analysis, 7th International
                  Symposium, {ATVA} 2009, Macao, China, October 14-16, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5799},
  pages        = {182--196},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04761-9\_15},
  doi          = {10.1007/978-3-642-04761-9\_15},
  timestamp    = {Tue, 09 Jan 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atva/FriedmannL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/GeldenhuysHV09,
  author       = {Jaco Geldenhuys and
                  Henri Hansen and
                  Antti Valmari},
  editor       = {Zhiming Liu and
                  Anders P. Ravn},
  title        = {Exploring the Scope for Partial Order Reduction},
  booktitle    = {Automated Technology for Verification and Analysis, 7th International
                  Symposium, {ATVA} 2009, Macao, China, October 14-16, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5799},
  pages        = {39--53},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04761-9\_4},
  doi          = {10.1007/978-3-642-04761-9\_4},
  timestamp    = {Thu, 01 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/GeldenhuysHV09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/Greenstreet09,
  author       = {Mark R. Greenstreet},
  editor       = {Zhiming Liu and
                  Anders P. Ravn},
  title        = {Verifying {VLSI} Circuits},
  booktitle    = {Automated Technology for Verification and Analysis, 7th International
                  Symposium, {ATVA} 2009, Macao, China, October 14-16, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5799},
  pages        = {1--20},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04761-9\_1},
  doi          = {10.1007/978-3-642-04761-9\_1},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/Greenstreet09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/Grumberg09,
  author       = {Orna Grumberg},
  editor       = {Zhiming Liu and
                  Anders P. Ravn},
  title        = {3-Valued Abstraction for (Bounded) Model Checking},
  booktitle    = {Automated Technology for Verification and Analysis, 7th International
                  Symposium, {ATVA} 2009, Macao, China, October 14-16, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5799},
  pages        = {21},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04761-9\_2},
  doi          = {10.1007/978-3-642-04761-9\_2},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/Grumberg09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/HeQLC09,
  author       = {Guanhua He and
                  Shengchao Qin and
                  Chenguang Luo and
                  Wei{-}Ngan Chin},
  editor       = {Zhiming Liu and
                  Anders P. Ravn},
  title        = {Memory Usage Verification Using Hip/Sleek},
  booktitle    = {Automated Technology for Verification and Analysis, 7th International
                  Symposium, {ATVA} 2009, Macao, China, October 14-16, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5799},
  pages        = {166--181},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04761-9\_14},
  doi          = {10.1007/978-3-642-04761-9\_14},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/HeQLC09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/HoweK09,
  author       = {Jacob M. Howe and
                  Andy King},
  editor       = {Zhiming Liu and
                  Anders P. Ravn},
  title        = {Logahedra: {A} New Weakly Relational Domain},
  booktitle    = {Automated Technology for Verification and Analysis, 7th International
                  Symposium, {ATVA} 2009, Macao, China, October 14-16, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5799},
  pages        = {306--320},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04761-9\_23},
  doi          = {10.1007/978-3-642-04761-9\_23},
  timestamp    = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/HoweK09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/Huang09,
  author       = {Hongtao Huang},
  editor       = {Zhiming Liu and
                  Anders P. Ravn},
  title        = {On Detecting Regular Predicates in Distributed Systems},
  booktitle    = {Automated Technology for Verification and Analysis, 7th International
                  Symposium, {ATVA} 2009, Macao, China, October 14-16, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5799},
  pages        = {397--411},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04761-9\_29},
  doi          = {10.1007/978-3-642-04761-9\_29},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/Huang09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/HuangCW09,
  author       = {Geng{-}Dian Huang and
                  Lin{-}Zan Cai and
                  Farn Wang},
  editor       = {Zhiming Liu and
                  Anders P. Ravn},
  title        = {{LTL} Model Checking for Recursive Programs},
  booktitle    = {Automated Technology for Verification and Analysis, 7th International
                  Symposium, {ATVA} 2009, Macao, China, October 14-16, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5799},
  pages        = {382--396},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04761-9\_28},
  doi          = {10.1007/978-3-642-04761-9\_28},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/HuangCW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/KarmarkarC09,
  author       = {Hrishikesh Karmarkar and
                  Supratik Chakraborty},
  editor       = {Zhiming Liu and
                  Anders P. Ravn},
  title        = {On Minimal Odd Rankings for B{\"{u}}chi Complementation},
  booktitle    = {Automated Technology for Verification and Analysis, 7th International
                  Symposium, {ATVA} 2009, Macao, China, October 14-16, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5799},
  pages        = {228--243},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04761-9\_18},
  doi          = {10.1007/978-3-642-04761-9\_18},
  timestamp    = {Thu, 01 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/KarmarkarC09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/KebrtS09,
  author       = {Michal Kebrt and
                  Ondrej Sery},
  editor       = {Zhiming Liu and
                  Anders P. Ravn},
  title        = {UnitCheck: Unit Testing and Model Checking Combined},
  booktitle    = {Automated Technology for Verification and Analysis, 7th International
                  Symposium, {ATVA} 2009, Macao, China, October 14-16, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5799},
  pages        = {97--103},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04761-9\_9},
  doi          = {10.1007/978-3-642-04761-9\_9},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/KebrtS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/MellerGS09,
  author       = {Yael Meller and
                  Orna Grumberg and
                  Sharon Shoham},
  editor       = {Zhiming Liu and
                  Anders P. Ravn},
  title        = {A Framework for Compositional Verification of Multi-valued Systems
                  via Abstraction-Refinement},
  booktitle    = {Automated Technology for Verification and Analysis, 7th International
                  Symposium, {ATVA} 2009, Macao, China, October 14-16, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5799},
  pages        = {271--288},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04761-9\_21},
  doi          = {10.1007/978-3-642-04761-9\_21},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atva/MellerGS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/OehlerkingT09,
  author       = {Jens Oehlerking and
                  Oliver E. Theel},
  editor       = {Zhiming Liu and
                  Anders P. Ravn},
  title        = {A Decompositional Proof Scheme for Automated Convergence Proofs of
                  Stochastic Hybrid Systems},
  booktitle    = {Automated Technology for Verification and Analysis, 7th International
                  Symposium, {ATVA} 2009, Macao, China, October 14-16, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5799},
  pages        = {151--165},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04761-9\_13},
  doi          = {10.1007/978-3-642-04761-9\_13},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/OehlerkingT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/PolT09,
  author       = {Jaco van de Pol and
                  Mark Timmer},
  editor       = {Zhiming Liu and
                  Anders P. Ravn},
  title        = {State Space Reduction of Linear Processes Using Control Flow Reconstruction},
  booktitle    = {Automated Technology for Verification and Analysis, 7th International
                  Symposium, {ATVA} 2009, Macao, China, October 14-16, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5799},
  pages        = {54--68},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04761-9\_5},
  doi          = {10.1007/978-3-642-04761-9\_5},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/PolT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/RabihP09,
  author       = {Diana El Rabih and
                  Nihal Pekergin},
  editor       = {Zhiming Liu and
                  Anders P. Ravn},
  title        = {Statistical Model Checking Using Perfect Simulation},
  booktitle    = {Automated Technology for Verification and Analysis, 7th International
                  Symposium, {ATVA} 2009, Macao, China, October 14-16, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5799},
  pages        = {120--134},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04761-9\_11},
  doi          = {10.1007/978-3-642-04761-9\_11},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/RabihP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/RayHCXY09,
  author       = {Sandip Ray and
                  Kecheng Hao and
                  Yan Chen and
                  Fei Xie and
                  Jin Yang},
  editor       = {Zhiming Liu and
                  Anders P. Ravn},
  title        = {Formal Verification for High-Assurance Behavioral Synthesis},
  booktitle    = {Automated Technology for Verification and Analysis, 7th International
                  Symposium, {ATVA} 2009, Macao, China, October 14-16, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5799},
  pages        = {337--351},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04761-9\_25},
  doi          = {10.1007/978-3-642-04761-9\_25},
  timestamp    = {Mon, 17 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atva/RayHCXY09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/RoscoeAP09,
  author       = {A. W. Roscoe and
                  Philip J. Armstrong and
                  Pragyesh},
  editor       = {Zhiming Liu and
                  Anders P. Ravn},
  title        = {Local Search in Model Checking},
  booktitle    = {Automated Technology for Verification and Analysis, 7th International
                  Symposium, {ATVA} 2009, Macao, China, October 14-16, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5799},
  pages        = {22--38},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04761-9\_3},
  doi          = {10.1007/978-3-642-04761-9\_3},
  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/RoscoeAP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/ZhaoC09,
  author       = {Yang Zhao and
                  Gianfranco Ciardo},
  editor       = {Zhiming Liu and
                  Anders P. Ravn},
  title        = {Symbolic {CTL} Model Checking of Asynchronous Systems Using Constrained
                  Saturation},
  booktitle    = {Automated Technology for Verification and Analysis, 7th International
                  Symposium, {ATVA} 2009, Macao, China, October 14-16, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5799},
  pages        = {368--381},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04761-9\_27},
  doi          = {10.1007/978-3-642-04761-9\_27},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atva/ZhaoC09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atva/2009,
  editor       = {Zhiming Liu and
                  Anders P. Ravn},
  title        = {Automated Technology for Verification and Analysis, 7th International
                  Symposium, {ATVA} 2009, Macao, China, October 14-16, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5799},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04761-9},
  doi          = {10.1007/978-3-642-04761-9},
  isbn         = {978-3-642-04760-2},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/2009.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics