EEMCS

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

EEMCS EPrints Service


Classification: FMT-TOOLS
Home Policy Brochure Browse Search User Area Contact Help

2014

Schivo, S. and Scholma, J. and Karperien, H.B.J. and Langerak, R. and van de Pol, J.C. and Post, J.N. (2014) ANIMO: a tool for modeling biological pathway dynamics. In: Tissue Engineering & Regenerative Medicine International Society, European Chapter Meeting, 10-13 Jun 2014, Genova, Italy. pp. 54-55. Wiley. ISSN 1932-7005
Schivo, S. and Scholma, J. and Karperien, H.B.J. and Post, J.N. and van de Pol, J.C. and Langerak, R. (2014) Setting Parameters for Biological Models With ANIMO. In: Proceedings 1st International Workshop on Synthesis of Continuous Parameters, 6 Apr 2014, Grenoble, France. pp. 35-47. Electronic Proceedings in Theoretical Computer Science 145. Open Publishing Association. ISSN 2075-2180
Scholma, J. and Schivo, S. and Kerkhofs, J. and Langerak, R. and Karperien, H.B.J. and van de Pol, J.C. and Geris, L. and Post, J.N. (2014) ECHO: the executable chondrocyte. In: Tissue Engineering & Regenerative Medicine International Society, European Chapter Meeting, 10-13 June 2014, Genova, Italy. pp. 54-54. Wiley. ISSN 1932-7005

2012

van Dijk, T. and Laarman, A.W. and van de Pol, J.C. (2012) Multi-core and/or symbolic model checking. (Invited) In: 12th International Workshop on Automated Verification of Critical Systems, AVoCS 2012, 18-20 Sep 2012, Bamberg, Germany. 773:1-773:7. Electronic Communications of the EASST 53. EASST. ISSN 1863-2122

2010

Ghamarian, A.H. and Rensink, A. and Jalali, A. (2010) Incremental Pattern Matching in Graph-Based State Space Exploration. In: Proceedings of the Fourth International Workshop on Graph-Based Tools (GraBaTs 2010), 28 Sept 2010, Enschede, The Netherlands. pp. 144-154. CTIT Workshop Proceedings (WP 10-06). Centre for Telematics and Information Technology University of Twente. ISSN 0929-0672

2008

Barnat, J. and Chaloupka, J. and van de Pol, J.C. (2008) Improved Distributed Algorithms for SCC Decomposition. In: Proceedings of the 6th International Workshop on Parallel and Distributed Methods in verifiCation, 8 Jul 2007, Berlin. pp. 63-77. Electronic Notes in Theoretical Computer Science 198 (1). Elsevier. ISSN 1571-0661
Blom, S.C.C. and Haverkort, B.R.H.M. and Kuntz, G.W.M. and van de Pol, J.C. (2008) Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking. In: Proceedings of the 7th International Workshop on Parallel and Distributed Methods in verifiCation, 29 Mar 2008, Budapest, Hungary. pp. 35-50. Electronic Notes in Theoretical Computer Science 220 (2). Elsevier. ISSN 1571-0661
Blom, S.C.C. and Lisser, B. and van de Pol, J.C. and Weber, Michael (2008) A Database Approach to Distributed State Space Generation. In: Proceedings of the 6th International Workshop on Parallel and Distributed Methods in verifiCation, 8 Jul 2007, Berlin. pp. 17-32. Electronic Notes in Theoretical Computer Science 198 (1). Elsevier. ISSN 1571-0661

2007

Belinfante, A.F.E. (2007) Extensible Synthetic File Servers? or: Structuring the Glue between Tester and System Under Test. In: Proceedings of the Second International Workshop on Plan 9 (IWP9 2007), 3-4 Dec 2007, Bell Labs, Murray Hill, NJ, USA. pp. 47-54. Bell Labs. ISBN not assigned

2006

Belinfante, A.F.E. (2006) Experiments towards model-based testing using Plan 9: Labelled transition file systems, stacking file systems, on-the-fly coverage measuring. In: Proceedings of the First International Workshop on Plan 9, 4-5 Dec 2006, Madrid, Spain. pp. 53-64. Universidad Rey Juan Carlos. ISBN 84-690-2787-5

2004

Katoen, J.P. and Bohnenkamp, H.C. and Hermanns, H. and Klaren, R. (2004) Embedded software analysis with MOTOR. In: Formal Methods for the Design of Real-Time Systems, International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004. Lecture Notes in Computer Science 3185. Springer Verlag, Bertinoro, Italy, pp. 268-293. ISBN 3-540-23068-8

2002

Usenko, Y.S. (2002) Linearization of μ-CRL specifications. Extended abstract. In: 3rd International Workshop on Verification and Computational Logic (VCL2002), Southampton, UK. Technical Report DSSE-TR-2002-5. Department of electronics and computer science. ISBN not assigned

2001

Belinfante, A.F.E. and Brinksma, H. and Feenstra, J. and Tretmans, G.J. and de Vries, R.G. (2001) Côte de Resyste -- Automatic Model-Based Testing of Communication Protocols. In: Mobile Communications in Perspective -- 7th Annual CTIT Workshop. pp. 49-51. Centre for Telematics and Information Technology University of Twente. ISBN 90-3651-546-7
Belinfante, A.F.E. and Feenstra, J. and Heerink, A.W. and de Vries, R.G. (2001) Specification based formal testing: the EasyLink case study. In: 2nd PROGRESS Workshop on Embedded Systems, October 18, 2000, Utrecht, the Netherlands. pp. 73-82. Technology Foundation STW. ISBN 90-73461-26-X
Brinksma, H. (2001) Verification is experimentation! Software Tools for Technology Transfer, 3 (2). pp. 107-217. ISSN 1433-2779
Hermanns, H. and Katoen, J.P. and Meyer-Kayser, J. (2001) Implementing a Model Checker for Performability Behaviour. In: Fifth International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS 5), September 15-16, 2001, Erlangen, Germany. pp. 110-114. Arbeitsberichte des IMMD 34 (13). University of Erlangen. ISSN 0344-3515
Hermanns, H. and Katoen, J.P. and Meyer-Kayser, J. and Siegle, M. (2001) A model checker for performance and dependability properties. In: 2nd PROGRESS workshop on Embedded Systems, 18 Oct 2001, Veldhoven, The Netherlands. pp. 83-88. Technology Foundation STW. ISBN 90-73461-26-X
Katoen, J.P. and Kwiatkowska, M.Z. and Norman, G. and Parker, D.A. (2001) Faster and symbolic CTMC model checking. In: Process Algebra and Probabilistic Methods, Performance Modeling and Verification: Joint International Workshop, PAPM-PROBMIV 2001, September 12-14, 2001, Aachen, Germany. pp. 23-38. Lecture Notes in Computer Science 2165. Springer. ISSN 0302-9743 ISBN 3-540-42556-X
Larsen, K.G. and Behrmann, G. and Brinksma, H. and Fehnker, A. and Petterson, P. and Romijn, J.M.T. (2001) As Cheap as Possible:Efficient Cost-Optimal Reachability for Priced Timed Automata. In: Computer Aided Verification, 13th International Conference, CAV 2001, July 18-22, 2001, Paris, France. pp. 493-505. Lecture Notes in Computer Science. Springer Verlag. ISBN 3-540-42345-1

2000

Hermanns, H. and Herzog, U. and Klehmet, U. and Mertsiotakis, V. and Siegle, M. (2000) Compositional Performance Modelling with the TIPPtool. Performance Evaluation, 39 (1-4). pp. 5-35. ISSN 0166-5316 *** ISI Impact 0,944 ***