Bahman Pourvatan
According to our database1,
Bahman Pourvatan
authored at least 8 papers
between 2007 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2008
2010
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
4
2
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Tiny Twins for detecting cyber-attacks at runtime using concise Rebeca time transition system.
J. Parallel Distributed Comput., February, 2024
J. Log. Algebraic Methods Program., 2024
Proceedings of the Proceedings Sixth Workshop on Models for Formal Analysis of Real Systems, 2024
2018
Proceedings of the It's All About Coordination, 2018
2012
Sci. Comput. Program., 2012
2010
Proceedings of the Formal Aspects of Component Software - 7th International Workshop, 2010
2009
Proceedings of the 8th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2009
2007
Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007