Erik P. de Vink

Citat de

	Toate	Din 2020
Referințe bibliografice	3572	831
h-index	29	14
i10-index	73	20

220

110

165

19901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202515 10 8 17 11 20 15 22 45 38 33 39 40 49 56 94 126 114 127 167 117 154 157 168 172 176 167 147 193 165 130 142 150 160 210 39

Acces public

Afișați-le pe toate

12 articole

0 articole

disponibile

indisponibile

Pe baza cerințelor privind finanțarea

Coautori

Jan Friso GrooteFull Professor (Hoogleraar), Eindhoven University of TechnologyAdresă de e-mail confirmată pe tue.nl
Ana SokolovaAssociate Professor at University of SalzburgAdresă de e-mail confirmată pe cs.uni-salzburg.at
Jerry den HartogTechnische Universiteit EindhovenAdresă de e-mail confirmată pe tue.nl
Tim WillemseAssociate Professor, Eindhoven University of TechnologyAdresă de e-mail confirmată pe tue.nl
Mieke MassinkCNR-ISTIAdresă de e-mail confirmată pe isti.cnr.it
Maurice H. ter BeekISTI, CNRAdresă de e-mail confirmată pe isti.cnr.it
Sjouke MauwProfessor in Security and Trust of Software Systems, University of LuxembourgAdresă de e-mail confirmată pe uni.lu
Jasen MarkovskiEindhoven University of TechnologyAdresă de e-mail confirmată pe tue.nl
John-Jules Meyeremeritus Utrecht UniversityAdresă de e-mail confirmată pe cs.uu.nl
Christian KrauseSAP SEAdresă de e-mail confirmată pe sap.com
Diego LatellaSenior Researcher - CNR-ISTI Pisa (ret.)Adresă de e-mail confirmată pe cnr.it
Dragan Bosnackiassistant professor, Eindhoven University of TechnologyAdresă de e-mail confirmată pe tue.nl
Cas CremersCISPA Helmholtz Center for Information SecurityAdresă de e-mail confirmată pe cispa.de
Jan RuttenCWIAdresă de e-mail confirmată pe cwi.nl

Urmăriți

Erik P. de Vink

Associate Professor, Eindhoven University of Technology

Adresă de e-mail confirmată pe win.tue.nl - Pagina de pornire

Formal Methods Probabilistic Processes Software Product Lines


Titlu Sortați după descrierea bibliografică Sortați după an Sortați după titlu	Citat de Citat de	Anul
Control flow semantics JW De Bakker, E De Vink MIT press, 1996	248	1996
Bisimulation for probabilistic transition systems: a coalgebraic approach EP de Vink, JJMM Rutten Theoretical Computer Science 221 (1-2), 271-293, 1999	247	1999
The mCRL2 toolset for analysing concurrent systems: improvements in expressivity and usability O Bunte, JF Groote, JJA Keiren, M Laveaux, T Neele, EP de Vink, ... Tools and Algorithms for the Construction and Analysis of Systems: 25th …, 2019	223	2019
An overview of the mCRL2 toolset and its recent advances S Cranen, JF Groote, JJA Keiren, FPM Stappers, EP De Vink, ... Tools and Algorithms for the Construction and Analysis of Systems: 19th …, 2013	212	2013
Probabilistic automata: system types, parallel composition and comparison A Sokolova, EP De Vink Validation of Stochastic Systems: A Guide to Current Research, 1-43, 2004	160	2004
A formalization of anonymity and onion routing S Mauw, JHS Verschuren, EP de Vink Computer Security–ESORICS 2004: 9th European Symposium on Research in …, 2004	109	2004
A hierarchy of probabilistic system types F Bartels, A Sokolova, E de Vink Theoretical Computer Science 327 (1-2), 3-22, 2004	100	2004
Reo + `mCRL2` : A framework for model-checking dataflow in service compositions N Kokash, C Krause, E De Vink Formal Aspects of Computing 24 (2), 187-216, 2012	99	2012
Verification and improvement of the sliding window protocol D Chkliaev, J Hooman, E De Vink International Conference on Tools and Algorithms for the Construction and …, 2003	85	2003
Verifying probabilistic programs using a Hoare like logic JI Den Hartog, EP de Vink International journal of foundations of computer science 13 (03), 315-340, 2002	83	2002
Injective synchronisation: An extension of the authentication hierarchy CJF Cremers, S Mauw, EP de Vink Theoretical Computer Science 367 (1-2), 139-161, 2006	79	2006
Formalising receipt-freeness HL Jonker, EP de Vink Information Security: 9th International Conference, ISC 2006, Samos Island …, 2006	60	2006
Continuation semantics for Prolog with cut A de Bruin, EP de Vink Colloquium on Trees in Algebra and Programming, 178-192, 1989	60	1989
A hierarchy of probabilistic system types F Bartels, A Sokolova, E de Vink Electronic Notes in Theoretical Computer Science 82 (1), 57-75, 2003	55	2003
Dreams: a framework for distributed synchronous coordination J Proença, D Clarke, E De Vink, F Arbab Proceedings of the 27th Annual ACM Symposium on Applied Computing, 1510-1515, 2012	54	2012
Time and data-aware analysis of graphical service models in Reo N Kokash, C Krause, EP de Vink 2010 8th IEEE International Conference on Software Engineering and Formal …, 2010	53	2010
Family-based model checking with mCRL2 MH Ter Beek, EP De Vink, TAC Willemse International Conference on Fundamental Approaches to Software Engineering …, 2017	50	2017
Denotational models for programming languages: applications of Banach's Fixed Point Theorem JW de Bakker, EP de Vink Topology and its Applications 85 (1-3), 35-52, 1998	50	1998
Synchronous coordination of distributed components J Proença	49	2011
Control Flow Semantics. Foundations of Computing Series JW de Bakker, EP de Vink The MIT Press, 1996	48	1996

Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.

Articole 1–20

Referințe bibliografice pe an

Citate duplicat

Citate fuzionate

Adăugați coautoriCoautori

Urmăriți

Citat de

Coautori