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

EEMCS EPrints Service


Editor: de Alfaro, L.
 Home Policy Brochure Browse Search User Area Contact Help

Number of items: 6.

2008

Bohnenkamp, H.C. and Stoelinga, M.I.A. (2008) Quantitative Testing. In: Proceedings of the 7th ACM International conference on Embedded software, October 19-24, 2008, Georgia, Atlanta. pp. 227-236. ACM. ISBN 978-1-60558-468-3

2005

D'Argenio, P.R. and Gebremichael, B. (2005) The Coarsest Congruence for Timed Automata with Deadlines Contained in Bisimulation. In: Proceedings of CONCUR 2005, 23-26 Aug 2005, San Francisco, USA. pp. 125-140. Lecture Notes in Computer Science 3653. Springer Verlag. ISBN 3-540-28309-9

2001

Cloth, L. and Bohnenkamp, H.C. and Haverkort, B.R.H.M. (2001) Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes. In: Process Algebra and Probabilistic Models, Performance Modeling and Verification, 2001, Aachen, Germany. pp. 152-167. Lecture Notes in Computer Science 2165. ISBN 3-540-42556-X
D'Argenio, P.R. and Hermanns, H. and Katoen, J.P. and Klaren, R. (2001) MODEST: A modelling language for stochastic timed systems. In: Joint Int. Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification (PAPM-PROBMIV), Aachen, Germany. pp. 87-104. Springer-Verlag. ISBN 3-540-42556-X
Infante-Lopez, G.G. and Hermanns, H. and Katoen, J.P. (2001) Beyond memoryless distributions: model checking semi-Markov chains. In: Process Algebra and Probabilistic Methods. Performance Modeling and Verification: Joint International Workshop, PAPM-PROBMIV 2001, 12-14 Sep 2001, Aachen, Germany. pp. 57-70. Lecture Notes in Computer Science 2165. Springer Verlag. ISBN 3-540-42556-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

This list was generated on Thu May 24 05:21:12 CEST 2012.