Robi Malik

Cited by

	All	Since 2018
Citations	1851	739
h-index	21	14
i10-index	43	19

160

120

20022003200420052006200720082009201020112012201320142015201620172018201920202021202220235 9 29 10 42 46 67 67 78 74 151 118 122 100 103 86 127 132 144 150 89 95

Public access

View all

7 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
Max Hering de QueirozProfessor, Departamento de Automação e Sistemas, Universidade Federal de Santa CatarinaVerified email at 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
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	270	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	102	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	95	2011
Implementation considerations in supervisory control P Dietrich, R Malik, WM Wonham, BA Brandin Synthesis and control of discrete event systems, 185-201, 2002	88	2002
Compositional verification in supervisory control H Flordal, R Malik SIAM Journal on Control and Optimization 48 (3), 1914-1938, 2009	81	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	76	2004
Supremica–An Efficient Tool for Large-Scale Discrete Event Systems R Malik, K Åkesson, H Flordal, M Fabian IFAC World Congress 2017, 2017	73	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	65	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	61	2002
Modular nonblocking verification using conflict equivalence H Flordal, R Malik 2006 8th International Workshop on Discrete Event Systems, 100-106, 2006	59	2006
Conflicts and fair testing R Malik, D Streader, S Reeves International Journal of Foundations of Computer Science 17 (4), 797-813, 2006	50	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	37	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	35	2003
Compositional synthesis of supervisors in the form of state machines and state maps S Mohajerani, R Malik, M Fabian Automatica 76, 277-281, 2017	34	2017
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	34	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	33	2006
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
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
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