The SCEAS System
Navigation Menu

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]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002