Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/atva/BardinFLS05,
  author       = {S{\'{e}}bastien Bardin and
                  Alain Finkel and
                  J{\'{e}}r{\^{o}}me Leroux and
                  Philippe Schnoebelen},
  editor       = {Doron A. Peled and
                  Yih{-}Kuen Tsay},
  title        = {Flat Acceleration in Symbolic Model Checking},
  booktitle    = {Automated Technology for Verification and Analysis, Third International
                  Symposium, {ATVA} 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3707},
  pages        = {474--488},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11562948\_35},
  doi          = {10.1007/11562948\_35},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/BardinFLS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/BerardCHLR05,
  author       = {B{\'{e}}atrice B{\'{e}}rard and
                  Franck Cassez and
                  Serge Haddad and
                  Didier Lime and
                  Olivier H. Roux},
  editor       = {Doron A. Peled and
                  Yih{-}Kuen Tsay},
  title        = {Comparison of Different Semantics for Time Petri Nets},
  booktitle    = {Automated Technology for Verification and Analysis, Third International
                  Symposium, {ATVA} 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3707},
  pages        = {293--307},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11562948\_23},
  doi          = {10.1007/11562948\_23},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/BerardCHLR05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/Bhaduri05,
  author       = {Purandar Bhaduri},
  editor       = {Doron A. Peled and
                  Yih{-}Kuen Tsay},
  title        = {Synthesis of Interface Automata},
  booktitle    = {Automated Technology for Verification and Analysis, Third International
                  Symposium, {ATVA} 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3707},
  pages        = {338--353},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11562948\_26},
  doi          = {10.1007/11562948\_26},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/Bhaduri05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/BradleyM05,
  author       = {Aaron R. Bradley and
                  Zohar Manna},
  editor       = {Doron A. Peled and
                  Yih{-}Kuen Tsay},
  title        = {Termination and Invariance Analysis of Loops},
  booktitle    = {Automated Technology for Verification and Analysis, Third International
                  Symposium, {ATVA} 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3707},
  pages        = {2},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11562948\_2},
  doi          = {10.1007/11562948\_2},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/BradleyM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/ChoiZ05,
  author       = {Yongsun Choi and
                  J. Leon Zhao},
  editor       = {Doron A. Peled and
                  Yih{-}Kuen Tsay},
  title        = {Decomposition-Based Verification of Cyclic Workflows},
  booktitle    = {Automated Technology for Verification and Analysis, Third International
                  Symposium, {ATVA} 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3707},
  pages        = {84--98},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11562948\_9},
  doi          = {10.1007/11562948\_9},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/ChoiZ05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/CombesHK05,
  author       = {Pierre Combes and
                  David Harel and
                  Hillel Kugler},
  editor       = {Doron A. Peled and
                  Yih{-}Kuen Tsay},
  title        = {Modeling and Verification of a Telecommunication Application Using
                  Live Sequence Charts and the Play-Engine Tool},
  booktitle    = {Automated Technology for Verification and Analysis, Third International
                  Symposium, {ATVA} 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3707},
  pages        = {414--428},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11562948\_31},
  doi          = {10.1007/11562948\_31},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/CombesHK05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/DammPR05,
  author       = {Werner Damm and
                  Guilherme Pinto and
                  Stefan Ratschan},
  editor       = {Doron A. Peled and
                  Yih{-}Kuen Tsay},
  title        = {Guaranteed Termination in the Verification of {LTL} Properties of
                  Non-linear Robust Discrete Time Hybrid Systems},
  booktitle    = {Automated Technology for Verification and Analysis, Third International
                  Symposium, {ATVA} 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3707},
  pages        = {99--113},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11562948\_10},
  doi          = {10.1007/11562948\_10},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/DammPR05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/DemriN05,
  author       = {St{\'{e}}phane Demri and
                  David Nowak},
  editor       = {Doron A. Peled and
                  Yih{-}Kuen Tsay},
  title        = {Reasoning About Transfinite Sequences},
  booktitle    = {Automated Technology for Verification and Analysis, Third International
                  Symposium, {ATVA} 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3707},
  pages        = {248--262},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11562948\_20},
  doi          = {10.1007/11562948\_20},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/DemriN05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/DubeyWSK05,
  author       = {Abhishek Dubey and
                  Xianbin Wu and
                  Hang Su and
                  Tak{-}John Koo},
  editor       = {Doron A. Peled and
                  Yih{-}Kuen Tsay},
  title        = {Computation Platform for Automatic Analysis of Embedded Software Systems
                  Using Model Based Approach},
  booktitle    = {Automated Technology for Verification and Analysis, Third International
                  Symposium, {ATVA} 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3707},
  pages        = {114--128},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11562948\_11},
  doi          = {10.1007/11562948\_11},
  timestamp    = {Tue, 19 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/DubeyWSK05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/EvangelistaHP05,
  author       = {Sami Evangelista and
                  Serge Haddad and
                  Jean{-}Fran{\c{c}}ois Pradat{-}Peyre},
  editor       = {Doron A. Peled and
                  Yih{-}Kuen Tsay},
  title        = {Syntactical Colored Petri Nets Reductions},
  booktitle    = {Automated Technology for Verification and Analysis, Third International
                  Symposium, {ATVA} 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3707},
  pages        = {202--216},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11562948\_17},
  doi          = {10.1007/11562948\_17},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/EvangelistaHP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/FinkbeinerS05,
  author       = {Bernd Finkbeiner and
                  Sven Schewe},
  editor       = {Doron A. Peled and
                  Yih{-}Kuen Tsay},
  title        = {Semi-automatic Distributed Synthesis},
  booktitle    = {Automated Technology for Verification and Analysis, Third International
                  Symposium, {ATVA} 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3707},
  pages        = {263--277},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11562948\_21},
  doi          = {10.1007/11562948\_21},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/FinkbeinerS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/FixGHHS05,
  author       = {Limor Fix and
                  Orna Grumberg and
                  Amnon Heyman and
                  Tamir Heyman and
                  Assaf Schuster},
  editor       = {Doron A. Peled and
                  Yih{-}Kuen Tsay},
  title        = {Verifying Very Large Industrial Circuits Using 100 Processes and Beyond},
  booktitle    = {Automated Technology for Verification and Analysis, Third International
                  Symposium, {ATVA} 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3707},
  pages        = {11--25},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11562948\_4},
  doi          = {10.1007/11562948\_4},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/FixGHHS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/GallaschB05,
  author       = {Guy Edward Gallasch and
                  Jonathan Billington},
  editor       = {Doron A. Peled and
                  Yih{-}Kuen Tsay},
  title        = {Using Parametric Automata for the Verification of the Stop-and-Wait
                  Class of Protocols},
  booktitle    = {Automated Technology for Verification and Analysis, Third International
                  Symposium, {ATVA} 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3707},
  pages        = {457--473},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11562948\_34},
  doi          = {10.1007/11562948\_34},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/GallaschB05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/HabibiT05,
  author       = {Ali Habibi and
                  Sofi{\`{e}}ne Tahar},
  editor       = {Doron A. Peled and
                  Yih{-}Kuen Tsay},
  title        = {An Approach for the Verification of SystemC Designs Using AsmL},
  booktitle    = {Automated Technology for Verification and Analysis, Third International
                  Symposium, {ATVA} 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3707},
  pages        = {69--83},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11562948\_8},
  doi          = {10.1007/11562948\_8},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/HabibiT05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/HuangW05,
  author       = {Geng{-}Dian Huang and
                  Farn Wang},
  editor       = {Doron A. Peled and
                  Yih{-}Kuen Tsay},
  title        = {Automatic Test Case Generation with Region-Related Coverage Annotations
                  for Real-Time Systems},
  booktitle    = {Automated Technology for Verification and Analysis, Third International
                  Symposium, {ATVA} 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3707},
  pages        = {144--158},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11562948\_13},
  doi          = {10.1007/11562948\_13},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/HuangW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/KimK05,
  author       = {Moonzoo Kim and
                  Kyo Chul Kang},
  editor       = {Doron A. Peled and
                  Yih{-}Kuen Tsay},
  title        = {Formal Construction and Verification of Home Service Robots: {A} Case
                  Study},
  booktitle    = {Automated Technology for Verification and Analysis, Third International
                  Symposium, {ATVA} 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3707},
  pages        = {429--443},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11562948\_32},
  doi          = {10.1007/11562948\_32},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/KimK05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/LakosK05,
  author       = {Charles A. Lakos and
                  Lars Michael Kristensen},
  editor       = {Doron A. Peled and
                  Yih{-}Kuen Tsay},
  title        = {State Space Exploration of Object-Based Systems Using Equivalence
                  Reduction and the Sweepline Method},
  booktitle    = {Automated Technology for Verification and Analysis, Third International
                  Symposium, {ATVA} 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3707},
  pages        = {187--201},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11562948\_16},
  doi          = {10.1007/11562948\_16},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/LakosK05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/LerouxS05,
  author       = {J{\'{e}}r{\^{o}}me Leroux and
                  Gr{\'{e}}goire Sutre},
  editor       = {Doron A. Peled and
                  Yih{-}Kuen Tsay},
  title        = {Flat Counter Automata Almost Everywhere!},
  booktitle    = {Automated Technology for Verification and Analysis, Third International
                  Symposium, {ATVA} 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3707},
  pages        = {489--503},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11562948\_36},
  doi          = {10.1007/11562948\_36},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/LerouxS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/LiGLL05,
  author       = {Tun Li and
                  Yang Guo and
                  Sikun Li and
                  GongJie Liu},
  editor       = {Doron A. Peled and
                  Yih{-}Kuen Tsay},
  title        = {Predicate Abstraction of {RTL} Verilog Descriptions Using Constraint
                  Logic Programming},
  booktitle    = {Automated Technology for Verification and Analysis, Third International
                  Symposium, {ATVA} 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3707},
  pages        = {174--186},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11562948\_15},
  doi          = {10.1007/11562948\_15},
  timestamp    = {Wed, 02 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/LiGLL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/LinHHC05,
  author       = {Shang{-}Wei Lin and
                  Pao{-}Ann Hsiung and
                  Chun{-}Hsian Huang and
                  Yean{-}Ru Chen},
  editor       = {Doron A. Peled and
                  Yih{-}Kuen Tsay},
  title        = {Model Checking Prioritized Timed Automata},
  booktitle    = {Automated Technology for Verification and Analysis, Third International
                  Symposium, {ATVA} 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3707},
  pages        = {370--384},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11562948\_28},
  doi          = {10.1007/11562948\_28},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/LinHHC05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/LindstromMV05,
  author       = {Gary Lindstrom and
                  Peter C. Mehlitz and
                  Willem Visser},
  editor       = {Doron A. Peled and
                  Yih{-}Kuen Tsay},
  title        = {Model Checking Real Time Java Using Java PathFinder},
  booktitle    = {Automated Technology for Verification and Analysis, Third International
                  Symposium, {ATVA} 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3707},
  pages        = {444--456},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11562948\_33},
  doi          = {10.1007/11562948\_33},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/LindstromMV05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/MaoCV05,
  author       = {Xiaoyu Mao and
                  Janette Cardoso and
                  Robert Valette},
  editor       = {Doron A. Peled and
                  Yih{-}Kuen Tsay},
  title        = {A New Graph of Classes for the Preservation of Quantitative Temporal
                  Constraints},
  booktitle    = {Automated Technology for Verification and Analysis, Third International
                  Symposium, {ATVA} 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3707},
  pages        = {278--292},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11562948\_22},
  doi          = {10.1007/11562948\_22},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/MaoCV05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/MysorePM05,
  author       = {Venkatesh Mysore and
                  Carla Piazza and
                  Bud Mishra},
  editor       = {Doron A. Peled and
                  Yih{-}Kuen Tsay},
  title        = {Algorithmic Algebraic Model Checking {II:} Decidability of Semi-algebraic
                  Model Checking and Its Applications to Systems Biology},
  booktitle    = {Automated Technology for Verification and Analysis, Third International
                  Symposium, {ATVA} 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3707},
  pages        = {217--233},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11562948\_18},
  doi          = {10.1007/11562948\_18},
  timestamp    = {Thu, 01 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/MysorePM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/OrsetAC05,
  author       = {Jean{-}Marie Orset and
                  Baptiste Alcalde and
                  Ana R. Cavalli},
  editor       = {Doron A. Peled and
                  Yih{-}Kuen Tsay},
  title        = {An EFSM-Based Intrusion Detection System for Ad Hoc Networks},
  booktitle    = {Automated Technology for Verification and Analysis, Third International
                  Symposium, {ATVA} 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3707},
  pages        = {400--413},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11562948\_30},
  doi          = {10.1007/11562948\_30},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/OrsetAC05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/PennaMIT05,
  author       = {Giuseppe Della Penna and
                  Igor Melatti and
                  Benedetto Intrigila and
                  Enrico Tronci},
  editor       = {Doron A. Peled and
                  Yih{-}Kuen Tsay},
  title        = {Exploiting Hub States in Automatic Verification},
  booktitle    = {Automated Technology for Verification and Analysis, Third International
                  Symposium, {ATVA} 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3707},
  pages        = {54--68},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11562948\_7},
  doi          = {10.1007/11562948\_7},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/PennaMIT05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/Pnueli05,
  author       = {Amir Pnueli},
  editor       = {Doron A. Peled and
                  Yih{-}Kuen Tsay},
  title        = {Ranking Abstraction as a Companion to Predicate Abstraction,},
  booktitle    = {Automated Technology for Verification and Analysis, Third International
                  Symposium, {ATVA} 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3707},
  pages        = {1},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11562948\_1},
  doi          = {10.1007/11562948\_1},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/Pnueli05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/SaadA05,
  author       = {Mouna Saad and
                  Leila Jemni Ben Ayed},
  editor       = {Doron A. Peled and
                  Yih{-}Kuen Tsay},
  title        = {Introducing Dynamic Properties with Past Temporal Operators in the
                  {B} Refinement},
  booktitle    = {Automated Technology for Verification and Analysis, Third International
                  Symposium, {ATVA} 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3707},
  pages        = {308--322},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11562948\_24},
  doi          = {10.1007/11562948\_24},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/SaadA05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/SahooJID05,
  author       = {Debashis Sahoo and
                  Jawahar Jain and
                  Subramanian K. Iyer and
                  David L. Dill},
  editor       = {Doron A. Peled and
                  Yih{-}Kuen Tsay},
  title        = {A New Reachability Algorithm for Symmetric Multi-processor Architecture},
  booktitle    = {Automated Technology for Verification and Analysis, Third International
                  Symposium, {ATVA} 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3707},
  pages        = {26--38},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11562948\_5},
  doi          = {10.1007/11562948\_5},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/SahooJID05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/ShohamG05,
  author       = {Sharon Shoham and
                  Orna Grumberg},
  editor       = {Doron A. Peled and
                  Yih{-}Kuen Tsay},
  title        = {Multi-valued Model Checking Games},
  booktitle    = {Automated Technology for Verification and Analysis, Third International
                  Symposium, {ATVA} 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3707},
  pages        = {354--369},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11562948\_27},
  doi          = {10.1007/11562948\_27},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atva/ShohamG05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/Szreter05,
  author       = {Maciej Szreter},
  editor       = {Doron A. Peled and
                  Yih{-}Kuen Tsay},
  title        = {Selective Search in Bounded Model Checking of Reachability Properties},
  booktitle    = {Automated Technology for Verification and Analysis, Third International
                  Symposium, {ATVA} 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3707},
  pages        = {159--173},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11562948\_14},
  doi          = {10.1007/11562948\_14},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/Szreter05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/TardieuE05,
  author       = {Olivier Tardieu and
                  Stephen A. Edwards},
  editor       = {Doron A. Peled and
                  Yih{-}Kuen Tsay},
  title        = {Approximate Reachability for Dead Code Elimination in Esterel},
  booktitle    = {Automated Technology for Verification and Analysis, Third International
                  Symposium, {ATVA} 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3707},
  pages        = {323--337},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11562948\_25},
  doi          = {10.1007/11562948\_25},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atva/TardieuE05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/Thomas05,
  author       = {Wolfgang Thomas},
  editor       = {Doron A. Peled and
                  Yih{-}Kuen Tsay},
  title        = {Some Perspectives of Infinite-State Verification},
  booktitle    = {Automated Technology for Verification and Analysis, Third International
                  Symposium, {ATVA} 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3707},
  pages        = {3--10},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11562948\_3},
  doi          = {10.1007/11562948\_3},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/Thomas05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/Voinikonis05,
  author       = {Andrei Voinikonis},
  editor       = {Doron A. Peled and
                  Yih{-}Kuen Tsay},
  title        = {Quantitative and Qualitative Analysis of Temporal Aspects of Complex
                  Activities},
  booktitle    = {Automated Technology for Verification and Analysis, Third International
                  Symposium, {ATVA} 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3707},
  pages        = {129--143},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11562948\_12},
  doi          = {10.1007/11562948\_12},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/Voinikonis05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/WangK05,
  author       = {Fuzhi Wang and
                  Marta Z. Kwiatkowska},
  editor       = {Doron A. Peled and
                  Yih{-}Kuen Tsay},
  title        = {An MTBDD-Based Implementation of Forward Reachability for Probabilistic
                  Timed Automata},
  booktitle    = {Automated Technology for Verification and Analysis, Third International
                  Symposium, {ATVA} 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3707},
  pages        = {385--399},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11562948\_29},
  doi          = {10.1007/11562948\_29},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/WangK05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/YagiTS05,
  author       = {Isao Yagi and
                  Yoshiaki Takata and
                  Hiroyuki Seki},
  editor       = {Doron A. Peled and
                  Yih{-}Kuen Tsay},
  title        = {A Static Analysis Using Tree Automata for {XML} Access Control},
  booktitle    = {Automated Technology for Verification and Analysis, Third International
                  Symposium, {ATVA} 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3707},
  pages        = {234--247},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11562948\_19},
  doi          = {10.1007/11562948\_19},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/YagiTS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/ZhaoKOR05,
  author       = {Yuhong Zhao and
                  Martin Kardos and
                  Simon Oberth{\"{u}}r and
                  Franz J. Rammig},
  editor       = {Doron A. Peled and
                  Yih{-}Kuen Tsay},
  title        = {Comprehensive Verification Framework for Dependability of Self-optimizing
                  Systems},
  booktitle    = {Automated Technology for Verification and Analysis, Third International
                  Symposium, {ATVA} 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3707},
  pages        = {39--53},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11562948\_6},
  doi          = {10.1007/11562948\_6},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/ZhaoKOR05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/atva/2005,
  editor       = {Doron A. Peled and
                  Yih{-}Kuen Tsay},
  title        = {Automated Technology for Verification and Analysis, Third International
                  Symposium, {ATVA} 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3707},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11562948},
  doi          = {10.1007/11562948},
  isbn         = {3-540-29209-8},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/2005.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.