Travelled to:1 × Brazil
1 × Finland
1 × France
1 × Germany
1 × Portugal
1 × South Korea
1 × United Kingdom
1 × Uruguay
2 × Spain
3 × Italy
Collaborated with:M.A.Reniers H.Beohar S.Keshishzadeh A.J.Mooij M.Woehrle R.Bakhshi M.Atif A.Osaiweran M.Raffelsieper C.W.H.Strolenberg H.Hojjat M.Sirjani J.F.Groote N.Noroozi R.Khosravi T.A.C.Willemse E.Korshunova M.Petkovic M.v.d.Brand Bruno Oliveira G.Carvalho A.Sampaio L.Aceto M.Cimini A.Ingólfsdóttir P.L.Guernic J.Talpin S.K.Shukla T.Basten
Talks about:congruenc (3) synchron (3) system (3) framework (2) asynchron (2) structur (2) conform (2) verif (2) test (2) distribut (1)
Person: Mohammad Reza Mousavi
DBLP: Mousavi:Mohammad_Reza
Contributed to:
2014
2013
20122012
20112011
20102008
2006
2005
20052004
2004
2017Wrote 14 papers:
- SAC-2014-BeoharM #consistency #testing
- Input-output conformance testing based on featured transition systems (HB, MRM), pp. 1272–1278.
- SEFM-2013-KeshishzadehMM #automation #debugging #detection #domain-specific language #fault #smt #using
- Early Fault Detection in DSLs Using SMT Solving and Automated Debugging (SK, AJM, MRM), pp. 182–196.
- IFM-2012-WoehrleBM #anti #network
- Mechanized Extraction of Topology Anti-patterns in Wireless Networks (MW, RB, MRM), pp. 158–173.
- SAC-2012-AtifMO #detection #verification
- Formal verification of Unreliable Failure Detectors in Partially Synchronous Systems (MA, MRM, AO), pp. 478–485.
- LATA-2011-AcetoCIMR
- Rule Formats for Distributivity (LA, MC, AI, MRM, MAR), pp. 80–91.
- SEFM-2011-NorooziKMW #consistency #testing
- Synchronizing Asynchronous Conformance Testing (NN, RK, MRM, TACW), pp. 334–349.
- DATE-2010-RaffelsieperMS #library
- Checking and deriving module paths in Verilog cell library descriptions (MR, MRM, CWHS), pp. 1506–1511.
- SAC-2008-HojjatMS #algebra #evaluation #framework #functional #performance #probability #process #verification
- A framework for performance evaluation and functional verification in stochastic process algebras (HH, MRM, MS), pp. 339–346.
- WCRE-2006-KorshunovaPBM #c++ #diagrams #named #process #reverse engineering #sequence #source code #uml #xmi
- CPP2XMI: Reverse Engineering of UML Class, Sequence, and Activity Diagrams from C++ Source Code (EK, MP, MvdB, MRM), pp. 297–298.
- FoSSaCS-2005-MousaviR #congruence
- Congruence for Structural Congruences (MRM, MAR), pp. 47–62.
- ICALP-2005-MousaviR #orthogonal #semantics
- Orthogonal Extensions in Structural Operational Semantics (MRM, MAR), pp. 1214–1225.
- DATE-v1-2004-MousaviGTSB #design #framework #modelling #validation
- Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks (MRM, PLG, JPT, SKS, TB), pp. 384–389.
- LICS-2004-MousaviRG #congruence
- Congruence for SOS with Data (MRM, MAR, JFG), pp. 303–312.
- CASE-2017-OliveiraCMS #hybrid #requirements #simulation
- Simulation of hybrid systems from natural-language requirements (BO, GC, MRM, AS), pp. 1320–1325.