Felix Cornelius

According to our database, Felix Cornelius authored at least 11 papers between 1991 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Towards Realistic DTN Simulations for Public Transport Networks.

José Irigon de Irigon, Felix Cornelius

Proceedings of the 13th International Conference on COMmunication Systems & NETworkS, 2021

2001

Mathematisch-strukturelle Grundlagen der Informatik, 2. Auflage

Hartmut Ehrig, Bernd Mahr, Martin Große-Rhode, Felix Cornelius, Philip Zeitz

Springer-Lehrbuch, Springer, ISBN: 978-3-540-41923-5, 2001

1999

Abstract and behaviour module specifications.

Felix Cornelius, Michael Baldamus, Hartmut Ehrig, Fernando Orejas

Math. Struct. Comput. Sci., 1999

An Overview of the Distributed System Classification and Integration Framework DeCIF.

Felix Cornelius

Bull. EATCS, 1999

Mathematisch-strukturelle Grundlagen der Informatik

Hartmut Ehrig, Bernd Mahr, Felix Cornelius, Martin Große-Rhode, Philip Zeitz

Springer-Lehrbuch, Springer, ISBN: 978-3-540-63865-0, 1999

1998

A semantical reference model for the integration of different dimensions of distributed system specifications.

Felix Cornelius

PhD thesis, 1998

1996

<i>InterACT</i>: An Interactive Theorem Prover for Algebraic Specifications.

Robert Geisler, Marcus Klar, Felix Cornelius

Proceedings of the Algebraic Methodology and Software Technology, 1996

1995

How to Cope with the Spectrum of SPECTRUM.

Uwe Wolter, Klaus Didrich, Felix Cornelius, Marcus Klar

Proceedings of the KORSO, 1995

The KORSO Case Study for Software Engineering with Formal Methods: A Medical Information System.

Felix Cornelius, Heinrich Hußmann, Michael Löwe

Proceedings of the KORSO, 1995

<i>InterACT</i>: An Interactive Theorem and Completeness Prover for Algebraic Specifications with Conditional Equation.

Marcus Klar, Robert Geisler, Felix Cornelius

Proceedings of the Recent Trends in Data Type Specification, 1995

1991

Theory of Algebraic Module Specification including Behavioral Semantics and Constraints.

Hartmut Ehrig, Michael Baldamus, Felix Cornelius, Fernando Orejas

Proceedings of the Algebraic Methodology and Software Technology (AMAST '91), 1991