dblp.uni-trier.dewww.uni-trier.de

Felix Cornelius

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1999
7 Felix Cornelius: An Overview of the Distributed System Classification and Integration Framework DeCIF. Bulletin of the EATCS 67: 82-92 (1999)
6 Felix Cornelius, Michael Baldamus, Hartmut Ehrig, Fernando Orejas: Abstract and behaviour module specifications. Mathematical Structures in Computer Science 9(1): 21-62 (1999)
1996
5 Robert Geisler, Marcus Klar, Felix Cornelius: InterACT: An Interactive Theorem Prover for Algebraic Specifications. AMAST 1996: 563-566
1995
4 Marcus Klar, Robert Geisler, Felix Cornelius: InterACT: An Interactive Theorem and Completeness Prover for Algebraic Specifications with Conditional Equation. COMPASS/ADT 1995: 291-395
3 Uwe Wolter, Klaus Didrich, Felix Cornelius, Marcus Klar: How to Cope with the Spectrum of SPECTRUM. KORSO Book 1995: 173-189
2 Felix Cornelius, Heinrich Hußmann, Michael Löwe: The KORSO Case Study for Software Engineering with Formal Methods: A Medical Information System. KORSO Book 1995: 417-432
1991
1 Hartmut Ehrig, Michael Baldamus, Felix Cornelius, Fernando Orejas: Theory of Algebraic Module Specification including Behavioral Semantics and Constraints. AMAST 1991: 145-172

Coauthor Index

1Michael Baldamus [1] [6]
2Klaus Didrich [3]
3Hartmut Ehrig [1] [6]
4Robert Geisler [4] [5]
5Heinrich Hußmann (Heinrich Hussmann) [2]
6Marcus Klar [3] [4] [5]
7Michael Löwe [2]
8Fernando Orejas [1] [6]
9Uwe Wolter [3]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)