BibTeX records: Jan Springintveld

download as .bib file

@article{DBLP:journals/fac/GrooteMS05,
  author    = {Jan Friso Groote and
               Fran{\c{c}}ois Monin and
               Jan Springintveld},
  title     = {A computer checked algebraic verification of a distributed summation
               algorithm},
  journal   = {Formal Asp. Comput.},
  volume    = {17},
  number    = {1},
  pages     = {19--37},
  year      = {2005},
  url       = {https://doi.org/10.1007/s00165-004-0052-7},
  doi       = {10.1007/s00165-004-0052-7},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fac/GrooteMS05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/GrooteS01,
  author    = {Jan Friso Groote and
               Jan Springintveld},
  title     = {Focus points and convergent process operators: a proof strategy for
               protocol verification},
  journal   = {J. Log. Algebr. Program.},
  volume    = {49},
  number    = {1-2},
  pages     = {31--60},
  year      = {2001},
  url       = {https://doi.org/10.1016/S1567-8326(01)00010-8},
  doi       = {10.1016/S1567-8326(01)00010-8},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jlp/GrooteS01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/SpringintveldVD01,
  author    = {Jan Springintveld and
               Frits W. Vaandrager and
               Pedro R. D'Argenio},
  title     = {Testing timed automata},
  journal   = {Theor. Comput. Sci.},
  volume    = {254},
  number    = {1-2},
  pages     = {225--257},
  year      = {2001},
  url       = {https://doi.org/10.1016/S0304-3975(99)00134-6},
  doi       = {10.1016/S0304-3975(99)00134-6},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/SpringintveldVD01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/RomijnS98,
  author    = {Judi Romijn and
               Jan Springintveld},
  title     = {Exploiting Symmetry in Protocol Testing},
  booktitle = {Formal Description Techniques and Protocol Specification, Testing
               and Verification, {FORTE} {XI} / {PSTV} XVIII'98, {IFIP} {TC6} {WG6.1}
               Joint International Conference on Formal Description Techniques for
               Distributed Systems and Communication Protocols {(FORTE} {XI)} and
               Protocol Specification, Testing and Verification {(PSTV} XVIII), 3-6
               November, 1998, Paris, France},
  pages     = {337--352},
  year      = {1998},
  crossref  = {DBLP:conf/forte/1998},
  timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/forte/RomijnS98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/BezemS96,
  author    = {Marc Bezem and
               Jan Springintveld},
  title     = {A Simple Proof of the Undecidability of Inhabitation in lambda\emph{P}},
  journal   = {J. Funct. Program.},
  volume    = {6},
  number    = {5},
  pages     = {757--761},
  year      = {1996},
  url       = {https://doi.org/10.1017/S0956796800001969},
  doi       = {10.1017/S0956796800001969},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jfp/BezemS96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/SpringintveldV96,
  author    = {Jan Springintveld and
               Frits W. Vaandrager},
  title     = {Minimizable Timed Automata},
  booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International
               Symposium, FTRTFT'96, Uppsala, Sweden, September 9-13, 1996, Proceedings},
  pages     = {130--147},
  year      = {1996},
  crossref  = {DBLP:conf/ftrtft/1996},
  url       = {https://doi.org/10.1007/3-540-61648-9\_38},
  doi       = {10.1007/3-540-61648-9\_38},
  timestamp = {Mon, 22 May 2017 16:14:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ftrtft/SpringintveldV96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hoa/Springintveld95,
  author    = {Jan Springintveld},
  title     = {Third-Order Matching in the Polymorphic Lambda Calculus},
  booktitle = {Higher-Order Algebra, Logic, and Term Rewriting, Second International
               Workshop, {HOA} '95, Paderborn, Germany, September 21-22, 1995, Selected
               Papers},
  pages     = {221--237},
  year      = {1995},
  crossref  = {DBLP:conf/hoa/1995},
  url       = {https://doi.org/10.1007/3-540-61254-8\_28},
  doi       = {10.1007/3-540-61254-8\_28},
  timestamp = {Mon, 22 May 2017 16:14:05 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hoa/Springintveld95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/Springintveld95,
  author    = {Jan Springintveld},
  title     = {Third-Order Matching in the Presence of Type Constructors},
  booktitle = {Typed Lambda Calculi and Applications, Second International Conference
               on Typed Lambda Calculi and Applications, {TLCA} '95, Edinburgh, UK,
               April 10-12, 1995, Proceedings},
  pages     = {428--442},
  year      = {1995},
  crossref  = {DBLP:conf/tlca/1995},
  url       = {https://doi.org/10.1007/BFb0014069},
  doi       = {10.1007/BFb0014069},
  timestamp = {Thu, 15 Jun 2017 21:40:02 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tlca/Springintveld95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/KorverS94,
  author    = {Henri Korver and
               Jan Springintveld},
  title     = {A Computer-Checked Verification of Milner's Scheduler},
  booktitle = {Theoretical Aspects of Computer Software, International Conference
               {TACS} '94, Sendai, Japan, April 19-22, 1994, Proceedings},
  pages     = {161--178},
  year      = {1994},
  crossref  = {DBLP:conf/tacs/1994},
  url       = {https://doi.org/10.1007/3-540-57887-0\_95},
  doi       = {10.1007/3-540-57887-0\_95},
  timestamp = {Sat, 20 May 2017 15:32:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacs/KorverS94},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/Springintveld93,
  author    = {Jan Springintveld},
  title     = {Lower and Upper Bounds for Reductions of Types in Lambda-omega and
               Lambda-P},
  booktitle = {Typed Lambda Calculi and Applications, International Conference on
               Typed Lambda Calculi and Applications, {TLCA} '93, Utrecht, The Netherlands,
               March 16-18, 1993, Proceedings},
  pages     = {391--405},
  year      = {1993},
  crossref  = {DBLP:conf/tlca/1993},
  url       = {https://doi.org/10.1007/BFb0037120},
  doi       = {10.1007/BFb0037120},
  timestamp = {Sat, 20 May 2017 15:32:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tlca/Springintveld93},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/forte/1998,
  editor    = {Stanislaw Budkowski and
               Ana R. Cavalli and
               Elie Najm},
  title     = {Formal Description Techniques and Protocol Specification, Testing
               and Verification, {FORTE} {XI} / {PSTV} XVIII'98, {IFIP} {TC6} {WG6.1}
               Joint International Conference on Formal Description Techniques for
               Distributed Systems and Communication Protocols {(FORTE} {XI)} and
               Protocol Specification, Testing and Verification {(PSTV} XVIII), 3-6
               November, 1998, Paris, France},
  series    = {{IFIP} Conference Proceedings},
  volume    = {135},
  publisher = {Kluwer},
  year      = {1998},
  isbn      = {0-412-84760-4},
  timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/forte/1998},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ftrtft/1996,
  editor    = {Bengt Jonsson and
               Joachim Parrow},
  title     = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International
               Symposium, FTRTFT'96, Uppsala, Sweden, September 9-13, 1996, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1135},
  publisher = {Springer},
  year      = {1996},
  url       = {https://doi.org/10.1007/3-540-61648-9},
  doi       = {10.1007/3-540-61648-9},
  isbn      = {3-540-61648-9},
  timestamp = {Mon, 22 May 2017 16:14:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ftrtft/1996},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hoa/1995,
  editor    = {Gilles Dowek and
               Jan Heering and
               Karl Meinke and
               Bernhard M{\"{o}}ller},
  title     = {Higher-Order Algebra, Logic, and Term Rewriting, Second International
               Workshop, {HOA} '95, Paderborn, Germany, September 21-22, 1995, Selected
               Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {1074},
  publisher = {Springer},
  year      = {1996},
  url       = {https://doi.org/10.1007/3-540-61254-8},
  doi       = {10.1007/3-540-61254-8},
  isbn      = {3-540-61254-8},
  timestamp = {Mon, 22 May 2017 16:14:05 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hoa/1995},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tlca/1995,
  editor    = {Mariangiola Dezani{-}Ciancaglini and
               Gordon D. Plotkin},
  title     = {Typed Lambda Calculi and Applications, Second International Conference
               on Typed Lambda Calculi and Applications, {TLCA} '95, Edinburgh, UK,
               April 10-12, 1995, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {902},
  publisher = {Springer},
  year      = {1995},
  url       = {https://doi.org/10.1007/BFb0014040},
  doi       = {10.1007/BFb0014040},
  isbn      = {3-540-59048-X},
  timestamp = {Thu, 15 Jun 2017 21:40:02 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tlca/1995},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacs/1994,
  editor    = {Masami Hagiya and
               John C. Mitchell},
  title     = {Theoretical Aspects of Computer Software, International Conference
               {TACS} '94, Sendai, Japan, April 19-22, 1994, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {789},
  publisher = {Springer},
  year      = {1994},
  url       = {https://doi.org/10.1007/3-540-57887-0},
  doi       = {10.1007/3-540-57887-0},
  isbn      = {3-540-57887-0},
  timestamp = {Sat, 20 May 2017 15:32:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacs/1994},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tlca/1993,
  editor    = {Marc Bezem and
               Jan Friso Groote},
  title     = {Typed Lambda Calculi and Applications, International Conference on
               Typed Lambda Calculi and Applications, {TLCA} '93, Utrecht, The Netherlands,
               March 16-18, 1993, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {664},
  publisher = {Springer},
  year      = {1993},
  url       = {https://doi.org/10.1007/BFb0037093},
  doi       = {10.1007/BFb0037093},
  isbn      = {3-540-56517-5},
  timestamp = {Sat, 20 May 2017 15:32:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tlca/1993},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier