EEMCS EPrints Service

Education

Research

Prospective Students

Jobs

Publications

Intranet (internal)

Nederlands

Contact

Sitemap

Organisation

Editor: Haverkort, B.R.H.M.

Home Policy Brochure Browse Search User Area Contact Help

Number of items: 15.

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,586 ***

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,586 ***

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) IEEE Transactions on Dependable and Secure Computing. IEEE Transactions on Dependable and Secure Computing, 3 (3). pp. 169-171. ISSN 1545-5971 *** ISI Impact 1,409 ***

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 Thu May 24 06:32:42 CEST 2012.