Formal Methods and Hybrid Real-Time Systems

Keyphrases

Publications

2007

Nikolaj Bjørner
Models and Software Model Checking of a Distributed File Replication System. Formal Methods and Hybrid Real-Time Systems (2007)
Dang Van Hung
Specifying Various Time Models with Temporal Propositional Variables in Duration Calculus. Formal Methods and Hybrid Real-Time Systems (2007)
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. Formal Methods and Hybrid Real-Time Systems (2007)
John S. Fitzgerald, Peter Gorm Larsen
Balancing Insight and Effort: The Industrial Uptake of Formal Methods. Formal Methods and Hybrid Real-Time Systems (2007)
Michael R. Hansen, Jan Madsen, Aske Wiid Brekling
Semantics and Verification of a Language for Modelling Hardware Architectures. Formal Methods and Hybrid Real-Time Systems (2007)
Yinghua Chen, Bican Xia, Lu Yang, Naijun Zhan
Generating Polynomial Invariants with DISCOVERER and QEPCAD. Formal Methods and Hybrid Real-Time Systems (2007)
Martin Penicka
Formal Approach to Railway Applications. Formal Methods and Hybrid Real-Time Systems (2007)
Xinxin Liu
Expansive-Bisimulation for Context-Free Processes. Formal Methods and Hybrid Real-Time Systems (2007)
Chris George, Padmanabhan Krishnan, Percy Antonio Pari Salas, Jeff W. Sanders
Specification for Testing. Formal Methods and Hybrid Real-Time Systems (2007)
Hans Langmaack
On Revival of Algol-Concepts in Modern Programming and Specification Languages. Formal Methods and Hybrid Real-Time Systems (2007)
Anne E. Haxthausen, Jan Peleska
A Domain-Oriented, Model-Based Approach for Construction and Verification of Railway Control Systems. Formal Methods and Hybrid Real-Time Systems (2007)
Zhenbang Chen, Xiaoshan Li, Zhiming Liu, Volker Stolz, Lu Yang
Harnessing rCOS for Tool Support - The CoCoME Experience. Formal Methods and Hybrid Real-Time Systems (2007)
Mathai Joseph
Engineering the Development of Embedded Systems. Formal Methods and Hybrid Real-Time Systems (2007)
Leo Freitas, Jim Woodcock
Proving Theorems About JML Classes. Formal Methods and Hybrid Real-Time Systems (2007)
Elsa Estevez, Tomasz Janowski
Programmable Messaging for Electronic Government - Building a Foundation. Formal Methods and Hybrid Real-Time Systems (2007)
Wolfgang Reisig, Jan Bretschneider, Dirk Fahland, Niels Lohmann, Peter Massuthe, Christian Stahl
Services as a Paradigm of Computation. Formal Methods and Hybrid Real-Time Systems (2007)
Daguang Liu, Peng Wu, Huimin Lin
Symbolic Test Generation Using a Temporal Logic with Constrained Events. Formal Methods and Hybrid Real-Time Systems (2007)
Manfred Broy
From "Formal Methods" to System Modeling. Formal Methods and Hybrid Real-Time Systems (2007)
Xiang Ling, T. S. E. Maibaum, Nazareno Aguirre
Design in CommUnity with Extension Morphisms. Formal Methods and Hybrid Real-Time Systems (2007)
John Knudsen, Anders P. Ravn, Arne Skou
Design Verification Patterns. Formal Methods and Hybrid Real-Time Systems (2007)
Jifeng He
Compensable Programs. Formal Methods and Hybrid Real-Time Systems (2007)
Asger Eir
Relating Domain Concepts Intensionally by Ordering Connections. Formal Methods and Hybrid Real-Time Systems (2007)
Peter D. Mosses
VDM Semantics of Programming Languages: Combinators and Monads. Formal Methods and Hybrid Real-Time Systems (2007)
Cliff B. Jones, Ian J. Hayes, Michael A. Jackson
Deriving Specifications for Systems That Are Connected to the Physical World. Formal Methods and Hybrid Real-Time Systems (2007)
Andrew Butterfield
A Denotational Semantics for Handel-C. Formal Methods and Hybrid Real-Time Systems (2007)

volume 4700, 2007

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 Formal Methods and Hybrid Real-Time Systems 4700 (2007)