EEMCS

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

EEMCS EPrints Service


Editor: Wolter, K.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 4.

2015

Kempker, P. and van Dijk, N.M. and Scheinhardt, W.R.W. and van den Berg, J.L. and Hurink, J.L. (2015) Optimization of charging strategies for electric vehicles in PowerMatcher-driven smart energy grids. In: Proceedings 9th EAI International Conference on Performance Evaluation Methodologies and Tools, Valuetools 2015, 14–16 Dec 2015, Berlin, Germany. pp. 1-8. ACM. ISBN 978-1-63190-096-9
de Graaf, M. and Boucherie, R.J. and Hurink, J.L. and van Ommeren, J.C.W. (2015) Average case analysis of the MST-heuristic for the power assignment problem: special cases. In: 9th EAI International Conference on Performance Evaluation Methodologies and Tools, Value Tools 2015, 14-16 Dec 2015, Berlin, Germany. ACM. ISBN 978-1-63190-096-9

2007

Kuntz, G.W.M. and Haverkort, B.R.H.M. (2007) Faster SPDL Model Checking Through Property-Driven State Space Generation. In: Proceedings of the Fourth European Performance Engineering Workshop, EPEW 2007, 27-28 Sept 2007, Berlin, Germany. pp. 80-96. Lecture Notes in Computer Science 4748. Springer Verlag. ISBN 978-3-540-75210-3
Sadre, R. and Haverkort, B.R.H.M. and Reinelt, P. (2007) A Fixed-Point Algorithm for Closed Queueing Networks. In: Formal Methods and Stochastic Models for Performance Evaluation, Fourth European Performance Engineering Workshop, EPEW 2007, 27-28 September 2007, Berlin, Germany. pp. 154-170. Lecture Notes in Computer Science 4748. Springer. ISSN 0302-9743 ISBN 978-3-540-75210-3

This list was generated on Mon Mar 20 07:31:35 CET 2017.