Mohammad Reza Mousavi
TitleCited byYear
Throughput analysis of synchronous data flow graphs
AH Ghamarian, MCW Geilen, S Stuijk, T Basten, BD Theelen, ...
Sixth International Conference on Application of Concurrency to System …, 2006
2812006
Modeling and analysis of communicating systems
JF Groote, MR Mousavi
MIT press, 2014
1342014
SOS formats and meta-theory: 20 years after
MR Mousavi, MA Reniers, JF Groote
Theoretical Computer Science 373 (3), 238-272, 2007
892007
Liveness and boundedness of synchronous data flow graphs
AH Ghamarian, MCW Geilen, T Basten, BD Theelen, MR Mousavi, ...
2006 Formal Methods in Computer Aided Design, 68-75, 2006
632006
CPP2XMI: Reverse engineering of UML class, sequence, and activity diagrams from C++ source code
E Korshunova, M Petkovic, MGJ Van Den Brand, MR Mousavi
2006 13th Working Conference on Reverse Engineering, 297-298, 2006
522006
Notions of bisimulation and congruence formats for SOS with data
MR Mousavi, MA Reniers, JF Groote
Information and Computation 200 (1), 107-147, 2005
492005
Towards model checking executable UML specifications in mCRL2
HH Hansen, J Ketema, B Luttik, MR Mousavi, J Van De Pol
Innovations in Systems and Software Engineering 6 (1-2), 83-90, 2010
482010
Formal modeling of evolving self-adaptive systems
N Khakpour, S Jalili, C Talcott, M Sirjani, M Mousavi
Science of Computer Programming 78 (1), 3-26, 2012
442012
Symmetry and partial order reduction techniques in model checking Rebeca
MM Jaghoori, M Sirjani, MR Mousavi, E Khamespanah, A Movaghar
Acta Informatica 47 (1), 33-66, 2010
382010
Formal semantics and analysis of component connectors in Reo
MR Mousavi, M Sirjani, F Arbab
Electronic Notes in Theoretical Computer Science 154 (1), 83-99, 2006
382006
Modeling and validating globally asynchronous design in synchronous frameworks
MR Mousavi, P Le Guernic, JP Talpin, SK Shukla, T Basten
Proceedings Design, Automation and Test in Europe Conference and Exhibition …, 2004
382004
Operational and epistemic approaches to protocol analysis: Bridging the gap
F Dechesne, MR Mousavi, S Orzan
International Conference on Logic for Programming Artificial Intelligence …, 2007
372007
A rule format for associativity
S Cranen, MR Mousavi, MA Reniers
International Conference on Concurrency Theory, 447-461, 2008
302008
Basic behavioral models for software product lines: Expressiveness and testing pre-orders
H Beohar, M Varshosaz, MR Mousavi
Science of Computer Programming 123, 42-60, 2016
292016
Modelling and analysis of communicating systems
JF Groote, M Mousavi
Technische Universiteit Eindhoven, 2013
272013
PobSAM: policy-based managing of actors in self-adaptive systems
N Khakpour, S Jalili, C Talcott, M Sirjani, MR Mousavi
Electronic Notes in Theoretical Computer Science 263, 129-143, 2010
272010
A syntactic commutativity format for SOS
MR Mousavi, M Reniers, JF Groote
Information Processing Letters 93 (5), 217-223, 2005
252005
Congruence for SOS with data
MR Mousavi, M Reniers, JF Groote
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science …, 2004
252004
Automated verification of executable UML models
HH Hansen, J Ketema, B Luttik, MR Mousavi, J Van De Pol, ...
International Symposium on Formal Methods for Components and Objects, 225-250, 2010
242010
SOS for higher order processes
MR Mousavi, MJ Gabbay, MA Reniers
International Conference on Concurrency Theory, 308-322, 2005
242005
The system can't perform the operation now. Try again later.
Articles 1–20