Felix Cornelius
According to our database1,
Felix Cornelius
authored at least 11 papers
between 1991 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2021
Proceedings of the 13th International Conference on COMmunication Systems & NETworkS, 2021
2001
Springer-Lehrbuch, Springer, ISBN: 978-3-540-41923-5, 2001
1999
An Overview of the Distributed System Classification and Integration Framework DeCIF.
Bull. EATCS, 1999
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.
PhD thesis, 1998
1996
Proceedings of the Algebraic Methodology and Software Technology, 1996
1995
The KORSO Case Study for Software Engineering with Formal Methods: A Medical Information System.
Proceedings of the KORSO, 1995
<i>InterACT</i>: An Interactive Theorem and Completeness Prover for Algebraic Specifications with Conditional Equation.
Proceedings of the Recent Trends in Data Type Specification, 1995
1991
Theory of Algebraic Module Specification including Behavioral Semantics and Constraints.
Proceedings of the Algebraic Methodology and Software Technology (AMAST '91), 1991