Robi Malik

	2011
14		Sahar Mohajerani, Robi Malik, Martin Fabian: Nondeterminism avoidance in compositional synthesis of discrete event systems. CASE 2011: 19-24
13		Simon Ware, Robi Malik: A State-Based Characterisation of the Conflict Preorder FOCLASA 2011: 34-48
12		Lucien Ouedraogo, Ratnesh Kumar, Robi Malik, Knut Åkesson: Nonblocking and Safe Control of Discrete-Event Systems Modeled as Extended Finite Automata. IEEE T. Automation Science and Engineering 8(3): 560-569 (2011)
	2010
11		Lucien Ouedraogo, Ratnesh Kumar, Robi Malik, Knut Åkesson: Symbolic approach to nonblocking and safe control of Extended Finite Automata. CASE 2010: 471-476
10		Annika Hinze, Judy Bowen, Yuting Wang, Robi Malik: Model-driven GUI & interaction design using emulation. EICS 2010: 273-278
	2009
9		Hugo Flordal, Robi Malik: Compositional Verification in Supervisory Control. SIAM J. Control and Optimization 48(3): 1914-1938 (2009)
	2007
8		Petra Malik, Robi Malik, David Streader, Steve Reeves: Modular Synthesis of Discrete Controllers. ICECCS 2007: 25-34
7		Hugo Flordal, Robi Malik, Martin Fabian, Knut Åkesson: Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence. Discrete Event Dynamic Systems 17(4): 475-504 (2007)
	2006
6		Annika Hinze, Petra Malik, Robi Malik: Interaction design for a mobile context-aware system using discrete event modelling. ACSC 2006: 257-266
5		Robi Malik, David Streader, Steve Reeves: Conflicts and Fair Testing. Int. J. Found. Comput. Sci. 17(4): 797-814 (2006)
	2005
4		Robi Malik, Partha S. Roop: Adaptive Techniques for Specification Matching in Embedded Systems: A Comparative Study. IFM 2005: 33-52
	2004
3		Robi Malik, David Streader, Steve Reeves: Fair Testing Revisited: A Process-Algebraic Characterisation of Conflicts. ATVA 2004: 120-134
	2003
2		Robi Malik, Reinhard Mühlfeld: A Case Study in Verification of UML Statecharts: the PROFIsafe Protocol. J. UCS 9(2): 138-151 (2003)
	1998
1		Robi Malik: Automated Deduction of Finite-State Control Programs for Reactive Systems. CADE 1998: 302-316

Coauthor Index

1	Knut Åkesson	[7] [11] [12]
2	Judy Bowen	[10]
3	Martin Fabian	[7] [14]
4	Hugo Flordal	[7] [9]
5	Annika Hinze	[6] [10]
6	Ratnesh Kumar	[11] [12]
7	Petra Malik	[6] [8]
8	Sahar Mohajerani	[14]
9	Reinhard Mühlfeld	[2]
10	Lucien Ouedraogo	[11] [12]
11	Steve Reeves	[3] [5] [8]
12	Partha S. Roop	[4]
13	David Streader	[3] [5] [8]
14	Yuting Wang	[10]
15	Simon Ware	[13]

Colors in the list of coauthors

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page