Browse wiki

From CERES
Jump to: navigation, search
Mohammad Reza Mousavi
Affiliation Center for Research on Embedded Systems +
FamilyName Mousavi  +
GivenName Mohammad Reza  +
Img Mousavi.jpg  +
Office E 305  +
Person Mohammad Reza Mousavi +
Phone +46-35-167122  +
Ptitle Ph.D.  +
Role Professor  +
Street-address Faculty of IT, Halmstad University, P.O. Box 823, Halmstad 301 18, Sweden  +
SubjectArea Computer Engineering +
Url http://ceres.hh.se/mediawiki/index.php/Mohammad_Mousavi  +
Has queryThis property is a special property in this wiki. Mohammad Reza Mousavi + , Mohammad Reza Mousavi + , Mohammad Reza Mousavi + , Mohammad Reza Mousavi + , Mohammad Reza Mousavi + , Mohammad Reza Mousavi + , Mohammad Reza Mousavi + , Mohammad Reza Mousavi + , Mohammad Reza Mousavi + , Mohammad Reza Mousavi + , Mohammad Reza Mousavi + , Mohammad Reza Mousavi + , Mohammad Reza Mousavi +
Categories Only pages in namespace "Category" are allowed here. , Person  +
Modification dateThis property is a special property in this wiki. 2 March 2017 13:23:10  +
Page has default formThis property is a special property in this wiki. CreatePerson  +
EmailThis property is a special property in this wiki. m.r.mousavi@hh.se  +
hide properties that link here 
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 + Author
Mohammad Reza Mousavi + Person
Automatic Testing of Systems on Chip + , Building a visual Truck model in CANoe + , Generating Test Adapters for ModelJunit + , Model-Based Mutation Testing: on Effectiveness Analysis + , Model-Based Testing of Actors + , Model-Based Testing using HSI Method: Efficiency and Effectiveness Analysis + , Parameterized Unit Testing Environment + , Residual Model Based Testing + , Specification, Code Generation and Testing of Mobile Applications for Elderly Health + , Using Interface Models in Early Integration Testing: A Comparison of Two Common Tools + Supervisors
Mohammad Mousavi + redirect page
 

 

Enter the name of the page to start browsing from.