The SCEAS System
Navigation Menu

Conferences in DBLP

Birthday ... (birthday)
1999 (conf/birthday/1999langmaack)

  1. C. A. R. Hoare
    Theories of Programming: Top-Down and Bottom-Up and Meeting in the Middle. [Citation Graph (0, 0)][DBLP]
    Correct System Design, 1999, pp:3-28 [Conf]
  2. Dines Bjørner
    A Triptych Software Development Paradigm: Domain, Requirements and Software. [Citation Graph (0, 0)][DBLP]
    Correct System Design, 1999, pp:29-60 [Conf]
  3. Anders P. Ravn, Hans Rischel
    Real-Time Constraints Through the ProCoS Layers. [Citation Graph (0, 0)][DBLP]
    Correct System Design, 1999, pp:61-78 [Conf]
  4. David Gries
    Monotonicity in Calculational Proofs. [Citation Graph (0, 0)][DBLP]
    Correct System Design, 1999, pp:79-85 [Conf]
  5. Krzysztof R. Apt, Andrea Schaerf
    The Alma Project, or How First-Order Logic Can Help Us in Imperative Programming. [Citation Graph (0, 0)][DBLP]
    Correct System Design, 1999, pp:89-113 [Conf]
  6. Flemming Nielson, Hanne Riis Nielson
    Type and Effect Systems. [Citation Graph (0, 0)][DBLP]
    Correct System Design, 1999, pp:114-136 [Conf]
  7. J. Strother Moore
    Proving Theorems About Java-Like Byte Code. [Citation Graph (0, 0)][DBLP]
    Correct System Design, 1999, pp:139-162 [Conf]
  8. Armin Biere, Edmund M. Clarke, Yunshan Zhu
    Multiple State and Single State Tableaux for Combining Local and Global Model Checking. [Citation Graph (0, 0)][DBLP]
    Correct System Design, 1999, pp:163-179 [Conf]
  9. Parosh Aziz Abdulla, Bengt Jonsson
    On the Existence of Network Invariants for Verifying Parameterized Systems. [Citation Graph (0, 0)][DBLP]
    Correct System Design, 1999, pp:180-197 [Conf]
  10. Gerhard Goos, Wolf Zimmermann
    Verification of Compilers. [Citation Graph (0, 0)][DBLP]
    Correct System Design, 1999, pp:201-230 [Conf]
  11. Amir Pnueli, Ofer Strichman, Michael Siegel
    Translation Validation: From SIGNAL to C. [Citation Graph (0, 0)][DBLP]
    Correct System Design, 1999, pp:231-255 [Conf]
  12. Martin Fränzle, Markus Müller-Olm
    Compilation and Synthesis for Real-Time Embedded Controllers. [Citation Graph (0, 0)][DBLP]
    Correct System Design, 1999, pp:256-287 [Conf]
  13. Jens Knoop, Oliver Rüthing
    Optimization Under the Perspective of Soundness, Completeness, and Reusability. [Citation Graph (0, 0)][DBLP]
    Correct System Design, 1999, pp:288-315 [Conf]
  14. Tom Bienmüller, Jürgen Bohn, Henning Brinkmann, Udo Brockmeyer, Werner Damm, Hardi Hungar, Peter Jansen
    Verification of Automotive Control Units. [Citation Graph (0, 0)][DBLP]
    Correct System Design, 1999, pp:319-341 [Conf]
  15. Ernst-Rüdiger Olderog
    Correct Real-Time Software for Programmable Logic Controllers. [Citation Graph (0, 0)][DBLP]
    Correct System Design, 1999, pp:342-362 [Conf]
  16. Jan Peleska, Bettina Buth
    Formal Methods for the International Space Station ISS. [Citation Graph (0, 0)][DBLP]
    Correct System Design, 1999, pp:363-389 [Conf]
  17. Bernhard Steffen, Tiziana Margaria
    METAFrame in Practice: Design of Intelligent Network Services. [Citation Graph (0, 0)][DBLP]
    Correct System Design, 1999, pp:390-415 [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