Search Results - "de Vink, Erik"

Lowerbounds for Bisimulation by Partition Refinement by Groote, Jan Friso, Martens, Jan, de Vink, Erik. P.

“…We provide time lower bounds for sequential and parallel algorithms deciding bisimulation on labeled transition systems that use partition refinement. For…”
Get full text

An efficient algorithm to determine probabilistic bisimulation by Groote, J.F., Rivera Verduzco, H.J., de Vink, E.P.

“…We provide an algorithm to efficiently compute bisimulation for probabilistic labeled transition systems, featuring non-deterministic choice as well as…”
Get full text

Bisimulation of Labelled State-to-Function Transition Systems Coalgebraically by Latella, Diego, Massink, Mieke, De Vink, Erik P

“…Labeled state-to-function transition systems, FuTS for short, are characterized by transitions which relate states to functions of states over general…”
Get full text

RNA-Editing with Combined Insertion and Deletion Preserves Regularity by de Vink, Erik P, Zantema, Hans, Bosnacki, Dragan

“…We consider two elementary forms of string rewriting called guided insertion/deletion and guided rewriting. The original strings are modified depending on the…”
Get full text

A Definition Scheme for Quantitative Bisimulation by Latella, Diego, Massink, Mieke, de Vink, Erik

“…FuTS, state-to-function transition systems are generalizations of labeled transition systems and of familiar notions of quantitative semantical models as…”
Get full text

Comparison of the molecular topologies of stress-activated transcription factors HSF1, AP-1, NRF2, and NF-κB in their induction kinetics of HMOX1 by Pronk, Tessa E., van der Veen, Jochem W., Vandebriel, Rob J., van Loveren, Henk, de Vink, Erik P., Pennings, Jeroen L.A.

“…[Display omitted] •We model the efficiency of HSF1, AP-1, NRF2, and NF-κB to remove inducers of stress.•The TF circuits were modelled at comparable levels of…”
Get full text

Rooted branching bisimulation as a congruence for probabilistic transition systems by Lee, Matias D., de Vink, Erik P.

“…We propose a probabilistic transition system specification format, referred to as probabilistic RBB safe, for which rooted branching bisimulation is a…”
Get full text

Decoupled execution of synchronous coordination models via behavioural automata by Proença, José, Clarke, Dave, de Vink, Erik, Arbab, Farhad

“…Synchronous coordination systems allow the exchange of data by logically indivisible actions involving all coordinated entities. This paper introduces…”
Get full text

Lowerbounds for Bisimulation by Partition Refinement by Groote, Jan Friso, Martens, Jan, de Vink, Erik. P

“…Logical Methods in Computer Science, Volume 19, Issue 2 (May 11, 2023) lmcs:9212 We provide time lower bounds for sequential and parallel algorithms deciding…”
Get full text

Towards a Feature mu-Calculus Targeting SPL Verification by ter Beek, Maurice H., de Vink, Erik P., Willemse, Tim A. C.

“…The modal mu-calculus mu-L is a well-known fixpoint logic to express and model check properties interpreted over labeled transition systems. In this paper, we…”
Get full text

Coherent branching feature bisimulation by Belder, Tessa, ter Beek, Maurice H., de Vink, Erik P.

“…Progress in the behavioral analysis of software product lines at the family level benefits from further development of the underlying semantical theory. Here,…”
Get full text

Towards reduction of Paradigm coordination models by Andova, Suzana, Groenewegen, Luuk, de Vink, Erik

“…The coordination modelling language Paradigm addresses collaboration between components in terms of dynamic constraints. Within a Paradigm model, component…”
Get full text

Editorial by de, Vink Erik, Cavalcanti, Ana

Get full text

Editorial by de Vink, Erik, Cavalcanti, Ana

Get full text

Editorial by de Vink, Erik, Cavalcanti, Ana

Get full text

A Cancellation Law for Probabilistic Processes by van Glabbeek, Rob, Groote, Jan Friso, de Vink, Erik

Get full text

Reo + mCRL2 : A framework for model-checking dataflow in service compositions by Kokash, Natallia, Krause, Christian, de Vink, Erik

“…The paradigm of service-oriented computing revolutionized the field of software engineering. According to this paradigm, new systems are composed of existing…”
Get full text

On Formal Methods Thinking in Computer Science Education by Dongol, Brijesh, Dubois, Catherine, Hallerstede, Stefan, Hehner, Eric, Morgan, Carroll, Müller, Peter, Ribeiro, Leila, Silva, Alexandra, Smith, Graeme, de Vink, Erik

“…Formal Methods (FM) radically improve the quality of the code artefacts they help to produce. They are simple, probably accessible to first-year undergraduate…”
Get full text

Compositional and behavior-preserving reconfiguration of component connectors in Reo by Krause, Christian, Giese, Holger, de Vink, Erik

“…It is generally accepted that building software out of loosely coupled components, such as in service-oriented systems or mobile networks, yields applications…”
Get full text

A hierarchy of probabilistic system types by Bartels, Falk, Sokolova, Ana, de Vink, Erik

“…We arrange various classes of probabilistic systems studied in the literature in an expressiveness hierarchy. Our expressiveness criterion is the existence of…”
Get full text