Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Jan Tretmans
2010 – today
- 2012
[j6]Fides Aarts, Harco Kuppens, Jan Tretmans, Frits W. Vaandrager, Sicco Verwer: Learning and Testing the Bounded Retransmission Protocol. Journal of Machine Learning Research - Proceedings Track 21: 4-18 (2012)- [c38]Marius Bozga, Alexandre David, Arnd Hartmanns, Holger Hermanns, Kim G. Larsen, Axel Legay, Jan Tretmans: State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems. DATE 2012: 370-375
- 2011
- [c37]Petur Olsen, Johan Foederer, Jan Tretmans: Model-Based Testing of Industrial Transformational Systems. ICTSS 2011: 131-145
- [c36]
- 2010
- [j5]Jan Tretmans, Florian Prester, Philipp Helle, Wladimir Schamai: Model-Based Testing 2010: Short Abstracts. Electr. Notes Theor. Comput. Sci. 264(3): 85-99 (2010)
- [c35]Jiansheng Xing, Bart D. Theelen, Rom Langerak, Jaco van de Pol, Jan Tretmans, Jeroen Voeten: From POOSL to UPPAAL: Transformation and Quantitative Analysis. ACSD 2010: 47-56
- [c34]Holger Hermanns, Kim Guldstrand Larsen, Jean-François Raskin, Jan Tretmans: Quantitative system validation in model driven design. EMSOFT 2010: 301-302
- [c33]Jiansheng Xing, Bart D. Theelen, Rom Langerak, Jaco van de Pol, Jan Tretmans, Jeroen Voeten: UPPAAL in Practice: Quantitative Verification of a RapidIO Network. ISoLA (2) 2010: 160-174
2000 – 2009
- 2009
- [c32]Wojciech Mostowski, Erik Poll, Julien Schmaltz, Jan Tretmans, Ronny Wichers Schreur: Model-Based Testing of Electronic Passports. FMICS 2009: 207-209
- 2008
- [c31]
- [c30]Jan Tretmans: Model Based Testing with Labelled Transition Systems. Formal Methods and Testing 2008: 1-38
- 2007
- [c29]Martijn Oostdijk, Vlad Rusu, Jan Tretmans, René G. de Vries, Tim A. C. Willemse: Integrating Verification, Testing, and Learning for Cryptographic Protocols. IFM 2007: 538-557
- [e2]Alexandre Petrenko, Margus Veanes, Jan Tretmans, Wolfgang Grieskamp (Eds.): Testing of Software and Communicating Systems, 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007, Proceedings. Lecture Notes in Computer Science 4581, Springer 2007, ISBN 978-3-540-73065-1
- 2006
- [c28]Lars Frantzen, Jan Tretmans, Tim A. C. Willemse: A Symbolic Framework for Model-Based Testing. FATES/RV 2006: 40-54
- [c27]Lars Frantzen, Jan Tretmans: Model-Based Testing of Environmental Conformance of Components. FMCO 2006: 1-25
- [c26]Jan Tretmans: Model-based testing: An attempt to combine provable soundness and effective automation and industrial applicability. MMB 2006: 99-100
- 2005
- [c25]Machiel van der Bijl, Arend Rensink, Jan Tretmans: Action Refinement in Conformance Testing. TestCom 2005: 81-96
- [c24]Arjen van Weelden, Martijn Oostdijk, Lars Frantzen, Pieter W. M. Koopman, Jan Tretmans: On-the-Fly Formal Testing of a Smart Card Applet. SEC 2005: 565-576
- [e1]Ed Brinksma, Wolfgang Grieskamp, Jan Tretmans (Eds.): Perspectives of Model-Based Testing, 5.-10. September 2004. Dagstuhl Seminar Proceedings 04371, IBFI, Schloss Dagstuhl, Germany 2005
- 2004
- [c23]Antonia Bertolino, Lars Frantzen, Andrea Polini, Jan Tretmans: Audition of Web Services for Testing Conformance to Open Specified Protocols. Architecting Systems with Trustworthy Components 2004: 1-25
- [c22]Ed Brinksma, Wolfgang Grieskamp, Jan Tretmans: 04371 Summary - Perspectives of Model-Based Testing. Perspectives of Model-Based Testing 2004
- [c21]Ed Brinksma, Wolfgang Grieskamp, Jan Tretmans: 04371 Abstracts Collection - Perspectives of Model-Based Testing. Perspectives of Model-Based Testing 2004
- [c20]Lars Frantzen, Jan Tretmans, Tim A. C. Willemse: Test Generation Based on Symbolic Specifications. FATES 2004: 1-15
- 2003
- [c19]Machiel van der Bijl, Arend Rensink, Jan Tretmans: Compositional Testing with ioco. FATES 2003: 86-100
- 2002
- [c18]Pieter W. M. Koopman, Artem Alimarine, Jan Tretmans, Marinus J. Plasmeijer: Gast: Generic Automated Software Testing. IFL 2002: 84-100
- [c17]Loe M. G. Feijs, Nicolae Goga, Sjouke Mauw, Jan Tretmans: Test Selection, Trace Distance and Heuristics. TestCom 2002: 267-282
- 2001
- [j4]Jan Tretmans, Klaas Wijbrans, Michel R. V. Chaudron: Software Engineering with Formal Methods: The Development of a Storm Surge Barrier Control System Revisiting Seven Myths of Formal Methods. Formal Methods in System Design 19(2): 195-215 (2001)
- 2000
- [j3]René G. de Vries, Jan Tretmans: On-the-fly Conformance Testing using SPIN. STTT 2(4): 382-393 (2000)
- [c16]Ed Brinksma, Jan Tretmans: Testing Transition Systems: An Annotated Bibliography. MOVEP 2000: 187-195
- [c15]Lex Heerink, Jan Feenstra, Jan Tretmans: Formal Test Automation: The Conference Protocol with PHACT. TestCom 2000: 211-220
1990 – 1999
- 1999
- [c14]
- [c13]Michel R. V. Chaudron, Jan Tretmans, Klaas Wijbrans: Lessons from the Application of Formal Methods to the Design of a Storm Surge Barrier Control System. World Congress on Formal Methods 1999: 1511-1526
- [c12]Axel Belinfante, Jan Feenstra, René G. de Vries, Jan Tretmans, Nicolae Goga, Loe M. G. Feijs, Sjouke Mauw, Lex Heerink: Formal Test Automation: A Simple Experiment. IWTCS 1999: 179-196
- 1998
- [c11]Ed Brinksma, Lex Heerink, Jan Tretmans: Factorized Test Generation for Multi-Input/Output Transition Systems. IWTCS 1998: 67-82
- 1997
- [c10]
- [c9]Lex Heerink, Jan Tretmans: Refusal Testing for Classes of Transition Systems with Inputs and Outputs. FORTE 1997: 23-38
- [c8]Pedro R. D'Argenio, Joost-Pieter Katoen, Theo C. Ruys, Jan Tretmans: The Bounded Retransmission Protocol Must Be on Time! TACAS 1997: 416-431
- 1996
- [j2]Jan Tretmans: Conformance Testing with Labelled Transition Systems: Implementation Relations and Test Generation. Computer Networks and ISDN Systems 29(1): 49-79 (1996)
- [j1]Jan Tretmans: Test Generation with Inputs, Outputs and Repetitive Quiescence. Software - Concepts and Tools 17(3): 103-120 (1996)
- [c7]
- 1993
- [c6]
- 1992
- [c5]Jan Tretmans, Louis Verhaard: A Queue Model Relating Synchronous and Asynchronous Communication. PSTV 1992: 131-145
- [c4]Louis Verhaard, Jan Tretmans, Pim Kars, Ed Brinksma: On Asynchronous Testing. Protocol Test Systems 1992: 55-66
- 1991
- [c3]
- [c2]Jan Tretmans, Pim Kars, Ed Brinksma: Protocol Conformance Testing: A Formal Perspective on ISO IS-9646. Protocol Test Systems 1991: 131-142
1980 – 1989
- 1989
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:09 CEST by the dblp team