| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Natallia Kokash, Christian Krause, Erik P. de Vink |
Reo + mCRL2: A framework for model-checking dataflow in service compositions.  |
Formal Asp. Comput.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Suzana Andova, Luuk Groenewegen, Erik P. de Vink |
Dynamic consistency in process algebra: From Paradigm to ACP. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | José Proença, Dave Clarke, Erik P. de Vink, Farhad Arbab |
Decoupled execution of synchronous coordination models via behavioural automata |
FOCLASA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ion Petre, Erik P. de Vink (eds.) |
Proceedings Third International Workshop on Computational Models for Cell Processes |
CompMod |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Suzana Andova, Luuk Groenewegen, Erik P. de Vink |
Towards reduction of Paradigm coordination models |
PACO |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Corrado Priami, Ralph-Johan Back, Ion Petre, Erik P. de Vink (eds.) |
Transactions on Computational Systems Biology XIII |
T. Comp. Sys. Biology |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Natallia Kokash, Christian Krause, Erik P. de Vink |
Time and Data-Aware Analysis of Graphical Service Models in Reo. |
SEFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Suzana Andova, Luuk Groenewegen, Erik P. de Vink |
Distributed Adaption of Dining Philosophers. |
FACS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Natallia Kokash, Christian Krause, Erik P. de Vink |
Data-aware design and verification of service compositions with Reo and mCRL2. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
mCRL2, verification, Reo, service-based systems |
| 1 | Christian Krause, Carola Krause, Erik P. de Vink |
Action-based analysis of discrete regulatory networks with short-term stimuli. |
CMSB |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Suzana Andova, Luuk Groenewegen, Erik P. de Vink |
Towards Dynamic Adaptation of Probabilistic Systems. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jasen Markovski, Ana Sokolova, Nikola Trcka, Erik P. de Vink |
Compositionality for Markov reward chains with fast and silent transitions. |
Perform. Eval. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Sokolova, Erik P. de Vink, Harald Woracek |
Coalgebraic Weak Bisimulation for Action-Type Systems. |
Sci. Ann. Comp. Sci. |
2009 |
DBLP BibTeX RDF |
|
| 1 | Suzana Andova, Luuk Groenewegen, J. Stafleu, Erik P. de Vink |
Formalizing Adaptation On-the-Fly. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Suzana Andova, Luuk Groenewegen, Erik P. de Vink |
Dynamic Consistency in Process Algebra: From Paradigm to ACP. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jasen Markovski, Erik P. de Vink |
Performance Evaluation of Distributed Systems Based on a Discrete Real- and Stochastic-Time Process Algebra. |
Fundam. Inform. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralph-Johan Back, Ion Petre, Erik P. de Vink (eds.) |
Proceedings Second International Workshop on Computational Models for Cell Processes |
COMPMOD |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Dragan Bosnacki, Tessa E. Pronk, Erik P. de Vink |
In Silico Modelling and Analysis of Ribosome Kinetics and aa-tRNA Competition. |
T. Comp. Sys. Biology |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Natallia Kokash, Christian Krause, Erik P. de Vink |
Verification of Context-Dependent Channel-Based Service Models. |
FMCO |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Luuk Groenewegen, Erik P. de Vink |
Dynamic System Adaptation by Constraint Orchestration |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Jing Pan, J. I. den Hartog, Erik P. de Vink |
An Operation-Based Metric for CPA Resistance. |
SEC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jasen Markovski, Erik P. de Vink |
Discrete real-time and stochastic-time process algebra for performance analysis of distributed systems. |
ACSD |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jasen Markovski, Erik P. de Vink |
Extending Timed Process Algebra with Discrete Stochastic Time. |
AMAST |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Koehler, Farhad Arbab, Erik P. de Vink |
Reconfiguring Distributed Reo Connectors. |
WADT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dragan Bosnacki, Huub M. M. ten Eikelder, M. N. Steijaert, Erik P. de Vink |
Stochastic Analysis of Amino Acid Substitution in Protein Synthesis. |
CMSB |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Suzana Andova, Luuk Groenewegen, Jan H. S. Verschuren, Erik P. de Vink |
Architecting Security with Paradigm. |
WADS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sjouke Mauw, Jan Verschuren, Erik P. de Vink |
Data Anonymity in the FOO Voting Scheme. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jasen Markovski, Erik P. de Vink |
Real-Time Process Algebra with Stochastic Delays. |
ACSD |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jasen Markovski, Ana Sokolova, Nikola Trcka, Erik P. de Vink |
Compositionality for Markov Reward Chains with Fast Transitions. |
EPEW |
2007 |
DBLP DOI BibTeX RDF |
discontinuous Markov reward chains, Markov reward chains with fast transitions, lumpability, Kronecker product and sum, reduction, compositionality, parallel composition |
| 1 | Cas J. F. Cremers, Sjouke Mauw, Erik P. de Vink |
Injective synchronisation: An extension of the authentication hierarchy. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | A. W. Stam, Luuk Groenewegen, Erik P. de Vink |
Restructuring Paradigm Models for the ToolBus Architecture: A Case Study. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Simona Orzan, Erik P. de Vink |
Multiparty Contract Signing Over a Reliable Network. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael Wooldridge |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Luuk Groenewegen, A. W. Stam, Pieter J. Toussaint, Erik P. de Vink |
Paradigm as Organization-Oriented Coordination Language. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Hugo L. Jonker, Erik P. de Vink |
Formalising Receipt-Freeness. |
ISC |
2006 |
DBLP DOI BibTeX RDF |
online voting schemes, formal methods, eGovernment, receipt-freeness |
| 1 | Luuk Groenewegen, Erik P. de Vink |
Evolution On-the-Fly with Paradigm. |
COORDINATION |
2006 |
DBLP DOI BibTeX RDF |
evolution on-the-fly, dynamic consistency, software architecture, migration, self-adaptation, Paradigm |
| 1 | Jasen Markovski, Erik P. de Vink |
Embedding Real Time in Stochastic Process Algebras. |
EPEW |
2006 |
DBLP DOI BibTeX RDF |
Stochastic delay, weak choice, real-time and stochastic process algebra, race condition |
| 1 | Ana Sokolova, Erik P. de Vink, Harald Woracek |
Weak Bisimulation for Action-Type Coalgebras: (Extended Abstract). |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Arjen Hommersom, John-Jules Ch. Meyer, Erik P. de Vink |
Toward Reasoning about Security Protocols: A Semantic Approach. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Cas J. F. Cremers, Sjouke Mauw, Erik P. de Vink |
A Syntactic Criterion for Injectivity of Authentication Protocols. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael Wooldridge |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Luuk Groenewegen, Niels van Kampenhout, Erik P. de Vink |
Delegation Modeling with Paradigm. |
COORDINATION |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jos C. M. Baeten, Erik P. de Vink |
Axiomatizing GSOS with termination. |
J. Log. Algebr. Program. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Falk Bartels, Ana Sokolova, Erik P. de Vink |
A hierarchy of probabilistic system types. |
Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael Wooldridge |
Preface: Volume 85, Issue 2. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Sokolova, Erik P. de Vink |
Probabilistic Automata: System Types, Parallel Composition and Comparison. |
Validation of Stochastic Systems |
2004 |
DBLP DOI BibTeX RDF |
probabilistic automata (transition systems), probabilistic bisimulation, preservation and reflection of bisimulation, non-determinism, parallel composition |
| 1 | Jerry den Hartog, Erik P. de Vink |
Virtual Analysis and Reduction of Side-Channel Vulnerabilities of Smartcards. |
Formal Aspects in Security and Trust |
2004 |
DBLP DOI BibTeX RDF |
systematic hardening, simulation, side-channel attack, DPA, power analysis, smartcard, countermeasures, fault analysis |
| 1 | Sjouke Mauw, Jan Verschuren, Erik P. de Vink |
A Formalization of Anonymity and Onion Routing. |
ESORICS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Falk Bartels, Ana Sokolova, Erik P. de Vink |
A hierarchy of probabilistic system types. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jerry den Hartog, Jan Verschuren, Erik P. de Vink, Jaap de Vos, W. Wiersma |
PINPAS: A Tool for Power Analysis of Smartcards. |
SEC |
2003 |
DBLP BibTeX RDF |
|
| 1 | Dmitri Chkliaev, Jozef Hooman, Erik P. de Vink |
Verification and Improvement of the Sliding Window Protocol. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jerry den Hartog, Erik P. de Vink |
Verifying Probabilistic Programs Using a Hoare Like Logic. |
Int. J. Found. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Luuk Groenewegen, Erik P. de Vink |
Operational Semantics for Coordination in Paradigm. |
COORDINATION |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jos C. M. Baeten, Erik P. de Vink |
Axiomatizing GSOS with Termination. |
STACS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Nesria Agray, Wiebe van der Hoek, Erik P. de Vink |
On BAN Logics for Industrial Security Protocols. |
CEEMAS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jerry den Hartog, Erik P. de Vink, J. W. de Bakker |
Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice. |
Electr. Notes Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Erik P. de Vink, Jan J. M. M. Rutten |
Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach. |
Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Jerry den Hartog, Erik P. de Vink |
Mixing Up Nondeterminism and Probability: a preliminary report. |
Electr. Notes Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Jerry den Hartog, Erik P. de Vink, J. W. de Bakker |
Full Abstractness of a Metric Semantics for Action Refinement. |
Fundam. Inform. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Erik P. de Vink, Jan J. M. M. Rutten |
Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach. |
ICALP |
1997 |
DBLP DOI BibTeX RDF |
probabilistic transition system, ultrametric space, Borel measure, final coalgebra, Bisimulation, coalgebra |
| 1 | Eneia Todoran, Jerry den Hartog, Erik P. de Vink |
Comparative Metric Semantics for Commit in OR-Parallel Logic Programming. |
ILPS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Jacobus W. de Bakker, Erik P. de Vink |
Control flow semantics. |
|
1996 |
RDF |
|
| 1 | Marcello M. Bonsangue, Joost N. Kok, Erik P. de Vink |
Metric Predicate Transformers: Towards a Notion of Refinement for Concurrency. |
CONCUR |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | J. W. de Bakker, Erik P. de Vink |
Bisimulation Semantics for Concurrency with Atomicity and Action Refinement. |
Fundam. Inform. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent van Oostrom, Erik P. de Vink |
Transition System Specifications in Stalk Formal with Bisimulation as a Congruence. |
STACS |
1994 |
DBLP DOI BibTeX RDF |
transition system specifications, Structured Operational Semantics, semantics of programming languages, bisimulation equivalence |
| 1 | J. W. de Bakker, Erik P. de Vink |
Rendez-Vous with Metric Semantics. |
New Generation Comput. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Anton Eliëns, Erik P. de Vink |
Asynchronous Rendez-vous in Distributed Logic Programming. |
REX Workshop |
1992 |
DBLP DOI BibTeX RDF |
metric semantics, distributed logic programming, concurrency, continuations |
| 1 | J. W. de Bakker, Erik P. de Vink |
Rendezvous with Metric Semantics. |
PARLE |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | J. W. de Bakker, Erik P. de Vink |
CCS for OO and LP. |
TAPSOFT, Vol.2 |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Erik P. de Vink |
Designing stream based semantics for uniform concurrency and logic programming. |
|
1990 |
RDF |
|
| 1 | Arie de Bruin, Erik P. de Vink |
Retractions in Comparing Prolog Semantics (Extended Abstract). |
MFCS |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Erik P. de Vink |
Comparative Semantics for PROLOG with Cut. |
Sci. Comput. Program. |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | John-Jules Ch. Meyer, Erik P. de Vink |
Step Semantics for "True" Concurrency with Recursion. |
Distributed Computing |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Arie de Bruin, Erik P. de Vink |
Continuation Semantics for PROLOG with Cut. |
TAPSOFT, Vol.1 |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | John-Jules Ch. Meyer, Erik P. de Vink |
Pomset Semantics for True Concurrency with Synchronization and Recursion (Extended Abstract). |
MFCS |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | John-Jules Ch. Meyer, Erik P. de Vink |
Applications of Compactness in the Smyth Powerdomain of Streams. |
Theor. Comput. Sci. |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | John-Jules Ch. Meyer, Erik P. de Vink |
Applications of Compactness in the Smyth Powerdomain of Streams (Extended Abstract). |
TAPSOFT, Vol.1 |
1987 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")