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: Malik:Robi
Contributed to:
20152013201220112010
2005
1998Wrote 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, KÅ), 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.