64. Birthday: Zohar Manna, 2003
Nachum Dershowitz (Ed.): Verification: Theory and Practice, Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday. Springer 2003 Lecture Notes in Computer Science ISBN 3-540-21002-4
Frontispiece: Zohar Manna
- Nachum Dershowitz: Pæan to Zohar Manna. 1-10
Technical Papers
- Rajeev Alur: Formal Analysis of Hierarchical State Machines. 42-66
- Saddek Bensalem, Susanne Graf, Yassine Lakhnech: Abstraction as the Key for Invariant Verification. 67-99
- Dines Bjørner: Domain Engineering: a "Radical Innovation" for Software and Systems Engineering? A Biased Account. 100-144
- Egon Börger: The ASM Ground Model Method as a Foundation for Requirements Engineering. 145-160
- Manfred Broy: A Functional Calculus for Specification and Verification of Nondeterministic Interactive Systems. 161-181
- Domenico Cantone, Eugenio G. Omodeo, Jacob T. Schwartz, Pietro Ursino: Notes from the Logbook of a Proof-Checker's Project. 182-207
- Edmund M. Clarke, Helmut Veith: Counterexamples Revisited: Principles, Algorithms, Applications. 208-224
- Patrick Cousot: Verification by Abstract Interpretation. 243-268
- Luca de Alfaro: Game Models for Open Systems. 269-289
- Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen: A Compositional Operational Semantics for JavaMT. 290-303
- Alfredo Ferro, Rosalba Giugno, Alfredo Pulvirenti: Efficient Boundary Values Generation in General Metric Spaces for Software Component Testing. 318-331
- Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Marco A. A. Sanvido: Extreme Model Checking. 332-358
- Gérard P. Huet: Automata Mista. 359-372
- Nazareno Aguirre, T. S. E. Maibaum: Some Institutional Requirements for Temporal Reasoning on Dynamic Reconfiguration of Component Based Systems. 407-435
- Rocco De Nicola, Gian Luigi Ferrari, Ugo Montanari, Rosario Pugliese, Emilio Tuosto: A Formal Basis for Reasoning on Programmable QoS. 436-479
- Ben C. Moszkowski: A Hierarchical Completeness Proof for Propositional Temporal Logic. 480-523
- Krishna V. Palem: Computational Proof as Experiment: Probabilistic Algorithms from a Thermodynamic Perspective. 524-547
- Enrico Marzano, Angelo Montanari, Alberto Policriti: Binary Extensions of S1S and the Composition Method. 626-644
- Sriram Sankaranarayanan, Henny Sipma, Zohar Manna: Petri Net Analysis Using Invariant Generation. 682-701
- Jean Vuillemin: Digital Algebra and Circuits. 733-746
- Richard J. Waldinger, Peter Jarvis, Jennifer L. Dungan: Program Synthesis for Multi-agent Question Answering. 747-761
- Calogero G. Zarba: Combining Sets with Elements. 762-782
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T214307 by the dblp team