Jan Springintveld

Publication Activity (10 Years)

Years Active: 1993-2005
Publications (10 Years): 0

Publications

Jan Friso Groote, François Monin, Jan Springintveld
A computer checked algebraic verification of a distributed summation algorithm. Formal Aspects Comput. 17 (1) (2005)
Jan Springintveld, Frits W. Vaandrager, Pedro R. D'Argenio
Testing timed automata. Theor. Comput. Sci. 254 (1-2) (2001)
Jan Friso Groote, Jan Springintveld
Focus points and convergent process operators: a proof strategy for protocol verification. J. Log. Algebraic Methods Program. 49 (1-2) (2001)
Judi Romijn, Jan Springintveld
Exploiting Symmetry in Protocol Testing. FORTE (1998)
Marc Bezem, Jan Springintveld
. J. Funct. Program. 6 (5) (1996)
Jan Springintveld, Frits W. Vaandrager
Minimizable Timed Automata. FTRTFT (1996)
Jan Springintveld
Third-Order Matching in the Presence of Type Constructors. TLCA (1995)
Jan Springintveld
Third-Order Matching in the Polymorphic Lambda Calculus. HOA (1995)
Henri Korver, Jan Springintveld
A Computer-Checked Verification of Milner's Scheduler. TACS (1994)
Jan Springintveld
Lower and Upper Bounds for Reductions of Types in Lambda-omega and Lambda-P. TLCA (1993)