Bahman Pourvatan

According to our database, Bahman Pourvatan authored at least 7 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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., February, 2024

Formal Verification of Consistency for Systems with Redundant Controllers.

Bjarne Johansson, Bahman Pourvatan, Zahra Moezkarimi, Alessandro Papadopoulos, Marjan Sirjani

CoRR, 2024

2018

Reo Connectors and Components as Tagged Signal Models.

Marjan Sirjani, Fatemeh Ghassemi, Bahman Pourvatan

Proceedings of the It's All About Coordination, 2018

2012

Symbolic execution of Reo circuits using constraint automata.

Bahman Pourvatan, Marjan Sirjani, Hossein Hojjat, Farhad Arbab

Sci. Comput. Program., 2012

2010

Decomposition of Constraint Automata.

Bahman Pourvatan, Marjan Sirjani, Farhad Arbab, Marcello M. Bonsangue

Proceedings of the Formal Aspects of Component Software - 7th International Workshop, 2010

2009

Automated Analysis of Reo Circuits using Symbolic Execution.

Bahman Pourvatan, Marjan Sirjani, Hossein Hojjat, Farhad Arbab

Proceedings of the 8th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2009

2007

An Alternative Algorithm for Constraint Automata Product.

Bahman Pourvatan, Nima Rouhy

Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007