Search the dblp DataBase

Publications of Author

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