Jan Tretmans

VLDB 2026 Research / reviewers in the wild / expert

dblp:06/4485 · DBLP profile ↗

← Back

18ranked-venue papers

4as first author

2since 2021 · last 2027

—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 12 · 1 first-author · 2 since 2021Theory of computation · 4 · 2 first-authorComputer networks · 3 · 2 first-authorArtificial intelligence and machine learning · 1Systems, architecture and hardware · 1Security and privacy · 1Applied, interdisciplinary, general and emerging computing · 1

Year	Publication	Venue	Position
2027	Testing compositionality abstract Contains fulltext : 334362.pdf (Publisher’s version ) (Open Access) Gijs van Cuyck, Lars van Arragon, Jan Tretmans	Sci. Comput. Program.	3
2023	Compositionality in Model-Based Testing Gijs van Cuyck, Lars van Arragon, Jan Tretmans	ICTSS	3
2019	Relating Alternating Relations for Conformance and Refinement Ramon Janssen, Frits W. Vaandrager, Jan Tretmans	IFM	3
2014	Active Learning of Nondeterministic Systems from an ioco Perspective Michele Volpato, Jan Tretmans	ISoLA (1)	2
2014	Improving active Mealy machine learning for protocol conformance testing Fides Aarts, Harco Kuppens, Jan Tretmans, Frits W. Vaandrager, Sicco Verwer	Mach. Learn.	3
2012	State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems abstract This paper surveys well-established/recent tools and techniques developed for the design of rigorous embedded systems. We will first survey UPPAAL and MODEST, two tools capable of dealing with both timed and stochastic aspects. Then, we will overview the BIP framework for modular design and code generation. Finally, model-based testing will be discussed. Marius Bozga, Alexandre David, Arnd Hartmanns, Holger Hermanns, Kim G. Larsen, Axel Legay, Jan Tretmans	DATE	7
2011	Model-Based Testing of Industrial Transformational Systems Petur Olsen, Johan Foederer, Jan Tretmans	ICTSS	3
2010	Quantitative system validation in model driven design abstract The European STREP project Quasimodo1 develops theory, techniques and tool components for handling quantitative constraints in model-driven development of real-time embedded systems, covering in particular real-time, hybrid and stochastic aspects. This tutorial highlights the advances made, focussing on real industrial case studies tackled. Holger Hermanns, Kim G. Larsen, Jean-François Raskin, Jan Tretmans	EMSOFT	4
2010	UPPAAL in Practice: Quantitative Verification of a RapidIO Network Jiansheng Xing, Bart D. Theelen, Rom Langerak, Jaco van de Pol, Jan Tretmans, Jeroen Voeten	ISoLA (2)	5
2009	Model-Based Testing of Electronic Passports Wojciech Mostowski, Erik Poll, Julien Schmaltz, Jan Tretmans, Ronny Wichers Schreur	FMICS	4
2007	Integrating Verification, Testing, and Learning for Cryptographic Protocols Martijn Oostdijk, Vlad Rusu, Jan Tretmans, René G. de Vries, Tim A. C. Willemse	IFM	3
2005	On-the-Fly Formal Testing of a Smart Card Applet Arjen van Weelden, Martijn Oostdijk, Lars Frantzen, Pieter W. M. Koopman, Jan Tretmans	SEC	5
2001	Software Engineering with Formal Methods: The Development of a Storm Surge Barrier Control System Revisiting Seven Myths of Formal Methods Jan Tretmans, Klaas Wijbrans, Michel R. V. Chaudron	Formal Methods Syst. Des.	1
2000	On-the-fly Conformance Testing using SPIN René G. de Vries, Jan Tretmans	Int. J. Softw. Tools Technol. Transf.	2
1999	Testing Concurrent Systems: A Formal Approach Jan Tretmans	CONCUR	1
1997	Refusal Testing for Classes of Transition Systems with Inputs and Outputs Lex Heerink, Jan Tretmans	FORTE	2
1996	Conformance Testing with Labelled Transition Systems: Implementation Relations and Test Generation Jan Tretmans	Comput. Networks ISDN Syst.	1
1989	Test Case Derivation from LOTOS Specifications Jan Tretmans	FORTE	1