Robi Malik

Cited by

	All	Since 2018
Citations	1756	644
h-index	21	14
i10-index	41	17

160

120

20022003200420052006200720082009201020112012201320142015201620172018201920202021202220235 9 26 10 42 45 68 65 78 76 151 109 132 101 103 86 127 131 133 147 94 12

Public access

View all

6 articles

0 articles

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
Max Hering de QueirozProfessor, Departamento de Automação e Sistemas, Universidade Federal de Santa CatarinaVerified email at das.ufsc.br
Panos PatrosRaygun Performance MonitoringVerified email at raygun.com
Vimal KumarSenior Lecturer, University of WaikatoVerified email at waikato.ac.nz
Laurie RickerProfessor of Computer Science, Mount Allison UniversityVerified email at mta.ca
Mark UttingThe University of QueenslandVerified email at uq.edu.au
Jonas KrookChalmers University of TechnologyVerified email at chalmers.se
Min-Hsien WengWaikato UniversityVerified email at waikato.ac.nz

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	261	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	98	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	85	2011
Implementation considerations in supervisory control P Dietrich, R Malik, WM Wonham, BA Brandin Synthesis and control of discrete event systems, 185-201, 2002	85	2002
Compositional verification in supervisory control H Flordal, R Malik SIAM Journal on Control and Optimization 48 (3), 1914-1938, 2009	78	2009
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	75	2004
Supremica–An Efficient Tool for Large-Scale Discrete Event Systems R Malik, K Åkesson, H Flordal, M Fabian IFAC World Congress 2017, 2017	70	2017
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	62	2014
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	60	2002
Modular nonblocking verification using conflict equivalence H Flordal, R Malik 2006 8th International Workshop on Discrete Event Systems, 100-106, 2006	58	2006
Conflicts and fair testing R Malik, D Streader, S Reeves International Journal of Foundations of Computer Science 17 (4), 797-813, 2006	48	2006
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
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	36	2016
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	34	2003
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	32	2015
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	32	2011
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	32	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	32	2000
Compositional synthesis of supervisors in the form of state machines and state maps S Mohajerani, R Malik, M Fabian Automatica 76, 277-281, 2017	30	2017
Fair testing revisited: A process-algebraic characterisation of conflicts R Malik, D Streader, S Reeves Automated Technology for Verification and Analysis: Second International …, 2004	26	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