Robi Malik

Cited by

	All	Since 2019
Citations	1911	654
h-index	21	14
i10-index	46	17

160

120

200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320245 9 29 10 42 46 65 66 80 72 152 120 119 98 116 86 136 128 146 142 90 114 34

Public access

View all

8 articles

1 article

available

not available

Based on funding mandates

Co-authors

Martin FabianChalmers University of TechnologyVerified email at chalmers.se
Sahar MohajeraniChalmers University of TechnologyVerified email at chalmers.se
Hugo FlordalProver TechnologyVerified email at flordal.net
Knut ÅkessonChalmers University of TechnologyVerified email at chalmers.se
Marcelo TeixeiraUniversidade Tecnológica Federal do ParanáVerified email at utfpr.edu.br
Bertil BrandinAdvanced Remanufacturing and Technology Centre (ARTC), Singapore’s Agency for Science, TechnologyVerified email at artc.a-star.edu.sg
Ryan LeducMcMaster UniversityVerified email at mcmaster.ca
Jose E. R. CuryUniversidade Federal de Santa CatarinaVerified email at ufsc.br
Patrícia Nascimento PenaDepartment of Electronics Engineering, Universidade Federal de Minas GeraisVerified email at ufmg.br
Steve ReevesUniversity of WaikatoVerified email at waikato.ac.nz
Ratnesh KumarIowa State UniversityVerified email at iastate.edu
Annika HinzeProfessor, University of WaikatoVerified email at waikato.ac.nz
Stéphane LafortuneProfessor of Electrical Engineering and Computer Science, University of Michigan, USAVerified email at umich.edu
Panos PatrosVP Engineering, RaygunVerified email at raygun.com
Max Hering de QueirozProfessor, Departamento de Automação e Sistemas, Universidade Federal de Santa CatarinaVerified email at ufsc.br
Vimal KumarSenior Lecturer, University of WaikatoVerified email at waikato.ac.nz
Laurie RickerProfessor of Computer Science, Mount Allison UniversityVerified email at mta.ca
Jonas KrookZenseactVerified email at zenseact.com
Mark UttingThe University of QueenslandVerified email at uq.edu.au
Simon WareLead Data Scientist, Grab Holdings Inc

Robi Malik

Department of Software Engineering, The University of Waikato

Verified email at waikato.ac.nz

Discrete event systems Model checking


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Supremica-an integrated environment for verification, synthesis and simulation of discrete event systems K Akesson, M Fabian, H Flordal, R Malik 2006 8th International workshop on discrete event systems, 384-385, 2006	275	2006
Compositional synthesis of maximally permissive supervisors using supervision equivalence H Flordal, R Malik, M Fabian, K Åkesson Discrete Event Dynamic Systems 17 (4), 475-504, 2007	104	2007
Nonblocking and Safe Control of Discrete-Event Systems Modeled as Extended Finite Automata L Ouedraogo, R Kumar, R Malik, K Akesson Automation Science and Engineering, IEEE Transactions on 8 (3), 560-569, 2011	101	2011
Implementation considerations in supervisory control P Dietrich, R Malik, WM Wonham, BA Brandin Synthesis and control of discrete event systems, 185-201, 2002	90	2002
Compositional verification in supervisory control H Flordal, R Malik SIAM Journal on Control and Optimization 48 (3), 1914-1938, 2009	84	2009
Supremica–An Efficient Tool for Large-Scale Discrete Event Systems R Malik, K Åkesson, H Flordal, M Fabian IFAC World Congress 2017, 2017	78	2017
Incremental verification and synthesis of discrete-event systems guided by counter-examples BA Brandin, R Malik, P Malik IEEE Transactions on Control Systems Technology 12 (3), 387-401, 2004	78	2004
A Framework for Compositional Synthesis of Modular Nonblocking Supervisors S Mohajerani, R Malik, M Fabian IEEE Transactions on Automatic Control 59 (1), 150-162, 2014	69	2014
Modular nonblocking verification using conflict equivalence H Flordal, R Malik 2006 8th International workshop on discrete event systems, 100-106, 2006	61	2006
A modular architecture for diagnosis of discrete event systems R Debouk, R Malik, B Brandin Proceedings of the 41st IEEE Conference on Decision and Control, 2002. 1 …, 2002	61	2002
Conflicts and fair testing R Malik, D Streader, S Reeves International Journal of Foundations of Computer Science 17 (4), 797-813, 2006	50	2006
A framework for compositional nonblocking verification of extended finite-state machines S Mohajerani, R Malik, M Fabian Discrete Event Dynamic Systems 26, 33-84, 2016	43	2016
Yet another approach to compositional synthesis of discrete event systems R Malik, H Flordal 2008 9th International workshop on discrete event systems, 16-21, 2008	42	2008
Compositional synthesis of supervisors in the form of state machines and state maps S Mohajerani, R Malik, M Fabian Automatica 76, 277-281, 2017	35	2017
A Case Study in Verification of UML Statecharts: the PROFIsafe Protocol. R Malik, R Mühlfeld J. Univers. Comput. Sci. 9 (2), 138-151, 2003	35	2003
Modelling Large-Scale Discrete-Event Systems Using Modules, Aliases, and Extended Finite-State Automata R Malik, M Fabian, K Akesson IFAC World Congress 2011 18 (1), 7000-7005, 2011	34	2011
Supervisory Control of DES with Extended Finite-State Machines and Variable Abstraction M Teixeira, R Malik, JER Cury, MH de Queiroz IEEE Transactions on Automatic Control 60 (1), 118-129, 2015	33	2015
Interaction design for a mobile context-aware system using discrete event modelling A Hinze, P Malik, R Malik Proceedings of the 29th Australasian Computer Science Conference-Volume 48 …, 2006	31	2006
Incremental system verification and synthesis of minimally restrictive behaviours B Brandin, R Malik, P Dietrich American Control Conference, 2000. Proceedings of the 2000 6, 4056-4061 vol. 6, 2000	31	2000
Fair testing revisited: A process-algebraic characterisation of conflicts R Malik, D Streader, S Reeves Automated Technology for Verification and Analysis: Second International …, 2004	28	2004

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors