Conferences in DBLP

Birthday ... (birthday)
2003 (conf/birthday/2003manna)

1. Nachum Dershowitz
   Pæan to Zohar Manna. [Citation Graph (0, 0)][DBLP]
   Verification: Theory and Practice, 2003, pp:1-10 [Conf]
   
2. Martín Abadi, K. Rustan M. Leino
   A Logic of Object-Oriented Programs. [Citation Graph (0, 0)][DBLP]
   Verification: Theory and Practice, 2003, pp:11-41 [Conf]
   
3. Rajeev Alur
   Formal Analysis of Hierarchical State Machines. [Citation Graph (0, 0)][DBLP]
   Verification: Theory and Practice, 2003, pp:42-66 [Conf]
   
4. Saddek Bensalem, Susanne Graf, Yassine Lakhnech
   Abstraction as the Key for Invariant Verification. [Citation Graph (0, 0)][DBLP]
   Verification: Theory and Practice, 2003, pp:67-99 [Conf]
   
5. Dines Bjørner
   Domain Engineering: a "Radical Innovation" for Software and Systems Engineering? A Biased Account. [Citation Graph (0, 0)][DBLP]
   Verification: Theory and Practice, 2003, pp:100-144 [Conf]
   
6. Egon Börger
   The ASM Ground Model Method as a Foundation for Requirements Engineering. [Citation Graph (0, 0)][DBLP]
   Verification: Theory and Practice, 2003, pp:145-160 [Conf]
   
7. Manfred Broy
   A Functional Calculus for Specification and Verification of Nondeterministic Interactive Systems. [Citation Graph (0, 0)][DBLP]
   Verification: Theory and Practice, 2003, pp:161-181 [Conf]
   
8. Domenico Cantone, Eugenio G. Omodeo, Jacob T. Schwartz, Pietro Ursino
   Notes from the Logbook of a Proof-Checker's Project. [Citation Graph (0, 0)][DBLP]
   Verification: Theory and Practice, 2003, pp:182-207 [Conf]
   
9. Edmund M. Clarke, Helmut Veith
   Counterexamples Revisited: Principles, Algorithms, Applications. [Citation Graph (0, 0)][DBLP]
   Verification: Theory and Practice, 2003, pp:208-224 [Conf]
   
10. Hubert Comon-Lundh, Ralf Treinen
    Easy Intruder Deductions. [Citation Graph (0, 0)][DBLP]
    Verification: Theory and Practice, 2003, pp:225-242 [Conf]
    
11. Patrick Cousot
    Verification by Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    Verification: Theory and Practice, 2003, pp:243-268 [Conf]
    
12. Luca de Alfaro
    Game Models for Open Systems. [Citation Graph (0, 0)][DBLP]
    Verification: Theory and Practice, 2003, pp:269-289 [Conf]
    
13. Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen
    A Compositional Operational Semantics for Java_MT. [Citation Graph (0, 0)][DBLP]
    Verification: Theory and Practice, 2003, pp:290-303 [Conf]
    
14. Nachum Dershowitz, D. N. Jayasimha, Seungjoon Park
    Bounded Fairness. [Citation Graph (0, 0)][DBLP]
    Verification: Theory and Practice, 2003, pp:304-317 [Conf]
    
15. Alfredo Ferro, Rosalba Giugno, Alfredo Pulvirenti
    Efficient Boundary Values Generation in General Metric Spaces for Software Component Testing. [Citation Graph (0, 0)][DBLP]
    Verification: Theory and Practice, 2003, pp:318-331 [Conf]
    
16. Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Marco A. A. Sanvido
    Extreme Model Checking. [Citation Graph (0, 0)][DBLP]
    Verification: Theory and Practice, 2003, pp:332-358 [Conf]
    
17. Gérard P. Huet
    Automata Mista. [Citation Graph (0, 0)][DBLP]
    Verification: Theory and Practice, 2003, pp:359-372 [Conf]
    
18. Shmuel Katz, Marcelo Sihman
    Aspect Validation Using Model Checking. [Citation Graph (0, 0)][DBLP]
    Verification: Theory and Practice, 2003, pp:373-394 [Conf]
    
19. Vijay Chandru, Jean-Louis Lassez
    Qualitative Theorem Proving in Linear Constraints. [Citation Graph (0, 0)][DBLP]
    Verification: Theory and Practice, 2003, pp:395-406 [Conf]
    
20. Nazareno Aguirre, T. S. E. Maibaum
    Some Institutional Requirements for Temporal Reasoning on Dynamic Reconfiguration of Component Based Systems. [Citation Graph (0, 0)][DBLP]
    Verification: Theory and Practice, 2003, pp:407-435 [Conf]
    
21. Rocco De Nicola, Gian Luigi Ferrari, Ugo Montanari, Rosario Pugliese, Emilio Tuosto
    A Formal Basis for Reasoning on Programmable QoS. [Citation Graph (0, 0)][DBLP]
    Verification: Theory and Practice, 2003, pp:436-479 [Conf]
    
22. Ben C. Moszkowski
    A Hierarchical Completeness Proof for Propositional Temporal Logic. [Citation Graph (0, 0)][DBLP]
    Verification: Theory and Practice, 2003, pp:480-523 [Conf]
    
23. Krishna V. Palem
    Computational Proof as Experiment: Probabilistic Algorithms from a Thermodynamic Perspective. [Citation Graph (0, 0)][DBLP]
    Verification: Theory and Practice, 2003, pp:524-547 [Conf]
    
24. Elsa L. Gunter, Doron Peled
    Unit Checking: Symbolic Model Checking for a Unit of Code. [Citation Graph (0, 0)][DBLP]
    Verification: Theory and Practice, 2003, pp:548-567 [Conf]
    
25. Dusko Pavlovic, Peter Pepper, Douglas R. Smith
    Colimits for Concurrent Collectors. [Citation Graph (0, 0)][DBLP]
    Verification: Theory and Practice, 2003, pp:568-597 [Conf]
    
26. Amir Pnueli, Tamarah Arons
    TLPVS: A PVS-Based LTL Verification System. [Citation Graph (0, 0)][DBLP]
    Verification: Theory and Practice, 2003, pp:598-625 [Conf]
    
27. Enrico Marzano, Angelo Montanari, Alberto Policriti
    Binary Extensions of S1S and the Composition Method. [Citation Graph (0, 0)][DBLP]
    Verification: Theory and Practice, 2003, pp:626-644 [Conf]
    
28. John H. Reif, William L. Scherlis
    Deriving Effcient Graph Algorithms. [Citation Graph (0, 0)][DBLP]
    Verification: Theory and Practice, 2003, pp:645-681 [Conf]
    
29. Sriram Sankaranarayanan, Henny Sipma, Zohar Manna
    Petri Net Analysis Using Invariant Generation. [Citation Graph (0, 0)][DBLP]
    Verification: Theory and Practice, 2003, pp:682-701 [Conf]
    
30. Orna Kupferman, Nir Piterman, Moshe Y. Vardi
    Fair Equivalence Relations. [Citation Graph (0, 0)][DBLP]
    Verification: Theory and Practice, 2003, pp:702-732 [Conf]
    
31. Jean Vuillemin
    Digital Algebra and Circuits. [Citation Graph (0, 0)][DBLP]
    Verification: Theory and Practice, 2003, pp:733-746 [Conf]
    
32. Richard J. Waldinger, Peter Jarvis, Jennifer L. Dungan
    Program Synthesis for Multi-agent Question Answering. [Citation Graph (0, 0)][DBLP]
    Verification: Theory and Practice, 2003, pp:747-761 [Conf]
    
33. Calogero G. Zarba
    Combining Sets with Elements. [Citation Graph (0, 0)][DBLP]
    Verification: Theory and Practice, 2003, pp:762-782 [Conf]