EEMCS

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

EEMCS EPrints Service


Editor: Haverkort, B.R.H.M.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 17.

2016

Hajighasemi, M. and Smit, G.J.M. and Hurink, J.L. (2016) A multi-commodity simulation tool based on TRIANA. In: Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems, 18th International GI/ITG Conference, MMB & DFT 2016, 4-6 April 2016, Münster, Germany. pp. 55-59. Lecture Notes in Computer Science 9629. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-31558-4
Schot, N. and Velthuis, P.J.E. and Postema, B.F. (2016) Capabilities of Raspberry Pi 2 for Big Data and Video Streaming Applications in Data Centres. In: Proceedings of the 18th International GI/ITG Conference on Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems (MMB & DFT 2016), 4-6 Apr 2016, Münster, Germany. pp. 183-198. Lecture Notes in Computer Science 9629. Springer International Publishing. ISSN 0302-9743 ISBN 978-3-319-31558-4

2009

Barnat, J. and Chaloupka, J. and van de Pol, J.C. (2009) Distributed Algorithms for SCC Decomposition. Journal of Logic and Computation, 21 (1). pp. 23-44. ISSN 0955-792X *** ISI Impact 0,585 ***
Blom, S.C.C. and Lisser, B. and van de Pol, J.C. and Weber, Michael (2009) A Database Approach to Distributed State-Space Generation. Journal of Logic and Computation, 21 (1). pp. 45-62. ISSN 0955-792X *** ISI Impact 0,585 ***

2008

Crouzen, P. and van de Pol, J.C. and Rensink, A. (2008) Applying Formal Methods to Gossiping Networks with mCRL and Groove. ACM SIGMETRICS performance evaluation review, 36 (3). pp. 7-16. ISSN 0163-5999
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
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

2007

Brim, L. and Haverkort, B.R.H.M. and Leucker, M. and van de Pol, J.C. (2007) Preface. In: Formal Methods: Applications and Technology, 26-31 Aug 2006, Bonn, Germany. V-VI. Lecture Notes in Computer Science 4346. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-70951-0
Hölzenspies, P.K.F. and Kuper, J. and Smit, G.J.M. and Hurink, J.L. (2007) Demonstration of Run-time Spatial Mapping of Streaming Applications to a Heterogeneous Multi-Processor System-on-Chip (MPSoC). (Invited) In: Dagstuhl Seminar Proceedings 07101, 04-09 Mar 2007, Dagstuhl Wadern, Germany. pp. 212-217. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI). ISSN 1862-4405
Kuntz, G.W.M. and Haverkort, B.R.H.M. (2007) Parallel CSRL Model Checking: First Results and Pointers to the Future. In: Proceedings of the Sixth International Workshop on Parallel and Distributed Methods in Verification, 08 July 2007, Berlin, Germany. pp. 105-120. Centre for Telematics and Information Technology University of Twente. ISSN 0929-0672

2006

Arlat, J. and Bondavalli, A. and Haverkort, B.R.H.M. and Verissimo, P., ed. (2006) Guest Editorial for the Special Issue on the 2005 IEEE/IFIP Conference on Dependable Systems and Networks, including the Dependable Computing and Communications and Performance and Dependability Symposia. IEEE Transactions on Dependable and Secure Computing, 3 (3). pp. 169-171. ISSN 1545-5971 *** ISI Impact 1,592 ***
Goering, P.T.H. and Heijenk, G.J. (2006) Service discovery using Bloom filters. In: Proceedings of the twelfth annual conference of the Advanced School for Computing and Imaging, June 14-16, 2006, Lommel, Belgium. pp. 219-227. Advanced School for Computing and Imaging (ASCI). ISBN 90-810849-1-7

2005

Jansen, D.N. and Hermanns, H. (2005) QoS modelling and analysis with UML-statecharts: the StoCharts approach. ACM SIGMETRICS Performance Evaluation Review, 32 (4). pp. 28-33. ISSN 0163-5999

2004

Baier, C. and Haverkort, B.R.H.M. and Katoen, J.P. and Hermanns, H. and Siegle, M., ed. (2004) Validation of Stochastic Systems. Lecture Notes in Computer Science 2925. Springer-Verlag. ISBN 3-540-22265-0
Franceschinis, G. and Haverkort, B.R.H.M. and Katoen, J.P. and Woodside, M., ed. (2004) Proceedings of the First Int. Conf. on the Quantitative Evaluation of Systems (QEST). IEEE Computer Society, Los Alamitos. ISBN 0-7695-2185-1

2001

Haverkort, B.R.H.M. and Harper, R., ed. (2001) Performance and Dependability Modelling Techniques and Tools. Performance Evaluation, 44 (1-4). pp. 1-4.

2000

Haverkort, B.R.H.M. and Bohnenkamp, H.C. and Smith, C.U., ed. (2000) Computer Performance Evaluation: Modelling Techniques and Tools. Lecture Notes in Computer Science 1786. Springer-Verlag. ISSN 0302-9743 ISBN 3-540-67260-5

This list was generated on Fri May 26 01:58:51 CEST 2017.