Concepedia

Jan Springintveld

JS

Statistics

Publications

7

Citations

401

H-Index

7

Active since

1996

Affiliations

Radboud University Nijmegen(Current)

Centrum Wiskunde & Informatica

Eindhoven University of Technology

Jan Springintveld is an author at Radboud University Nijmegen specializing in computer science, computing, and computer systems.

Publications per year

1996–2007

7

Publications

7

Testing timed automata

Jan Springintveld, Frits Vaandrager, Pedro R. D’Argenio · Theoretical Computer Science · 2001 · 276 citations

Verifying business processes using spin

Will Janssen, Radu Mateescu, Sjouke Mauw et al. · TU/e Research Portal · 1998 · 37 citations

Computing, Computer Science, Computer Systems +17

Testing Timed Automata

Jan Springintveld, Frits Vaandrager, P.R. d' Argenio · 1997 · 37 citations · Full text

Computing, Computer Engineering, Computer Science +17

Focus Points and Convergent Process Operators

Jan Friso Groote, Jan Springintveld · Amast series in computing · 2007 · 15 citations · Full text

Computing, Computer Science, Computer Systems +17

A computer checked algebraic verification of a distributed summation algorithm

Jan Friso Groote, François Monin, Jan Springintveld · Formal Aspects of Computing · 2005 · 13 citations · Full text

Computing, Computer Science, Mathematics +14

1–5 of 7