Bahman Pourvatan

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 4

Top Topics

Formal Verification

Countermeasures

Accurate Models

Top Venues

J. Log. Algebraic Methods Program.

It's All About Coordination

J. Parallel Distributed Comput.

Publications

Bjarne Johansson, Bahman Pourvatan, Zahra Moezkarimi, Alessandro Papadopoulos, Marjan Sirjani
Formal Verification of Consistency for Systems with Redundant Controllers. MARS@ETAPS (2024)
Fereidoun Moradi, Sara Abbaspour Asadollah, Bahman Pourvatan, Zahra Moezkarimi, Marjan Sirjani
CRYSTAL framework: Cybersecurity assurance for cyber-physical systems. J. Log. Algebraic Methods Program. 139 (2024)
Fereidoun Moradi, Bahman Pourvatan, Sara Abbaspour Asadollah, Marjan Sirjani
Tiny Twins for detecting cyber-attacks at runtime using concise Rebeca time transition system. J. Parallel Distributed Comput. 184 (2024)
Marjan Sirjani, Fatemeh Ghassemi, Bahman Pourvatan
Reo Connectors and Components as Tagged Signal Models. It's All About Coordination (2018)
Bahman Pourvatan, Marjan Sirjani, Hossein Hojjat, Farhad Arbab
Symbolic execution of Reo circuits using constraint automata. Sci. Comput. Program. 77 (7-8) (2012)
Bahman Pourvatan, Marjan Sirjani, Farhad Arbab, Marcello M. Bonsangue
Decomposition of Constraint Automata. FACS (2010)
Bahman Pourvatan, Marjan Sirjani, Hossein Hojjat, Farhad Arbab
Automated Analysis of Reo Circuits using Symbolic Execution. Electron. Notes Theor. Comput. Sci. 255 (2009)
Bahman Pourvatan, Nima Rouhy
An Alternative Algorithm for Constraint Automata Product. FSEN (2007)