Robi Malik

Discret. Event Dyn. Syst., September, 2023

2022

Robust Stutter Bisimulation for Abstraction and Controller Synthesis with Disturbance: Proofs.

[BibT_eX]

[DOI]

CoRR, 2022

2021

Automatic proofs of memory deallocation for a Whiley-to-C Compiler.

[BibT_eX]

[DOI]

Min-Hsien Weng

Mark Utting

Formal Methods Syst. Des., 2021

Optimal Modular Control of Discrete Event Systems with Distinguishers and Approximations.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2021

Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications.

[BibT_eX]

[DOI]

Autom., 2021

Towards Autoscaling with Guarantees on Kubernetes Clusters.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2021

2020

On the computation of counterexamples in compositional nonblocking verification.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2020

Synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2020

ESCAPADE: Encryption-Type-Ransomware: System Call Based Pattern Detection.

[BibT_eX]

[DOI]

Christopher Jun-Wen Chew

Vimal Kumar

Panos Patros

Proceedings of the Network and System Security - 14th International Conference, 2020

2017

Compositional synthesis of supervisors in the form of state machines and state maps.

[BibT_eX]

[DOI]

Autom., 2017

2016

A framework for compositional nonblocking verification of extended finite-state machines.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2016

Modular supervisor synthesis for extended finite-state machines subject to controllability.

[BibT_eX]

[DOI]

Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

Programming a fast explicit conflict checker.

[BibT_eX]

[DOI]

Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

2015

Supervisory Control of DES With Extended Finite-State Machines and Variable Abstraction.

[BibT_eX]

[DOI]

José Eduardo Ribeiro Cury

Max Hering de Queiroz

IEEE Trans. Autom. Control., 2015

An algorithm for compositional nonblocking verification using special events.

[BibT_eX]

[DOI]

Colin Pilbrow

Sci. Comput. Program., 2015

Hierarchical modelling of manufacturing systems using discrete event systems and the conflict preorder.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2015

Advanced selfloop removal in compositional nonblocking verification of discrete event systems.

[BibT_eX]

[DOI]

Antonio Eduardo Carrilho da Cunha

Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015

2014

Verification of the Observer Property in Discrete Event Systems.

[BibT_eX]

[DOI]

Patrícia N. Pena

Hugo J. Bravo

Stéphane Lafortune

José E. R. Cury

IEEE Trans. Autom. Control., 2014

A Framework for Compositional Synthesis of Modular Nonblocking Supervisors.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2014

An algorithm to test the conflict preorder.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2014

An Algorithm for Compositional Nonblocking Verification of Extended Finite-State Machines.

[BibT_eX]

[DOI]

Antonio Eduardo Carrilho da Cunha

Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

Generalised Search for the Observer Property in Discrete Event Systems.

[BibT_eX]

[DOI]

Hugo J. Bravo

Patrícia Nascimento Pena

José E. R. Cury

Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

Supervisory Control With Progressive Events.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Conference on Control & Automation, 2014

Incremental verification of Co-observability in discrete-event systems.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2014

2013

Compositional Nonblocking Verification Using Generalized Nonblocking Abstractions.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2013

Compositional Verification of the generalized Nonblocking Property using Abstraction and Canonical Automata.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 2013

Certainly Unsupervisable States.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Safety-Critical Systems, 2013

Compositional Nonblocking Verification with Always Enabled Events and Selfloop-Only Events.

[BibT_eX]

[DOI]

Colin Pilbrow

Proceedings of the Formal Techniques for Safety-Critical Systems, 2013

Compositional nonblocking verification for extended finite-state automata using partial unfolding.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE International Conference on Automation Science and Engineering, 2013

Variable abstraction and approximations in supervisory control synthesis.

[BibT_eX]

[DOI]

José Eduardo Ribeiro Cury

Max Hering de Queiroz

Proceedings of the American Control Conference, 2013

2012

Conflict-preserving abstraction of discrete event systems using annotated automata.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2012

An algorithm for weak synthesis observation equivalence for compositional supervisor synthesis.

[BibT_eX]

[DOI]

Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

Hierarchical interface-based supervisory control using the conflict preorder.

[BibT_eX]

[DOI]

Antonio Eduardo Carrilho da Cunha

Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

Generalised verification of the observer property in discrete event systems.

[BibT_eX]

[DOI]

Hugo J. Bravo

Patrícia Nascimento Pena

José E. R. Cury

Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

Transition removal for compositional supervisor synthesis.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE International Conference on Automation Science and Engineering, 2012

2011

Nonblocking and Safe Control of Discrete-Event Systems Modeled as Extended Finite Automata.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2011

A State-Based Characterisation of the Conflict Preorder

[BibT_eX]

[DOI]

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

A Process-Algebraic Semantics for Generalised Nonblocking.

[BibT_eX]

[DOI]

Proceedings of the Seventeenth Computing: The Australasian Theory Symposium, 2011

Nondeterminism avoidance in compositional synthesis of discrete event systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Automation Science and Engineering, 2011

2010

Compositional nonblocking verification using annotated automata.

[BibT_eX]

[DOI]

Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

Efficient computation of observer projections using OP-verifiers.

[BibT_eX]

[DOI]

Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

A compositional approach for verifying hierarchical interface-based supervisory control.

[BibT_eX]

[DOI]

Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

Model-driven GUI & interaction design using emulation.

[BibT_eX]

[DOI]

Proceedings of the 2nd ACM SIGCHI Symposium on Engineering Interactive Computing System, 2010

Symbolic approach to nonblocking and safe control of Extended Finite Automata.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Automation Science and Engineering, 2010

2009

Compositional Verification in Supervisory Control.

[BibT_eX]

[DOI]

Hugo Flordal

SIAM J. Control. Optim., 2009

2007

Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2007

Modular Synthesis of Discrete Controllers.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007

2006

Conflicts and Fair Testing.

[BibT_eX]

[DOI]

David Streader

Steve Reeves

Int. J. Found. Comput. Sci., 2006

Interaction design for a mobile context-aware system using discrete event modelling.

[BibT_eX]

[DOI]

Annika Hinze

Petra Malik

Proceedings of the Computer Science 2006, 2006

2005

Adaptive Techniques for Specification Matching in Embedded Systems: A Comparative Study.

[BibT_eX]

[DOI]

Partha S. Roop

Proceedings of the Integrated Formal Methods, 5th International Conference, 2005

2004

Incremental verification and synthesis of discrete-event systems guided by counter examples.

[BibT_eX]

[DOI]

Bertil A. Brandin

Petra Malik

IEEE Trans. Control. Syst. Technol., 2004

Fair Testing Revisited: A Process-Algebraic Characterisation of Conflicts.

[BibT_eX]

[DOI]

David Streader

Steve Reeves

Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004

2003

A Case Study in Verification of UML Statecharts: the PROFIsafe Protocol.

[BibT_eX]

[DOI]

Reinhard Mühlfeld

J. Univers. Comput. Sci., 2003

2002

A modular architecture for diagnosis of discrete event systems.

[BibT_eX]

[DOI]

Rami Debouk

Bertil A. Brandin

Proceedings of the 41st IEEE Conference on Decision and Control, 2002

2000

Incremental system verification and synthesis of minimally restrictive behaviours.

[BibT_eX]

[DOI]

Bertil A. Brandin

Petra Dietrich

Proceedings of the American Control Conference, 2000

1998

Automatische Synthese diskreter Steuerungen aus logischen Spezifikationen.

[BibT_eX]

[DOI]

PhD thesis, 1998

Automated Deduction of Finite-State Control Programs for Reactive Systems.

[BibT_eX]

[DOI]