The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jan Tretmans: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jan Tretmans
    Testing Concurrent Systems: A Formal Approach. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1999, pp:46-65 [Conf]
  2. Ed Brinksma, Wolfgang Grieskamp, Jan Tretmans
    04371 Summary - Perspectives of Model-Based Testing. [Citation Graph (0, 0)][DBLP]
    Perspectives of Model-Based Testing, 2004, pp:- [Conf]
  3. Ed Brinksma, Wolfgang Grieskamp, Jan Tretmans
    04371 Abstracts Collection - Perspectives of Model-Based Testing. [Citation Graph (0, 0)][DBLP]
    Perspectives of Model-Based Testing, 2004, pp:- [Conf]
  4. Antonia Bertolino, Lars Frantzen, Andrea Polini, Jan Tretmans
    Audition of Web Services for Testing Conformance to Open Specified Protocols. [Citation Graph (0, 0)][DBLP]
    Architecting Systems with Trustworthy Components, 2004, pp:1-25 [Conf]
  5. Machiel van der Bijl, Arend Rensink, Jan Tretmans
    Compositional Testing with ioco. [Citation Graph (0, 0)][DBLP]
    FATES, 2003, pp:86-100 [Conf]
  6. Lars Frantzen, Jan Tretmans, Tim A. C. Willemse
    Test Generation Based on Symbolic Specifications. [Citation Graph (0, 0)][DBLP]
    FATES, 2004, pp:1-15 [Conf]
  7. Lars Frantzen, Jan Tretmans, Tim A. C. Willemse
    A Symbolic Framework for Model-Based Testing. [Citation Graph (0, 0)][DBLP]
    FATES/RV, 2006, pp:40-54 [Conf]
  8. Jan Tretmans
    Repetitive Quiescence in Implementation and Testing. [Citation Graph (0, 0)][DBLP]
    FBT, 1997, pp:23-37 [Conf]
  9. 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. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:1511-1526 [Conf]
  10. Lex Heerink, Jan Tretmans
    Refusal Testing for Classes of Transition Systems with Inputs and Outputs. [Citation Graph (0, 0)][DBLP]
    FORTE, 1997, pp:23-38 [Conf]
  11. Jan Tretmans
    Test Case Derivation from LOTOS Specifications. [Citation Graph (0, 0)][DBLP]
    FORTE, 1989, pp:345-359 [Conf]
  12. Pieter W. M. Koopman, Artem Alimarine, Jan Tretmans, Marinus J. Plasmeijer
    Gast: Generic Automated Software Testing. [Citation Graph (0, 0)][DBLP]
    IFL, 2002, pp:84-100 [Conf]
  13. Ed Brinksma, Jan Tretmans
    Testing Transition Systems: An Annotated Bibliography. [Citation Graph (0, 0)][DBLP]
    MOVEP, 2000, pp:187-195 [Conf]
  14. Ed Brinksma, Jan Tretmans, Louis Verhaard
    A Framework for Test Selection. [Citation Graph (0, 0)][DBLP]
    PSTV, 1991, pp:233-248 [Conf]
  15. Jan Tretmans, Louis Verhaard
    A Queue Model Relating Synchronous and Asynchronous Communication. [Citation Graph (0, 0)][DBLP]
    PSTV, 1992, pp:131-145 [Conf]
  16. 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. [Citation Graph (0, 0)][DBLP]
    IWTCS, 1999, pp:179-196 [Conf]
  17. Machiel van der Bijl, Arend Rensink, Jan Tretmans
    Action Refinement in Conformance Testing. [Citation Graph (0, 0)][DBLP]
    TestCom, 2005, pp:81-96 [Conf]
  18. Loe M. G. Feijs, Nicolae Goga, Sjouke Mauw, Jan Tretmans
    Test Selection, Trace Distance and Heuristics. [Citation Graph (0, 0)][DBLP]
    TestCom, 2002, pp:267-282 [Conf]
  19. Ed Brinksma, Lex Heerink, Jan Tretmans
    Factorized Test Generation for Multi-Input/Output Transition Systems. [Citation Graph (0, 0)][DBLP]
    IWTCS, 1998, pp:67-82 [Conf]
  20. Lex Heerink, Jan Feenstra, Jan Tretmans
    Formal Test Automation: The Conference Protocol with PHACT. [Citation Graph (0, 0)][DBLP]
    TestCom, 2000, pp:211-220 [Conf]
  21. Jan Tretmans
    A Formal Approach to Conformance Testing. [Citation Graph (0, 0)][DBLP]
    Protocol Test Systems, 1993, pp:257-276 [Conf]
  22. Jan Tretmans, Pim Kars, Ed Brinksma
    Protocol Conformance Testing: A Formal Perspective on ISO IS-9646. [Citation Graph (0, 0)][DBLP]
    Protocol Test Systems, 1991, pp:131-142 [Conf]
  23. Louis Verhaard, Jan Tretmans, Pim Kars, Ed Brinksma
    On Asynchronous Testing. [Citation Graph (0, 0)][DBLP]
    Protocol Test Systems, 1992, pp:55-66 [Conf]
  24. Arjen van Weelden, Martijn Oostdijk, Lars Frantzen, Pieter W. M. Koopman, Jan Tretmans
    On-the-Fly Formal Testing of a Smart Card Applet. [Citation Graph (0, 0)][DBLP]
    SEC, 2005, pp:565-576 [Conf]
  25. Pedro R. D'Argenio, Joost-Pieter Katoen, Theo C. Ruys, Jan Tretmans
    The Bounded Retransmission Protocol Must Be on Time! [Citation Graph (0, 0)][DBLP]
    TACAS, 1997, pp:416-431 [Conf]
  26. Jan Tretmans
    Test Generation with Inputs, Outputs, and Quiescence. [Citation Graph (0, 0)][DBLP]
    TACAS, 1996, pp:127-146 [Conf]
  27. Jan Tretmans
    Conformance Testing with Labelled Transition Systems: Implementation Relations and Test Generation. [Citation Graph (0, 0)][DBLP]
    Computer Networks and ISDN Systems, 1996, v:29, n:1, pp:49-79 [Journal]
  28. 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. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2001, v:19, n:2, pp:195-215 [Journal]
  29. Jan Tretmans
    Test Generation with Inputs, Outputs and Repetitive Quiescence. [Citation Graph (0, 0)][DBLP]
    Software - Concepts and Tools, 1996, v:17, n:3, pp:103-120 [Journal]
  30. René G. de Vries, Jan Tretmans
    On-the-fly Conformance Testing using SPIN. [Citation Graph (0, 0)][DBLP]
    STTT, 2000, v:2, n:4, pp:382-393 [Journal]
  31. Martijn Oostdijk, Vlad Rusu, Jan Tretmans, René G. de Vries, Tim A. C. Willemse
    Integrating Verification, Testing, and Learning for Cryptographic Protocols. [Citation Graph (0, 0)][DBLP]
    IFM, 2007, pp:538-557 [Conf]

  32. Model-Based Testing of Environmental Conformance of Components. [Citation Graph (, )][DBLP]


  33. On Conformance Testing for Timed Systems. [Citation Graph (, )][DBLP]


  34. Model-based testing: An attempt to combine provable soundness and effective automation and industrial applicability. [Citation Graph (, )][DBLP]


  35. Model-Based Testing of Electronic Passports. [Citation Graph (, )][DBLP]


  36. Model Based Testing with Labelled Transition Systems. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002