Felix Cornelius - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 11 from 11

2021

Towards Realistic DTN Simulations for Public Transport NetworksJosé Irigon de Irigon, Felix Cornelius. comsnets 2021: 396-403 [doi]

2001

Mathematisch-strukturelle Grundlagen der Informatik, 2. AuflageHartmut Ehrig, Bernd Mahr, Martin Große-Rhode, Felix Cornelius, Philip Zeitz. Springer-Lehrbuch, Springer, 2001. [doi]

1999

An Overview of the Distributed System Classification and Integration Framework DeCIFFelix Cornelius. eatcs, 67:82-92, 1999.

Abstract and behaviour module specificationsFelix Cornelius, Michael Baldamus, Hartmut Ehrig, Fernando Orejas. mscs, 9(1):21-62, 1999.

Mathematisch-strukturelle Grundlagen der InformatikHartmut Ehrig, Bernd Mahr, Felix Cornelius, Martin Große-Rhode, Philip Zeitz. Springer-Lehrbuch, Springer, 1999. [doi]

1998

A semantical reference model for the integration of different dimensions of distributed system specificationsFelix Cornelius. PhD thesis, Technical University of Berlin, Germany, 1998. [doi]

1996

::::InterACT::::: An Interactive Theorem Prover for Algebraic SpecificationsRobert Geisler, Marcus Klar, Felix Cornelius. amast 1996: 563-566

1995

The KORSO Case Study for Software Engineering with Formal Methods: A Medical Information SystemFelix Cornelius, Heinrich Hußmann, Michael Löwe. korso 1995: 417-432

::::InterACT::::: An Interactive Theorem and Completeness Prover for Algebraic Specifications with Conditional EquationMarcus Klar, Robert Geisler, Felix Cornelius. compass 1996: 291-395

How to Cope with the Spectrum of SPECTRUMUwe Wolter, Klaus Didrich, Felix Cornelius, Marcus Klar. korso 1995: 173-189

1991

Theory of Algebraic Module Specification including Behavioral Semantics and ConstraintsHartmut Ehrig, Michael Baldamus, Felix Cornelius, Fernando Orejas. amast 1992: 145-172

Sign in or sign up to see more results.

runs on WebDSL