BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Germany
1 × Italy
1 × Korea
1 × Sweden
1 × The Netherlands
1 × USA
Collaborated with:
S.Mohajerani M.Fabian P.S.Roop L.Ouedraogo R.Kumar K.Åkesson
Talks about:
composit (4) system (4) nonblock (3) finit (3) synthesi (2) automata (2) discret (2) control (2) extend (2) verif (2)

Person: Robi Malik

DBLP DBLP: Malik:Robi

Contributed to:

CASE 20152015
CASE 20132013
CASE 20122012
CASE 20112011
CASE 20102010
IFM 20052005
CADE 19981998

Wrote 7 papers:

CASE-2015-Malik #composition #verification
Advanced selfloop removal in compositional nonblocking verification of discrete event systems (RM), pp. 819–824.
CASE-2013-MohajeraniMF #automaton #composition #finite #using #verification
Compositional nonblocking verification for extended finite-state automata using partial unfolding (SM, RM, MF), pp. 930–935.
CASE-2012-MohajeraniMF #composition #synthesis
Transition removal for compositional supervisor synthesis (SM, RM, MF), pp. 694–699.
CASE-2011-MohajeraniMF #composition #nondeterminism #synthesis
Nondeterminism avoidance in compositional synthesis of discrete event systems (SM, RM, MF), pp. 19–24.
CASE-2010-OuedraogoKMA #approach #automaton #finite
Symbolic approach to nonblocking and safe control of Extended Finite Automata (LO, RK, RM, ), pp. 471–476.
IFM-2005-MalikR #adaptation #case study #comparative #embedded #specification
Adaptive Techniques for Specification Matching in Embedded Systems: A Comparative Study (RM, PSR), pp. 33–52.
CADE-1998-Malik #automation #deduction #finite #source code
Automated Deduction of Finite-State Control Programs for Reactive Systems (RM), pp. 302–316.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.