Travelled to:1 × Italy
1 × Korea
1 × USA
Collaborated with:M.Fabian R.Malik Anton Zita
Talks about:composit (3) synthesi (2) verif (2) nondetermin (1) supervisor (1) nonblock (1) automata (1) transit (1) partial (1) discret (1)
Person: Sahar Mohajerani
DBLP: Mohajerani:Sahar
Contributed to:
2013201220112017Wrote 4 papers:
- 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-2017-ZitaMF #verification
- Application of formal verification to the lane change module of an autonomous vehicle (AZ, SM, MF), pp. 932–937.