User contributions

(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)

• 04:43, 26 June 2014 (diff | hist) . . (+2,253)‎ . . N Publications:Synchronizing Asynchronous Conformance Testing ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Neda Noroozi, Ramtin Khosravi, Mohammad Reza Mousavi, Tim Willemse |PID=583...") (current)
• 04:43, 26 June 2014 (diff | hist) . . (+2,164)‎ . . N Publications:Synchrony and asynchrony in conformance testing ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Neda Noroozi, Ramtin Khosravi, Mohammad Reza Mousavi, Tim Willemse |PID=651...") (current)
• 04:43, 26 June 2014 (diff | hist) . . (+1,515)‎ . . N Publications:Proceedings of Formal Methods 2009 Doctoral Symposium : November 6, 2009: Eindhoven, The Netherlands ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Mohammad Reza Mousavi, Emil Sekerinski |PID=584493 |Name=Mousavi, Mohammad ...") (current)
• 04:43, 26 June 2014 (diff | hist) . . (+1,649)‎ . . N Publications:Proceedings Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures : Paris, France, 4th September 2010 ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Mohammad Reza Mousavi, Gwen Salaün |PID=584478 |Name=Mousavi, Mohammad Rez...") (current)
• 04:43, 26 June 2014 (diff | hist) . . (+1,629)‎ . . N Publications:PARS : a process algebraic approach to resources and schedulers ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Mohammad Reza Mousavi, Michel A. Reniers, Twan Basten, Michel R. V. Chaudro...") (current)
• 04:43, 26 June 2014 (diff | hist) . . (+2,312)‎ . . N Publications:Orthogonal extensions in structural operational semantics ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Mohammad Reza Mousavi, Michel A. Reniers |PID=584694 |Name=Mousavi, Mohamma...") (current)
• 04:43, 26 June 2014 (diff | hist) . . (+2,893)‎ . . N Publications:Notions of bisimulation and congruence formats for SOS with data ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Mohammad Reza Mousavi, M. A. Reniers, J. F. Groote |PID=584518 |Name=Mousav...") (current)
• 04:43, 26 June 2014 (diff | hist) . . (+2,146)‎ . . N Publications:A syntactic commutativity format for SOS ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Mohammad Reza Mousavi, M. A. Reniers, J. F. Groote |PID=584523 |Name=Mousav...") (current)
• 04:43, 26 June 2014 (diff | hist) . . (+2,861)‎ . . N Publications:SOS formats and meta-theory : 20 years after ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Mohammad Reza Mousavi, M. A. Reniers, J. F. Groote |PID=584525 |Name=Mousav...") (current)
• 04:43, 26 June 2014 (diff | hist) . . (+1,866)‎ . . N Publications:Prototyping SOS meta-theory in Maude ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Mohammad Reza Mousavi, M. A. Reniers |PID=584690 |Name=Mousavi, Mohammad Re...") (current)
• 04:43, 26 June 2014 (diff | hist) . . (+2,119)‎ . . N Publications:A Congruence Rule Format with Universal Quantification ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Mohammad Reza Mousavi, M. A. Reniers |PID=585568 |Name=Mousavi, Mohammad Re...") (current)
• 04:43, 26 June 2014 (diff | hist) . . (+2,437)‎ . . N Publications:On well-foundedness and expressiveness of promoted tyft : being promoted makes a difference ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Mohammad Reza Mousavi, M. A. Reniers |PID=585579 |Name=Mousavi, Mohammad Re...") (current)
• 04:43, 26 June 2014 (diff | hist) . . (+2,406)‎ . . N Publications:Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Mohammad Reza Mousavi, António Ravara |PID=583418 |Name=Mousavi, Mohammad ...") (current)
• 04:43, 26 June 2014 (diff | hist) . . (+1,574)‎ . . N Publications:Specoal Issue on foundations of coordination languages and software architectures (selected papers from FOCLASA'11) : Foreword ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Mohammad Reza Mousavi, Antonio Ravara |PID=715682 |Name=Mousavi, Mohammad R...") (current)
• 04:43, 26 June 2014 (diff | hist) . . (+1,589)‎ . . N Publications:Semantics and expressiveness of ordered SOS ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Mohammad Reza Mousavi, Iain C. C. Phillips, Michel A. Reniers, Irek Ulidows...") (current)
• 04:43, 26 June 2014 (diff | hist) . . (+1,529)‎ . . N Publications:Special issue: software verification and testing ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Mohammad Reza Mousavi, Jun Pang |PID=668692 |Name=Mousavi, Mohammad Reza [m...") (current)
• 04:43, 26 June 2014 (diff | hist) . . (+1,497)‎ . . N Publications:Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks. ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Mohammad Reza Mousavi, P. Le Guernic, J. -P Talpin, S. K. Shukla, T. Basten...") (current)
• 04:43, 26 June 2014 (diff | hist) . . (+1,885)‎ . . N Publications:Causality in the semantics of Esterel : revisited ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Mohammad Reza Mousavi |PID=584492 |Name=Mousavi, Mohammad Reza [mohmou] (De...") (current)
• 04:43, 26 June 2014 (diff | hist) . . (+1,299)‎ . . N Publications:Esterel and the Semantics of Causality ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Mohammad Reza Mousavi |PID=583417 |Name=Mousavi, Mohammad Reza [mohmou] (Ei...") (current)
• 04:43, 26 June 2014 (diff | hist) . . (+1,570)‎ . . N Publications:Robustness of behavioral equivalence on open terms ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Peter D. Mosses, Mohammad Reza Mousavi, Michel A. Reniers |PID=584467 |Name...") (current)
• 04:43, 26 June 2014 (diff | hist) . . (+2,787)‎ . . N Publications:Robustness of equations under operational extensions ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=P. D. Mosses, Mohammad Reza Mousavi, M. A. Reniers |PID=584477 |Name=Mosses...") (current)
• 04:43, 26 June 2014 (diff | hist) . . (+3,111)‎ . . N Publications:Formal modeling of evolving self-adaptive systems ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Narges Khakpour, Saeed Jalili, Carolyn Talcott, Marjan Sirjani, Mohammad Re...") (current)
• 04:43, 26 June 2014 (diff | hist) . . (+1,970)‎ . . N Publications:PobSAM : policy-based managing of actors in self-adaptive systems ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=N. Khakpour, S. Jalili, C. Talcott, M. Sirjani, Mohammad Reza Mousavi |PID=...") (current)
• 04:43, 26 June 2014 (diff | hist) . . (+2,809)‎ . . N Publications:Early Fault Detection in DSLs using SMT Solving and Automated Debugging ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Sarmen Keshishzadeh, Arjan Mooij, Mohammad Reza Mousavi |PID=645868 |Name=K...") (current)
• 04:43, 26 June 2014 (diff | hist) . . (+2,666)‎ . . N Publications:Symmetry and partial order reduction techniques in model checking Rebeca ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Mohammad Mahdi Jaghoori, Marjan Sirjani, Mohammad Reza Mousavi, Ehsan Khame...") (current)
• 04:43, 26 June 2014 (diff | hist) . . (+2,429)‎ . . N Publications:Formal analysis of systemc designs in process algebra ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani |PID=583421 |Name=Hoj...") (current)
• 04:43, 26 June 2014 (diff | hist) . . (+2,680)‎ . . N Publications:A framework for performance evaluation and functional verification in stochastic process algebras ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani |PID=584684 |Name=Hoj...") (current)
• 04:43, 26 June 2014 (diff | hist) . . (+1,671)‎ . . N Publications:Application of process algebraic verification and reduction techniques to SystemC designs ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani |PID=585572 |Name=Hoj...") (current)
• 04:43, 26 June 2014 (diff | hist) . . (+2,533)‎ . . N Publications:Sarir : a Rebeca to mCRL2 translator ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=H. Hojjat, M. Sirjani, Mohammad Reza Mousavi, J. F. Groote |PID=584511 |Nam...") (current)
• 04:43, 26 June 2014 (diff | hist) . . (+2,647)‎ . . N Publications:Process algebraic verification of SystemC codes ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=H. Hojjat, Mohammad Reza Mousavi, M. Sirjani |PID=584683 |Name=Hojjat, H. (...") (current)
• 04:43, 26 June 2014 (diff | hist) . . (+1,751)‎ . . N Publications:Restricted delegation and revocation in language-based security : (Position paper) ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=D. Hassan, Mohammad Reza Mousavi, M. A. Reniers |PID=584474 |Name=Hassan, D...") (current)
• 04:43, 26 June 2014 (diff | hist) . . (+2,032)‎ . . N Publications:Automated Verification of Executable UML Models ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Helle Hvid Hansen, Jeroen Ketema, Bas Luttik, Mohammad Reza Mousavi, Jaco v...") (current)
• 04:43, 26 June 2014 (diff | hist) . . (+2,427)‎ . . N Publications:Towards model checking executable UML specifications in mCRL2 ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Helle Hvid Hansen, Jeroen Ketema, Bas Luttik, Mohammad Reza Mousavi, Jaco v...") (current)
• 04:43, 26 June 2014 (diff | hist) . . (+2,314)‎ . . N Publications:Throughput analysis of synchronous data flow graphs ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=A. H. Ghamarian, M. C. W. Geilen, S. Stuijk, T. Basten, A. J. M. Moonen, M....") (current)
• 04:43, 26 June 2014 (diff | hist) . . (+3,187)‎ . . N Publications:Algebraic Meta-Theory of Processes with Data ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Daniel Gebler, Eugen-Ioan Goriac, Mohammad Reza Mousavi |PID=651738 |Name=G...") (current)
• 04:43, 26 June 2014 (diff | hist) . . (+1,615)‎ . . N Publications:Operational and epistemic approaches to protocol analysis : Bridging the gap ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Francien Dechesne, Mohammad Reza Mousavi, Simona M. Orzan |PID=585573 |Name...") (current)
• 04:43, 26 June 2014 (diff | hist) . . (+2,918)‎ . . N Publications:Operational and epistemic approaches to protocol analysis : bridging the gap ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Francien Dechesne, Mohammad Reza Mousavi, Simona Orzan |PID=584685 |Name=De...") (current)
• 04:43, 26 June 2014 (diff | hist) . . (+1,483)‎ . . N Publications:Interpreted Systems Semantics for Process Algebra with Identity Annotations ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=F. Dechesne, Mohammad Reza Mousavi |PID=583414 |Name=Dechesne, F. (Philosop...") (current)
• 04:43, 26 June 2014 (diff | hist) . . (+2,681)‎ . . N Publications:A rule format for associativity ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Sjoerd Cranen, Mohammad Reza Mousavi, Michel A. Reniers |PID=585565 |Name=C...") (current)
• 04:43, 26 June 2014 (diff | hist) . . (+3,279)‎ . . N Publications:Nominal SOS ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Matteo Cimini, Mohammad Reza Mousavi, Michel A. Reniers, Murdoch J. Gabbay ...") (current)
• 04:43, 26 June 2014 (diff | hist) . . (+3,129)‎ . . N Publications:Modular Semantics for Transition System Specifications with Negative Premises ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Martin Churchill, Peter D. Mosses, Mohammad Reza Mousavi |PID=645854 |Name=...") (current)
• 04:43, 26 June 2014 (diff | hist) . . (+2,119)‎ . . N Publications:Fundamental Approaches to Behavioral Modeling and Model-Based Testing of Software Product Lines ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Harsh Beohar, Mohammad Reza Mousavi |PID=703590 |Name=Beohar, Harsh [harbeo...") (current)
• 04:43, 26 June 2014 (diff | hist) . . (+1,751)‎ . . N Publications:Formal Verification of Unreliable Failure Detectors in Partially Synchronous Systems ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Muhammad Atif, Mohammad Reza Mousavi, Ammar Osaiweran |PID=583410 |Name=Ati...") (current)
• 04:43, 26 June 2014 (diff | hist) . . (+1,466)‎ . . N Publications:Formal specification and analysis of accelerated heartbeat protocols ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Muhammad Atif, Mohammad Reza Mousavi |PID=585563 |Name=Atif, Muhammad (Depa...") (current)
• 04:43, 26 June 2014 (diff | hist) . . (+1,498)‎ . . N Publications:Reconstruction and verification of group membership protocols ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Muhammad Atif, Sjoerd Cranen, Mohammad Reza Mousavi |PID=584472 |Name=Atif,...") (current)
• 04:43, 26 June 2014 (diff | hist) . . (+1,829)‎ . . N Publications:Towards Model-Based Testing of Electronic Funds Transfer Systems ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Hamid Reza Asadi, Ramtin Khosravi, Mohammad Reza Mousavi, Neda Noroozi |PID...") (current)
• 04:43, 26 June 2014 (diff | hist) . . (+2,522)‎ . . N Publications:Proceedings First International Workshop on Process Algebra and Coordination ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Luca Aceto, Mohammad Reza Mousavi |PID=583420 |Name=Aceto, Luca (Reykjavik ...") (current)
• 04:43, 26 June 2014 (diff | hist) . . (+1,675)‎ . . N Publications:A rule format for unit elements ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Luca Aceto, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers ...") (current)
• 04:43, 26 June 2014 (diff | hist) . . (+2,841)‎ . . N Publications:Impossibility results for the equational theory of timed CCS ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Luca Aceto, Anna Ingólfsdóttir, Mohammad Reza Mousavi |PID=584514 |Name=A...") (current)
• 04:43, 26 June 2014 (diff | hist) . . (+3,097)‎ . . N Publications:Exploiting Algebraic Laws to Improve Mechanized Axiomatizations ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Luca Aceto, Eugen-Ioan Goriac, Anna Ingolfsdottir, Mohammad Reza Mousavi, M...") (current)

(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)