Mohammad Mousavi

MaRDI QIDQ3409383zbMATH OpenDBLPORCIDWikidataFDO

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
Complete FSM testing using strong separability	2026-08-24	Paper
Compositional active learning of synchronizing systems through automated alphabet refinement	2026-08-05	Paper
Logical characterisation of hybrid conformance	2026-03-18	Paper
The way we were: structural operational semantics research in perspective	2025-07-24	Paper
Conformance relations and hyperproperties for doping detection in time and space	2022-02-09	Paper
Conformance relations and hyperproperties for doping detection in time and space (available as arXiv preprint)	2022-02-09	Paper
Input-output conformance testing for software product lines Journal of Logical and Algebraic Methods in Programming	2016-11-07	Paper
A congruence rule format with universal quantification Electronic Notes in Theoretical Computer Science	2014-01-10	Paper
Exact Simulation of Non-stationary Reflected Brownian Motion	2013-12-22	Paper
On well-foundedness and expressiveness of promoted tyft (being promoted makes a difference) Electronic Notes in Theoretical Computer Science	2013-12-13	Paper
A hierarchy of SOS rule formats	2013-10-07	Paper
Prototyping SOS meta-theory in Maude	2013-10-07	Paper
Exploiting algebraic laws to improve mechanized axiomatizations Algebra and Coalgebra in Computer Science	2013-09-13	Paper
Interpreted Systems Semantics for Process Algebra with Identity Annotations Logic, Language, and Computation	2013-04-12	Paper
Social influence and evolution of market share Internet Mathematics	2012-08-29	Paper
Rule formats for determinism and idempotence Science of Computer Programming	2012-07-13	Paper
Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap Logic for Programming, Artificial Intelligence, and Reasoning	2008-05-15	Paper
Processes, Terms and Cycles: Steps on the Road to Infinity Lecture Notes in Computer Science	2006-11-13	Paper

Research outcomes over time

This page was built for person: Mohammad Mousavi