Jan Tretmans
According to our database1,
Jan Tretmans
authored at least 58 papers
between 1989 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
2023
Proceedings of the Testing Software and Systems, 2023
Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2023, 2023
2022
Proceedings of the A Journey from Process Algebra via Timed Automata to Model Learning, 2022
2019
Proceedings of the Tests and Proofs - 13th International Conference, 2019
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019
Proceedings of the Integrated Formal Methods - 15th International Conference, 2019
2017
Proceedings of the ModelEd, TestEd, TrustEd, 2017
2015
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2015
2014
Mach. Learn., 2014
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014
2013
Proceedings of the 2013 International Workshop on Joining AcadeMiA and Industry Contributions to testing Automation, 2013
Introduction: Situation Awareness, Systems of Systems, and Maritime Safety and Security.
Proceedings of the Situation Awareness with Systems of Systems, 2013
2012
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
Proceedings of the Formal Methods for Eternal Networked Software Systems, 2011
Proceedings of the Testing Software and Systems, 2011
2010
Proceedings of the Sixth Workshop on Model-Based Testing, 2010
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010
Proceedings of the 10th International conference on Embedded software, 2010
Proceedings of the Practical Software Testing: Tool Automation and Human Factors, 14.03., 2010
Proceedings of the 10th International Conference on Application of Concurrency to System Design, 2010
2009
Proceedings of the Formal Methods for Industrial Critical Systems, 2009
2008
Proceedings of the Formal Methods and Testing, 2008
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2008
2007
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
Proceedings of the Formal Methods for Components and Objects, 5th International Symposium, 2006
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
Proceedings of the Testing of Communicating Systems, 2005
2004
Proceedings of the Formal Approaches to Software Testing, 4th International Workshop, 2004
Proceedings of the Perspectives of Model-Based Testing, 5.-10. September 2004, 2004
Proceedings of the Perspectives of Model-Based Testing, 5.-10. September 2004, 2004
Proceedings of the Architecting Systems with Trustworthy Components, 2004
2003
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
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
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
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
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
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
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