Author Mohammad Mousavi
From CERES
A list of all pages that have property "Author" with value "Mohammad Mousavi"
Previous Results 1– 20 Next (20 | 50 | 100 | 250 | 500)
Previous Results 1– 20 Next (20 | 50 | 100 | 250 | 500)
- Publications:A Congruence Rule Format with Universal Quantification +
- Publications:A framework for performance evaluation and functional verification in stochastic process algebras +
- Publications:A rule format for associativity +
- Publications:A rule format for unit elements +
- Publications:A syntactic commutativity format for SOS +
- Publications:Algebraic Meta-Theory of Processes with Data +
- Publications:Algebraic properties for free! +
- Publications:Analytical software design : introduction and industrial experience report +
- Publications:Application of process algebraic verification and reduction techniques to SystemC designs +
- Publications:Automated Verification of Executable UML Models +
- Publications:Causality in the semantics of Esterel : revisited +
- Publications:Checking and deriving module paths in Verilog cell library descriptions +
- Publications:Decomposability in Input Output Conformance Testing +
- Publications:Decompositional Reasoning about the History of Parallel Processes +
- Publications:Decompositional reasoning about the history of parallel processes +
- Publications:Early Fault Detection in DSLs using SMT Solving and Automated Debugging +
- Publications:Esterel and the Semantics of Causality +
- Publications:Exploiting Algebraic Laws to Improve Mechanized Axiomatizations +
- Publications:Formal Verification of Unreliable Failure Detectors in Partially Synchronous Systems +
- Publications:Formal analysis of non-determinism in Verilog cell library simulation models +
