The SCEAS System
Navigation Menu

Conferences in DBLP

Correct Hardware Design and Verification Methods (CHARME) (charme)
2003 (conf/charme/2003)

  1. Wolfgang Roesner
    What Is beyond the RTL Horizon for Microprocessor and System Design? [Citation Graph (0, 0)][DBLP]
    CHARME, 2003, pp:1- [Conf]
  2. Fabio Somenzi
    The Charme of Abstract Entities. [Citation Graph (0, 0)][DBLP]
    CHARME, 2003, pp:2- [Conf]
  3. Daniel Geist
    The PSL/Sugar Specification Language A Language for all Seasons. [Citation Graph (0, 0)][DBLP]
    CHARME, 2003, pp:3- [Conf]
  4. Mary Sheeran
    Finding Regularity: Describing and Analysing Circuits That Are Not Quite Regular. [Citation Graph (0, 0)][DBLP]
    CHARME, 2003, pp:4-18 [Conf]
  5. Sagar Chaki, Edmund M. Clarke, Alex Groce, Ofer Strichman
    Predicate Abstraction with Minimum Predicates. [Citation Graph (0, 0)][DBLP]
    CHARME, 2003, pp:19-34 [Conf]
  6. Sharon Barner, Ishai Rabinovitz
    Effcient Symbolic Model Checking of Software Using Partial Disjunctive Partitioning. [Citation Graph (0, 0)][DBLP]
    CHARME, 2003, pp:35-50 [Conf]
  7. Sven Beyer, Chris Jacobi, Daniel Kroening, Dirk Leinenbach, Wolfgang J. Paul
    Instantiating Uninterpreted Functional Units and Memory System: Functional Verification of the VAMP. [Citation Graph (0, 0)][DBLP]
    CHARME, 2003, pp:51-65 [Conf]
  8. Mark Aagaard
    A Hazards-Based Correctness Statement for Pipelined Circuits. [Citation Graph (0, 0)][DBLP]
    CHARME, 2003, pp:66-80 [Conf]
  9. Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom, Konrad Slind
    Analyzing the Intel Itanium Memory Ordering Rules Using Logic Programming and SAT. [Citation Graph (0, 0)][DBLP]
    CHARME, 2003, pp:81-95 [Conf]
  10. Sankar Gurumurthy, Orna Kupferman, Fabio Somenzi, Moshe Y. Vardi
    On Complementing Nondeterministic Büchi Automata. [Citation Graph (0, 0)][DBLP]
    CHARME, 2003, pp:96-110 [Conf]
  11. Hana Chockler, Orna Kupferman, Moshe Y. Vardi
    Coverage Metrics for Formal Verification. [Citation Graph (0, 0)][DBLP]
    CHARME, 2003, pp:111-125 [Conf]
  12. Roberto Sebastiani, Stefano Tonetta
    "More Deterministic" vs. "Smaller" Büchi Automata for Efficient LTL Model Checking. [Citation Graph (0, 0)][DBLP]
    CHARME, 2003, pp:126-140 [Conf]
  13. Rachel Tzoref, Mark Matusevich, Eli Berger, Ilan Beer
    An Optimized Symbolic Bounded Model Checking Engine. [Citation Graph (0, 0)][DBLP]
    CHARME, 2003, pp:141-149 [Conf]
  14. Ghiath Al Sammane, Diana Toma, Julien Schmaltz, Pierre Ostier, Dominique Borrione
    Constrained Symbolic Simulation with Mathematica and ACL2. [Citation Graph (0, 0)][DBLP]
    CHARME, 2003, pp:150-157 [Conf]
  15. Husam Abu-Haimed, Sergey Berezin, David L. Dill
    Semi-formal Verification of Memory Systems by Symbolic Simulation. [Citation Graph (0, 0)][DBLP]
    CHARME, 2003, pp:158-163 [Conf]
  16. Cédric Roux, Emmanuelle Encrenaz
    CTL May Be Ambiguous When Model Checking Moore Machines. [Citation Graph (0, 0)][DBLP]
    CHARME, 2003, pp:164-169 [Conf]
  17. Alan J. Hu, Jeremy Casas, Jin Yang
    Reasoning about GSTE Assertion Graphs. [Citation Graph (0, 0)][DBLP]
    CHARME, 2003, pp:170-184 [Conf]
  18. Kathi Fisler
    Towards Diagrammability and Efficiency in Event Sequence Languages. [Citation Graph (0, 0)][DBLP]
    CHARME, 2003, pp:185-199 [Conf]
  19. Michael J. C. Gordon, Joe Hurd, Konrad Slind
    Executing the Formal Semantics of the Accellera Property Specification Language by Mechanised Theorem Proving. [Citation Graph (0, 0)][DBLP]
    CHARME, 2003, pp:200-215 [Conf]
  20. E. Allen Emerson, Thomas Wahl
    On Combining Symmetry Reduction and Symbolic Representation for Efficient Model Checking. [Citation Graph (0, 0)][DBLP]
    CHARME, 2003, pp:216-230 [Conf]
  21. Mohamed Layouni, Jozef Hooman, Sofiène Tahar
    On the Correctness of an Intrusion-Tolerant Group Communication Protocol. [Citation Graph (0, 0)][DBLP]
    CHARME, 2003, pp:231-246 [Conf]
  22. E. Allen Emerson, Vineet Kahlon
    Exact and Efficient Verification of Parameterized Cache Coherence Protocols. [Citation Graph (0, 0)][DBLP]
    CHARME, 2003, pp:247-262 [Conf]
  23. Charles Hymans
    Design and Implementation of an Abstract Interpreter for VHDL. [Citation Graph (0, 0)][DBLP]
    CHARME, 2003, pp:263-269 [Conf]
  24. Lennart Beringer
    A Programming Language Based Analysis of Operand Forwarding. [Citation Graph (0, 0)][DBLP]
    CHARME, 2003, pp:270-276 [Conf]
  25. Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli
    Integrating RAM and Disk Based Verification within the Mur-phi Verifier. [Citation Graph (0, 0)][DBLP]
    CHARME, 2003, pp:277-282 [Conf]
  26. Satnam Singh
    Design and Verification of CoreConnectTM IP Using Esterel. [Citation Graph (0, 0)][DBLP]
    CHARME, 2003, pp:283-288 [Conf]
  27. J. Strother Moore
    Inductive Assertions and Operational Semantics. [Citation Graph (0, 0)][DBLP]
    CHARME, 2003, pp:289-303 [Conf]
  28. Panagiotis Manolios
    A Compositional Theory of Refinement for Branching Time. [Citation Graph (0, 0)][DBLP]
    CHARME, 2003, pp:304-318 [Conf]
  29. Warren A. Hunt Jr., Robert Bellarmine Krug, J. Strother Moore
    Linear and Nonlinear Arithmetic in ACL2. [Citation Graph (0, 0)][DBLP]
    CHARME, 2003, pp:319-333 [Conf]
  30. Malay K. Ganai, Aarti Gupta, Zijiang Yang, Pranav Ashar
    Efficient Distributed SAT and SAT-Based Distributed Bounded Model Checking. [Citation Graph (0, 0)][DBLP]
    CHARME, 2003, pp:334-347 [Conf]
  31. Randal E. Bryant, Shuvendu K. Lahiri, Sanjit A. Seshia
    Convergence Testing in Term-Level Bounded Model Checking. [Citation Graph (0, 0)][DBLP]
    CHARME, 2003, pp:348-362 [Conf]
  32. Michael Langberg, Amir Pnueli, Yoav Rodeh
    The ROBDD Size of Simple CNF Formulas. [Citation Graph (0, 0)][DBLP]
    CHARME, 2003, pp:363-377 [Conf]
  33. Enric Pastor, Marco A. Peña
    Efficient Hybrid Reachability Analysis for Asynchronous Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    CHARME, 2003, pp:378-393 [Conf]
  34. Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli
    Finite Horizon Analysis of Markov Chains with the Mur-phi Verifier. [Citation Graph (0, 0)][DBLP]
    CHARME, 2003, pp:394-409 [Conf]
  35. Subramanian K. Iyer, Debashis Sahoo, Christian Stangier, Amit Narayan, Jawahar Jain
    Improved Symbolic Verification Using Partitioning Techniques. [Citation Graph (0, 0)][DBLP]
    CHARME, 2003, pp:410-424 [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