The SCEAS System
Navigation Menu

Conferences in DBLP

Automated Technology for Verification and Analysis (atva)
2006 (conf/atva/2006)

  1. Mihalis Yannakakis
    Analysis of Recursive Probabilistic Models. [Citation Graph (0, 0)][DBLP]
    ATVA, 2006, pp:1-5 [Conf]
  2. Jin Yang
    Verification Challenges and Opportunities in the New Era of Microprocessor Design. [Citation Graph (0, 0)][DBLP]
    ATVA, 2006, pp:6-7 [Conf]
  3. Thomas Ball
    Automated Abstraction of Software. [Citation Graph (0, 0)][DBLP]
    ATVA, 2006, pp:8- [Conf]
  4. Alastair F. Donaldson, Alice Miller
    Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives. [Citation Graph (0, 0)][DBLP]
    ATVA, 2006, pp:9-23 [Conf]
  5. Parosh Aziz Abdulla, Noomene Ben Henda, Richard Mayr, Sven Sandberg
    Eager Markov Chains. [Citation Graph (0, 0)][DBLP]
    ATVA, 2006, pp:24-38 [Conf]
  6. Fei He, Xiaoyu Song, Ming Gu, Jia-Guang Sun
    A Probabilistic Learning Approach for Counterexample Guided Abstraction Refinement. [Citation Graph (0, 0)][DBLP]
    ATVA, 2006, pp:39-50 [Conf]
  7. Ming-Ying Chung, Gianfranco Ciardo, Andy Jinqing Yu
    A Fine-Grained Fullness-Guided Chaining Heuristic for Symbolic Reachability Analysis. [Citation Graph (0, 0)][DBLP]
    ATVA, 2006, pp:51-66 [Conf]
  8. Pao-Ann Hsiung, Shang-Wei Lin, Yean-Ru Chen, Chun-Hsian Huang, Jia-Jen Yeh, Hong-Yu Sun, Chao-Sheng Lin, Hsiao-Win Liao
    Model Checking Timed Systems with Urgencies. [Citation Graph (0, 0)][DBLP]
    ATVA, 2006, pp:67-81 [Conf]
  9. Chao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gupta
    Whodunit? Causal Analysis for Counterexamples. [Citation Graph (0, 0)][DBLP]
    ATVA, 2006, pp:82-95 [Conf]
  10. Salvatore La Torre, Margherita Napoli, Mimmo Parente
    On the Membership Problem for Visibly Pushdown Languages. [Citation Graph (0, 0)][DBLP]
    ATVA, 2006, pp:96-109 [Conf]
  11. Orna Kupferman, Robby Lampert
    On the Construction of Fine Automata for Safety Properties. [Citation Graph (0, 0)][DBLP]
    ATVA, 2006, pp:110-124 [Conf]
  12. Benjamin Aminof, Orna Kupferman
    On the Succinctness of Nondeterminism. [Citation Graph (0, 0)][DBLP]
    ATVA, 2006, pp:125-140 [Conf]
  13. Dejvuth Suwimonteerabuth, Stefan Schwoon, Javier Esparza
    Efficient Algorithms for Alternating Pushdown Systems with an Application to the Computation of Certificate Chains. [Citation Graph (0, 0)][DBLP]
    ATVA, 2006, pp:141-153 [Conf]
  14. Fei Xie, Guowu Yang, Xiaoyu Song
    Compositional Reasoning for Hardware/Software Co-verification. [Citation Graph (0, 0)][DBLP]
    ATVA, 2006, pp:154-169 [Conf]
  15. Wonhong Nam, Rajeev Alur
    Learning-Based Symbolic Assume-Guarantee Reasoning with Automatic Decomposition. [Citation Graph (0, 0)][DBLP]
    ATVA, 2006, pp:170-185 [Conf]
  16. Bow-Yaw Wang
    On the Satisfiability of Modular Arithmetic Formulae. [Citation Graph (0, 0)][DBLP]
    ATVA, 2006, pp:186-199 [Conf]
  17. Malte Helmert, Robert Mattmüller, Sven Schewe
    Selective Approaches for Solving Weak Games. [Citation Graph (0, 0)][DBLP]
    ATVA, 2006, pp:200-214 [Conf]
  18. Thierry Cachat
    Controller Synthesis and Ordinal Automata. [Citation Graph (0, 0)][DBLP]
    ATVA, 2006, pp:215-228 [Conf]
  19. Tomohiro Yoneda, Chris J. Myers
    Effective Contraction of Timed STGs for Decomposition Based Timed Circuit Synthesis. [Citation Graph (0, 0)][DBLP]
    ATVA, 2006, pp:229-244 [Conf]
  20. Sven Schewe
    Synthesis for Probabilistic Environments. [Citation Graph (0, 0)][DBLP]
    ATVA, 2006, pp:245-259 [Conf]
  21. Jinfeng Huang, Marc Geilen, Jeroen Voeten, Henk Corporaal
    Branching-Time Property Preservation Between Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    ATVA, 2006, pp:260-275 [Conf]
  22. Werner Damm, Stefan Disch, Hardi Hungar, Jun Pang, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, Boris Wirtz
    Automatic Verification of Hybrid Systems with Large Discrete State Space. [Citation Graph (0, 0)][DBLP]
    ATVA, 2006, pp:276-291 [Conf]
  23. Patricia Bouyer, Serge Haddad, Pierre-Alain Reynier
    Timed Unfoldings for Networks of Timed Automata. [Citation Graph (0, 0)][DBLP]
    ATVA, 2006, pp:292-306 [Conf]
  24. Franck Cassez, Thomas Chatain, Claude Jard
    Symbolic Unfoldings for Networks of Timed Automata. [Citation Graph (0, 0)][DBLP]
    ATVA, 2006, pp:307-321 [Conf]
  25. Harald Fecher, Michael Huth
    Ranked Predicate Abstraction for Branching Time: Complete, Incremental, and Precise. [Citation Graph (0, 0)][DBLP]
    ATVA, 2006, pp:322-336 [Conf]
  26. Houda Bel Mokadem, Béatrice Bérard, Patricia Bouyer, François Laroussinie
    Timed Temporal Logics for Abstracting Transient States. [Citation Graph (0, 0)][DBLP]
    ATVA, 2006, pp:337-351 [Conf]
  27. Songtao Xia, Ben Di Vito, César Muñoz
    Predicate Abstraction of Programs with Non-linear Computation. [Citation Graph (0, 0)][DBLP]
    ATVA, 2006, pp:352-368 [Conf]
  28. Puneet Bhateja, Paul Gastin, Madhavan Mukund
    A Fresh Look at Testing for Asynchronous Communication. [Citation Graph (0, 0)][DBLP]
    ATVA, 2006, pp:369-383 [Conf]
  29. M. C. Dharmadeep, K. Gopinath
    Proactive Leader Election in Asynchronous Shared Memory Systems. [Citation Graph (0, 0)][DBLP]
    ATVA, 2006, pp:384-398 [Conf]
  30. Laura Brandán Briones, Ed Brinksma, Mariëlle Stoelinga
    A Semantic Framework for Test Coverage. [Citation Graph (0, 0)][DBLP]
    ATVA, 2006, pp:399-414 [Conf]
  31. Giorgio Delzanno, Javier Esparza, Jirí Srba
    Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols. [Citation Graph (0, 0)][DBLP]
    ATVA, 2006, pp:415-429 [Conf]
  32. Ye Zhang 0002, Hanne Riis Nielson
    Analyzing Security Protocols in Hierarchical Networks. [Citation Graph (0, 0)][DBLP]
    ATVA, 2006, pp:430-445 [Conf]
  33. Colin J. Fidge, Yu-Chu Tian
    Functional Analysis of a Real-Time Protocol for Networked Control Systems. [Citation Graph (0, 0)][DBLP]
    ATVA, 2006, pp:446-460 [Conf]
  34. Fernando Rosa Velardo, David de Frutos-Escrig
    Symbolic Semantics for the Verification of Security Properties of Mobile Petri Nets. [Citation Graph (0, 0)][DBLP]
    ATVA, 2006, pp:461-476 [Conf]
  35. Ralf Wimmer, Marc Herbstritt, Holger Hermanns, Kelley Strampp, Bernd Becker
    Sigref- A Symbolic Bisimulation Tool Box. [Citation Graph (0, 0)][DBLP]
    ATVA, 2006, pp:477-492 [Conf]
  36. Stéphane Demri, Alain Finkel, Valentin Goranko, Govert van Drimmelen
    Towards a Model-Checker for Counter Systems. [Citation Graph (0, 0)][DBLP]
    ATVA, 2006, pp:493-507 [Conf]
  37. Peter Niebert, Hongyang Qu
    The Implementation of Mazurkiewicz Traces in POEM. [Citation Graph (0, 0)][DBLP]
    ATVA, 2006, pp:508-522 [Conf]
  38. Hang Su, Graham Hemingway, Kai Chen, T. John Koo
    Model-Based Tool-Chain Infrastructure for Automated Analysis of Embedded Systems. [Citation Graph (0, 0)][DBLP]
    ATVA, 2006, pp:523-537 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002