Author Publications

Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type
Jump to: 2014 | 2013 | 2011 | 2010 | 2007 | 2006 | 2005 | 2002 | 2001 | 2000 | 1999 | 1997 | 1996
Number of items: 22.

2014

Sijtema, M. and Belinfante, A. and Stoelinga, M.I.A. and Marinelli, L. (2014) Experiences with formal engineering: model-based specification, implementation and testing of a software bus at Neopost. Science of computer programming, 80 (Part A). pp. 188-209. ISSN 0167-6423

2013

Arnold, Florian and Belinfante, Axel and Berg, Freark van der and Guck, Dennis and Stoelinga, Mariëlle (2013) DFTCalc: a tool for efficient fault tree analysis (extended version). [Report]

Arnold, Florian and Belinfante, Axel and Berg, Freark van der and Guck, Dennis and Stoelinga, Mariëlle (2013) DFTCalc: a tool for efficient fault tree analysis. In: 32nd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2013, 24-27 September 2013, Toulouse, France (pp. pp. 293-301).

Belinfante, Axel and Rensink, Arend (2013) Publishing your prototype tool on the web: PUPTOL, a framework. [Report]

2011

Sijtema, Marten and Stoelinga, Mariëlle and Belinfante, Axel and Marinelli, Lawrence (2011) Experiences with formal engineering: model-based specification, implementation and testing of a software bus at Neopost. In: 16th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2011, 29-30 August 2011, Trento, Italy (pp. pp. 117-133).

2010

Belinfante, Axel (2010) JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution. In: 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS, 22-25 March 2010, Paphos, Cyprus (pp. pp. 266-270).

2007

Belinfante, Axel (2007) Extensible synthetic file servers? or: Structuring the glue between tester and system under test. In: Second International Workshop on Plan 9, IWP9 2007, 3-4 December 2007, Murray Hill, NJ, USA (pp. pp. 47-54).

Bohnenkamp, H. and Belinfante, A. (2007) Timed model-based testing. In: Tangram: Model-based integration and testing of complex high-tech systems. Embedded Systems Institute, Eindhoven, the Netherlands, pp. 115-128. ISBN 9789078679028

2006

Belinfante, Axel (2006) Experiments towards model-based testing using Plan 9: Labelled transition file systems, stacking file systems, on-the-fly coverage measuring. In: First International Workshop on Plan 9, 4-5 December 2006, Madrid, Spain (pp. pp. 53-64).

2005

Belinfante, Axel and Frantzen, Lars and Schallhart, Christian (2005) Tools for test case generation. In: Model-based testing of reactive systems: advanced lectures. Lecture notes in computer science, 3472 . Springer, pp. 391-438. ISBN 9783540262787

Bohnenkamp, Henrik and Belinfante, Axel (2005) Timed testing with TorX. In: International Symposium of Formal Methods Europe, FM 2005, July 18-22, 2005, Newcastle, UK (pp. pp. 173-188).

2002

Belinfante, Axel (2002) Timed testing with TorX: the Oosterschelde storm surge barrier. In: Handout 8e Nederlandse Testdag, 20 November 2002, Rotterdam, the Netherlands.

2001

Belinfante, Axel and Feenstra, Jan and Heerink, Lex and Vries, René G. de (2001) Specification based formal testing: the EasyLink case study. In: 2nd PROGRESS Workshop on Embedded Systems, 2001, 18 October 2001, Veldhoven, The Netherlands (pp. pp. 73-82).

Belinfante, Axel and Brinksma, Ed and Feenstra, Jan and Tretmans, Jan and Vries, René (2001) Côte de Resyste : automatic model-based testing of communication protocols. In: 7th Annual CTIT Workshop on Mobile Communications in Perspective, 8 February 2001, Enschede, the Netherlands (pp. pp. 49-51).

2000

Du Bousquet, Lydie and Ramangalahy, Solofo and Simon, Severine and Viho, Cesar and Belinfante, Axel and Vries, René G. de (2000) Formal test automation: the conference protocol with TGV/TorX. In: 13th IFIP TC6/WG6.1 International Conference on Testing Communicating Systems, TestCom 2000, August 29 - September 1, 2000, Ottawa, ON, Canada (pp. pp. 221-228).

Tretmans, Jan and Belinfante, Axel (2000) Automatic Testing with Formal Methods - Samenvatting van de EuroSTAR'99 presentatie. Testnet Nieuws, 4 (1). pp. 8-10.

Vries, René and Tretmans, Jan and Belinfante, Axel and Feenstra, Jan and Feijs, Loe and Mauw, Sjouke and Goga, Nicolae and Heerink, Lex and Heer, Arjan de (2000) Côte de resyste in PROGRESS. In: PROGRESS 2000 Workshop on Embedded Systems, October 13, 2000, Utrecht, The Netherlands (pp. pp. 141-148).

1999

Belinfante, Axel and Feenstra, Jan and Vries, René G. de and Tretmans, Jan and Goga, Nicolae and Feijs, Loe and Mauw, Sjouke and Heerink, Lex (1999) Formal test automation: a simple experiment. In: 12th IFIP WG 6.1 International Workshop on Testing Communicating Systems, September 1-3, 1999, Budapest, Hungary (pp. pp. 179-196).

Tretmans, Jan and Belinfante, Axel (1999) Automatic testing with formal methods. [Report]

Tretmans, Jan and Belinfante, Axel (1999) Automatic testing with formal methods. In: 7th European International Conference on Software Testing, Analysis & Review, EuroSTAR 1999, 8-12 November 1999, Barcelona, Spain.

1997

Eijk, Peter van and Belinfante, Axel and Eertink, Henk and Alblas, Henk (1997) The term processor generator Kimwitu. In: Tools and algorithms for the construction and analysis of systems. Lecture notes in computer science, 1217 . Springer, Berlin, Germany, pp. 96-111. ISBN 9783540627906

1996

Eijk, Peter van and Belinfante, Axel and Eertink, Henk and Alblas, Henk (1996) The term processor generator Kimwitu. [Report]

This list was generated on Fri Aug 29 05:30:35 2014 CEST.