Erik P. de Vink

CoRR, 2023

On Bisimilarity for Polyhedral Models and SLCS.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2023

Minimisation of Spatial Models Using Branching Bisimilarity.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - 25th International Symposium, 2023

2022

Back-and-Forth in Space: On Logics and Bisimilarity in Closure Spaces.

[BibT_eX]

[DOI]

Proceedings of the A Journey from Process Algebra via Timed Automata to Model Learning, 2022

2021

Editorial.

[BibT_eX]

[DOI]

Ana Cavalcanti

Formal Aspects Comput., 2021

On Bisimilarities for Closure Spaces - Preliminary Version.

[BibT_eX]

[DOI]

CoRR, 2021

Bisimulation by Partitioning Is Ω((m+n)log n).

[BibT_eX]

[DOI]

Jan Martens

Proceedings of the 32nd International Conference on Concurrency Theory, 2021

2020

A formal actor-based model for streaming the future.

[BibT_eX]

[DOI]

Keyvan Azadbakht

Frank S. de Boer

Nikolaos Bezirgiannis

Sci. Comput. Program., 2020

Towards Spatial Bisimilarity for Closure Models: Logical and Coalgebraic Characterisations.

[BibT_eX]

[DOI]

CoRR, 2020

Family-Based SPL Model Checking Using Parity Games with Variability.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2020

2019

The mCRL2 Toolset for Analysing Concurrent Systems - Improvements in Expressivity and Usability.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Modelling and Analysing Software in mCRL2.

[BibT_eX]

[DOI]

Proceedings of the Formal Aspects of Component Software - 16th International Conference, 2019

An Axiomatization of Strong Distribution Bisimulation for a Language with a Parallel Operator and Probabilistic Choice.

[BibT_eX]

[DOI]

Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019

A Complete Axiomatization of Branching Bisimilarity for a Simple Process Language with Probabilistic Choice - (Extended Abstract).

[BibT_eX]

[DOI]

Rob J. van Glabbeek

Proceedings of the Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, 2019

2018

An Efficient Algorithm to Determine Probabilistic Bisimulation.

[BibT_eX]

[DOI]

Jao Rivera Verduzco

Algorithms, 2018

Deadlock Detection for Actor-Based Coroutines.

[BibT_eX]

[DOI]

Keyvan Azadbakht

Frank S. de Boer

Proceedings of the Formal Methods - 22nd International Symposium, 2018

Extending Paradigm with Data.

[BibT_eX]

[DOI]

Jan H. S. Verschuren

Proceedings of the It's All About Coordination, 2018

2017

Family-Based Model Checking of SPL based on mCRL2.

[BibT_eX]

[DOI]

Ziad Ben Snaiba

Tim A. C. Willemse

Proceedings of the 21st International Systems and Software Product Line Conference, 2017

Family-Based Model Checking with mCRL2.

[BibT_eX]

[DOI]

Tim A. C. Willemse

Proceedings of the Fundamental Approaches to Software Engineering, 2017

Problem Solving Using Process Algebra Considered Insightful.

[BibT_eX]

[DOI]

Proceedings of the ModelEd, TestEd, TrustEd, 2017

2016

Towards a Feature mu-Calculus Targeting SPL Verification.

[BibT_eX]

[DOI]

Tim A. C. Willemse

Proceedings of the Proceedings 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering, 2016

Logical Characterization of Bisimulation for Transition Relations over Probability Distributions with Internal Actions.

[BibT_eX]

[DOI]

Matias David Lee

Proceedings of the 41st International Symposium on Mathematical Foundations of Computer Science, 2016

Supervisory Controller Synthesis for Product Lines Using CIF 3.

[BibT_eX]

[DOI]

Michel A. Reniers

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Towards a Proof Method for Paradigm.

[BibT_eX]

[DOI]

L. P. J. Groenewegen

Ruurd Kuiper

Proceedings of the Theory and Practice of Formal Methods, 2016

2015

Rooted branching bisimulation as a congruence for probabilistic transition systems.

[BibT_eX]

[DOI]

Matias David Lee

Proceedings of the Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems, 2015

Bisimulation of Labelled State-to-Function Transition Systems Coalgebraically.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2015

A Definition Scheme for Quantitative Bisimulation.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems, 2015

Coherent branching feature bisimulation.

[BibT_eX]

[DOI]

Tessa Belder

Proceedings of the Proceedings 6th Workshop on Formal Methods and Analysis in SPL Engineering, 2015

2014

Dynamic adaptation with distributed control in Paradigm.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2014

Comparison of the molecular topologies of stress-activated transcription factors HSF1, AP-1, NRF2, and NF-κB in their induction kinetics of HMOX1.

[BibT_eX]

[DOI]

Tessa E. Pronk

Jochem W. van der Veen

Rob J. Vandebriel

Henk van Loveren

Jeroen L. A. Pennings

Biosyst., 2014

SPLat 2014: First International Workshop on Software Product Line Analysis Tools.

[BibT_eX]

[DOI]

Axel Legay

Proceedings of the 18th International Software Product Line Conference, 2014

Software product line analysis with mCRL2.

[BibT_eX]

[DOI]

Proceedings of the 18th International Software Product Lines Conference, 2014

Towards Modular Verification of Software Product Lines with mCRL2.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

Using mCRL2 for the analysis of software product lines.

[BibT_eX]

[DOI]

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

2013

Compositional and behavior-preserving reconfiguration of component connectors in Reo.

[BibT_eX]

[DOI]

Holger Giese

J. Vis. Lang. Comput., 2013

RNA-Editing with Combined Insertion and Deletion Preserves Regularity.

[BibT_eX]

[DOI]

Hans Zantema

Sci. Ann. Comput. Sci., 2013

An Overview of the mCRL2 Toolset and Its Recent Advances.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

2012

Reconciling real and stochastic time: the need for probabilistic refinement.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2012

Reo + mCRL2: A framework for model-checking dataflow in service compositions.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2012

Preface.

[BibT_eX]

[DOI]

Paola Giannini

Proceedings of the Third International Workshop on Interactions Between Computer Science and Biology, 2012

Combining Insertion and Deletion in RNA-editing Preserves Regularity

[BibT_eX]

[DOI]

Hans Zantema

Proceedings of the Proceedings 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2012

Bisimulation of Labeled State-to-Function Transition Systems of Stochastic Process Languages

[BibT_eX]

[DOI]

Proceedings of the Proceedings Seventh ACCAT Workshop on Applied and Computational Category Theory, 2012

Dreams: a framework for distributed synchronous coordination.

[BibT_eX]

[DOI]

Proceedings of the ACM Symposium on Applied Computing, 2012

2011

Dynamic consistency in process algebra: From Paradigm to ACP.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2011

Towards reduction of Paradigm coordination models

[BibT_eX]

[DOI]

Proceedings of the Proceedings First International Workshop on Process Algebra and Coordination, 2011

Decoupled execution of synchronous coordination models via behavioural automata

[BibT_eX]

[DOI]

Proceedings of the Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2011

2010

Time and Data-Aware Analysis of Graphical Service Models in Reo.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010

Data-aware design and verification of service compositions with Reo and mCRL2.

[BibT_eX]

[DOI]

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Towards Dynamic Adaptation of Probabilistic Systems.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Distributed Adaption of Dining Philosophers.

[BibT_eX]

[DOI]

Proceedings of the Formal Aspects of Component Software - 7th International Workshop, 2010

Action-based analysis of discrete regulatory networks with short-term stimuli.

[BibT_eX]

[DOI]

Carola Krause

Proceedings of the Computational Methods in Systems Biology, 8th International Conference, 2010

2009

<i>In Silico</i> Modelling and Analysis of Ribosome Kinetics and aa-tRNA Competition.

[BibT_eX]

[DOI]

Tessa E. Pronk

Trans. Comp. Sys. Biology, 2009

Compositionality for Markov reward chains with fast and silent transitions.

[BibT_eX]

[DOI]

Perform. Evaluation, 2009

Performance Evaluation of Distributed Systems Based on a Discrete Real- and Stochastic-Time Process Algebra.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2009

Formalizing Adaptation On-the-Fly.

[BibT_eX]

[DOI]

Proceedings of the 8th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2009

Coalgebraic Weak Bisimulation for Action-Type Systems.

[BibT_eX]

[DOI]

Harald Woracek

Sci. Ann. Comput. Sci., 2009

Verification of Context-Dependent Channel-Based Service Models.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009

2008

Dynamic System Adaptation by Constraint Orchestration

[BibT_eX]

[DOI]

CoRR, 2008

Reconfiguring Distributed Reo Connectors.

[BibT_eX]

[DOI]

Christian Koehler

Farhad Arbab

Proceedings of the Recent Trends in Algebraic Development Techniques, 2008

An Operation-Based Metric for CPA Resistance.

[BibT_eX]

[DOI]

Jing Pan

J. I. den Hartog

Proceedings of The IFIP TC-11 23rd International Information Security Conference, 2008

Architecting Security with Paradigm.

[BibT_eX]

[DOI]

Proceedings of the Architecting Dependable Systems VI, 2008

Stochastic Analysis of Amino Acid Substitution in Protein Synthesis.

[BibT_eX]

[DOI]

Huub M. M. ten Eikelder

Marvin N. Steijaert

Proceedings of the Computational Methods in Systems Biology, 6th International Conference, 2008

Extending Timed Process Algebra with Discrete Stochastic Time.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology, 2008

Discrete real-time and stochastic-time process algebra for performance analysis of distributed systems.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Application of Concurrency to System Design (ACSD 2008), 2008

2007

Compositionality for Markov Reward Chains with Fast Transitions.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Stochastic Models for Performance Evaluation, 2007

Real-Time Process Algebra with Stochastic Delays.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 2007

2006

Injective synchronisation: An extension of the authentication hierarchy.

[BibT_eX]

[DOI]

Cas J. F. Cremers

Theor. Comput. Sci., 2006

Data Anonymity in the FOO Voting Scheme.

[BibT_eX]

[DOI]

Jan Verschuren

Proceedings of the Second International Workshop on Views on Designing Complex Architectures, 2006

Formalising Receipt-Freeness.

[BibT_eX]

[DOI]

Hugo L. Jonker

Proceedings of the Information Security, 9th International Conference, 2006

Embedding Real Time in Stochastic Process Algebras.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Stochastic Models for Performance Evaluation, 2006

Evolution On-the-Fly with Paradigm.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 8th International Conference, 2006

2005

Restructuring Paradigm Models for the ToolBus Architecture: A Case Study.

[BibT_eX]

[DOI]

Andries W. Stam

Proceedings of the First International Workshop on Methods and Tools for Coordinating Concurrent, 2005

Multiparty Contract Signing Over a Reliable Network.

[BibT_eX]

[DOI]

Simona Orzan

Proceedings of the First International Workshop on Security and Trust Management, 2005

Preface.

[BibT_eX]

[DOI]

Wiebe van der Hoek

Alessio Lomuscio

Michael J. Wooldridge

Proceedings of the Third International Workshop on Logic and Communication in Multi-Agent Systems, 2005

Paradigm as Organization-Oriented Coordination Language.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Coordination and Organisation, 2005

A Syntactic Criterion for Injectivity of Authentication Protocols.

[BibT_eX]

[DOI]

Cas J. F. Cremers

Proceedings of the Second Workshop on Automated Reasoning for Security Protocol Analysis, 2005

Delegation Modeling with Paradigm.

[BibT_eX]

[DOI]

Niels van Kampenhout

Proceedings of the Coordination Models and Languages, 7th International Conference, 2005

2004

A hierarchy of probabilistic system types.

[BibT_eX]

[DOI]

Falk Bartels

Theor. Comput. Sci., 2004

Update Semantics of Security Protocols.

[BibT_eX]

[DOI]

Arjen Hommersom

Synth., 2004

Axiomatizing GSOS with termination.

[BibT_eX]

[DOI]

Jos C. M. Baeten

J. Log. Algebraic Methods Program., 2004

Weak Bisimulation for Action-Type Coalgebras: (Extended Abstract).

[BibT_eX]

[DOI]

Harald Woracek

Proceedings of the 10th Conference on Category Theory in Computer Science, 2004

Toward Reasoning about Security Protocols: A Semantic Approach.

[BibT_eX]

[DOI]

Arjen Hommersom

Proceedings of the 2nd International Workshop on Logic and Communication in Multi-Agent Systems, 2004

Probabilistic Automata: System Types, Parallel Composition and Comparison.

[BibT_eX]

[DOI]

Proceedings of the Validation of Stochastic Systems - A Guide to Current Research, 2004

Virtual Analysis and Reduction of Side-Channel Vulnerabilities of Smartcards.

[BibT_eX]

[DOI]

Proceedings of the Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), 2004

A Formalization of Anonymity and Onion Routing.

[BibT_eX]

[DOI]

Jan Verschuren

Proceedings of the Computer Security, 2004

2003

Preface: Volume 85, Issue 2.

[BibT_eX]

[DOI]

Wiebe van der Hoek

Alessio Lomuscio

Michael J. Wooldridge

Proceedings of the 1st International Workshop on Logic and Communication in Multi-Agent Systems, 2003

Verification and Improvement of the Sliding Window Protocol.

[BibT_eX]

[DOI]

Dmitri Chkliaev

Jozef Hooman

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

PINPAS: A Tool for Power Analysis of Smartcards.

[BibT_eX]

Proceedings of the Security and Privacy in the Age of Uncertainty, 2003

2002

Verifying Probabilistic Programs Using a Hoare Like Logic.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 2002

Operational Semantics for Coordination in Paradigm.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 5th International Conference, 2002

2001

On BAN Logics for Industrial Security Protocols.

[BibT_eX]

[DOI]

Nesria Agray

Wiebe van der Hoek

Proceedings of the From Theory to Practice in Multi-Agent Systems, 2001

2000

Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice.

[BibT_eX]

[DOI]

Proceedings of the First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2000

1999

Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach.

[BibT_eX]

[DOI]

Jan J. M. M. Rutten

Theor. Comput. Sci., 1999

Full Abstractness of a Metric Semantics for Action Refinement.

[BibT_eX]

[DOI]

Fundam. Informaticae, 1999

1998

Mixing Up Nondeterminism and Probability: a preliminary report.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Probabilistic Methods in Verification, 1998

1997

Comparative Metric Semantics for Commit in OR-Parallel Logic Programming.

[BibT_eX]

Eneia Todoran

Proceedings of the Logic Programming, 1997

1996

Control flow semantics.

[BibT_eX]

Jacobus W. de Bakker

MIT Press, ISBN: 978-0-262-04154-6, 1996

1995

Metric Predicate Transformers: Towards a Notion of Refinement for Concurrency.

[BibT_eX]

[DOI]

Marcello M. Bonsangue

Joost N. Kok

Proceedings of the CONCUR '95: Concurrency Theory, 1995

1994

Bisimulation Semantics for Concurrency with Atomicity and Action Refinement.

[BibT_eX]

[DOI]

Fundam. Informaticae, 1994

Transition System Specifications in Stalk Formal with Bisimulation as a Congruence.

[BibT_eX]

[DOI]

Vincent van Oostrom

Proceedings of the STACS 94, 1994

1993

Rendez-Vous with Metric Semantics.

[BibT_eX]

[DOI]

New Gener. Comput., 1993

1992

Asynchronous Rendez-vous in Distributed Logic Programming.

[BibT_eX]

[DOI]

Anton Eliëns

Proceedings of the Sematics: Foundations and Applications, 1992

1991

CCS for OO and LP.

[BibT_eX]

[DOI]

Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991

Rendezvous with Metric Semantics.

[BibT_eX]

[DOI]

Proceedings of the PARLE '91: Parallel Architectures and Languages Europe, 1991

1990

Retractions in Comparing Prolog Semantics (Extended Abstract).

[BibT_eX]

[DOI]

Arie de Bruin

Proceedings of the Mathematical Foundations of Computer Science 1990, 1990

Designing stream based semantics for uniform concurrency and logic programming.

[BibT_eX]

PhD thesis, 1990

1989

Comparative Semantics for PROLOG with Cut.

[BibT_eX]

[DOI]

Sci. Comput. Program., 1989

Step Semantics for "True" Concurrency with Recursion.

[BibT_eX]

[DOI]

Distributed Comput., 1989

Continuation Semantics for PROLOG with Cut.

[BibT_eX]

[DOI]

Arie de Bruin

Proceedings of the TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1989

Pomset Semantics for True Concurrency with Synchronization and Recursion (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1989, 1989

1988

Applications of Compactness in the Smyth Powerdomain of Streams.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1988

1987

Applications of Compactness in the Smyth Powerdomain of Streams (Extended Abstract).

[BibT_eX]

[DOI]