Jan Springintveld

According to our database, Jan Springintveld authored at least 10 papers between 1993 and 2005.

Collaborative distances:

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

2005

A computer checked algebraic verification of a distributed summation algorithm.

Jan Friso Groote, François Monin, Jan Springintveld

Formal Aspects Comput., 2005

2001

Testing timed automata.

Jan Springintveld, Frits W. Vaandrager, Pedro R. D'Argenio

Theor. Comput. Sci., 2001

Focus points and convergent process operators: a proof strategy for protocol verification.

Jan Friso Groote, Jan Springintveld

J. Log. Algebraic Methods Program., 2001

1998

Exploiting Symmetry in Protocol Testing.

Judi Romijn, Jan Springintveld

Proceedings of the Formal Description Techniques and Protocol Specification, 1998

1996

A Simple Proof of the Undecidability of Inhabitation in lambda<i>P</i>.

Marc Bezem, Jan Springintveld

J. Funct. Program., 1996

Minimizable Timed Automata.

Jan Springintveld, Frits W. Vaandrager

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1996

1995

Third-Order Matching in the Presence of Type Constructors.

Jan Springintveld

Proceedings of the Typed Lambda Calculi and Applications, 1995

Third-Order Matching in the Polymorphic Lambda Calculus.

Jan Springintveld

Proceedings of the Higher-Order Algebra, 1995

1994

A Computer-Checked Verification of Milner's Scheduler.

Henri Korver, Jan Springintveld

Proceedings of the Theoretical Aspects of Computer Software, 1994

1993

Lower and Upper Bounds for Reductions of Types in Lambda-omega and Lambda-P.

Jan Springintveld

Proceedings of the Typed Lambda Calculi and Applications, 1993