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 BibTeX
- Nikolaj Bjørner:
Models and Software Model Checking of a Distributed File Replication System.
1-23
Electronic Edition (link) BibTeX
- Manfred Broy:
From "Formal Methods" to System Modeling.
24-44
Electronic Edition (link) BibTeX
- Andrew Butterfield:
A Denotational Semantics for Handel-C.
45-66
Electronic Edition (link) BibTeX
- Yinghua Chen, Bican Xia, Lu Yang, Naijun Zhan:
Generating Polynomial Invariants with DISCOVERER and QEPCAD.
67-82
Electronic Edition (link) BibTeX
- Zhenbang Chen, Xiaoshan Li, Zhiming Liu, Volker Stolz, Lu Yang:
Harnessing rCOS for Tool Support - The CoCoME Experience.
83-114
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Dang Van Hung:
Specifying Various Time Models with Temporal Propositional Variables in Duration Calculus.
170-187
Electronic Edition (link) BibTeX
- Asger Eir:
Relating Domain Concepts Intensionally by Ordering Connections.
188-216
Electronic Edition (link) BibTeX
- Elsa Estevez, Tomasz Janowski:
Programmable Messaging for Electronic Government - Building a Foundation.
217-236
Electronic Edition (link) BibTeX
- John S. Fitzgerald, Peter Gorm Larsen:
Balancing Insight and Effort: The Industrial Uptake of Formal Methods.
237-254
Electronic Edition (link) BibTeX
- Leo Freitas, Jim Woodcock:
Proving Theorems About JML Classes.
255-279
Electronic Edition (link) BibTeX
- Chris George, Padmanabhan Krishnan, Percy Antonio Pari Salas, Jeff W. Sanders:
Specification for Testing.
280-299
Electronic Edition (link) BibTeX
- Michael R. Hansen, Jan Madsen, Aske Wiid Brekling:
Semantics and Verification of a Language for Modelling Hardware Architectures.
300-319
Electronic Edition (link) BibTeX
- Anne Elisabeth Haxthausen, Jan Peleska:
A Domain-Oriented, Model-Based Approach for Construction and Verification of Railway Control Systems.
320-348
Electronic Edition (link) BibTeX
- Jifeng He:
Compensable Programs.
349-363
Electronic Edition (link) BibTeX
- Cliff B. Jones, Ian J. Hayes, Michael A. Jackson:
Deriving Specifications for Systems That Are Connected to the Physical World.
364-390
Electronic Edition (link) BibTeX
- Mathai Joseph:
Engineering the Development of Embedded Systems.
391-398
Electronic Edition (link) BibTeX
- John Knudsen, Anders P. Ravn, Arne Skou:
Design Verification Patterns.
399-413
Electronic Edition (link) BibTeX
- Hans Langmaack:
On Revival of Algol-Concepts in Modern Programming and Specification Languages.
414-434
Electronic Edition (link) BibTeX
- Xiang Ling, T. S. E. Maibaum, Nazareno Aguirre:
Design in CommUnity with Extension Morphisms.
435-466
Electronic Edition (link) BibTeX
- Daguang Liu, Peng Wu, Huimin Lin:
Symbolic Test Generation Using a Temporal Logic with Constrained Events.
467-471
Electronic Edition (link) BibTeX
- Xinxin Liu:
Expansive-Bisimulation for Context-Free Processes.
472-482
Electronic Edition (link) BibTeX
- Peter D. Mosses:
VDM Semantics of Programming Languages: Combinators and Monads.
483-503
Electronic Edition (link) BibTeX
- Martin Penicka:
Formal Approach to Railway Applications.
504-520
Electronic Edition (link) BibTeX
- Wolfgang Reisig, Jan Bretschneider, Dirk Fahland, Niels Lohmann, Peter Massuthe, Christian Stahl:
Services as a Paradigm of Computation.
521-538
Electronic Edition (link) BibTeX
Copyright © Sat May 16 22:59:41 2009
by Michael Ley (ley@uni-trier.de)
