Mohammadreza Mousavi

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
DyNetKAT: an algebra of dynamic networks Lecture Notes in Computer Science	2024-01-23	Paper
Compositional learning for interleaving parallel automata Lecture Notes in Computer Science	2023-11-24	Paper
Robustness of equations under operational extensions	2021-02-24	Paper
Robustness of equations under operational extensions (available as arXiv preprint)	2021-02-24	Paper
Notions of conformance testing for cyber-physical systems: overview and roadmap (invited paper)	2017-09-12	Paper
Modeling and analysis of communicating systems	2014-10-06	Paper
Modular semantics for transition system specifications with negative premises CONCUR 2013 – Concurrency Theory	2013-08-12	Paper
Formal modeling of evolving self-adaptive systems Science of Computer Programming	2013-06-06	Paper
Decompositional reasoning about the history of parallel processes Fundamentals of Software Engineering	2012-06-29	Paper
Symmetry and partial order reduction techniques in model checking Rebeca Acta Informatica	2010-02-05	Paper
A syntactic commutativity format for SOS Information Processing Letters	2009-08-27	Paper
SOS formats and meta-theory: 20 years after Theoretical Computer Science	2007-04-19	Paper

Research outcomes over time

This page was built for person: Mohammadreza Mousavi