Theory of Algebraic Module Specification including Behavioral Semantics and Constraints. - Hartmut Ehrig; Michael Baldamus; Felix Cornelius; Fernando Orejas (AMAST, 1991)

InterACT: An Interactive Theorem and Completeness Prover for Algebraic Specifications with Conditional Equation. - Marcus Klar; Robert Geisler; Felix Cornelius (COMPASS/ADT, 1995)

The KORSO Case Study for Software Engineering with Formal Methods: A Medical Information System. - Felix Cornelius; Heinrich Hußmann; Michael Löwe (KORSO Book, 1995)

How to Cope with the Spectrum of SPECTRUM. - Uwe Wolter; Klaus Didrich; Felix Cornelius; Marcus Klar (KORSO Book, 1995)

InterACT: An Interactive Theorem Prover for Algebraic Specifications. - Robert Geisler; Marcus Klar; Felix Cornelius (AMAST, 1996)

A semantical reference model for the integration of different dimensions of distributed system specifications. - Felix Cornelius (1998)

Mathematisch-strukturelle Grundlagen der Informatik - Hartmut Ehrig; Bernd Mahr; Felix Cornelius; Martin Große-Rhode; Philip Zeitz (Mathematisch-strukturelle Grundlagen der Informatik, 1999)

An Overview of the Distributed System Classification and Integration Framework DeCIF. - Felix Cornelius (Bull. EATCS, 1999)

Abstract and behaviour module specifications. - Felix Cornelius; Michael Baldamus; Hartmut Ehrig; Fernando Orejas (Math. Struct. Comput. Sci., 1999)

Mathematisch-strukturelle Grundlagen der Informatik, 2. Auflage - Hartmut Ehrig; Bernd Mahr; Martin Große-Rhode; Felix Cornelius; Philip Zeitz (Mathematisch-strukturelle Grundlagen der Informatik, 2. Auflage, 2001)

Towards Realistic DTN Simulations for Public Transport Networks. - José Irigon de Irigon; Felix Cornelius (COMSNETS, 2021)