Compositionality for Markov reward chains with fast and silent transitions

Autor: Markovski, J., Sokolova, A., Trčka, N., de Vink, E.P.

Publikováno v: In Performance Evaluation 2009 66(8):435-452

Paradigm as Organization-Oriented Coordination Language

Autor: Groenewegen, L.P.J., Stam, A.W., Toussaint, P.J., de Vink, E.P.

Publikováno v: In Electronic Notes in Theoretical Computer Science 29 May 2006 150(3):93-113

Injective synchronisation: An extension of the authentication hierarchy

Autor: Cremers, C.J.F., Mauw, S., de Vink, E.P.

Publikováno v: In Theoretical Computer Science 2006 367(1):139-161

Family-based model checking with mCRL2

Autor: ter Beek, M.H., de Vink, E.P., Willemse, T.A.C., Huisman, M., Rubin, J.

Publikováno v: FASE 2017-Fundamental Approaches to Software Engineering. 20th International Conference, pp. 387–405, Uppsala, Sweden, 22-29 April 2017
Fundamental Approaches to Software Engineering: 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, 387-405
STARTPAGE=387;ENDPAGE=405;TITLE=Fundamental Approaches to Software Engineering
info:cnr-pdr/source/autori:Ter Beek M. H.; De Vink E. P.; Willemse T. A./congresso_nome:FASE 2017-Fundamental Approaches to Software Engineering. 20th International Conference/congresso_luogo:Uppsala, Sweden/congresso_data:22-29 April 2017/anno:2017/pagina_da:387/pagina_a:405/intervallo_pagine:387–405
Fundamental Approaches to Software Engineering ISBN: 9783662544938
FASE

Family-based model checking targets the simultaneous verification of multiple system variants, a technique to handle feature-based variability that is intrinsic to software product lines SPLs. We present an approach for family-based verification base

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1f01d64e2eaaa560da178a15568091f1
https://doi.org/10.1007/978-3-662-54494-5_23

Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice

Autor: den Hartog, J.I., de Vink, E.P., de Bakker, J.W.

Publikováno v: In Electronic Notes in Theoretical Computer Science March 2001 40:72-99