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 × 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 DBLP: Mohajerani:Sahar

Contributed to:

CASE 20132013
CASE 20122012
CASE 20112011
CASE 20172017

Wrote 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.

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.