An Alternative Algorithm for Constraint Automata Product. - Bahman Pourvatan; Nima Rouhy (FSEN, 2007)

Automated Analysis of Reo Circuits using Symbolic Execution. - Bahman Pourvatan; Marjan Sirjani; Hossein Hojjat; Farhad Arbab (FOCLASA, 2009)

Decomposition of Constraint Automata. - Bahman Pourvatan; Marjan Sirjani; Farhad Arbab; Marcello M. Bonsangue (FACS, 2010)

Symbolic execution of Reo circuits using constraint automata. - Bahman Pourvatan; Marjan Sirjani; Hossein Hojjat; Farhad Arbab (Sci. Comput. Program., 2012)

Reo Connectors and Components as Tagged Signal Models. - Marjan Sirjani; Fatemeh Ghassemi; Bahman Pourvatan (It's All About Coordination, 2018)

Formal Verification of Consistency for Systems with Redundant Controllers. - Bjarne Johansson; Bahman Pourvatan; Zahra Moezkarimi; Alessandro Papadopoulos; Marjan Sirjani (MARS@ETAPS, 2024)

CRYSTAL framework: Cybersecurity assurance for cyber-physical systems. - Fereidoun Moradi; Sara Abbaspour Asadollah; Bahman Pourvatan; Zahra Moezkarimi; Marjan Sirjani (J. Log. Algebraic Methods Program., 2024)

Tiny Twins for detecting cyber-attacks at runtime using concise Rebeca time transition system. - Fereidoun Moradi; Bahman Pourvatan; Sara Abbaspour Asadollah; Marjan Sirjani (J. Parallel Distributed Comput., 2024)