EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Editor: Margaria, T.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 8.

2016

Reijsbergen, D.P. and de Boer, P.T. and Scheinhardt, W.R.W. (2016) Hypothesis testing for rare-event simulation: limitations and possibilities. In: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016. Lecture Notes in Computer Science 9952 (Part I). Springer International Publishing AG, pp. 16-26. ISSN 0302-9743 ISBN 978-3-319-47165-5
Geske, M. and Jasper, M. and Steffen, B. and Howar, F. and Schordan, M. and van de Pol, J.C. (2016) RERS 2016: Parallel and Sequential Benchmarks with Focus on LTL Verification. In: Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (II), ISoLA 2016, 10-14 Oct 2016, Corfu, Greece. pp. 787-803. Lecture Notes in Computer Science 9953. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-47168-6

2014

Rensink, A. (2014) Forever software. In: 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISOLA 2014, 11 Oct 2014, Corfu, Greece. pp. 535-537. Lecture Notes in Computer Science 8802. Springer Verlag. ISSN 0302-9743 ISBN 978-3-662-45233-2

2009

Wijs, A.J. and van de Pol, J.C. and Bortnik, E.M. (2009) Solving scheduling problems by untimed model checking. The clinical chemical analyser case study. International journal on software tools for technology transfer, 11 (5). pp. 375-392. ISSN 1433-2779
Groothuis, M.A. and Frijns, R.M.W. and Voeten, J.P.M. and Broenink, J.F. (2009) Concurrent Design of Embedded Control Software. In: Proceedings of the 3rd International Workshop on Multi-Paradigm Modeling (MPM2009), 6 Oct 2009, Denver, United States. 10. Electronic Communications of the EASST 21. EASST. ISSN 1863-2122

2001

Ruys, T.C. and Langerak, R. and Katoen, J.P. and Latella, D. and Massink, M. (2001) First passage time analysis of stochastic process algebra using partial orders. In: Tools and Algorithms for the Construction and Analysis of Systems. pp. 220-235. Lecture Notes in Computer Science 2031. Springer. ISSN 0302-9743 ISBN 3-540-41865-2

1996

Tretmans, G.J. (1996) Test Generation with Inputs, Outputs, and Quiescence. In: Tools and Algorithms for Construction and Analysis of Systems, Second International Workshop, TACAS '96, March 27-29, 1996, Passau, Germany. pp. 127-146. Lecture Notes in Computer Science 1055. Springer Verlag. ISBN 3-540-61042-1

1995

Mader, A.H. (1995) Modal µ-Calculus, Model Checking and Gauß Elimination. In: 1st Int. Workshop Tools and Algorithms for Construction and Analysis of Systems (TACAS), Aarhus, Denmark. pp. 72-88. Springer-Verlag. ISBN 3-540-60630-0

This list was generated on Fri Apr 21 03:08:49 CEST 2017.