70. Birthdays: Dines Bjørner and Chaochen Zhou 2007
Cliff B. Jones, Zhiming Liu, Jim Woodcock (Eds.): Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays, Papers presented at a Symposium held in Macao, China, September 24-25, 2007. Springer 2007 Lecture Notes in Computer Science 4700 ISBN 978-3-540-75220-2- Nikolaj Bjørner: Models and Software Model Checking of a Distributed File Replication System. 1-23
- Manfred Broy: From "Formal Methods" to System Modeling. 24-44
- Andrew Butterfield: A Denotational Semantics for Handel-C. 45-66
- Yinghua Chen, Bican Xia, Lu Yang, Naijun Zhan: Generating Polynomial Invariants with DISCOVERER and QEPCAD. 67-82
- Zhenbang Chen, Xiaoshan Li, Zhiming Liu, Volker Stolz, Lu Yang: Harnessing rCOS for Tool Support - The CoCoME Experience. 83-114
- Werner Damm, Alfred Mikschl, Jens Oehlerking, Ernst-Rüdiger Olderog, Jun Pang, André Platzer, Marc Segelken, Boris Wirtz: Automating Verification of Cooperation, Control, and Design in Traffic Applications. 115-169
- Dang Van Hung: Specifying Various Time Models with Temporal Propositional Variables in Duration Calculus. 170-187
- Asger Eir: Relating Domain Concepts Intensionally by Ordering Connections. 188-216
- Elsa Estevez, Tomasz Janowski: Programmable Messaging for Electronic Government - Building a Foundation. 217-236
- John S. Fitzgerald, Peter Gorm Larsen: Balancing Insight and Effort: The Industrial Uptake of Formal Methods. 237-254
- Chris George, Padmanabhan Krishnan, Percy Antonio Pari Salas, Jeff W. Sanders: Specification for Testing. 280-299
- Michael R. Hansen, Jan Madsen, Aske Wiid Brekling: Semantics and Verification of a Language for Modelling Hardware Architectures. 300-319
- Anne Elisabeth Haxthausen, Jan Peleska: A Domain-Oriented, Model-Based Approach for Construction and Verification of Railway Control Systems. 320-348
- Jifeng He: Compensable Programs. 349-363
- Cliff B. Jones, Ian J. Hayes, Michael A. Jackson: Deriving Specifications for Systems That Are Connected to the Physical World. 364-390
- Mathai Joseph: Engineering the Development of Embedded Systems. 391-398
- Hans Langmaack: On Revival of Algol-Concepts in Modern Programming and Specification Languages. 414-434
- Xiang Ling, T. S. E. Maibaum, Nazareno Aguirre: Design in CommUnity with Extension Morphisms. 435-466
- Daguang Liu, Peng Wu, Huimin Lin: Symbolic Test Generation Using a Temporal Logic with Constrained Events. 467-471
- Xinxin Liu: Expansive-Bisimulation for Context-Free Processes. 472-482
- Peter D. Mosses: VDM Semantics of Programming Languages: Combinators and Monads. 483-503
- Martin Penicka: Formal Approach to Railway Applications. 504-520
- Wolfgang Reisig, Jan Bretschneider, Dirk Fahland, Niels Lohmann, Peter Massuthe, Christian Stahl: Services as a Paradigm of Computation. 521-538
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2014-07-13T173819 by the dblp team