Search dblp for Publications

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

 download as .bib file

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