dblp.uni-trier.dewww.uni-trier.de

Jan Tretmans Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2008
37EEJulien Schmaltz, Jan Tretmans: On Conformance Testing for Timed Systems. FORMATS 2008: 250-264
36EEJan 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
34EEMartijn 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
33EELars Frantzen, Jan Tretmans, Tim A. C. Willemse: A Symbolic Framework for Model-Based Testing. FATES/RV 2006: 40-54
32EELars 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
28EEMachiel van der Bijl, Arend Rensink, Jan Tretmans: Action Refinement in Conformance Testing. TestCom 2005: 81-96
2004
27EEAntonia 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
26EELars Frantzen, Jan Tretmans, Tim A. C. Willemse: Test Generation Based on Symbolic Specifications. FATES 2004: 1-15
25EEEd Brinksma, Wolfgang Grieskamp, Jan Tretmans: 04371 Abstracts Collection - Perspectives of Model-Based Testing. Perspectives of Model-Based Testing 2004
24EEEd Brinksma, Wolfgang Grieskamp, Jan Tretmans: 04371 Summary - Perspectives of Model-Based Testing. Perspectives of Model-Based Testing 2004
2003
23EEMachiel van der Bijl, Arend Rensink, Jan Tretmans: Compositional Testing with ioco. FATES 2003: 86-100
2002
22EEPieter 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
19EEEd 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
17EERené G. de Vries, Jan Tretmans: On-the-fly Conformance Testing using SPIN. STTT 2(4): 382-393 (2000)
1999
16EEJan 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
14EEMichel 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
8EEJan 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

1Artem Alimarine [22]
2Axel Belinfante [15]
3Antonia Bertolino [27]
4Machiel van der Bijl [23] [28]
5Ed Brinksma [2] [3] [4] [13] [19] [24] [25] [30]
6Michel R. V. Chaudron [14] [20]
7Pedro R. D'Argenio [10]
8Jan Feenstra [15] [18]
9Loe M. G. Feijs [15] [21]
10Lars Frantzen [26] [27] [29] [32] [33]
11Nicolae Goga [15] [21]
12Wolfgang Grieskamp [24] [25] [30] [35]
13Lex Heerink [11] [13] [15] [18]
14Pim Kars [2] [4]
15Joost-Pieter Katoen [10]
16Pieter W. M. Koopman [22] [29]
17Sjouke Mauw [15] [21]
18Martijn Oostdijk [29] [34]
19Alexandre Petrenko [35]
20Marinus J. Plasmeijer (Rinus Plasmeijer) [22]
21Andrea Polini [27]
22Arend Rensink [23] [28]
23Vlad Rusu [34]
24Theo C. Ruys [10]
25Julien Schmaltz [37]
26Margus Veanes [35]
27Louis Verhaard [3] [4] [5]
28René G. de Vries [15] [17] [34]
29Arjen van Weelden [29]
30Klaas Wijbrans [14] [20]
31Tim A. C. Willemse [26] [33] [34]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)