Home > Publications
Home University of Twente
Prospective Students
Intranet (internal)

EEMCS EPrints Service

Classification: CR-B.2.2
Home Policy Brochure Browse Search User Area Contact Help


Westmijze, M. and Bekooij, M.J.G. and Smit, G.J.M. (2014) Efficient end-to-end latency distribution analysis for probabilistic time-triggered systems. In: International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV), 14-17 July 2014, Samos, Greece. 290 -298. IEEE Computer Society. ISBN 978-1-4799-3770-7


Gribaudo, M. and Remke, A.K.I. (2010) Hybrid Petri nets with general one-shot transitions for dependability evaluation of fluid critical infrastructures. In: 12th IEEE International High Assurance Systems Engineering Symposium, HASE 2010, 3-4 Nov 2010, San Jose, USA. pp. 84-93. IEEE Computer Society. ISBN 978-0-7695-4292-8
Xing, Jian Sheng and Theelen, B.D. and Langerak, R. and van de Pol, J.C. and Tretmans, G.J. and Voeten, J.P.M. (2010) From POOSL to UPPAAL: Transformation and Quantitative Analysis. In: Application of Concurrency to System Design, Tenth International Conference on, 21-25 Jun 2010, Braga, Portugal. pp. 47-56. IEEE Computer Society. ISSN 1550-4808 ISBN 978-0-7695-4066-5


Jacobsson, M. and Oosthoek, S. and Karagiannis, G. (2002) Resource Management in Differentiated Services: A Prototype Implementation. In: Seventh International Symposium on Computers and Communications (ISCC'02), 1-4 July 2002, Taormina–Giardini Naxos, Italy. pp. 21-28. IEEE Computer Society. ISSN 1530-1346 ISBN 0-7695-1671-8