![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Robi Malik
Person information
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j25]Jonas Krook
, Robi Malik, Sahar Mohajerani, Martin Fabian:
Robust stutter bisimulation for abstraction and controller synthesis with disturbance. Autom. 160: 111394 (2024) - [j24]Christopher Jun-Wen Chew, Vimal Kumar, Panos Patros
, Robi Malik:
Real-time system call-based ransomware detection. Int. J. Inf. Sec. 23(3): 1839-1858 (2024) - [d1]Christopher Jun-Wen Chew, Vimal Kumar, Panos Patros, Robi Malik:
Android Crypto Ransomware System Call Dataset. IEEE DataPort, 2024 - 2023
- [j23]Robi Malik, Sahar Mohajerani, Martin Fabian:
A survey on compositional algorithms for verification and synthesis in supervisory control. Discret. Event Dyn. Syst. 33(3): 279-340 (2023) - 2022
- [i1]Jonas Krook
, Robi Malik, Sahar Mohajerani, Martin Fabian:
Robust Stutter Bisimulation for Abstraction and Controller Synthesis with Disturbance: Proofs. CoRR abs/2205.13959 (2022) - 2021
- [j22]Sahar Mohajerani, Robi Malik, Andrew Wintenberg, Stéphane Lafortune
, Necmiye Ozay
:
Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications. Autom. 130: 109723 (2021) - [j21]Robi Malik, Marcelo Teixeira
:
Optimal Modular Control of Discrete Event Systems with Distinguishers and Approximations. Discret. Event Dyn. Syst. 31(4): 659-691 (2021) - [j20]Min-Hsien Weng
, Robi Malik, Mark Utting
:
Automatic proofs of memory deallocation for a Whiley-to-C Compiler. Formal Methods Syst. Des. 57(3): 429-472 (2021) - [c32]Stephen Burroughs, Helge Dickel, Martin van Zijl, Vladimir Podolskiy, Michael Gerndt, Robi Malik, Panos Patros:
Towards Autoscaling with Guarantees on Kubernetes Clusters. ACSOS-C 2021: 295-296 - 2020
- [j19]Robi Malik, Marcelo Teixeira
:
Synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction. Discret. Event Dyn. Syst. 30(2): 211-241 (2020) - [j18]Robi Malik, Simon Ware:
On the computation of counterexamples in compositional nonblocking verification. Discret. Event Dyn. Syst. 30(2): 301-334 (2020) - [c31]Christopher Jun-Wen Chew
, Vimal Kumar
, Panos Patros
, Robi Malik:
ESCAPADE: Encryption-Type-Ransomware: System Call Based Pattern Detection. NSS 2020: 388-407
2010 – 2019
- 2017
- [j17]Sahar Mohajerani, Robi Malik, Martin Fabian
:
Compositional synthesis of supervisors in the form of state machines and state maps. Autom. 76: 277-281 (2017) - 2016
- [j16]Sahar Mohajerani, Robi Malik, Martin Fabian
:
A framework for compositional nonblocking verification of extended finite-state machines. Discret. Event Dyn. Syst. 26(1): 33-84 (2016) - [c30]Robi Malik, Marcelo Teixeira
:
Modular supervisor synthesis for extended finite-state machines subject to controllability. WODES 2016: 91-96 - [c29]Robi Malik:
Programming a fast explicit conflict checker. WODES 2016: 438-443 - 2015
- [j15]Robi Malik, Ryan J. Leduc:
Hierarchical modelling of manufacturing systems using discrete event systems and the conflict preorder. Discret. Event Dyn. Syst. 25(1-2): 177-201 (2015) - [j14]Colin Pilbrow
, Robi Malik:
An algorithm for compositional nonblocking verification using special events. Sci. Comput. Program. 113: 119-148 (2015) - [j13]Marcelo Teixeira
, Robi Malik, José Eduardo Ribeiro Cury, Max Hering de Queiroz
:
Supervisory Control of DES With Extended Finite-State Machines and Variable Abstraction. IEEE Trans. Autom. Control. 60(1): 118-129 (2015) - [c28]Robi Malik:
Advanced selfloop removal in compositional nonblocking verification of discrete event systems. CASE 2015: 819-824 - 2014
- [j12]Simon Ware, Robi Malik:
An algorithm to test the conflict preorder. Sci. Comput. Program. 89: 23-40 (2014) - [j11]Sahar Mohajerani, Robi Malik, Martin Fabian
:
A Framework for Compositional Synthesis of Modular Nonblocking Supervisors. IEEE Trans. Autom. Control. 59(1): 150-162 (2014) - [j10]Patrícia N. Pena, Hugo J. Bravo, Antonio Eduardo Carrilho da Cunha, Robi Malik, Stéphane Lafortune
, José E. R. Cury:
Verification of the Observer Property in Discrete Event Systems. IEEE Trans. Autom. Control. 59(8): 2176-2181 (2014) - [c27]Huailiang Liu, Ryan J. Leduc, Robi Malik, S. Laurie Ricker:
Incremental verification of Co-observability in discrete-event systems. ACC 2014: 5446-5452 - [c26]Simon Ware, Robi Malik:
Supervisory Control With Progressive Events. ICCA 2014: 1466-1471 - [c25]Hugo J. Bravo, Patrícia Nascimento Pena, Antonio Eduardo Carrilho da Cunha, Robi Malik, José E. R. Cury:
Generalised Search for the Observer Property in Discrete Event Systems. WODES 2014: 350-355 - [c24]Sahar Mohajerani, Robi Malik, Martin Fabian
:
An Algorithm for Compositional Nonblocking Verification of Extended Finite-State Machines. WODES 2014: 376-382 - 2013
- [j9]Simon Ware, Robi Malik:
Compositional Verification of the generalized Nonblocking Property using Abstraction and Canonical Automata. Int. J. Found. Comput. Sci. 24(8): 1183-1208 (2013) - [j8]Robi Malik, Ryan J. Leduc:
Compositional Nonblocking Verification Using Generalized Nonblocking Abstractions. IEEE Trans. Autom. Control. 58(8): 1891-1903 (2013) - [c23]Marcelo Teixeira, Robi Malik, José Eduardo Ribeiro Cury, Max Hering de Queiroz
:
Variable abstraction and approximations in supervisory control synthesis. ACC 2013: 132-137 - [c22]Sahar Mohajerani, Robi Malik, Martin Fabian:
Compositional nonblocking verification for extended finite-state automata using partial unfolding. CASE 2013: 930-935 - [c21]Colin Pilbrow
, Robi Malik:
Compositional Nonblocking Verification with Always Enabled Events and Selfloop-Only Events. FTSCS 2013: 160-177 - [c20]Simon Ware, Robi Malik, Sahar Mohajerani, Martin Fabian
:
Certainly Unsupervisable States. FTSCS 2013: 280-296 - 2012
- [j7]Simon Ware, Robi Malik:
Conflict-preserving abstraction of discrete event systems using annotated automata. Discret. Event Dyn. Syst. 22(4): 451-477 (2012) - [c19]Sahar Mohajerani, Robi Malik, Martin Fabian:
Transition removal for compositional supervisor synthesis. CASE 2012: 694-699 - [c18]Robi Malik, Ryan J. Leduc:
Hierarchical interface-based supervisory control using the conflict preorder. WODES 2012: 163-168 - [c17]Sahar Mohajerani, Robi Malik, Martin Fabian:
An algorithm for weak synthesis observation equivalence for compositional supervisor synthesis. WODES 2012: 239-244 - [c16]Hugo J. Bravo, Antonio Eduardo Carrilho da Cunha, Patrícia Nascimento Pena, Robi Malik, José E. R. Cury:
Generalised verification of the observer property in discrete event systems. WODES 2012: 337-342 - 2011
- [j6]Lucien Ouedraogo, Ratnesh Kumar, Robi Malik, Knut Åkesson:
Nonblocking and Safe Control of Discrete-Event Systems Modeled as Extended Finite Automata. IEEE Trans Autom. Sci. Eng. 8(3): 560-569 (2011) - [c15]Sahar Mohajerani, Robi Malik, Martin Fabian:
Nondeterminism avoidance in compositional synthesis of discrete event systems. CASE 2011: 19-24 - [c14]Simon Ware, Robi Malik:
A Process-Algebraic Semantics for Generalised Nonblocking. CATS 2011: 75-84 - [c13]Simon Ware, Robi Malik:
A State-Based Characterisation of the Conflict Preorder. FOCLASA 2011: 34-48 - 2010
- [c12]Lucien Ouedraogo, Ratnesh Kumar, Robi Malik, Knut Åkesson:
Symbolic approach to nonblocking and safe control of Extended Finite Automata. CASE 2010: 471-476 - [c11]Annika Hinze
, Judy Bowen
, Yuting Wang, Robi Malik:
Model-driven GUI & interaction design using emulation. EICS 2010: 273-278 - [c10]Ryan J. Leduc, Robi Malik:
A compositional approach for verifying hierarchical interface-based supervisory control. WODES 2010: 104-110 - [c9]Simon Ware, Robi Malik:
Compositional nonblocking verification using annotated automata. WODES 2010: 364-369 - [c8]Patrícia N. Pena, José E. R. Cury, Robi Malik, Stéphane Lafortune
:
Efficient computation of observer projections using OP-verifiers. WODES 2010: 406-411
2000 – 2009
- 2009
- [j5]Hugo Flordal, Robi Malik:
Compositional Verification in Supervisory Control. SIAM J. Control. Optim. 48(3): 1914-1938 (2009) - 2007
- [j4]Hugo Flordal, Robi Malik, Martin Fabian, Knut Åkesson:
Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence. Discret. Event Dyn. Syst. 17(4): 475-504 (2007) - [c7]Petra Malik, Robi Malik, David Streader, Steve Reeves
:
Modular Synthesis of Discrete Controllers. ICECCS 2007: 25-34 - 2006
- [j3]Robi Malik, David Streader, Steve Reeves
:
Conflicts and Fair Testing. Int. J. Found. Comput. Sci. 17(4): 797-814 (2006) - [c6]Annika Hinze, Petra Malik, Robi Malik:
Interaction design for a mobile context-aware system using discrete event modelling. ACSC 2006: 257-266 - 2005
- [c5]Robi Malik, Partha S. Roop:
Adaptive Techniques for Specification Matching in Embedded Systems: A Comparative Study. IFM 2005: 33-52 - 2004
- [j2]Bertil A. Brandin, Robi Malik, Petra Malik:
Incremental verification and synthesis of discrete-event systems guided by counter examples. IEEE Trans. Control. Syst. Technol. 12(3): 387-401 (2004) - [c4]Robi Malik, David Streader, Steve Reeves
:
Fair Testing Revisited: A Process-Algebraic Characterisation of Conflicts. ATVA 2004: 120-134 - 2003
- [j1]Robi Malik, Reinhard Mühlfeld:
A Case Study in Verification of UML Statecharts: the PROFIsafe Protocol. J. Univers. Comput. Sci. 9(2): 138-151 (2003) - 2002
- [c3]Rami Debouk, Robi Malik, Bertil A. Brandin:
A modular architecture for diagnosis of discrete event systems. CDC 2002: 417-422 - 2000
- [c2]Bertil A. Brandin, Robi Malik, Petra Dietrich:
Incremental system verification and synthesis of minimally restrictive behaviours. ACC 2000: 4056-4061
1990 – 1999
- 1998
- [b1]Robi Malik:
Automatische Synthese diskreter Steuerungen aus logischen Spezifikationen. Kaiserslautern University of Technology, Germany, Shaker 1998, ISBN 978-3-8265-3383-9, pp. 1-220 - [c1]Robi Malik:
Automated Deduction of Finite-State Control Programs for Reactive Systems. CADE 1998: 302-316
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-08 19:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint