![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Jan Tretmans
Person information
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [i6]Gijs van Cuyck, Lars van Arragon, Jan Tretmans:
Testing Compositionality. CoRR abs/2407.05028 (2024) - 2023
- [c47]Tannaz Zameni, Petra van den Bos, Jan Tretmans, Johan Foederer, Arend Rensink:
From BDD Scenarios to Test Case Generation. ICSTW 2023: 36-44 - [c46]Gijs van Cuyck, Lars van Arragon, Jan Tretmans:
Compositionality in Model-Based Testing. ICTSS 2023: 202-218 - [i5]Gijs van Cuyck, Lars van Arragon, Jan Tretmans:
Compositionality in Model-Based Testing. CoRR abs/2307.03701 (2023) - 2022
- [c45]Jan Tretmans, Ramon Janssen:
Goodbye ioco. A Journey from Process Algebra via Timed Automata to Model Learning 2022: 491-511
2010 – 2019
- 2019
- [c44]Ramon Janssen, Frits W. Vaandrager, Jan Tretmans:
Relating Alternating Relations for Conformance and Refinement. IFM 2019: 246-264 - [c43]Ramon Janssen, Jan Tretmans:
Matching implementations to specifications: the corner cases of ioco. SAC 2019: 2196-2205 - [c42]Petra van den Bos, Jan Tretmans:
Coverage-Based Testing with Symbolic Transition Systems. TAP@FM 2019: 64-82 - [i4]Ramon Janssen, Frits W. Vaandrager, Jan Tretmans:
Relating Alternating Relations for Conformance and Refinement. CoRR abs/1909.13604 (2019) - 2017
- [c41]Jan Tretmans:
On the Existence of Practical Testers. ModelEd, TestEd, TrustEd 2017: 87-106 - 2015
- [j6]Michele Volpato, Jan Tretmans:
Approximate Active Learning of Nondeterministic Input Output Transition Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 72 (2015) - 2014
- [j5]Fides Aarts, Harco Kuppens, Jan Tretmans, Frits W. Vaandrager, Sicco Verwer:
Improving active Mealy machine learning for protocol conformance testing. Mach. Learn. 96(1-2): 189-224 (2014) - [c40]Michele Volpato, Jan Tretmans:
Active Learning of Nondeterministic Systems from an ioco Perspective. ISoLA (1) 2014: 220-235 - 2013
- [c39]Michele Volpato, Jan Tretmans:
Towards quality of model-based testing in the ioco framework. JAMAICA@ISSTA 2013: 41-46 - [p1]Jan Tretmans, Piërre van de Laar:
Introduction: Situation Awareness, Systems of Systems, and Maritime Safety and Security. Situation Awareness with Systems of Systems 2013: 3-20 - [e3]Piërre van de Laar
, Jan Tretmans, Michael Borth
:
Situation Awareness with Systems of Systems. Springer 2013, ISBN 978-1-4614-6229-3 [contents] - 2012
- [c38]Marius Bozga, Alexandre David, Arnd Hartmanns
, Holger Hermanns
, Kim G. Larsen
, Axel Legay, Jan Tretmans:
State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems. DATE 2012: 370-375 - [c37]Fides Aarts, Harco Kuppens, Jan Tretmans, Frits W. Vaandrager, Sicco Verwer:
Learning and Testing the Bounded Retransmission Protocol. ICGI 2012: 4-18 - 2011
- [c36]Petur Olsen, Johan Foederer, Jan Tretmans:
Model-Based Testing of Industrial Transformational Systems. ICTSS 2011: 131-145 - [c35]Jan Tretmans:
Model-Based Testing and Some Steps towards Test-Based Modelling. SFM 2011: 297-326 - 2010
- [c34]Jiansheng Xing, Bart D. Theelen, Rom Langerak
, Jaco van de Pol, Jan Tretmans, Jeroen Voeten:
From POOSL to UPPAAL: Transformation and Quantitative Analysis. ACSD 2010: 47-56 - [c33]Holger Hermanns
, Kim Guldstrand Larsen
, Jean-François Raskin, Jan Tretmans:
Quantitative system validation in model driven design. EMSOFT 2010: 301-302 - [c32]Jiansheng Xing, Bart D. Theelen, Rom Langerak
, Jaco van de Pol, Jan Tretmans, Jeroen Voeten:
UPPAAL in Practice: Quantitative Verification of a RapidIO Network. ISoLA (2) 2010: 160-174 - [c31]Jan Tretmans, Florian Prester, Philipp Helle, Wladimir Schamai:
Model-Based Testing 2010: Short Abstracts. MBT@ETAPS 2010: 85-99 - [i3]Antonia Bertolino, Wolfgang Grieskamp, Robert M. Hierons, Yves Le Traon, Bruno Legeard, Henry Muccini, Amit M. Paradkar, David S. Rosenblum, Jan Tretmans:
Model-Based Testing for the Cloud. Practical Software Testing: Tool Automation and Human Factors 2010
2000 – 2009
- 2009
- [c30]Wojciech Mostowski, Erik Poll, Julien Schmaltz, Jan Tretmans, Ronny Wichers Schreur:
Model-Based Testing of Electronic Passports. FMICS 2009: 207-209 - 2008
- [c29]Julien Schmaltz, Jan Tretmans:
On Conformance Testing for Timed Systems. FORMATS 2008: 250-264 - [c28]Jan Tretmans:
Model Based Testing with Labelled Transition Systems. Formal Methods and Testing 2008: 1-38 - 2007
- [c27]Martijn Oostdijk, Vlad Rusu, Jan Tretmans, René G. de Vries, Tim A. C. Willemse:
Integrating Verification, Testing, and Learning for Cryptographic Protocols. IFM 2007: 538-557 - [e2]Alexandre Petrenko, Margus Veanes, Jan Tretmans, Wolfgang Grieskamp:
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. Lecture Notes in Computer Science 4581, Springer 2007, ISBN 978-3-540-73065-1 [contents] - 2006
- [c26]Lars Frantzen, Jan Tretmans, Tim A. C. Willemse:
A Symbolic Framework for Model-Based Testing. FATES/RV 2006: 40-54 - [c25]Lars Frantzen, Jan Tretmans:
Model-Based Testing of Environmental Conformance of Components. FMCO 2006: 1-25 - [c24]Jan Tretmans:
Model-based testing: An attempt to combine provable soundness and effective automation and industrial applicability. MMB 2006: 99-100 - 2005
- [c23]Machiel van der Bijl, Arend Rensink, Jan Tretmans:
Action Refinement in Conformance Testing. TestCom 2005: 81-96 - [c22]Arjen van Weelden, Martijn Oostdijk, Lars Frantzen, Pieter W. M. Koopman, Jan Tretmans:
On-the-Fly Formal Testing of a Smart Card Applet. SEC 2005: 565-576 - [e1]Ed Brinksma, Wolfgang Grieskamp, Jan Tretmans:
Perspectives of Model-Based Testing, 5.-10. September 2004. Dagstuhl Seminar Proceedings 04371, IBFI, Schloss Dagstuhl, Germany 2005 [contents] - 2004
- [c21]Antonia Bertolino
, Lars Frantzen, Andrea Polini
, Jan Tretmans:
Audition of Web Services for Testing Conformance to Open Specified Protocols. Architecting Systems with Trustworthy Components 2004: 1-25 - [c20]Lars Frantzen, Jan Tretmans, Tim A. C. Willemse
:
Test Generation Based on Symbolic Specifications. FATES 2004: 1-15 - [i2]Ed Brinksma, Wolfgang Grieskamp, Jan Tretmans:
04371 Summary - Perspectives of Model-Based Testing. Perspectives of Model-Based Testing 2004 - [i1]Ed Brinksma, Wolfgang Grieskamp, Jan Tretmans:
04371 Abstracts Collection - Perspectives of Model-Based Testing. Perspectives of Model-Based Testing 2004 - 2003
- [c19]Machiel van der Bijl, Arend Rensink, Jan Tretmans:
Compositional Testing with ioco. FATES 2003: 86-100 - 2002
- [c18]Pieter W. M. Koopman, Artem Alimarine, Jan Tretmans, Marinus J. Plasmeijer:
Gast: Generic Automated Software Testing. IFL 2002: 84-100 - [c17]Loe M. G. Feijs, Nicolae Goga, Sjouke Mauw, Jan Tretmans:
Test Selection, Trace Distance and Heuristics. TestCom 2002: 267-282 - 2001
- [j4]Jan Tretmans, Klaas Wijbrans, Michel R. V. Chaudron
:
Software Engineering with Formal Methods: The Development of a Storm Surge Barrier Control System Revisiting Seven Myths of Formal Methods. Formal Methods Syst. Des. 19(2): 195-215 (2001) - 2000
- [j3]René G. de Vries, Jan Tretmans:
On-the-fly Conformance Testing using SPIN. Int. J. Softw. Tools Technol. Transf. 2(4): 382-393 (2000) - [c16]Ed Brinksma, Jan Tretmans:
Testing Transition Systems: An Annotated Bibliography. MOVEP 2000: 187-195 - [c15]Lex Heerink, Jan Feenstra, Jan Tretmans:
Formal Test Automation: The Conference Protocol with PHACT. TestCom 2000: 211-220
1990 – 1999
- 1999
- [c14]Jan Tretmans:
Testing Concurrent Systems: A Formal Approach. CONCUR 1999: 46-65 - [c13]Michel R. V. Chaudron, Jan Tretmans, Klaas Wijbrans:
Lessons from the Application of Formal Methods to the Design of a Storm Surge Barrier Control System. World Congress on Formal Methods 1999: 1511-1526 - [c12]Axel Belinfante, Jan Feenstra, René G. de Vries, Jan Tretmans, Nicolae Goga, Loe M. G. Feijs, Sjouke Mauw, Lex Heerink:
Formal Test Automation: A Simple Experiment. IWTCS 1999: 179-196 - 1998
- [c11]Ed Brinksma, Lex Heerink, Jan Tretmans:
Factorized Test Generation for Multi-Input/Output Transition Systems. IWTCS 1998: 67-82 - 1997
- [c10]Jan Tretmans:
Repetitive Quiescence in Implementation and Testing. FBT 1997: 23-37 - [c9]Lex Heerink, Jan Tretmans:
Refusal Testing for Classes of Transition Systems with Inputs and Outputs. FORTE 1997: 23-38 - [c8]Pedro R. D'Argenio
, Joost-Pieter Katoen
, Theo C. Ruys, Jan Tretmans:
The Bounded Retransmission Protocol Must Be on Time! TACAS 1997: 416-431 - 1996
- [j2]Jan Tretmans:
Conformance Testing with Labelled Transition Systems: Implementation Relations and Test Generation. Comput. Networks ISDN Syst. 29(1): 49-79 (1996) - [j1]Jan Tretmans:
Test Generation with Inputs, Outputs and Repetitive Quiescence. Softw. Concepts Tools 17(3): 103-120 (1996) - [c7]Jan Tretmans:
Test Generation with Inputs, Outputs, and Quiescence. TACAS 1996: 127-146 - 1993
- [c6]Jan Tretmans:
A Formal Approach to Conformance Testing. Protocol Test Systems 1993: 257-276 - 1992
- [c5]Jan Tretmans, Louis Verhaard:
A Queue Model Relating Synchronous and Asynchronous Communication. PSTV 1992: 131-145 - [c4]Louis Verhaard, Jan Tretmans, Pim Kars, Ed Brinksma:
On Asynchronous Testing. Protocol Test Systems 1992: 55-66 - 1991
- [c3]Ed Brinksma, Jan Tretmans, Louis Verhaard:
A Framework for Test Selection. PSTV 1991: 233-248 - [c2]Jan Tretmans, Pim Kars, Ed Brinksma:
Protocol Conformance Testing: A Formal Perspective on ISO IS-9646. Protocol Test Systems 1991: 131-142
1980 – 1989
- 1989
- [c1]Jan Tretmans:
Test Case Derivation from LOTOS Specifications. FORTE 1989: 345-359
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-13 20:50 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint