2024
Offline supervisory control synthesis: taxonomy and recent developments.
Discret. Event Dyn. Syst., December, 2024
2023
Synthesis and Implementation of Distributed Supervisory Controllers With Communication Delays.
IEEE Trans Autom. Sci. Eng., July, 2023
Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023
Validating communication of a dynamic traffic management system.
Proceedings of the 27th International Conference on Engineering of Complex Computer Systems, 2023
Legend Pattern Calculation for Dynamic Traffic Management Using ILP.
Proceedings of the 19th IEEE International Conference on Automation Science and Engineering, 2023
2022
Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition?
ACM Trans. Comput. Log., 2022
Supervisor Synthesis: Bridging Theory and Practice.
Computer, 2022
A Note on the Message Complexity of Cidon's Distributed Depth-First Search Algorithm.
Proceedings of the A Journey from Process Algebra via Timed Automata to Model Learning, 2022
2021
Detecting useless transitions in pushdown automata.
Inf. Comput., 2021
Compositional coordinator synthesis of extended finite automata.
Discret. Event Dyn. Syst., 2021
Synthesized fault-tolerant supervisory controllers, with an application to a rotating bridge.
Comput. Ind., 2021
Fault-Tolerant Termination Detection with Safra's Algorithm.
Proceedings of the Networked Systems - 9th International Conference, 2021
Are Two Binary Operators Necessary to Finitely Axiomatise Parallel Composition?
Proceedings of the 29th EACSL Annual Conference on Computer Science Logic, 2021
A configurator for supervisory controllers of roadside systems.
Proceedings of the 17th IEEE International Conference on Automation Science and Engineering, 2021
2020
Structuring Multilevel Discrete-Event Systems With Dependence Structure Matrices.
IEEE Trans. Autom. Control., 2020
Model Properties for Efficient Synthesis of Nonblocking Modular Supervisors.
CoRR, 2020
Congruence from the operator's point of view.
Acta Informatica, 2020
The Road Ahead for Supervisor Synthesis.
,
,
,
,
,
,
,
,
,
,
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2020
A Complete Proof System for 1-Free Regular Expressions Modulo Bisimilarity.
Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020
SecurePay: Strengthening Two-Factor Authentication for Arbitrary Transactions.
Proceedings of the IEEE European Symposium on Security and Privacy, 2020
Exploiting Symmetry in Dependency Graphs for Model Reduction in Supervisor Synthesis.
Proceedings of the 16th IEEE International Conference on Automation Science and Engineering, 2020
2019
Divide and congruence III: From decomposition of modal formulas to preservation of stability and divergence.
Inf. Comput., 2019
Reliable Restricted Process Theory.
Fundam. Informaticae, 2019
Tailor-made multiple sequence alignments using the PRALINE 2 alignment toolkit.
Bioinform., 2019
The Impact of Requirement Splitting on the Efficiency of Supervisory Control Synthesis.
Proceedings of the Formal Methods for Industrial Critical Systems, 2019
Modeling Guidelines for Component-Based Supervisory Control Synthesis.
Proceedings of the Formal Aspects of Component Software - 16th International Conference, 2019
Supervisory Control of Multilevel Discrete-Event Systems with a Bus Structure.
Proceedings of the 17th European Control Conference, 2019
Deducing causes for the absence of states in supervised systems.
Proceedings of the 6th International Conference on Control, 2019
Variations of the Itai-Rodeh Algorithm for Computing Anonymous Ring Size.
Proceedings of the Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, 2019
2018
Motif-Aware PRALINE: Improving the alignment of motif regions.
PLoS Comput. Biol., 2018
2017
Multi-valued Simulation and Abstraction Using Lattice Operations.
ACM Trans. Embed. Comput. Syst., 2017
Model-based design of supervisory controllers for baggage handling systems.
Simul. Model. Pract. Theory, 2017
Divide and congruence II: From decomposition of modal formulas to preservation of delay and weak bisimilarity.
Inf. Comput., 2017
Maximally permissive controlled system synthesis for non-determinism and modal logic.
Discret. Event Dyn. Syst., 2017
Creating Büchi Automata for Multi-valued Model Checking.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2017
Precongruence Formats with Lookahead through Modal Decomposition.
Proceedings of the 26th EACSL Annual Conference on Computer Science Logic, 2017
Divide and Congruence III: Stability & Divergence.
Proceedings of the 28th International Conference on Concurrency Theory, 2017
2016
Formal specification and verification of TCP extended with the Window Scale Option.
Sci. Comput. Program., 2016
Combining User Reputation and Provenance Analysis for Trust Assessment.
ACM J. Data Inf. Qual., 2016
Model checking mobile ad hoc networks.
Formal Methods Syst. Des., 2016
Why is my supervisor empty? Finding causes for the unreachability of states in synthesized supervisors.
Proceedings of the 13th International Workshop on Discrete Event Systems, 2016
Divide and Congruence II: Delay and Weak Bisimilarity.
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016
2015
Maximal Synthesis for Hennessy-Milner Logic.
ACM Trans. Embed. Comput. Syst., 2015
On the Axiomatizability of Impossible Futures.
Log. Methods Comput. Sci., 2015
Maximally Permissive Controlled System Synthesis for Modal Logic.
Proceedings of the SOFSEM 2015: Theory and Practice of Computer Science, 2015
Predicting Quality of Crowdsourced Annotations Using Graph Kernels.
Proceedings of the Trust Management IX - 9th IFIP WG 11.11 International Conference, 2015
Multi-valued Abstraction Using Lattice Operations.
Proceedings of the 15th International Conference on Application of Concurrency to System Design, 2015
2014
Maximal Synthesis for Hennessy-Milner Logic with the Box Modality.
Proceedings of the 12th International Workshop on Discrete Event Systems, 2014
CIF 3: Model-Based Engineering of Supervisory Controllers.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014
Automated Evaluation of Crowdsourced Annotations in the Cultural Heritage Domain.
Proceedings of the 10th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2014) co-located with the 13th International Semantic Web Conference (ISWC 2014), 2014
Towards the Definition of an Ontology for Trust in (Web) Data.
Proceedings of the 10th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2014) co-located with the 13th International Semantic Web Conference (ISWC 2014), 2014
Bridging Gaps Between Subjective Logic and Semantic Web.
Proceedings of the Uncertainty Reasoning for the Semantic Web III, 2014
Uncertainty Estimation and Analysis of Categorical Web Data.
Proceedings of the Uncertainty Reasoning for the Semantic Web III, 2014
Analyzing User Demographics and User Behavior for Trust Assessment.
Proceedings of the Uncertainty Reasoning for the Semantic Web III, 2014
Two Procedures for Analyzing the Reliability of Open Government Data.
Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2014
Petri Nets Are a Biologist's Best Friend.
Proceedings of the Formal Methods in Macro-Biology - First International Conference, 2014
Bonsai: Cutting Models Down to Size.
Proceedings of the Perspectives of System Informatics, 2014
2013
Detecting Useless Transitions in Pushdown Automata.
CoRR, 2013
Turning GSOS Rules into Equations for Linear Time-Branching Time Semantics.
Comput. J., 2013
Personalized Nichesourcing: Acquisition of Qualitative Annotations from Niche Communities.
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the Late-Breaking Results, 2013
Reliability Analyses of Open Government Data.
Proceedings of the 9th International Workshop on Uncertainty Reasoning for the Semantic Web co-located with the 12th International Semantic Web Conference (ISWC 2013), 2013
Semi-automated assessment of annotation trustworthiness.
Proceedings of the Eleventh Annual International Conference on Privacy, Security and Trust, 2013
Model Checking MANETs with Arbitrary Mobility.
Proceedings of the Fundamentals of Software Engineering - 5th International Conference, 2013
Assessing Trust for Determining the Reliability of Information.
Proceedings of the Situation Awareness with Systems of Systems, 2013
2012
Divide and congruence: From decomposition of modal formulas to preservation of branching and η-bisimilarity.
Inf. Comput., 2012
Subjective Logic Extensions for the Semantic Web.
Proceedings of the 8th International Workshop on Uncertainty Reasoning for the Semantic Web, 2012
Trust Evaluation through User Reputation and Provenance Analysis.
Proceedings of the 8th International Workshop on Uncertainty Reasoning for the Semantic Web, 2012
Automated Evaluation of Annotators for Museum Collections Using Subjective Logic.
Proceedings of the Trust Management VI - 6th IFIP WG 11.11 International Conference, 2012
Model Checking under Fairness in ProB and Its Application to Fair Exchange Protocols.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2012, 2012
Compositionality of Probabilistic Hennessy-Milner Logic through Structural Operational Semantics.
Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012
Using Model Checking to Analyze the System Behavior of the LHC Production Grid.
Proceedings of the 12th IEEE/ACM International Symposium on Cluster, 2012
2011
Verification of mobile ad hoc networks: An algebraic approach.
Theor. Comput. Sci., 2011
HipG: parallel processing of large-scale graphs.
ACM SIGOPS Oper. Syst. Rev., 2011
Mean-field framework for performance evaluation of push-pull gossip protocols.
Perform. Evaluation, 2011
Fast leader election in anonymous rings with bounded expected delay.
Inf. Process. Lett., 2011
Distributed MAP in the SpinJa Model Checker
Proceedings of the Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, 2011
Estimating Uncertainty of Categorical Web Data.
Proceedings of the 7th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2011), 2011
A Modeling Framework for Gossip-based Information Spread.
Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011
A High-Level Framework for Distributed Processing of Large-Scale Graphs.
Proceedings of the Distributed Computing and Networking - 12th International Conference, 2011
Analysis of Gossip-Based Information Propagation in Wireless Mesh Networks.
Proceedings of the Computer Performance Engineering, 2011
Stochastic Restricted Broadcast Process Theory.
Proceedings of the Computer Performance Engineering, 2011
2010
Equational Reasoning on Mobile Ad Hoc Networks.
Fundam. Informaticae, 2010
Congruence from the Operator's Point of View: Compositionality Requirements on Process Semantics
Proceedings of the Proceedings Seventh Workshop on Structural Operational Semantics, 2010
Asynchronous Bounded Expected Delay Networks
CoRR, 2010
Lifting non-finite axiomatizability results to extensions of process algebras.
Acta Informatica, 2010
Automating the Mean-Field Method for Large Dynamic Gossip Networks.
Proceedings of the QEST 2010, 2010
Brief announcement: a shared disk on distributed storage.
Proceedings of the 29th Annual ACM Symposium on Principles of Distributed Computing, 2010
Brief announcement: asynchronous bounded expected delay networks.
Proceedings of the 29th Annual ACM Symposium on Principles of Distributed Computing, 2010
Embedded Network Protocols for Mobile Devices.
Proceedings of the Formal Methods for Industrial Critical Systems, 2010
Towards Performance Evaluation of Mobile Ad Hoc Network Protocols.
Proceedings of the 10th International Conference on Application of Concurrency to System Design, 2010
Partial Order Reduction for Branching Security Protocols.
Proceedings of the 10th International Conference on Application of Concurrency to System Design, 2010
2009
A finite equational base for CCS with left merge and communication merge.
ACM Trans. Comput. Log., 2009
J. Log. Algebraic Methods Program., 2009
Modal Logic and the Approximation Induction Principle
Proceedings of the Proceedings 16th International Workshop on Expressiveness in Concurrency, 2009
An analytical model of information dissemination for a gossip-based protocol.
Comput. Networks, 2009
Executing multicellular differentiation: quantitative predictive modelling of C.elegans vulval development.
Bioinform., 2009
Executing multicellular differentiation: quantitative predictive modelling of <i>C.elegans</i> vulval development.
Bioinform., 2009
On Finite Bases for Weak Semantics: Failures Versus Impossible Futures.
Proceedings of the SOFSEM 2009: Theory and Practice of Computer Science, 2009
Mean-Field Analysis for the Evaluation of Gossip Protocols.
Proceedings of the QEST 2009, 2009
FTRepMI: Fault-Tolerant, Sequentially-Consistent Object Replication for Grid Applications.
Proceedings of the Distributed Computing and Networking, 10th International Conference, 2009
Equational Reasoning on Ad Hoc Networks.
Proceedings of the Fundamentals of Software Engineering, 2009
Automated Translation and Analysis of a ToolBus Script for Auctions.
Proceedings of the Fundamentals of Software Engineering, 2009
What Can Formal Methods Bring to Systems Biology?
Proceedings of the FM 2009: Formal Methods, 2009
Process Algebra: An Algebraic Theory of Concurrency.
Proceedings of the Algebraic Informatics, Third International Conference, 2009
2008
MeanField analysis for the evaluation of gossip protocols.
SIGMETRICS Perform. Evaluation Rev., 2008
On the axiomatisability of priority.
Math. Struct. Comput. Sci., 2008
Ready to preorder: The case of weak process semantics.
Inf. Process. Lett., 2008
On finite alphabets and infinite bases.
Inf. Comput., 2008
Is Timed Branching Bisimilarity a Congruence Indeed?
Fundam. Informaticae, 2008
A Cancellation Theorem for BCCSP.
Fundam. Informaticae, 2008
Applying Concurrency Research in Industry Report on a Strategic Workshop.
Bull. EATCS, 2008
Mechanical Verification of a Two-Way Sliding Window Protocol.
Proceedings of the thirty-first Communicating Process Architectures Conference, 2008
Restricted Broadcast Process Theory.
Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008
On the Axiomatizability of Impossible Futures: Preorder versus Equivalence.
Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, 2008
Leader Election in Anonymous Rings: Franklin Goes Probabilistic.
Proceedings of the Fifth IFIP International Conference On Theoretical Computer Science, 2008
Design Issues for Qualitative Modelling of Biological Cells with Petri Nets.
Proceedings of the Formal Methods in Systems Biology, First International Workshop, 2008
Towards Formal Verification of ToolBusScripts.
Proceedings of the Algebraic Methodology and Software Technology, 2008
2007
Modelling Distributed Systems
Texts in Theoretical Computer Science. An EATCS Series, Springer, ISBN: 978-3-540-73938-8, 2007
Formal analysis techniques for gossiping protocols.
ACM SIGOPS Oper. Syst. Rev., 2007
Model checking a cache coherence protocol of a Java DSM implementation.
J. Log. Algebraic Methods Program., 2007
J. Log. Algebraic Methods Program., 2007
Adapting the UPPAAL Model of a Distributed Lift System.
Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007
Ready to Preorder: Get Your BCCSP Axiomatization for Free!
Proceedings of the Algebra and Coalgebra in Computer Science, 2007
2006
Compositionality of Hennessy-Milner logic by structural operational semantics.
Theor. Comput. Sci., 2006
Bisimilarity is not finitely based over BPA with interrupt.
Theor. Comput. Sci., 2006
Variations on Itai-Rodeh Leader Election for Anonymous Rings and their Analysis in PRISM.
J. Univers. Comput. Sci., 2006
Cones and foci: A mechanical framework for protocol verification.
Formal Methods Syst. Des., 2006
On the Axiomatizability of Priority.
Proceedings of the Automata, Languages and Programming, 33rd International Colloquium, 2006
On Finite Alphabets and Infinite Bases II: Completed and Ready Simulation.
Proceedings of the Foundations of Software Science and Computation Structures, 2006
On Finite Alphabets and Infinite Bases III: Simulation.
Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006
2005
CCS with Hennessy's merge has no finite-equational axiomatization.
Theor. Comput. Sci., 2005
Guest editors' foreword: Process Algebra.
Theor. Comput. Sci., 2005
A Note on K-State Self-stabilization in a Ring with K=N.
Nord. J. Comput., 2005
Split-2 bisimilarity has a finite axiomatization over CCS with Hennessy's merge.
Log. Methods Comput. Sci., 2005
Analyzing a <i>chi</i> model of a turntable system using Spin, CADP and Uppaal.
J. Log. Algebraic Methods Program., 2005
Verification of a sliding window protocol in µCRL and PVS.
Formal Aspects Comput., 2005
Divide and Congruence Applied to <i>eta</i>-Bisimulation.
Proceedings of the Second Workshop on Structural Operational Semantics, 2005
The Quest for Equational Axiomatizations of Parallel Composition: Status and Open Problems.
Proceedings of the Workshop "Essays on Algebraic Process Calculi", 2005
From chi-t to µCRL: Combining Performance and Functional Analysis.
Proceedings of the 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 2005
A Finite Basis for Failure Semantics.
Proceedings of the Automata, Languages and Programming, 32nd International Colloquium, 2005
Is Timed Branching Bisimilarity an Equivalence Indeed?.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2005
Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation.
Proceedings of the Formal Methods for Components and Objects, 4th International Symposium, 2005
Finite Equational Bases in Process Algebra: Results and Open Questions.
Proceedings of the Processes, 2005
2004
Precongruence formats for decorated trace semantics.
ACM Trans. Comput. Log., 2004
Guesteditors'introduction: Special issue on Structural Operational Semantics.
J. Log. Algebraic Methods Program., 2004
Nested semantics over finite trees are equationally hard.
Inf. Comput., 2004
Formal Verification of Timed Systems Using Cones and Foci.
Proceedings of the 6th AMAST Workshop on Real-Time Systems, 2004
Simplifying Itai-Rodeh Leader Election for Anonymous Rings.
Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, 2004
Proceedings of the Workshop on Structural Operational Semantics, 2004
Process Algebra Needs Proof Methodology (Columns: Concurrency).
Bull. EATCS, 2004
On Finite Alphabets and Infinite Bases: From Ready Pairs to Possible Worlds.
Proceedings of the Foundations of Software Science and Computation Structures, 2004
Verifying a Sliding Window Protocol in µCRL.
Proceedings of the Algebraic Methodology and Software Technology, 2004
2003
A note on an expressiveness hierarchy for multi-exit iteration.
Inf. Process. Lett., 2003
Proceedings of the Eighth International Workshop on Formal Methods for Industrial Critical Systems, 2003
Structural operational semantics and bounded nondeterminism.
Acta Informatica, 2003
Analyzing the Redesign of a Distributed Lift System in UPPAAL.
Proceedings of the Formal Methods and Software Engineering, 2003
On the Axiomatizability of Ready Traces, Ready Simulation, and Failure Traces.
Proceedings of the Automata, Languages and Programming, 30th International Colloquium, 2003
Cones and Foci for Protocol Verification Revisited.
Proceedings of the Foundations of Software Science and Computational Structures, 2003
Compositionality of Hennessy-Milner Logic through Structural Operational Semantics.
Proceedings of the Fundamentals of Computation Theory, 14th International Symposium, 2003
2002
Refinement and Verification Applied to an In-Flight Data Acquisition Unit.
Proceedings of the CONCUR 2002, 2002
2001
Preface: Process Algebra.
Inf. Process. Lett., 2001
2-Nested Simulation Is Not Finitely Equationally Axiomatizable.
Proceedings of the STACS 2001, 2001
µCRL: A Toolset for Analysing Algebraic Specifications.
Proceedings of the Computer Aided Verification, 13th International Conference, 2001
Conservative Extension in Structural Operational Semantics.
Proceedings of the Current Trends in Theoretical Computer Science, 2001
Process Algebra with Recursive Operations.
Proceedings of the Handbook of Process Algebra, 2001
Structural Operational Semantics.
Proceedings of the Handbook of Process Algebra, 2001
2000
Lazy rewriting on eager machinery.
ACM Trans. Program. Lang. Syst., 2000
Language preorder as a precongruence.
Theor. Comput. Sci., 2000
Rooted Branching Bisimulation as a Congruence.
J. Comput. Syst. Sci., 2000
Precongruence Formats for Decorated Trace Preorders.
Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science, 2000
An <i>omega</i>-Complete Equational Specification of Interleaving.
Proceedings of the Automata, Languages and Programming, 27th International Colloquium, 2000
LARIS 1.0 - LAnguage for Railway Interlooking Specifications.
CWI, ISBN: 978-90-6196-489-6, 2000
Introduction to Process Algebra.
Texts in Theoretical Computer Science. An EATCS Series, Springer, ISBN: 978-3-662-04293-9, 2000
1999
Conservative Extension in Structural Operational Semantics.
Bull. EATCS, 1999
Conservative Extension in Positive/Negative Conditional Term Rewriting with Applications to Software Renovation Factories.
Proceedings of the Fundamental Approaches to Software Engineering, 1999
1998
Within ARM's Reach: Compilation of Left-Linear Rewrite Systems via Minimal Rewrite Systems.
ACM Trans. Program. Lang. Syst., 1998
On a Question of A. Salomaa: The Equational Theory of Regular Expressions Over a Singleton Alphabet is not Finitely Based.
Theor. Comput. Sci., 1998
A Menagerie of NonFfinitely Based Process Semantics over BPA* - From Ready Simulation to Completed Traces.
Math. Struct. Comput. Sci., 1998
A Conservative Look at Operational Semantics with Variable Binding.
Inf. Comput., 1998
EURIS, a Specification Method for Distributed Interlockings.
Proceedings of the Computer Safety, 1998
A Cook's Tour of Equational Axiomatizations for Prefix Iteration.
Proceedings of the Foundations of Software Science and Computation Structure, 1998
1997
Termination Modulo Equations by Abstract Commutation with an Application to Iteration.
Theor. Comput. Sci., 1997
Unification for Infinite Sets of Equations Between Finite Terms.
Inf. Process. Lett., 1997
An Equational Axiomatization for Multi-Exit Iteration.
Inf. Comput., 1997
An Axiomatization for Regular Processes in Times Branching Bisimulation.
Fundam. Informaticae, 1997
Simulation as a Correct Transformation of Rewrite Systems.
Proceedings of the Mathematical Foundations of Computer Science 1997, 1997
Axiomatizations for the Perpetual Loop in Process Algebra.
Proceedings of the Automata, Languages and Programming, 24th International Colloquium, 1997
1996
Int. J. Comput. Math., 1996
Ntyft/Ntyxt Rules Reduce to Ntree Rules.
Inf. Comput., 1996
Axiomatizing Prefix Iteration with Silent Steps.
Inf. Comput., 1996
A Complete Axiomatization for Prefix Iteration in Branching Bisimulation.
Fundam. Informaticae, 1996
On the Completeness of the Euations for the Kleene Star in Bisimulation.
Proceedings of the Algebraic Methodology and Software Technology, 1996
1995
An Effective Axiomatization for Real Time ACP.
Inf. Comput., 1995
1994
A Complete Equational Axiomatization for Prefix Iteration.
Inf. Process. Lett., 1994
Basic Process Algebra with Iteration: Completeness of its Equational Axioms.
Comput. J., 1994
The Tyft/Tyxt Format Reduces to Tree Rules.
Proceedings of the Theoretical Aspects of Computer Software, 1994
1993
An Elimination Theorem for Regular Behaviours with Integration.
Proceedings of the CONCUR '93, 1993