Christine Röckl

According to our database, Christine Röckl authored at least 9 papers between 1999 and 2003.

Collaborative distances:

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

2003

A fully adequate shallow embedding of the [pi]-calculus in Isabelle/HOL with mechanized syntax analysis.

Christine Röckl, Daniel Hirschkoff

J. Funct. Program., 2003

A Nominal Theory of Objects with Dependent Types.

Martin Odersky, Vincent Cremet, Christine Röckl, Matthias Zenger

Proceedings of the ECOOP 2003, 2003

2001

On the mechanized validation of infinite-state and parameterized reactive and mobile systems.

Christine Röckl

PhD thesis, 2001

A First-Order Syntax for the Pi-Calculus in Isabelle/HOL using Permutations.

Christine Röckl

Proceedings of the Mechanized Reasoning about Languages with Variable Binding, 2001

Higher-Order Abstract Syntax with Induction in Isabelle/HOL: Formalizing the pi-Calculus and Mechanizing the Theory of Contexts.

Christine Röckl, Daniel Hirschkoff, Stefan Berghofer

Proceedings of the Foundations of Software Science and Computation Structures, 2001

2000

Proving Write Invalidate Cache Coherence with Bisimulations in Isabelle/HOL.

Christine Röckl

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 2000

1999

A pi-calculus Process Semantics of Concurrent Idealised ALGOL.

Christine Röckl, Davide Sangiorgi

Proceedings of the Foundations of Software Science and Computation Structure, 1999

First-Order Proofs for Higher-Order Languages.

Christine Röckl

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1999

Proof-Checking Protocols Using Bisimulations.

Christine Röckl, Javier Esparza

Proceedings of the CONCUR '99: Concurrency Theory, 1999