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.
Lecture Notes in Computer Science 4700 Springer 2007, 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
- Leo Freitas, Jim Woodcock:
Proving Theorems About JML Classes.
255-279
- 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
- John Knudsen, Anders P. Ravn, Arne Skou:
Design Verification Patterns.
399-413
- 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
Last update Mon Feb 13 04:19:59 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
