| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Petur Olsen, Johan Foederer, Jan Tretmans |
Model-Based Testing of Industrial Transformational Systems. |
ICTSS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Tretmans |
Model-Based Testing and Some Steps towards Test-Based Modelling. |
SFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Tretmans, Florian Prester, Philipp Helle, Wladimir Schamai |
Model-Based Testing 2010: Short Abstracts. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Hermanns, Kim Guldstrand Larsen, Jean-François Raskin, Jan Tretmans |
Quantitative system validation in model driven design. |
EMSOFT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
POOSL, performance, verification, transformation, quantitative analysis, UPPAAL |
| 1 | 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 |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Wojciech Mostowski, Erik Poll, Julien Schmaltz, Jan Tretmans, Ronny Wichers Schreur |
Model-Based Testing of Electronic Passports. |
FMICS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Schmaltz, Jan Tretmans |
On Conformance Testing for Timed Systems. |
FORMATS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Tretmans |
Model Based Testing with Labelled Transition Systems. |
Formal Methods and Testing |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre Petrenko, Margus Veanes, Jan Tretmans, Wolfgang Grieskamp (eds.) |
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 |
2007 |
DBLP BibTeX RDF |
|
| 1 | Martijn Oostdijk, Vlad Rusu, Jan Tretmans, René G. de Vries, Tim A. C. Willemse |
Integrating Verification, Testing, and Learning for Cryptographic Protocols. |
IFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Lars Frantzen, Jan Tretmans |
Model-Based Testing of Environmental Conformance of Components. |
FMCO |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Lars Frantzen, Jan Tretmans, Tim A. C. Willemse |
A Symbolic Framework for Model-Based Testing. |
FATES/RV |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Tretmans |
Model-based testing: An attempt to combine provable soundness and effective automation and industrial applicability. |
MMB |
2006 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Ed Brinksma, Wolfgang Grieskamp, Jan Tretmans (eds.) |
Perspectives of Model-Based Testing, 5.-10. September 2004 |
Perspectives of Model-Based Testing |
2005 |
DBLP BibTeX RDF |
|
| 1 | Machiel van der Bijl, Arend Rensink, Jan Tretmans |
Action Refinement in Conformance Testing. |
TestCom |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ed Brinksma, Wolfgang Grieskamp, Jan Tretmans |
04371 Abstracts Collection - Perspectives of Model-Based Testing. |
Perspectives of Model-Based Testing |
2004 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Ed Brinksma, Wolfgang Grieskamp, Jan Tretmans |
04371 Summary - Perspectives of Model-Based Testing. |
Perspectives of Model-Based Testing |
2004 |
DBLP BibTeX RDF |
|
| 1 | Lars Frantzen, Jan Tretmans, Tim A. C. Willemse |
Test Generation Based on Symbolic Specifications. |
FATES |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Machiel van der Bijl, Arend Rensink, Jan Tretmans |
Compositional Testing with ioco. |
FATES |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Loe M. G. Feijs, Nicolae Goga, Sjouke Mauw, Jan Tretmans |
Test Selection, Trace Distance and Heuristics. |
TestCom |
2002 |
DBLP BibTeX RDF |
|
| 1 | Pieter W. M. Koopman, Artem Alimarine, Jan Tretmans, Marinus J. Plasmeijer |
Gast: Generic Automated Software Testing. |
IFL |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 in System Design |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | René G. de Vries, Jan Tretmans |
On-the-fly Conformance Testing using SPIN. |
STTT |
2000 |
DBLP DOI BibTeX RDF |
Spin verification tool, Formal methods, Conformance testing, Test automation, Test generation algorithms |
| 1 | Lex Heerink, Jan Feenstra, Jan Tretmans |
Formal Test Automation: The Conference Protocol with PHACT. |
TestCom |
2000 |
DBLP BibTeX RDF |
|
| 1 | Ed Brinksma, Jan Tretmans |
Testing Transition Systems: An Annotated Bibliography. |
MOVEP |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Tretmans |
Testing Concurrent Systems: A Formal Approach. |
CONCUR |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Ed Brinksma, Lex Heerink, Jan Tretmans |
Factorized Test Generation for Multi-Input/Output Transition Systems. |
IWTCS |
1998 |
DBLP BibTeX RDF |
|
| 1 | Lex Heerink, Jan Tretmans |
Refusal Testing for Classes of Transition Systems with Inputs and Outputs. |
FORTE |
1997 |
DBLP BibTeX RDF |
|
| 1 | Pedro R. D'Argenio, Joost-Pieter Katoen, Theo C. Ruys, Jan Tretmans |
The Bounded Retransmission Protocol Must Be on Time! |
TACAS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Tretmans |
Repetitive Quiescence in Implementation and Testing. |
FBT |
1997 |
DBLP BibTeX RDF |
|
| 1 | Jan Tretmans |
Test Generation with Inputs, Outputs and Repetitive Quiescence. |
Software - Concepts and Tools |
1996 |
DBLP BibTeX RDF |
|
| 1 | Jan Tretmans |
Conformance Testing with Labelled Transition Systems: Implementation Relations and Test Generation. |
Computer Networks and ISDN Systems |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Tretmans |
Test Generation with Inputs, Outputs, and Quiescence. |
TACAS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Tretmans |
A Formal Approach to Conformance Testing. |
Protocol Test Systems |
1993 |
DBLP BibTeX RDF |
|
| 1 | Louis Verhaard, Jan Tretmans, Pim Kars, Ed Brinksma |
On Asynchronous Testing. |
Protocol Test Systems |
1992 |
DBLP BibTeX RDF |
|
| 1 | Jan Tretmans, Louis Verhaard |
A Queue Model Relating Synchronous and Asynchronous Communication. |
PSTV |
1992 |
DBLP BibTeX RDF |
|
| 1 | Jan Tretmans, Pim Kars, Ed Brinksma |
Protocol Conformance Testing: A Formal Perspective on ISO IS-9646. |
Protocol Test Systems |
1991 |
DBLP BibTeX RDF |
|
| 1 | Ed Brinksma, Jan Tretmans, Louis Verhaard |
A Framework for Test Selection. |
PSTV |
1991 |
DBLP BibTeX RDF |
|
| 1 | Jan Tretmans |
Test Case Derivation from LOTOS Specifications. |
FORTE |
1989 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")