Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/atva/AlmagorHK10,
  author       = {Shaull Almagor and
                  Yoram Hirshfeld and
                  Orna Kupferman},
  editor       = {Ahmed Bouajjani and
                  Wei{-}Ngan Chin},
  title        = {Promptness in \emph{omega}-Regular Automata},
  booktitle    = {Automated Technology for Verification and Analysis - 8th International
                  Symposium, {ATVA} 2010, Singapore, September 21-24, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6252},
  pages        = {22--36},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15643-4\_4},
  doi          = {10.1007/978-3-642-15643-4\_4},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/AlmagorHK10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/AlpuenteBER10,
  author       = {Mar{\'{\i}}a Alpuente and
                  Demis Ballis and
                  Javier Espert and
                  Daniel Romero},
  editor       = {Ahmed Bouajjani and
                  Wei{-}Ngan Chin},
  title        = {Model-Checking Web Applications with Web-TLR},
  booktitle    = {Automated Technology for Verification and Analysis - 8th International
                  Symposium, {ATVA} 2010, Singapore, September 21-24, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6252},
  pages        = {341--346},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15643-4\_25},
  doi          = {10.1007/978-3-642-15643-4\_25},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atva/AlpuenteBER10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/AsarinDMT10,
  author       = {Eugene Asarin and
                  Thao Dang and
                  Oded Maler and
                  Romain Testylier},
  editor       = {Ahmed Bouajjani and
                  Wei{-}Ngan Chin},
  title        = {Using Redundant Constraints for Refinement},
  booktitle    = {Automated Technology for Verification and Analysis - 8th International
                  Symposium, {ATVA} 2010, Singapore, September 21-24, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6252},
  pages        = {37--51},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15643-4\_5},
  doi          = {10.1007/978-3-642-15643-4\_5},
  timestamp    = {Tue, 03 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/AsarinDMT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/BensalemBGPQ10,
  author       = {Saddek Bensalem and
                  Marius Bozga and
                  Susanne Graf and
                  Doron A. Peled and
                  Sophie Quinton},
  editor       = {Ahmed Bouajjani and
                  Wei{-}Ngan Chin},
  title        = {Methods for Knowledge Based Controlling of Distributed Systems},
  booktitle    = {Automated Technology for Verification and Analysis - 8th International
                  Symposium, {ATVA} 2010, Singapore, September 21-24, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6252},
  pages        = {52--66},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15643-4\_6},
  doi          = {10.1007/978-3-642-15643-4\_6},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/BensalemBGPQ10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/BogomolovMP10,
  author       = {Sergiy Bogomolov and
                  Corina Mitrohin and
                  Andreas Podelski},
  editor       = {Ahmed Bouajjani and
                  Wei{-}Ngan Chin},
  title        = {Composing Reachability Analyses of Hybrid Systems for Safety and Stability},
  booktitle    = {Automated Technology for Verification and Analysis - 8th International
                  Symposium, {ATVA} 2010, Singapore, September 21-24, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6252},
  pages        = {67--81},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15643-4\_7},
  doi          = {10.1007/978-3-642-15643-4\_7},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/BogomolovMP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/Cassez10,
  author       = {Franck Cassez},
  editor       = {Ahmed Bouajjani and
                  Wei{-}Ngan Chin},
  title        = {The Complexity of Codiagnosability for Discrete Event and Timed Systems},
  booktitle    = {Automated Technology for Verification and Analysis - 8th International
                  Symposium, {ATVA} 2010, Singapore, September 21-24, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6252},
  pages        = {82--96},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15643-4\_8},
  doi          = {10.1007/978-3-642-15643-4\_8},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atva/Cassez10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/ChatterjeeH10,
  author       = {Krishnendu Chatterjee and
                  Thomas A. Henzinger},
  editor       = {Ahmed Bouajjani and
                  Wei{-}Ngan Chin},
  title        = {Probabilistic Automata on Infinite Words: Decidability and Undecidability
                  Results},
  booktitle    = {Automated Technology for Verification and Analysis - 8th International
                  Symposium, {ATVA} 2010, Singapore, September 21-24, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6252},
  pages        = {1--16},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15643-4\_1},
  doi          = {10.1007/978-3-642-15643-4\_1},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/ChatterjeeH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/ChengBLK10,
  author       = {Chih{-}Hong Cheng and
                  Christian Buckl and
                  Michael Luttenberger and
                  Alois C. Knoll},
  editor       = {Ahmed Bouajjani and
                  Wei{-}Ngan Chin},
  title        = {{GAVS:} Game Arena Visualization and Synthesis},
  booktitle    = {Automated Technology for Verification and Analysis - 8th International
                  Symposium, {ATVA} 2010, Singapore, September 21-24, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6252},
  pages        = {347--352},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15643-4\_26},
  doi          = {10.1007/978-3-642-15643-4\_26},
  timestamp    = {Wed, 19 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/ChengBLK10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/DangTG10,
  author       = {Duc{-}Hanh Dang and
                  Anh{-}Hoang Truong and
                  Martin Gogolla},
  editor       = {Ahmed Bouajjani and
                  Wei{-}Ngan Chin},
  title        = {On Scenario Synchronization},
  booktitle    = {Automated Technology for Verification and Analysis - 8th International
                  Symposium, {ATVA} 2010, Singapore, September 21-24, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6252},
  pages        = {97--111},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15643-4\_9},
  doi          = {10.1007/978-3-642-15643-4\_9},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atva/DangTG10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/DavidLLNW10,
  author       = {Alexandre David and
                  Kim Guldstrand Larsen and
                  Axel Legay and
                  Ulrik Nyman and
                  Andrzej Wasowski},
  editor       = {Ahmed Bouajjani and
                  Wei{-}Ngan Chin},
  title        = {{ECDAR:} An Environment for Compositional Design and Analysis of Real
                  Time Systems},
  booktitle    = {Automated Technology for Verification and Analysis - 8th International
                  Symposium, {ATVA} 2010, Singapore, September 21-24, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6252},
  pages        = {365--370},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15643-4\_29},
  doi          = {10.1007/978-3-642-15643-4\_29},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atva/DavidLLNW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/ElwakilYW10,
  author       = {Mohamed Elwakil and
                  Zijiang Yang and
                  Liqiang Wang},
  editor       = {Ahmed Bouajjani and
                  Wei{-}Ngan Chin},
  title        = {{CRI:} Symbolic Debugger for {MCAPI} Applications},
  booktitle    = {Automated Technology for Verification and Analysis - 8th International
                  Symposium, {ATVA} 2010, Singapore, September 21-24, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6252},
  pages        = {353--358},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15643-4\_27},
  doi          = {10.1007/978-3-642-15643-4\_27},
  timestamp    = {Wed, 10 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/ElwakilYW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/FiliotJR10,
  author       = {Emmanuel Filiot and
                  Naiyong Jin and
                  Jean{-}Fran{\c{c}}ois Raskin},
  editor       = {Ahmed Bouajjani and
                  Wei{-}Ngan Chin},
  title        = {Compositional Algorithms for {LTL} Synthesis},
  booktitle    = {Automated Technology for Verification and Analysis - 8th International
                  Symposium, {ATVA} 2010, Singapore, September 21-24, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6252},
  pages        = {112--127},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15643-4\_10},
  doi          = {10.1007/978-3-642-15643-4\_10},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/FiliotJR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/Furia10,
  author       = {Carlo A. Furia},
  editor       = {Ahmed Bouajjani and
                  Wei{-}Ngan Chin},
  title        = {What's Decidable about Sequences?},
  booktitle    = {Automated Technology for Verification and Analysis - 8th International
                  Symposium, {ATVA} 2010, Singapore, September 21-24, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6252},
  pages        = {128--142},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15643-4\_11},
  doi          = {10.1007/978-3-642-15643-4\_11},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/Furia10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/GallaschB10,
  author       = {Guy Edward Gallasch and
                  Jonathan Billington},
  editor       = {Ahmed Bouajjani and
                  Wei{-}Ngan Chin},
  title        = {A Study of the Convergence of Steady State Probabilities in a Closed
                  Fork-Join Network},
  booktitle    = {Automated Technology for Verification and Analysis - 8th International
                  Symposium, {ATVA} 2010, Singapore, September 21-24, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6252},
  pages        = {143--157},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15643-4\_12},
  doi          = {10.1007/978-3-642-15643-4\_12},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/GallaschB10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/GeeraertsKGMR10,
  author       = {Gilles Geeraerts and
                  Gabriel Kalyon and
                  Tristan Le Gall and
                  Nicolas Maquet and
                  Jean{-}Fran{\c{c}}ois Raskin},
  editor       = {Ahmed Bouajjani and
                  Wei{-}Ngan Chin},
  title        = {Lattice-Valued Binary Decision Diagrams},
  booktitle    = {Automated Technology for Verification and Analysis - 8th International
                  Symposium, {ATVA} 2010, Singapore, September 21-24, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6252},
  pages        = {158--172},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15643-4\_13},
  doi          = {10.1007/978-3-642-15643-4\_13},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/GeeraertsKGMR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/GherghinaD10,
  author       = {Cristian Gherghina and
                  Cristina David},
  editor       = {Ahmed Bouajjani and
                  Wei{-}Ngan Chin},
  title        = {A Specification Logic for Exceptions and Beyond},
  booktitle    = {Automated Technology for Verification and Analysis - 8th International
                  Symposium, {ATVA} 2010, Singapore, September 21-24, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6252},
  pages        = {173--187},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15643-4\_14},
  doi          = {10.1007/978-3-642-15643-4\_14},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/GherghinaD10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/Gupta10,
  author       = {Atul Gupta},
  editor       = {Ahmed Bouajjani and
                  Wei{-}Ngan Chin},
  title        = {An Approach for Class Testing from Class Contracts},
  booktitle    = {Automated Technology for Verification and Analysis - 8th International
                  Symposium, {ATVA} 2010, Singapore, September 21-24, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6252},
  pages        = {203--217},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15643-4\_16},
  doi          = {10.1007/978-3-642-15643-4\_16},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atva/Gupta10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/GuptaPR10,
  author       = {Ashutosh Gupta and
                  Corneliu Popeea and
                  Andrey Rybalchenko},
  editor       = {Ahmed Bouajjani and
                  Wei{-}Ngan Chin},
  title        = {Non-monotonic Refinement of Control Abstraction for Concurrent Programs},
  booktitle    = {Automated Technology for Verification and Analysis - 8th International
                  Symposium, {ATVA} 2010, Singapore, September 21-24, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6252},
  pages        = {188--202},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15643-4\_15},
  doi          = {10.1007/978-3-642-15643-4\_15},
  timestamp    = {Fri, 23 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/GuptaPR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/HerbreteauS10,
  author       = {Fr{\'{e}}d{\'{e}}ric Herbreteau and
                  B. Srivathsan},
  editor       = {Ahmed Bouajjani and
                  Wei{-}Ngan Chin},
  title        = {Efficient On-the-Fly Emptiness Check for Timed B{\"{u}}chi Automata},
  booktitle    = {Automated Technology for Verification and Analysis - 8th International
                  Symposium, {ATVA} 2010, Singapore, September 21-24, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6252},
  pages        = {218--232},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15643-4\_17},
  doi          = {10.1007/978-3-642-15643-4\_17},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atva/HerbreteauS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/JaffarNS10,
  author       = {Joxan Jaffar and
                  Jorge A. Navas and
                  Andrew E. Santosa},
  editor       = {Ahmed Bouajjani and
                  Wei{-}Ngan Chin},
  title        = {Abstraction Learning},
  booktitle    = {Automated Technology for Verification and Analysis - 8th International
                  Symposium, {ATVA} 2010, Singapore, September 21-24, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6252},
  pages        = {17},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15643-4\_2},
  doi          = {10.1007/978-3-642-15643-4\_2},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/JaffarNS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/KatzP10,
  author       = {Gal Katz and
                  Doron A. Peled},
  editor       = {Ahmed Bouajjani and
                  Wei{-}Ngan Chin},
  title        = {{MCGP:} {A} Software Synthesis Tool Based on Model Checking and Genetic
                  Programming},
  booktitle    = {Automated Technology for Verification and Analysis - 8th International
                  Symposium, {ATVA} 2010, Singapore, September 21-24, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6252},
  pages        = {359--364},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15643-4\_28},
  doi          = {10.1007/978-3-642-15643-4\_28},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/KatzP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/Lisitsa10,
  author       = {Alexei Lisitsa},
  editor       = {Ahmed Bouajjani and
                  Wei{-}Ngan Chin},
  title        = {Reachability as Derivability, Finite Countermodels and Verification},
  booktitle    = {Automated Technology for Verification and Analysis - 8th International
                  Symposium, {ATVA} 2010, Singapore, September 21-24, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6252},
  pages        = {233--244},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15643-4\_18},
  doi          = {10.1007/978-3-642-15643-4\_18},
  timestamp    = {Fri, 03 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/Lisitsa10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/LiuSD10,
  author       = {Yang Liu and
                  Jun Sun and
                  Jin Song Dong},
  editor       = {Ahmed Bouajjani and
                  Wei{-}Ngan Chin},
  title        = {Developing Model Checkers Using {PAT}},
  booktitle    = {Automated Technology for Verification and Analysis - 8th International
                  Symposium, {ATVA} 2010, Singapore, September 21-24, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6252},
  pages        = {371--377},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15643-4\_30},
  doi          = {10.1007/978-3-642-15643-4\_30},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/LiuSD10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/LodayaS10,
  author       = {Kamal Lodaya and
                  A. V. Sreejith},
  editor       = {Ahmed Bouajjani and
                  Wei{-}Ngan Chin},
  title        = {{LTL} Can Be More Succinct},
  booktitle    = {Automated Technology for Verification and Analysis - 8th International
                  Symposium, {ATVA} 2010, Singapore, September 21-24, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6252},
  pages        = {245--258},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15643-4\_19},
  doi          = {10.1007/978-3-642-15643-4\_19},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/LodayaS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/LongZ10,
  author       = {Teng Long and
                  Wenhui Zhang},
  editor       = {Ahmed Bouajjani and
                  Wei{-}Ngan Chin},
  title        = {Auxiliary Constructs for Proving Liveness in Compassion Discrete Systems},
  booktitle    = {Automated Technology for Verification and Analysis - 8th International
                  Symposium, {ATVA} 2010, Singapore, September 21-24, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6252},
  pages        = {276--290},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15643-4\_21},
  doi          = {10.1007/978-3-642-15643-4\_21},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/LongZ10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/NdukwuM10,
  author       = {Ukachukwu Ndukwu and
                  A. K. McIver},
  editor       = {Ahmed Bouajjani and
                  Wei{-}Ngan Chin},
  title        = {{YAGA:} Automated Analysis of Quantitative Safety Specifications in
                  Probabilistic {B}},
  booktitle    = {Automated Technology for Verification and Analysis - 8th International
                  Symposium, {ATVA} 2010, Singapore, September 21-24, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6252},
  pages        = {378--386},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15643-4\_31},
  doi          = {10.1007/978-3-642-15643-4\_31},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atva/NdukwuM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/NguyenQNB10,
  author       = {An N. Nguyen and
                  Tho T. Quan and
                  Phung H. Nguyen and
                  Thang H. Bui},
  editor       = {Ahmed Bouajjani and
                  Wei{-}Ngan Chin},
  title        = {{COMBINE:} {A} Tool on Combined Formal Methods for Bindingly Verification},
  booktitle    = {Automated Technology for Verification and Analysis - 8th International
                  Symposium, {ATVA} 2010, Singapore, September 21-24, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6252},
  pages        = {387--395},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15643-4\_32},
  doi          = {10.1007/978-3-642-15643-4\_32},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/NguyenQNB10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/SoleC10,
  author       = {Marc Sol{\'{e}} and
                  Josep Carmona},
  editor       = {Ahmed Bouajjani and
                  Wei{-}Ngan Chin},
  title        = {Rbminer: {A} Tool for Discovering Petri Nets from Transition Systems},
  booktitle    = {Automated Technology for Verification and Analysis - 8th International
                  Symposium, {ATVA} 2010, Singapore, September 21-24, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6252},
  pages        = {396--402},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15643-4\_33},
  doi          = {10.1007/978-3-642-15643-4\_33},
  timestamp    = {Thu, 09 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atva/SoleC10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/TakataS10,
  author       = {Yoshiaki Takata and
                  Hiroyuki Seki},
  editor       = {Ahmed Bouajjani and
                  Wei{-}Ngan Chin},
  title        = {Automatic Generation of History-Based Access Control from Information
                  Flow Specification},
  booktitle    = {Automated Technology for Verification and Analysis - 8th International
                  Symposium, {ATVA} 2010, Singapore, September 21-24, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6252},
  pages        = {259--275},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15643-4\_20},
  doi          = {10.1007/978-3-642-15643-4\_20},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/TakataS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/TraonouezGJLR10,
  author       = {Louis{-}Marie Traonouez and
                  Bartosz Grabiec and
                  Claude Jard and
                  Didier Lime and
                  Olivier H. Roux},
  editor       = {Ahmed Bouajjani and
                  Wei{-}Ngan Chin},
  title        = {Symbolic Unfolding of Parametric Stopwatch Petri Nets},
  booktitle    = {Automated Technology for Verification and Analysis - 8th International
                  Symposium, {ATVA} 2010, Singapore, September 21-24, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6252},
  pages        = {291--305},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15643-4\_22},
  doi          = {10.1007/978-3-642-15643-4\_22},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atva/TraonouezGJLR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/TrivediW10,
  author       = {Ashutosh Trivedi and
                  Dominik Wojtczak},
  editor       = {Ahmed Bouajjani and
                  Wei{-}Ngan Chin},
  title        = {Recursive Timed Automata},
  booktitle    = {Automated Technology for Verification and Analysis - 8th International
                  Symposium, {ATVA} 2010, Singapore, September 21-24, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6252},
  pages        = {306--324},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15643-4\_23},
  doi          = {10.1007/978-3-642-15643-4\_23},
  timestamp    = {Sat, 01 Dec 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atva/TrivediW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/Walukiewicz10,
  author       = {Igor Walukiewicz},
  editor       = {Ahmed Bouajjani and
                  Wei{-}Ngan Chin},
  title        = {Synthesis: Words and Traces},
  booktitle    = {Automated Technology for Verification and Analysis - 8th International
                  Symposium, {ATVA} 2010, Singapore, September 21-24, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6252},
  pages        = {18--21},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15643-4\_3},
  doi          = {10.1007/978-3-642-15643-4\_3},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/Walukiewicz10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/XuGG10,
  author       = {Dana N. Xu and
                  Gregor G{\"{o}}{\ss}ler and
                  Alain Girault},
  editor       = {Ahmed Bouajjani and
                  Wei{-}Ngan Chin},
  title        = {Probabilistic Contracts for Component-Based Design},
  booktitle    = {Automated Technology for Verification and Analysis - 8th International
                  Symposium, {ATVA} 2010, Singapore, September 21-24, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6252},
  pages        = {325--340},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15643-4\_24},
  doi          = {10.1007/978-3-642-15643-4\_24},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/XuGG10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/atva/2010,
  editor       = {Ahmed Bouajjani and
                  Wei{-}Ngan Chin},
  title        = {Automated Technology for Verification and Analysis - 8th International
                  Symposium, {ATVA} 2010, Singapore, September 21-24, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6252},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15643-4},
  doi          = {10.1007/978-3-642-15643-4},
  isbn         = {978-3-642-15642-7},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/2010.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.