Conferences in DBLP

Birthday ... (birthday)
2007 (conf/birthday/2007bz)

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