Jan Tretmans

	2012
45		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
44		Petur Olsen, Johan Foederer, Jan Tretmans: Model-Based Testing of Industrial Transformational Systems. ICTSS 2011: 131-145
43		Jan Tretmans: Model-Based Testing and Some Steps towards Test-Based Modelling. SFM 2011: 297-326
	2010
42		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
41		Holger Hermanns, Kim Guldstrand Larsen, Jean-François Raskin, Jan Tretmans: Quantitative system validation in model driven design. EMSOFT 2010: 301-302
40		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
39		Jan Tretmans, Florian Prester, Philipp Helle, Wladimir Schamai: Model-Based Testing 2010: Short Abstracts. Electr. Notes Theor. Comput. Sci. 264(3): 85-99 (2010)
	2009
38		Wojciech Mostowski, Erik Poll, Julien Schmaltz, Jan Tretmans, Ronny Wichers Schreur: Model-Based Testing of Electronic Passports. FMICS 2009: 207-209
	2008
37		Julien Schmaltz, Jan Tretmans: On Conformance Testing for Timed Systems. FORMATS 2008: 250-264
36		Jan Tretmans: Model Based Testing with Labelled Transition Systems. Formal Methods and Testing 2008: 1-38
	2007
35		Alexandre Petrenko, Margus Veanes, Jan Tretmans, Wolfgang Grieskamp: 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 Springer 2007
34		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
	2006
33		Lars Frantzen, Jan Tretmans, Tim A. C. Willemse: A Symbolic Framework for Model-Based Testing. FATES/RV 2006: 40-54
32		Lars Frantzen, Jan Tretmans: Model-Based Testing of Environmental Conformance of Components. FMCO 2006: 1-25
31		Jan Tretmans: Model-based testing: An attempt to combine provable soundness and effective automation and industrial applicability. MMB 2006: 99-100
	2005
30		Ed Brinksma, Wolfgang Grieskamp, Jan Tretmans: Perspectives of Model-Based Testing, 5.-10. September 2004 IBFI, Schloss Dagstuhl, Germany 2005
29		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
28		Machiel van der Bijl, Arend Rensink, Jan Tretmans: Action Refinement in Conformance Testing. TestCom 2005: 81-96
	2004
27		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
26		Lars Frantzen, Jan Tretmans, Tim A. C. Willemse: Test Generation Based on Symbolic Specifications. FATES 2004: 1-15
25		Ed Brinksma, Wolfgang Grieskamp, Jan Tretmans: 04371 Abstracts Collection - Perspectives of Model-Based Testing. Perspectives of Model-Based Testing 2004
24		Ed Brinksma, Wolfgang Grieskamp, Jan Tretmans: 04371 Summary - Perspectives of Model-Based Testing. Perspectives of Model-Based Testing 2004
	2003
23		Machiel van der Bijl, Arend Rensink, Jan Tretmans: Compositional Testing with ioco. FATES 2003: 86-100
	2002
22		Pieter W. M. Koopman, Artem Alimarine, Jan Tretmans, Marinus J. Plasmeijer: Gast: Generic Automated Software Testing. IFL 2002: 84-100
21		Loe M. G. Feijs, Nicolae Goga, Sjouke Mauw, Jan Tretmans: Test Selection, Trace Distance and Heuristics. TestCom 2002: 267-282
	2001
20		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
19		Ed Brinksma, Jan Tretmans: Testing Transition Systems: An Annotated Bibliography. MOVEP 2000: 187-195
18		Lex Heerink, Jan Feenstra, Jan Tretmans: Formal Test Automation: The Conference Protocol with PHACT. TestCom 2000: 211-220
17		René G. de Vries, Jan Tretmans: On-the-fly Conformance Testing using SPIN. STTT 2(4): 382-393 (2000)
	1999
16		Jan Tretmans: Testing Concurrent Systems: A Formal Approach. CONCUR 1999: 46-65
15		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
14		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
	1998
13		Ed Brinksma, Lex Heerink, Jan Tretmans: Factorized Test Generation for Multi-Input/Output Transition Systems. IWTCS 1998: 67-82
	1997
12		Jan Tretmans: Repetitive Quiescence in Implementation and Testing. FBT 1997: 23-37
11		Lex Heerink, Jan Tretmans: Refusal Testing for Classes of Transition Systems with Inputs and Outputs. FORTE 1997: 23-38
10		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
9		Jan Tretmans: Test Generation with Inputs, Outputs, and Quiescence. TACAS 1996: 127-146
8		Jan Tretmans: Conformance Testing with Labelled Transition Systems: Implementation Relations and Test Generation. Computer Networks and ISDN Systems 29(1): 49-79 (1996)
7		Jan Tretmans: Test Generation with Inputs, Outputs and Repetitive Quiescence. Software - Concepts and Tools 17(3): 103-120 (1996)
	1993
6		Jan Tretmans: A Formal Approach to Conformance Testing. Protocol Test Systems 1993: 257-276
	1992
5		Jan Tretmans, Louis Verhaard: A Queue Model Relating Synchronous and Asynchronous Communication. PSTV 1992: 131-145
4		Louis Verhaard, Jan Tretmans, Pim Kars, Ed Brinksma: On Asynchronous Testing. Protocol Test Systems 1992: 55-66
	1991
3		Ed Brinksma, Jan Tretmans, Louis Verhaard: A Framework for Test Selection. PSTV 1991: 233-248
2		Jan Tretmans, Pim Kars, Ed Brinksma: Protocol Conformance Testing: A Formal Perspective on ISO IS-9646. Protocol Test Systems 1991: 131-142
	1989
1		Jan Tretmans: Test Case Derivation from LOTOS Specifications. FORTE 1989: 345-359

Coauthor Index

1	Artem Alimarine	[22]
2	Axel Belinfante	[15]
3	Antonia Bertolino	[27]
4	Machiel van der Bijl	[23] [28]
5	Marius Bozga	[45]
6	Ed Brinksma	[2] [3] [4] [13] [19] [24] [25] [30]
7	Michel R. V. Chaudron	[14] [20]
8	Pedro R. D'Argenio	[10]
9	Alexandre David	[45]
10	Jan Feenstra	[15] [18]
11	Loe M. G. Feijs	[15] [21]
12	Johan Foederer	[44]
13	Lars Frantzen	[26] [27] [29] [32] [33]
14	Nicolae Goga	[15] [21]
15	Wolfgang Grieskamp	[24] [25] [30] [35]
16	Arnd Hartmanns	[45]
17	Lex Heerink	[11] [13] [15] [18]
18	Philipp Helle	[39]
19	Holger Hermanns	[41] [45]
20	Pim Kars	[2] [4]
21	Joost-Pieter Katoen	[10]
22	Pieter W. M. Koopman	[22] [29]
23	Rom Langerak	[40] [42]
24	Kim Guldstrand Larsen (Kim G. Larsen)	[41] [45]
25	Axel Legay	[45]
26	Sjouke Mauw	[15] [21]
27	Wojciech Mostowski	[38]
28	Petur Olsen	[44]
29	Martijn Oostdijk	[29] [34]
30	Alexandre Petrenko	[35]
31	Marinus J. Plasmeijer (Rinus Plasmeijer)	[22]
32	Jaco van de Pol	[40] [42]
33	Andrea Polini	[27]
34	Erik Poll	[38]
35	Florian Prester	[39]
36	Jean-François Raskin	[41]
37	Arend Rensink	[23] [28]
38	Vlad Rusu	[34]
39	Theo C. Ruys	[10]
40	Wladimir Schamai	[39]
41	Julien Schmaltz	[37] [38]
42	Ronny Wichers Schreur	[38]
43	Bart D. Theelen	[40] [42]
44	Margus Veanes	[35]
45	Louis Verhaard	[3] [4] [5]
46	Jeroen Voeten	[40] [42]
47	René G. de Vries	[15] [17] [34]
48	Arjen van Weelden	[29]
49	Klaas Wijbrans	[14] [20]
50	Tim A. C. Willemse	[26] [33] [34]
51	Jiansheng Xing	[40] [42]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page