Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/atva/AtigBKS12,
  author       = {Mohamed Faouzi Atig and
                  Ahmed Bouajjani and
                  K. Narayan Kumar and
                  Prakash Saivasan},
  editor       = {Supratik Chakraborty and
                  Madhavan Mukund},
  title        = {Linear-Time Model-Checking for Multithreaded Programs under Scope-Bounding},
  booktitle    = {Automated Technology for Verification and Analysis - 10th International
                  Symposium, {ATVA} 2012, Thiruvananthapuram, India, October 3-6, 2012.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7561},
  pages        = {152--166},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33386-6\_13},
  doi          = {10.1007/978-3-642-33386-6\_13},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/AtigBKS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/BeckerELM12,
  author       = {Bernd Becker and
                  R{\"{u}}diger Ehlers and
                  Matthew Lewis and
                  Paolo Marin},
  editor       = {Supratik Chakraborty and
                  Madhavan Mukund},
  title        = {{ALLQBF} Solving by Computational Learning},
  booktitle    = {Automated Technology for Verification and Analysis - 10th International
                  Symposium, {ATVA} 2012, Thiruvananthapuram, India, October 3-6, 2012.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7561},
  pages        = {370--384},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33386-6\_29},
  doi          = {10.1007/978-3-642-33386-6\_29},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atva/BeckerELM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/BolligGMZ12,
  author       = {Benedikt Bollig and
                  Paul Gastin and
                  Benjamin Monmege and
                  Marc Zeitoun},
  editor       = {Supratik Chakraborty and
                  Madhavan Mukund},
  title        = {A Probabilistic Kleene Theorem},
  booktitle    = {Automated Technology for Verification and Analysis - 10th International
                  Symposium, {ATVA} 2012, Thiruvananthapuram, India, October 3-6, 2012.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7561},
  pages        = {400--415},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33386-6\_31},
  doi          = {10.1007/978-3-642-33386-6\_31},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atva/BolligGMZ12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/BouajjaniDES12,
  author       = {Ahmed Bouajjani and
                  Cezara Dragoi and
                  Constantin Enea and
                  Mihaela Sighireanu},
  editor       = {Supratik Chakraborty and
                  Madhavan Mukund},
  title        = {Accurate Invariant Checking for Programs Manipulating Lists and Arrays
                  with Infinite Data},
  booktitle    = {Automated Technology for Verification and Analysis - 10th International
                  Symposium, {ATVA} 2012, Thiruvananthapuram, India, October 3-6, 2012.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7561},
  pages        = {167--182},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33386-6\_14},
  doi          = {10.1007/978-3-642-33386-6\_14},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/BouajjaniDES12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/BulychevCDLRR12,
  author       = {Peter E. Bulychev and
                  Franck Cassez and
                  Alexandre David and
                  Kim Guldstrand Larsen and
                  Jean{-}Fran{\c{c}}ois Raskin and
                  Pierre{-}Alain Reynier},
  editor       = {Supratik Chakraborty and
                  Madhavan Mukund},
  title        = {Controllers with Minimal Observation Power (Application to Timed Systems)},
  booktitle    = {Automated Technology for Verification and Analysis - 10th International
                  Symposium, {ATVA} 2012, Thiruvananthapuram, India, October 3-6, 2012.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7561},
  pages        = {223--237},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33386-6\_19},
  doi          = {10.1007/978-3-642-33386-6\_19},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/BulychevCDLRR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/CasselJHS12,
  author       = {Sofia Cassel and
                  Bengt Jonsson and
                  Falk Howar and
                  Bernhard Steffen},
  editor       = {Supratik Chakraborty and
                  Madhavan Mukund},
  title        = {A Succinct Canonical Register Automaton Model for Data Domains with
                  Binary Relations},
  booktitle    = {Automated Technology for Verification and Analysis - 10th International
                  Symposium, {ATVA} 2012, Thiruvananthapuram, India, October 3-6, 2012.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7561},
  pages        = {57--71},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33386-6\_6},
  doi          = {10.1007/978-3-642-33386-6\_6},
  timestamp    = {Tue, 31 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/CasselJHS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/ChatterjeeCM12,
  author       = {Krishnendu Chatterjee and
                  Martin Chmelik and
                  Rupak Majumdar},
  editor       = {Supratik Chakraborty and
                  Madhavan Mukund},
  title        = {Equivalence of Games with Probabilistic Uncertainty and Partial-Observation
                  Games},
  booktitle    = {Automated Technology for Verification and Analysis - 10th International
                  Symposium, {ATVA} 2012, Thiruvananthapuram, India, October 3-6, 2012.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7561},
  pages        = {385--399},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33386-6\_30},
  doi          = {10.1007/978-3-642-33386-6\_30},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/ChatterjeeCM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/DonzeMBNGS12,
  author       = {Alexandre Donz{\'{e}} and
                  Oded Maler and
                  Ezio Bartocci and
                  Dejan Nickovic and
                  Radu Grosu and
                  Scott A. Smolka},
  editor       = {Supratik Chakraborty and
                  Madhavan Mukund},
  title        = {On Temporal Logic and Signal Processing},
  booktitle    = {Automated Technology for Verification and Analysis - 10th International
                  Symposium, {ATVA} 2012, Thiruvananthapuram, India, October 3-6, 2012.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7561},
  pages        = {92--106},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33386-6\_9},
  doi          = {10.1007/978-3-642-33386-6\_9},
  timestamp    = {Thu, 01 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/DonzeMBNGS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/EvangelistaLPP12,
  author       = {Sami Evangelista and
                  Alfons Laarman and
                  Laure Petrucci and
                  Jaco van de Pol},
  editor       = {Supratik Chakraborty and
                  Madhavan Mukund},
  title        = {Improved Multi-Core Nested Depth-First Search},
  booktitle    = {Automated Technology for Verification and Analysis - 10th International
                  Symposium, {ATVA} 2012, Thiruvananthapuram, India, October 3-6, 2012.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7561},
  pages        = {269--283},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33386-6\_22},
  doi          = {10.1007/978-3-642-33386-6\_22},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atva/EvangelistaLPP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/FearnleyPS12,
  author       = {John Fearnley and
                  Doron A. Peled and
                  Sven Schewe},
  editor       = {Supratik Chakraborty and
                  Madhavan Mukund},
  title        = {Synthesis of Succinct Systems},
  booktitle    = {Automated Technology for Verification and Analysis - 10th International
                  Symposium, {ATVA} 2012, Thiruvananthapuram, India, October 3-6, 2012.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7561},
  pages        = {208--222},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33386-6\_18},
  doi          = {10.1007/978-3-642-33386-6\_18},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/FearnleyPS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/FioritiHHW12,
  author       = {Luis Mar{\'{\i}}a Ferrer Fioriti and
                  Ernst Moritz Hahn and
                  Holger Hermanns and
                  Bj{\"{o}}rn Wachter},
  editor       = {Supratik Chakraborty and
                  Madhavan Mukund},
  title        = {Variable Probabilistic Abstraction Refinement},
  booktitle    = {Automated Technology for Verification and Analysis - 10th International
                  Symposium, {ATVA} 2012, Thiruvananthapuram, India, October 3-6, 2012.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7561},
  pages        = {300--316},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33386-6\_24},
  doi          = {10.1007/978-3-642-33386-6\_24},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/FioritiHHW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/ForejtKP12,
  author       = {Vojtech Forejt and
                  Marta Z. Kwiatkowska and
                  David Parker},
  editor       = {Supratik Chakraborty and
                  Madhavan Mukund},
  title        = {Pareto Curves for Probabilistic Model Checking},
  booktitle    = {Automated Technology for Verification and Analysis - 10th International
                  Symposium, {ATVA} 2012, Thiruvananthapuram, India, October 3-6, 2012.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7561},
  pages        = {317--332},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33386-6\_25},
  doi          = {10.1007/978-3-642-33386-6\_25},
  timestamp    = {Thu, 01 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/ForejtKP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/Furia12,
  author       = {Carlo A. Furia},
  editor       = {Supratik Chakraborty and
                  Madhavan Mukund},
  title        = {A Verifier for Functional Properties of Sequence-Manipulating Programs},
  booktitle    = {Automated Technology for Verification and Analysis - 10th International
                  Symposium, {ATVA} 2012, Thiruvananthapuram, India, October 3-6, 2012.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7561},
  pages        = {183--186},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33386-6\_15},
  doi          = {10.1007/978-3-642-33386-6\_15},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/Furia12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/GaiserKE12,
  author       = {Andreas Gaiser and
                  Jan Kret{\'{\i}}nsk{\'{y}} and
                  Javier Esparza},
  editor       = {Supratik Chakraborty and
                  Madhavan Mukund},
  title        = {Rabinizer: Small Deterministic Automata for LTL(F, {G)}},
  booktitle    = {Automated Technology for Verification and Analysis - 10th International
                  Symposium, {ATVA} 2012, Thiruvananthapuram, India, October 3-6, 2012.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7561},
  pages        = {72--76},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33386-6\_7},
  doi          = {10.1007/978-3-642-33386-6\_7},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/GaiserKE12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/GiroR12,
  author       = {Sergio Giro and
                  Markus N. Rabe},
  editor       = {Supratik Chakraborty and
                  Madhavan Mukund},
  title        = {Verification of Partial-Information Probabilistic Systems Using Counterexample-Guided
                  Refinements},
  booktitle    = {Automated Technology for Verification and Analysis - 10th International
                  Symposium, {ATVA} 2012, Thiruvananthapuram, India, October 3-6, 2012.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7561},
  pages        = {333--348},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33386-6\_26},
  doi          = {10.1007/978-3-642-33386-6\_26},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/GiroR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/GrumbergKS12,
  author       = {Orna Grumberg and
                  Orna Kupferman and
                  Sarai Sheinvald},
  editor       = {Supratik Chakraborty and
                  Madhavan Mukund},
  title        = {Model Checking Systems and Specifications with Parameterized Atomic
                  Propositions},
  booktitle    = {Automated Technology for Verification and Analysis - 10th International
                  Symposium, {ATVA} 2012, Thiruvananthapuram, India, October 3-6, 2012.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7561},
  pages        = {122--136},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33386-6\_11},
  doi          = {10.1007/978-3-642-33386-6\_11},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/GrumbergKS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/GudemannSO12,
  author       = {Matthias G{\"{u}}demann and
                  Gwen Sala{\"{u}}n and
                  Meriem Ouederni},
  editor       = {Supratik Chakraborty and
                  Madhavan Mukund},
  title        = {Counterexample Guided Synthesis of Monitors for Realizability Enforcement},
  booktitle    = {Automated Technology for Verification and Analysis - 10th International
                  Symposium, {ATVA} 2012, Thiruvananthapuram, India, October 3-6, 2012.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7561},
  pages        = {238--253},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33386-6\_20},
  doi          = {10.1007/978-3-642-33386-6\_20},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/GudemannSO12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/Gupta12,
  author       = {Ashutosh Gupta},
  editor       = {Supratik Chakraborty and
                  Madhavan Mukund},
  title        = {Improved Single Pass Algorithms for Resolution Proof Reduction},
  booktitle    = {Automated Technology for Verification and Analysis - 10th International
                  Symposium, {ATVA} 2012, Thiruvananthapuram, India, October 3-6, 2012.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7561},
  pages        = {107--121},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33386-6\_10},
  doi          = {10.1007/978-3-642-33386-6\_10},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/Gupta12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/HalamishK12,
  author       = {Shulamit Halamish and
                  Orna Kupferman},
  editor       = {Supratik Chakraborty and
                  Madhavan Mukund},
  title        = {Approximating Deterministic Lattice Automata},
  booktitle    = {Automated Technology for Verification and Analysis - 10th International
                  Symposium, {ATVA} 2012, Thiruvananthapuram, India, October 3-6, 2012.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7561},
  pages        = {27--41},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33386-6\_4},
  doi          = {10.1007/978-3-642-33386-6\_4},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/HalamishK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/HojjatIKKR12,
  author       = {Hossein Hojjat and
                  Radu Iosif and
                  Filip Konecn{\'{y}} and
                  Viktor Kuncak and
                  Philipp R{\"{u}}mmer},
  editor       = {Supratik Chakraborty and
                  Madhavan Mukund},
  title        = {Accelerating Interpolants},
  booktitle    = {Automated Technology for Verification and Analysis - 10th International
                  Symposium, {ATVA} 2012, Thiruvananthapuram, India, October 3-6, 2012.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7561},
  pages        = {187--202},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33386-6\_16},
  doi          = {10.1007/978-3-642-33386-6\_16},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/HojjatIKKR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/JansenAVWKB12,
  author       = {Nils Jansen and
                  Erika {\'{A}}brah{\'{a}}m and
                  Matthias Volk and
                  Ralf Wimmer and
                  Joost{-}Pieter Katoen and
                  Bernd Becker},
  editor       = {Supratik Chakraborty and
                  Madhavan Mukund},
  title        = {The {COMICS} Tool - Computing Minimal Counterexamples for DTMCs},
  booktitle    = {Automated Technology for Verification and Analysis - 10th International
                  Symposium, {ATVA} 2012, Thiruvananthapuram, India, October 3-6, 2012.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7561},
  pages        = {349--353},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33386-6\_27},
  doi          = {10.1007/978-3-642-33386-6\_27},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/JansenAVWKB12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/Neider12,
  author       = {Daniel Neider},
  editor       = {Supratik Chakraborty and
                  Madhavan Mukund},
  title        = {Computing Minimal Separating DFAs and Regular Invariants Using {SAT}
                  and {SMT} Solvers},
  booktitle    = {Automated Technology for Verification and Analysis - 10th International
                  Symposium, {ATVA} 2012, Thiruvananthapuram, India, October 3-6, 2012.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7561},
  pages        = {354--369},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33386-6\_28},
  doi          = {10.1007/978-3-642-33386-6\_28},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atva/Neider12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/PalaniappanT12,
  author       = {Sucheendra K. Palaniappan and
                  P. S. Thiagarajan},
  editor       = {Supratik Chakraborty and
                  Madhavan Mukund},
  title        = {Dynamic Bayesian Networks: {A} Factored Model of Probabilistic Dynamics},
  booktitle    = {Automated Technology for Verification and Analysis - 10th International
                  Symposium, {ATVA} 2012, Thiruvananthapuram, India, October 3-6, 2012.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7561},
  pages        = {17--25},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33386-6\_2},
  doi          = {10.1007/978-3-642-33386-6\_2},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atva/PalaniappanT12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/PandyaS12,
  author       = {Paritosh K. Pandya and
                  Simoni S. Shah},
  editor       = {Supratik Chakraborty and
                  Madhavan Mukund},
  title        = {The Unary Fragments of Metric Interval Temporal Logic: Bounded versus
                  Lower Bound Constraints},
  booktitle    = {Automated Technology for Verification and Analysis - 10th International
                  Symposium, {ATVA} 2012, Thiruvananthapuram, India, October 3-6, 2012.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7561},
  pages        = {77--91},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33386-6\_8},
  doi          = {10.1007/978-3-642-33386-6\_8},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/PandyaS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/Podelski12,
  author       = {Andreas Podelski},
  editor       = {Supratik Chakraborty and
                  Madhavan Mukund},
  title        = {Interpolant Automata - (Invited Talk)},
  booktitle    = {Automated Technology for Verification and Analysis - 10th International
                  Symposium, {ATVA} 2012, Thiruvananthapuram, India, October 3-6, 2012.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7561},
  pages        = {26},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33386-6\_3},
  doi          = {10.1007/978-3-642-33386-6\_3},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/Podelski12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/SaadDB12,
  author       = {Rodrigo T. Saad and
                  Silvano Dal{-}Zilio and
                  Bernard Berthomieu},
  editor       = {Supratik Chakraborty and
                  Madhavan Mukund},
  title        = {An Experiment on Parallel Model Checking of a {CTL} Fragment},
  booktitle    = {Automated Technology for Verification and Analysis - 10th International
                  Symposium, {ATVA} 2012, Thiruvananthapuram, India, October 3-6, 2012.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7561},
  pages        = {284--299},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33386-6\_23},
  doi          = {10.1007/978-3-642-33386-6\_23},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/SaadDB12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/SassiTDG12,
  author       = {Mohamed Amin Ben Sassi and
                  Romain Testylier and
                  Thao Dang and
                  Antoine Girard},
  editor       = {Supratik Chakraborty and
                  Madhavan Mukund},
  title        = {Reachability Analysis of Polynomial Systems Using Linear Programming
                  Relaxations},
  booktitle    = {Automated Technology for Verification and Analysis - 10th International
                  Symposium, {ATVA} 2012, Thiruvananthapuram, India, October 3-6, 2012.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7561},
  pages        = {137--151},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33386-6\_12},
  doi          = {10.1007/978-3-642-33386-6\_12},
  timestamp    = {Tue, 03 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/SassiTDG12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/ScheweV12,
  author       = {Sven Schewe and
                  Thomas Varghese},
  editor       = {Supratik Chakraborty and
                  Madhavan Mukund},
  title        = {Tight Bounds for the Determinisation and Complementation of Generalised
                  B{\"{u}}chi Automata},
  booktitle    = {Automated Technology for Verification and Analysis - 10th International
                  Symposium, {ATVA} 2012, Thiruvananthapuram, India, October 3-6, 2012.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7561},
  pages        = {42--56},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33386-6\_5},
  doi          = {10.1007/978-3-642-33386-6\_5},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/ScheweV12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/Schwartz-NarbonneWM12,
  author       = {Daniel Schwartz{-}Narbonne and
                  Georg Weissenbacher and
                  Sharad Malik},
  editor       = {Supratik Chakraborty and
                  Madhavan Mukund},
  title        = {Parallel Assertions for Architectures with Weak Memory Models},
  booktitle    = {Automated Technology for Verification and Analysis - 10th International
                  Symposium, {ATVA} 2012, Thiruvananthapuram, India, October 3-6, 2012.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7561},
  pages        = {254--268},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33386-6\_21},
  doi          = {10.1007/978-3-642-33386-6\_21},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/Schwartz-NarbonneWM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/SeryFS12,
  author       = {Ondrej Sery and
                  Grigory Fedyukovich and
                  Natasha Sharygina},
  editor       = {Supratik Chakraborty and
                  Madhavan Mukund},
  title        = {FunFrog: Bounded Model Checking with Interpolation-Based Function
                  Summarization},
  booktitle    = {Automated Technology for Verification and Analysis - 10th International
                  Symposium, {ATVA} 2012, Thiruvananthapuram, India, October 3-6, 2012.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7561},
  pages        = {203--207},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33386-6\_17},
  doi          = {10.1007/978-3-642-33386-6\_17},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atva/SeryFS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/SoudjaniA12,
  author       = {Sadegh Esmaeil Zadeh Soudjani and
                  Alessandro Abate},
  editor       = {Supratik Chakraborty and
                  Madhavan Mukund},
  title        = {Higher-Order Approximations for Verification of Stochastic Hybrid
                  Systems},
  booktitle    = {Automated Technology for Verification and Analysis - 10th International
                  Symposium, {ATVA} 2012, Thiruvananthapuram, India, October 3-6, 2012.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7561},
  pages        = {416--434},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33386-6\_32},
  doi          = {10.1007/978-3-642-33386-6\_32},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atva/SoudjaniA12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/ZhangMM12,
  author       = {Shuyuan Zhang and
                  Sharad Malik and
                  Rick McGeer},
  editor       = {Supratik Chakraborty and
                  Madhavan Mukund},
  title        = {Verification of Computer Switching Networks: An Overview},
  booktitle    = {Automated Technology for Verification and Analysis - 10th International
                  Symposium, {ATVA} 2012, Thiruvananthapuram, India, October 3-6, 2012.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7561},
  pages        = {1--16},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33386-6\_1},
  doi          = {10.1007/978-3-642-33386-6\_1},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/ZhangMM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/atva/2012,
  editor       = {Supratik Chakraborty and
                  Madhavan Mukund},
  title        = {Automated Technology for Verification and Analysis - 10th International
                  Symposium, {ATVA} 2012, Thiruvananthapuram, India, October 3-6, 2012.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7561},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33386-6},
  doi          = {10.1007/978-3-642-33386-6},
  isbn         = {978-3-642-33385-9},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/2012.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

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