Jan Tretmans

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)

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

Petur Olsen, Johan Foederer, Jan Tretmans: Model-Based Testing of Industrial Transformational Systems. ICTSS 2011: 131-145

Jan Tretmans: Model-Based Testing and Some Steps towards Test-Based Modelling. SFM 2011: 297-326

Jan Tretmans, Florian Prester, Philipp Helle, Wladimir Schamai: Model-Based Testing 2010: Short Abstracts. Electr. Notes Theor. Comput. Sci. 264(3): 85-99 (2010)

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

Holger Hermanns, Kim Guldstrand Larsen, Jean-François Raskin, Jan Tretmans: Quantitative system validation in model driven design. EMSOFT 2010: 301-302

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

Wojciech Mostowski, Erik Poll, Julien Schmaltz, Jan Tretmans, Ronny Wichers Schreur: Model-Based Testing of Electronic Passports. FMICS 2009: 207-209

Julien Schmaltz, Jan Tretmans: On Conformance Testing for Timed Systems. FORMATS 2008: 250-264

Jan Tretmans: Model Based Testing with Labelled Transition Systems. Formal Methods and Testing 2008: 1-38

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

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

Lars Frantzen, Jan Tretmans, Tim A. C. Willemse: A Symbolic Framework for Model-Based Testing. FATES/RV 2006: 40-54

Lars Frantzen, Jan Tretmans: Model-Based Testing of Environmental Conformance of Components. FMCO 2006: 1-25

Jan Tretmans: Model-based testing: An attempt to combine provable soundness and effective automation and industrial applicability. MMB 2006: 99-100

Machiel van der Bijl, Arend Rensink, Jan Tretmans: Action Refinement in Conformance Testing. TestCom 2005: 81-96

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

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

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

Ed Brinksma, Wolfgang Grieskamp, Jan Tretmans: 04371 Summary - Perspectives of Model-Based Testing. Perspectives of Model-Based Testing 2004

Ed Brinksma, Wolfgang Grieskamp, Jan Tretmans: 04371 Abstracts Collection - Perspectives of Model-Based Testing. Perspectives of Model-Based Testing 2004

Lars Frantzen, Jan Tretmans, Tim A. C. Willemse: Test Generation Based on Symbolic Specifications. FATES 2004: 1-15

Machiel van der Bijl, Arend Rensink, Jan Tretmans: Compositional Testing with ioco. FATES 2003: 86-100

Pieter W. M. Koopman, Artem Alimarine, Jan Tretmans, Marinus J. Plasmeijer: Gast: Generic Automated Software Testing. IFL 2002: 84-100

Loe M. G. Feijs, Nicolae Goga, Sjouke Mauw, Jan Tretmans: Test Selection, Trace Distance and Heuristics. TestCom 2002: 267-282

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)

René G. de Vries, Jan Tretmans: On-the-fly Conformance Testing using SPIN. STTT 2(4): 382-393 (2000)

Ed Brinksma, Jan Tretmans: Testing Transition Systems: An Annotated Bibliography. MOVEP 2000: 187-195

Lex Heerink, Jan Feenstra, Jan Tretmans: Formal Test Automation: The Conference Protocol with PHACT. TestCom 2000: 211-220

Jan Tretmans: Testing Concurrent Systems: A Formal Approach. CONCUR 1999: 46-65

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

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

Ed Brinksma, Lex Heerink, Jan Tretmans: Factorized Test Generation for Multi-Input/Output Transition Systems. IWTCS 1998: 67-82

Jan Tretmans: Repetitive Quiescence in Implementation and Testing. FBT 1997: 23-37

Lex Heerink, Jan Tretmans: Refusal Testing for Classes of Transition Systems with Inputs and Outputs. FORTE 1997: 23-38

Pedro R. D'Argenio, Joost-Pieter Katoen, Theo C. Ruys, Jan Tretmans: The Bounded Retransmission Protocol Must Be on Time! TACAS 1997: 416-431

Jan Tretmans: Conformance Testing with Labelled Transition Systems: Implementation Relations and Test Generation. Computer Networks and ISDN Systems 29(1): 49-79 (1996)

Jan Tretmans: Test Generation with Inputs, Outputs and Repetitive Quiescence. Software - Concepts and Tools 17(3): 103-120 (1996)

Jan Tretmans: Test Generation with Inputs, Outputs, and Quiescence. TACAS 1996: 127-146

Jan Tretmans: A Formal Approach to Conformance Testing. Protocol Test Systems 1993: 257-276

Jan Tretmans, Louis Verhaard: A Queue Model Relating Synchronous and Asynchronous Communication. PSTV 1992: 131-145

Louis Verhaard, Jan Tretmans, Pim Kars, Ed Brinksma: On Asynchronous Testing. Protocol Test Systems 1992: 55-66

Ed Brinksma, Jan Tretmans, Louis Verhaard: A Framework for Test Selection. PSTV 1991: 233-248

Jan Tretmans, Pim Kars, Ed Brinksma: Protocol Conformance Testing: A Formal Perspective on ISO IS-9646. Protocol Test Systems 1991: 131-142

Jan Tretmans: Test Case Derivation from LOTOS Specifications. FORTE 1989: 345-359