Jan Tretmans

According to our database1, Jan Tretmans authored at least 53 papers between 1989 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Coverage-Based Testing with Symbolic Transition Systems.
Proceedings of the Tests and Proofs - 13th International Conference, 2019

Matching implementations to specifications: the corner cases of ioco.
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

Relating Alternating Relations for Conformance and Refinement.
Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

2017
On the Existence of Practical Testers.
Proceedings of the ModelEd, TestEd, TrustEd, 2017

2015
Approximate Active Learning of Nondeterministic Input Output Transition Systems.
ECEASST, 2015

2014
Improving active Mealy machine learning for protocol conformance testing.
Mach. Learn., 2014

Active Learning of Nondeterministic Systems from an ioco Perspective.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

2013
Introduction: Situation Awareness, Systems of Systems, and Maritime Safety and Security.
Proceedings of the Situation Awareness with Systems of Systems, 2013

2012
Learning and Testing the Bounded Retransmission Protocol.
Proceedings of the Eleventh International Conference on Grammatical Inference, 2012

State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems.
Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

2011
Model-Based Testing and Some Steps towards Test-Based Modelling.
Proceedings of the Formal Methods for Eternal Networked Software Systems, 2011

Model-Based Testing of Industrial Transformational Systems.
Proceedings of the Testing Software and Systems, 2011

2010
Model-Based Testing 2010: Short Abstracts.
Electron. Notes Theor. Comput. Sci., 2010

UPPAAL in Practice: Quantitative Verification of a RapidIO Network.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Quantitative system validation in model driven design.
Proceedings of the 10th International conference on Embedded software, 2010

Model-Based Testing for the Cloud.
Proceedings of the Practical Software Testing: Tool Automation and Human Factors, 14.03., 2010

From POOSL to UPPAAL: Transformation and Quantitative Analysis.
Proceedings of the 10th International Conference on Application of Concurrency to System Design, 2010

2009
Model-Based Testing of Electronic Passports.
Proceedings of the Formal Methods for Industrial Critical Systems, 2009

2008
Model Based Testing with Labelled Transition Systems.
Proceedings of the Formal Methods and Testing, 2008

On Conformance Testing for Timed Systems.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2008

2007
Integrating Verification, Testing, and Learning for Cryptographic Protocols.
Proceedings of the Integrated Formal Methods, 6th International Conference, 2007

2006
Model-based testing: An attempt to combine provable soundness and effective automation and industrial applicability.
Proceedings of the Proceedings 13th GI/ITG Conference on Measuring, 2006

Model-Based Testing of Environmental Conformance of Components.
Proceedings of the Formal Methods for Components and Objects, 5th International Symposium, 2006

A Symbolic Framework for Model-Based Testing.
Proceedings of the Formal Approaches to Software Testing and Runtime Verification, 2006

2005
On-the-Fly Formal Testing of a Smart Card Applet.
Proceedings of the Security and Privacy in the Age of Ubiquitous Computing, IFIP TC11 20th International Conference on Information Security (SEC 2005), May 30, 2005

Action Refinement in Conformance Testing.
Proceedings of the Testing of Communicating Systems, 2005

2004
Test Generation Based on Symbolic Specifications.
Proceedings of the Formal Approaches to Software Testing, 4th International Workshop, 2004

04371 Abstracts Collection - Perspectives of Model-Based Testing.
Proceedings of the Perspectives of Model-Based Testing, 5.-10. September 2004, 2004

04371 Summary - Perspectives of Model-Based Testing.
Proceedings of the Perspectives of Model-Based Testing, 5.-10. September 2004, 2004

Audition of Web Services for Testing Conformance to Open Specified Protocols.
Proceedings of the Architecting Systems with Trustworthy Components, 2004

2003
Compositional Testing with ioco.
Proceedings of the Formal Approaches to Software Testing, 2003

2002
Test Selection, Trace Distance and Heuristics.
Proceedings of the Testing of Communicating Systems XIV, Applications to Internet Technologies and Services, Proceedings of the IFIP 14th International Conference on Testing Communicating Systems, 2002

Gast: Generic Automated Software Testing.
Proceedings of the Implementation of Functional Languages, 14th International Workshop, 2002

2001
Software Engineering with Formal Methods: The Development of a Storm Surge Barrier Control System Revisiting Seven Myths of Formal Methods.
Formal Methods Syst. Des., 2001

2000
On-the-fly Conformance Testing using SPIN.
Int. J. Softw. Tools Technol. Transf., 2000

Formal Test Automation: The Conference Protocol with PHACT.
Proceedings of the Testing of Communicating Systems: Tools and Techniques, IFIP TC6/WG6.1 13<sup>th</sup> International Conference on Testing Communicating Systems (TestCom 2000), August 29, 2000

Testing Transition Systems: An Annotated Bibliography.
Proceedings of the Modeling and Verification of Parallel Processes, 4th Summer School, 2000

1999
Formal Test Automation: A Simple Experiment.
Proceedings of the Testing of Communicating Systems: Method and Applications, 1999

Lessons from the Application of Formal Methods to the Design of a Storm Surge Barrier Control System.
Proceedings of the FM'99 - Formal Methods, 1999

Testing Concurrent Systems: A Formal Approach.
Proceedings of the CONCUR '99: Concurrency Theory, 1999

1998
Factorized Test Generation for Multi-Input/Output Transition Systems.
Proceedings of the Testing of Communicating Systems, IFIP TC6 11th International Workshop on Testing Communicating Systems (IWTCS), August 31, 1998

1997
The Bounded Retransmission Protocol Must Be on Time!
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1997

Refusal Testing for Classes of Transition Systems with Inputs and Outputs.
Proceedings of the Formal Description Techniques and Protocol Specification, 1997

Repetitive Quiescence in Implementation and Testing.
Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1997

1996
Test Generation with Inputs, Outputs and Repetitive Quiescence.
Softw. Concepts Tools, 1996

Conformance Testing with Labelled Transition Systems: Implementation Relations and Test Generation.
Comput. Networks ISDN Syst., 1996

Test Generation with Inputs, Outputs, and Quiescence.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996

1993
A Formal Approach to Conformance Testing.
Proceedings of the Protocol Test Systems, 1993

1992
On Asynchronous Testing.
Proceedings of the Protocol Test Systems, V, 1992

A Queue Model Relating Synchronous and Asynchronous Communication.
Proceedings of the Protocol Specification, 1992

1991
Protocol Conformance Testing: A Formal Perspective on ISO IS-9646.
Proceedings of the Protocol Test Systems, IV, 1991

A Framework for Test Selection.
Proceedings of the Protocol Specification, 1991

1989
Test Case Derivation from LOTOS Specifications.
Proceedings of the Formal Description Techniques, 1989


  Loading...