Author Publications

Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type
Jump to: 2010 | 2007 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 | 1998 | 1997 | 1996 | 1992
Number of items: 41.

2010

Xing, Jiansheng and Theelen, B.D. and Langerak, Rom and Pol, Jaco van de and Tretmans, Jan and Voeten, J.P.M. (2010) From POOSL to UPPAAL: Transformation and Quantitative Analysis. In: Tenth International Conference on Application of Concurrency to System Design, ACSD 2010, 21-25 June 2010, Braga, Portugal (pp. pp. 47-56).

Xing, Jiansheng and Theelen, Bart D. and Langerak, Rom and Pol, Jaco van de and Tretmans, Jan and Voeten, J.P.M. (2010) UPPAAL in Practice: Quantitative Verication of a RapidIO Network. In: 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2010, 18-20 October 2010, Amirandes, Heraclion, Crete (pp. pp. 160-174). (In Press)

2007

Bijl, Machiel van der and Rensink, Arend and Tretmans, Jan (2007) Atomic Action Refinement in Model Based Testing. [Report]

2005

Bijl, Machiel van der and Rensink, Arend and Tretmans, Jan (2005) Action refinement in testing with UIOCO. [Report]

Bijl, Machiel van der and Rensink, Arend and Tretmans, Jan (2005) Action refinement in conformance testing. [Report]

2004

Bijl, Machiel van der and Rensink, Arend and Tretmans, Jan (2004) Action Refinement in Testing with uioco. In: 5TH PROGRESS Symposium on Embedded Systems, October 20, 2004, Nieuwegein, the Netherlands (pp. pp. 16-26).

Bijl, Machiel van der and Rensink, Arend and Tretmans, Jan (2004) Compositional Testing with ioco. In: Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, October 6, 2003, Montreal, Quebec, Canada (pp. pp. 86-100).

2003

Bijl, Machiel van der and Rensink, Arend and Tretmans, Jan (2003) Component based testing with IOCO. [Report]

Tretmans, Jan and Brinksma, Ed (2003) TorX: Automated Model-Based Testing. In: First European Conference on Model-Driven Software Engineering, December 11-12, 2003, Nuremberg, Germany (pp. pp. 31-43).

2002

Tretmans, Jan and Brinksma, Ed (2002) Côte de Resyste : Automated Model Based Testing. In: 3rd PROGRESS Workshop on Embedded Systems, 24 October 2002, Utrecht, Netherlands (pp. pp. 246-255).

2001

Belinfante, Axel and Brinksma, Ed and Feenstra, Jan and Tretmans, Jan and Vries, René (2001) Côte de Resyste : automatic model-based testing of communication protocols. In: 7th Annual CTIT Workshop on Mobile Communications in Perspective, 8 February 2001, Enschede, the Netherlands (pp. pp. 49-51).

Brinksma, Ed and Tretmans, Jan (2001) Testing Transition Systems: An Annotated Bibliography. In: 4th Summer School on Modeling and Verification of Parallel Processes, MOVEP 2000, June 19-23, 2000, Nantes, France (pp. pp. 187-195).

(2001) Formal Approaches to Testing of Software FATES'01. [Report]

2000

Heerink, Lex and Feenstra, Jan and Tretmans, Jan (2000) Formal Test Automation: The Conference Protocol with PHACT. In: IFIP TC6/WG6.1 13th International Conference on Testing Communicating Systems: Tools and Techniques, TESTCOM 2000, August 29 - September 1, 2000, Ottawa, Canada (pp. pp. 211-220).

Tretmans, Jan (2000) Côte de Resyste : Test Automation with Formal Methods. Xootic Magazine, 8 (2). pp. 11-13.

Tretmans, Jan and Belinfante, Axel (2000) Automatic Testing with Formal Methods - Samenvatting van de EuroSTAR'99 presentatie. Testnet Nieuws, 4 (1). pp. 8-10.

Vries, René and Tretmans, Jan and Belinfante, Axel and Feenstra, Jan and Feijs, Loe and Mauw, Sjouke and Goga, Nicolae and Heerink, Lex and Heer, Arjan de (2000) Côte de resyste in PROGRESS. In: PROGRESS 2000 Workshop on Embedded Systems, October 13, 2000, Utrecht, The Netherlands (pp. pp. 141-148).

Vries, René G. de and Tretmans, Jan (2000) On-the-fly conformance testing using Spin. International Journal on Software Tools for Technology Transfer (STTT), 2 (4). pp. 382-393. ISSN 1433-2779

Willemse, Tim and Tretmans, Jan and Klomp, Arjen (2000) A Case Study in Formal Methods: Specification and Validation of the OM/RR Protocol. In: 5th International ERCIM Workshop on Formal Methods for Industrial Critical Systems, FMICS 2000, April 3-4, 2000, Berlin, Germany (pp. pp. 331-344).

1999

Belinfante, Axel and Feenstra, Jan and Vries, René G. de and Tretmans, Jan and Goga, Nicolae and Feijs, Loe and Mauw, Sjouke and Heerink, Lex (1999) Formal test automation: a simple experiment. In: 12th IFIP WG 6.1 International Workshop on Testing Communicating Systems, September 1-3, 1999, Budapest, Hungary (pp. pp. 179-196).

Chaudron, M. and Tretmans, G.J. and Wijbrans, K.C.J. (1999) Lessons from the Application of Formal Methods to the Design of a Storm Surge Barrier Control System. In: Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II (pp. pp. 1511-1526).

Tretmans, G.J. and Wijbrans, K.C.J. and Chaudron, M. (1999) Software Engineering with Formal Methods: The Development of a Storm Surge Barrier Control System -- Seven Myths of Formal Methods Revisited. In: Fourth Int. ERCIM Workshop on Formal Methodsfor Industrial Critical Systems (FMICS'99) -- Proceedings of the FLoC Workshop, 11-12 July 1999, Trento, Italy (pp. pp. 225-237).

Tretmans, Jan (1999) Testing Concurrent Systems: A Formal Approach. In: 10th International Conference on Concurrency Theory, CONCUR 1999, August 24-27, 1999, Eindhoven, The Netherlands (pp. pp. 46-65).

Tretmans, Jan and Belinfante, Axel (1999) Automatic testing with formal methods. [Report]

Tretmans, Jan and Belinfante, Axel (1999) Automatic testing with formal methods. In: 7th European International Conference on Software Testing, Analysis & Review, EuroSTAR 1999, 8-12 November 1999, Barcelona, Spain.

1998

Brinksma, H. and Heerink, A.W. and Tretmans, G.J. (1998) Factorized Test Generation for Multi Input/Output Transition Systems. In: Proceedings of the IFIP TC6 11th International Workshop on Testing Communicating Systems (pp. pp. 67-82).

Geurts, W. and Wijbrans, K.C.J. and Tretmans, G.J. (1998) Testing and Formal Methods - BOS Project Case Study. In: EuroSTAR'98: 6th European Int. Conference on Software Testing, Analysis & Review, 30 Nov - 01 Dec 1998, Munich, Germany (pp. pp. 215-229).

Vries, R.G. de and Tretmans, G.J. (1998) On-the-Fly Conformance Testing using Spin. In: Fourth Workshop on Automata Theoretic Verification with the Spin Model Checker, November 2, 1998, Paris, France (pp. pp. 115-128).

1997

Brinksma, H. and Heerink, A.W. and Tretmans, G.J. (1997) Developments in Testing Transition Systems. In: Int. Workshop on Testing of Communicating Systems X (pp. pp. 143-166).

D'Argenio, P.R. and Katoen, J.P. and Ruys, T.C. and Tretmans, G.J. (1997) The bounded retransmission protocol must be on time! In: Proceedings of the Third Workshop on Tools and Algorithms for the Construction and Analysis of Systems (pp. pp. 416-431).

D'Argenio, Pedro R. and Katoen, Joost-Pieter and Ruijs, Theo C. and Tretmans, G. Jan (1997) The bounded retransmission protocol must be on time! [Report]

Heerink, A.W. and Tretmans, G.J. (1997) Refusal Testing for Classes of Transition Systems with Inputs and Outputs. In: Proceedings of the IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII) (pp. pp. 23-38).

Tretmans, G.J. (1997) Repetitive Quiescence in Implementation and Testing (Extended Abstract). In: Formale Beschreibungstechniken für verteilte Systeme, 19.-20. Juni 1997, Berlin, Germany (pp. pp. 23-37).

1996

Heerink, A.W. and Tretmans, G.J. (1996) Formal Methods in Conformance Testing: A Probabilistic Refinement. In: Selected proceedings of the IFIP TC6 9th international workshop on Testing of communicating systems, Darmstadt, Germany (pp. pp. 261-276).

Hogrefe, D. and Heymer, S. and Tretmans, G.J. (1996) Report on the Standardization Project ``Formal Methods in Conformance Testing''. In: Selected proceedings of the IFIP TC6 9th international workshop on Testing of communicating systems, Darmstadt, Germany (pp. pp. 289-298).

Terpstra, R. and Ferreira Pires, L. and Heerink, A.W. and Tretmans, G.J. (1996) Testing theory in practice: a simple experiment. In: COST 247 International Workshop on Applied Formal Methods in System Design, 17-19 Jun 1996, Maribor, Slovenia (pp. pp. 168-183).

Tretmans, G.J. (1996) Test Generation with Inputs, Outputs, and Quiescence. In: Tools and Algorithms for Construction and Analysis of Systems, Second International Workshop, TACAS '96, March 27-29, 1996, Passau, Germany (pp. pp. 127-146).

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

Tretmans, Jan (1996) Test Generation with Inputs, Outputs and Repetitive Quiescence. Software - Concepts & Tools, 3 . pp. 103-120. ISSN 0945-8115

Tretmans, Jan (1996) Test Generation with Inputs, Outputs and Repetitive Quiescence. [Report]

1992

Tretmans, Gerrit Jan (1992) A formal approach to conformance testing. thesis.

This list was generated on Wed Oct 1 05:13:51 2014 CEST.