E-LIB Suche - Ergebnisse für: de Vink, Erik P.

1

Weak Simplicial Bisimilarity for Polyhedral Models and SLCS..:

, In: Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science,

Bezhanishvili, Nick ; Ciancia, Vincenzo ; Gabelaia, David... - p. 20-38 , 2024

Link: https://doi.org/10.1007/..

2

Minimisation of Spatial Models Using Branching Bisimilarity:

, In: Formal Methods; Lecture Notes in Computer Science,

Ciancia, Vincenzo ; Groote, Jan Friso ; Latella, Diego.. - p. 263-281 , 2023

Link: https://doi.org/10.1007/..

3

Lowerbounds for Bisimulation by Partition Refinement:

Groote, Jan Friso ; Martens, Jan ; de Vink, Erik. P.
Logical Methods in Computer Science. 19, Issue 2 (2023) - p. , 2023

Link: https://doi.org/10.46298..

4

On Bisimilarity for Polyhedral Models and SLCS:

, In: Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science,

Ciancia, Vincenzo ; Gabelaia, David ; Latella, Diego.. - p. 132-151 , 2023

Link: https://doi.org/10.1007/..

5

Back-and-Forth in Space: On Logics and Bisimilarity in Clos..:

, In: Lecture Notes in Computer Science; A Journey from Process Algebra via Timed Automata to Model Learning,

Ciancia, Vincenzo ; Latella, Diego ; Massink, Mieke. - p. 98-115 , 2022

Link: https://doi.org/10.1007/..

6

Modelling and Analysing Software in mCRL2:

, In: Formal Aspects of Component Software; Lecture Notes in Computer Science,

Groote, Jan Friso ; Keiren, Jeroen J. A. ; Luttik, Bas.. - p. 25-48 , 2020

Link: https://doi.org/10.1007/..

7

Family-Based SPL Model Checking Using Parity Games with Var..:

, In: Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science,

ter Beek, Maurice H. ; van Loo, Sjef ; de Vink, Erik P.. - p. 245-265 , 2020

Link: https://doi.org/10.1007/..

8

The mCRL2 Toolset for Analysing Concurrent Systems: Improve..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Bunte, Olav ; Groote, Jan Friso ; Keiren, Jeroen J. A.... - p. 21-39 , 2019

Link: https://doi.org/10.1007/..

9

An Axiomatization of Strong Distribution Bisimulation for a..:

, In: From Software Engineering to Formal Methods and Tools, and Back; Lecture Notes in Computer Science,

Groote, Jan Friso ; de Vink, Erik P. - p. 449-463 , 2019

Link: https://doi.org/10.1007/..

10

A Complete Axiomatization of Branching Bisimilarity for a S..:

, In: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy; Lecture Notes in Computer Science,

van Glabbeek, Rob J. ; Groote, Jan Friso ; de Vink, Erik P. - p. 139-162 , 2019

Link: https://doi.org/10.1007/..

11

An Efficient Algorithm to Determine Probabilistic Bisimulat..:

Groote, Jan Friso ; Rivera Verduzco, Jao ; De Vink, Erik P.
Algorithms. 11 (2018) 9 - p. 131 , 2018

Link: https://doi.org/10.3390/..

12

Family-Based Model Checking of SPL based on mCRL2:

, In: Proceedings of the 21st International Systems and Software Product Line Conference - Volume B,

Ben Snaiba, Ziad ; de Vink, Erik P. ; Willemse, Tim A.C. - p. 13-16 , 2017

Link: https://dl.acm.org/doi/1..

13

Using mCRL2 for the analysis of software product lines:

, In: Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering,

Beek, Maurice H. ter ; de Vink, Erik P. - p. 31-37 , 2014

Link: https://dl.acm.org/doi/1..

14

Comparison of the molecular topologies of stress-activated ..:

Pronk, Tessa E. ; van der Veen, Jochem W. ; Vandebriel, Rob J....
Biosystems. 124 (2014) - p. 75-85 , 2014

Link: https://doi.org/10.1016/..

15

Software product line analysis with mCRL2:

, In: Proceedings of the 18th International Software Product Line Conference: Companion Volume for Workshops, Demonstrations and Tools - Volume 2,

ter Beek, Maurice H. ; de Vink, Erik P. - p. 78-85 , 2014

Link: https://dl.acm.org/doi/1..