G. J. Tretmans

PROFILE

Homepage
No homepage is listed.
ORCID
No ORCID is listed.
Affiliations
No affiliations are listed.
Aliases
G. Jan Tretmans
Publication record
19 papers · 153 citations · H-index 7

PAPERS

Model-Based Testing with TorXakis: The Mysteries of Dropbox Revisited
20199 citationsauthor #1
Active Learning of Security Protocols
20130 citationsauthor #1
Integrating Testing And Learning of Interface Automata (ITALIA)
20121 citationsauthor #2
Test Theory and Test Derivation Algorithms : compositional Testing with ioco
20040 citationsauthor #3
Compositional based testing with ioco
20049 citationsauthor #3
Formal Approaches to Testing of Software FATES'01
20016 citationsauthor #1
Côte de Resyste : Automatic Model-Based Testing of Communication Protocols
20012 citationsauthor #4
Côte de Resyste in Progress
200019 citationsauthor #2
Software Engineering with Formal Methods: The Development of a Storm Surge Barrier Control System -- Seven Myths of Formal Methods Revisited
19997 citationsauthor #1
Testing and Formal Methods - BOS Project Case Study
199813 citationsauthor #3
Repetitive Quiescence in Implementation and Testing (Extended Abstract)
19971 citationsauthor #1
Refusal Testing for Classes of Transition Systems
19971 citationsauthor #2
Modelling and Verifying a Bounded Retransmission Protocol
199626 citationsauthor #1
Testing theory in practice: a simple experiment
199626 citationsauthor #6
Informatics for Technical Applications
19950 citationsauthor #6
Testing labelled Transition Systems with Inputs and Outputs
199531 citationsauthor #1
Some comments on "Final definition of a Property Language on the Common Semantic - SPECS document D.WP5.13, Vesion 2"
19920 citationsauthor #2
A Theoretical and Methodological Framework to Conformance Testing
19902 citationsauthor #2
Test Derivation: commonts on LO/WP1/T1.3/BTN0014/VI
19900 citationsauthor #1

TIMELINE

1990 2 citations

1992 0 citations

1995 31 citations

1996 52 citations

1997 2 citations

1998 13 citations

1999 7 citations

2000 19 citations

2001 8 citations

2004 9 citations

2012 1 citations

2013 0 citations

2019 9 citations

G. J. Tretmans

PROFILE

PAPERS

TIMELINE

COAUTHOR MAP

CONCEPT FOOTPRINT