Jan Tretmans - RankMe

65 papers A 3B 3C 5Misc 3Journal 9Unranked 38

Year	Rank	Type	Title / Venue / Authors
2024	—	`conf`	An Intermediate Language to Integrate Behavior-Driven Development Scenarios and Model-Based Testing. SANER (Companion) Tannaz Zameni, Petra van den Bos, Arend Rensink, Jan Tretmans
2024	—	`conf`	Testing Compositionality. FACS Gijs van Cuyck, Lars van Arragon, Jan Tretmans
2024	J	`jnl`	Testing Compositionality. CoRR Gijs van Cuyck, Lars van Arragon, Jan Tretmans
2023	C	`conf`	Compositionality in Model-Based Testing. ICTSS Gijs van Cuyck, Lars van Arragon, Jan Tretmans
2023	J	`jnl`	Compositionality in Model-Based Testing. CoRR Gijs van Cuyck, Lars van Arragon, Jan Tretmans
2023	—	`conf`	From BDD Scenarios to Test Case Generation. ICSTW Tannaz Zameni, Petra van den Bos, Jan Tretmans, Johan Foederer, Arend Rensink
2022	—	`conf`	Goodbye ioco. A Journey from Process Algebra via Timed Automata to Model Learning Jan Tretmans, Ramon Janssen
2019	—	`conf`	Coverage-Based Testing with Symbolic Transition Systems. TAP@FM Petra van den Bos, Jan Tretmans
2019	Misc	`conf`	Matching implementations to specifications: the corner cases of ioco. SAC Ramon Janssen, Jan Tretmans
2019	B	`conf`	Relating Alternating Relations for Conformance and Refinement. IFM Ramon Janssen, Frits W. Vaandrager, Jan Tretmans
2019	J	`jnl`	Relating Alternating Relations for Conformance and Refinement. CoRR Ramon Janssen, Frits W. Vaandrager, Jan Tretmans
2017	—	`conf`	On the Existence of Practical Testers. ModelEd, TestEd, TrustEd Jan Tretmans
2015	J	`jnl`	Approximate Active Learning of Nondeterministic Input Output Transition Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Michele Volpato, Jan Tretmans
2014	—	`conf`	Active Learning of Nondeterministic Systems from an ioco Perspective. ISoLA (1) Michele Volpato, Jan Tretmans
2014	J	`jnl`	Improving active Mealy machine learning for protocol conformance testing. Mach. Learn. Fides Aarts, Harco Kuppens, Jan Tretmans, Frits W. Vaandrager, Sicco Verwer
2013	—	`ch.`	Introduction: Situation Awareness, Systems of Systems, and Maritime Safety and Security. Situation Awareness with Systems of Systems Jan Tretmans, Piërre van de Laar
2013	—	`book`	Situation Awareness with Systems of Systems Situation Awareness with Systems of Systems Piërre van de Laar, Jan Tretmans, Michael Borth
2013	—	`conf`	Towards quality of model-based testing in the ioco framework. JAMAICA@ISSTA Michele Volpato, Jan Tretmans
2012	—	`conf`	Learning and Testing the Bounded Retransmission Protocol. ICGI Fides Aarts, Harco Kuppens, Jan Tretmans, Frits W. Vaandrager, Sicco Verwer
2012	A	`conf`	State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems. DATE Marius Bozga, Alexandre David, Arnd Hartmanns, Holger Hermanns, Kim G. Larsen, Axel Legay, Jan Tretmans
2011	—	`conf`	Model-Based Testing and Some Steps towards Test-Based Modelling. SFM Jan Tretmans
2011	C	`conf`	Model-Based Testing of Industrial Transformational Systems. ICTSS Petur Olsen, Johan Foederer, Jan Tretmans
2010	—	`conf`	From POOSL to UPPAAL: Transformation and Quantitative Analysis. ACSD Jiansheng Xing, Bart D. Theelen, Rom Langerak, Jaco van de Pol, Jan Tretmans, Jeroen Voeten
2010	—	`conf`	Model-Based Testing 2010: Short Abstracts. MBT@ETAPS Jan Tretmans, Florian Prester, Philipp Helle, Wladimir Schamai
2010	—	`conf`	Model-Based Testing for the Cloud. Practical Software Testing: Tool Automation and Human Factors Antonia Bertolino, Wolfgang Grieskamp, Robert M. Hierons, Yves Le Traon, Bruno Legeard, Henry Muccini, Amit M. Paradkar, David S. Rosenblum, Jan Tretmans
2010	Misc	`conf`	Quantitative system validation in model driven design. EMSOFT Holger Hermanns, Kim Guldstrand Larsen, Jean-François Raskin, Jan Tretmans
2010	—	`conf`	UPPAAL in Practice: Quantitative Verification of a RapidIO Network. ISoLA (2) Jiansheng Xing, Bart D. Theelen, Rom Langerak, Jaco van de Pol, Jan Tretmans, Jeroen Voeten
2009	C	`conf`	Model-Based Testing of Electronic Passports. FMICS Wojciech Mostowski, Erik Poll, Julien Schmaltz, Jan Tretmans, Ronny Wichers Schreur
2008	—	`conf`	Model Based Testing with Labelled Transition Systems. Formal Methods and Testing Jan Tretmans
2008	—	`conf`	On Conformance Testing for Timed Systems. FORMATS Julien Schmaltz, Jan Tretmans
2007	B	`conf`	Integrating Verification, Testing, and Learning for Cryptographic Protocols. IFM Martijn Oostdijk, Vlad Rusu, Jan Tretmans, René G. de Vries, Tim A. C. Willemse
2007	—	`ed.`	Testing of Software and Communicating Systems, 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007, Proceedings TestCom/FATES Alexandre Petrenko, Margus Veanes, Jan Tretmans, Wolfgang Grieskamp
2006	—	`conf`	A Symbolic Framework for Model-Based Testing. FATES/RV Lars Frantzen, Jan Tretmans, Tim A. C. Willemse
2006	—	`conf`	Model-Based Testing of Environmental Conformance of Components. FMCO Lars Frantzen, Jan Tretmans
2006	—	`conf`	Model-based testing: An attempt to combine provable soundness and effective automation and industrial applicability. MMB Jan Tretmans
2005	—	`conf`	Action Refinement in Conformance Testing. TestCom Machiel van der Bijl, Arend Rensink, Jan Tretmans
2005	Misc	`conf`	On-the-Fly Formal Testing of a Smart Card Applet. SEC Arjen van Weelden, Martijn Oostdijk, Lars Frantzen, Pieter W. M. Koopman, Jan Tretmans
2005	—	`ed.`	Perspectives of Model-Based Testing, 5.-10. September 2004 Perspectives of Model-Based Testing Ed Brinksma, Wolfgang Grieskamp, Jan Tretmans
2004	—	`conf`	04371 Abstracts Collection - Perspectives of Model-Based Testing. Perspectives of Model-Based Testing Ed Brinksma, Wolfgang Grieskamp, Jan Tretmans
2004	—	`conf`	04371 Summary - Perspectives of Model-Based Testing. Perspectives of Model-Based Testing Ed Brinksma, Wolfgang Grieskamp, Jan Tretmans
2004	—	`conf`	Audition of Web Services for Testing Conformance to Open Specified Protocols. Architecting Systems with Trustworthy Components Antonia Bertolino, Lars Frantzen, Andrea Polini, Jan Tretmans
2004	—	`conf`	Test Generation Based on Symbolic Specifications. FATES Lars Frantzen, Jan Tretmans, Tim A. C. Willemse
2003	—	`conf`	Compositional Testing with ioco. FATES Machiel van der Bijl, Arend Rensink, Jan Tretmans
2002	—	`conf`	Gast: Generic Automated Software Testing. IFL Pieter W. M. Koopman, Artem Alimarine, Jan Tretmans, Marinus J. Plasmeijer
2002	—	`conf`	Test Selection, Trace Distance and Heuristics. TestCom Loe M. G. Feijs, Nicolae Goga, Sjouke Mauw, Jan Tretmans
2001	J	`jnl`	Software Engineering with Formal Methods: The Development of a Storm Surge Barrier Control System Revisiting Seven Myths of Formal Methods. Formal Methods Syst. Des. Jan Tretmans, Klaas Wijbrans, Michel R. V. Chaudron
2000	—	`conf`	Formal Test Automation: The Conference Protocol with PHACT. TestCom Lex Heerink, Jan Feenstra, Jan Tretmans
2000	J	`jnl`	On-the-fly Conformance Testing using SPIN. Int. J. Softw. Tools Technol. Transf. René G. de Vries, Jan Tretmans
2000	—	`conf`	Testing Transition Systems: An Annotated Bibliography. MOVEP Ed Brinksma, Jan Tretmans
1999	—	`conf`	Formal Test Automation: A Simple Experiment. IWTCS Axel Belinfante, Jan Feenstra, René G. de Vries, Jan Tretmans, Nicolae Goga, Loe M. G. Feijs, Sjouke Mauw, Lex Heerink
1999	—	`conf`	Lessons from the Application of Formal Methods to the Design of a Storm Surge Barrier Control System. World Congress on Formal Methods Michel R. V. Chaudron, Jan Tretmans, Klaas Wijbrans
1999	B	`conf`	Testing Concurrent Systems: A Formal Approach. CONCUR Jan Tretmans
1998	—	`conf`	Factorized Test Generation for Multi-Input/Output Transition Systems. IWTCS Ed Brinksma, Lex Heerink, Jan Tretmans
1997	C	`conf`	Refusal Testing for Classes of Transition Systems with Inputs and Outputs. FORTE Lex Heerink, Jan Tretmans
1997	—	`conf`	Repetitive Quiescence in Implementation and Testing. FBT Jan Tretmans
1997	A	`conf`	The Bounded Retransmission Protocol Must Be on Time! TACAS Pedro R. D'Argenio, Joost-Pieter Katoen, Theo C. Ruys, Jan Tretmans
1996	J	`jnl`	Conformance Testing with Labelled Transition Systems: Implementation Relations and Test Generation. Comput. Networks ISDN Syst. Jan Tretmans
1996	J	`jnl`	Test Generation with Inputs, Outputs and Repetitive Quiescence. Softw. Concepts Tools Jan Tretmans
1996	A	`conf`	Test Generation with Inputs, Outputs, and Quiescence. TACAS Jan Tretmans
1993	—	`conf`	A Formal Approach to Conformance Testing. Protocol Test Systems Jan Tretmans
1992	—	`conf`	A Queue Model Relating Synchronous and Asynchronous Communication. PSTV Jan Tretmans, Louis Verhaard
1992	—	`conf`	On Asynchronous Testing. Protocol Test Systems Louis Verhaard, Jan Tretmans, Pim Kars, Ed Brinksma
1991	—	`conf`	A Framework for Test Selection. PSTV Ed Brinksma, Jan Tretmans, Louis Verhaard
1991	—	`conf`	Protocol Conformance Testing: A Formal Perspective on ISO IS-9646. Protocol Test Systems Jan Tretmans, Pim Kars, Ed Brinksma
1989	C	`conf`	Test Case Derivation from LOTOS Specifications. FORTE Jan Tretmans