Mohammad Reza Mousavi

According to our database1, Mohammad Reza Mousavi
  • authored at least 101 papers between 1998 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
Preface: Special issue on Trends in Concurrency Theory (selected invited contributions from the workshops TRENDS 2014 and 2015).
J. Log. Algebr. Meth. Program., 2017

Hardness of Deriving Invertible Sequences from Finite State Machines.
Proceedings of the SOFSEM 2017: Theory and Practice of Computer Science, 2017

Reducing the Concretization Effort in FSM-Based Testing of Software Product Lines.
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

A Process for Sound Conformance Testing of Cyber-Physical Systems.
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Gray-Box Conformance Testing for Symbolic Reactive State Machines.
Proceedings of the Fundamentals of Software Engineering - 7th International Conference, 2017

2016
Basic behavioral models for software product lines: Expressiveness and testing pre-orders.
Systems & Control Letters, 2016

Product line process theory.
J. Log. Algebr. Meth. Program., 2016

Input-output conformance testing for software product lines.
J. Log. Algebr. Meth. Program., 2016

Towards an Approximate Conformance Relation for Hybrid I/O Automata.
Proceedings of the The First Workshop on Verification and Validation of Cyber-Physical Systems, 2016

(De-)Composing Causality in Labeled Transition Systems.
Proceedings of the Proceedings First Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, 2016

Sound Test-Suites for Cyber-Physical Systems.
Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering, 2016

Complete IOCO test cases: a case study.
Proceedings of the 7th International Workshop on Automating Test Case Design, 2016

Validated Test Models for Software Product Lines: Featured Finite State Machines.
Proceedings of the Formal Aspects of Component Software - 13th International Conference, 2016

2015
Synchrony and asynchrony in conformance testing.
Software and System Modeling, 2015

Timed-Gamma and its Coordination Language.
Nord. J. Comput., 2015

State Distribution Policy for Distributed Model Checking of Actor Models.
ECEASST, 2015

A Tool Prototype for Model-Based Testing of Cyber-Physical Systems.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2015, 2015

Delta-Oriented FSM-Based Testing.
Proceedings of the Formal Methods and Software Engineering, 2015

A Pre-congruence Format for XY-simulation.
Proceedings of the Fundamentals of Software Engineering - 6th International Conference, 2015

Notions of Conformance Testing for Cyber-Physical Systems: Overview and Roadmap (Invited Paper).
Proceedings of the 26th International Conference on Concurrency Theory, 2015

2014
Preface: Special section on foundations of coordination languages and software architectures (selected papers from FOCLASA'10).
Sci. Comput. Program., 2014

Foreword.
Sci. Comput. Program., 2014

Special section on Software Verification and Testing.
Sci. Comput. Program., 2014

Conformance Testing of Cyber-Physical Systems: A Comparative Study.
ECEASST, 2014

Book Announcement: Modeling and Analysis of Communicating Systems.
Bulletin of the EATCS, 2014

Spinal Test Suites for Software Product Lines.
Proceedings of the Proceedings Ninth Workshop on Model-Based Testing, 2014

Input-output conformance testing based on featured transition systems.
Proceedings of the Symposium on Applied Computing, 2014

Modeling and Analysis of Communicating Systems.
MIT Press, ISBN: 9780262321020, 2014

2013
Special issue: software verification and testing.
ISSE, 2013

Decomposability in Input Output Conformance Testing
Proceedings of the Proceedings Eighth Workshop on Model-Based Testing, 2013

Algebraic Meta-Theory of Processes with Data.
Proceedings of the Proceedings Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics, 2013

Early Fault Detection in DSLs Using SMT Solving and Automated Debugging.
Proceedings of the Software Engineering and Formal Methods - 11th International Conference, 2013

On the Complexity of Input Output Conformance Testing.
Proceedings of the Formal Aspects of Component Software - 10th International Symposium, 2013

Modular Semantics for Transition System Specifications with Negative Premises.
Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013

Exploiting Algebraic Laws to Improve Mechanized Axiomatizations.
Proceedings of the Algebra and Coalgebra in Computer Science, 2013

2012
Esterel and the Semantics of Causality.
Proceedings of the Handbook of Finite State Based Models and Applications., 2012

Rule formats for distributivity.
Theor. Comput. Sci., 2012

Formal modeling of evolving self-adaptive systems.
Sci. Comput. Program., 2012

Rule formats for determinism and idempotence.
Sci. Comput. Program., 2012

Nominal SOS.
Electr. Notes Theor. Comput. Sci., 2012

Formal verification of Unreliable Failure Detectors in Partially Synchronous Systems.
Proceedings of the ACM Symposium on Applied Computing, 2012

Integrating Model-Based and Constraint-Based Testing Using SpecExplorer.
Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering Workshops, 2012

Mechanized Extraction of Topology Anti-patterns in Wireless Networks.
Proceedings of the Integrated Formal Methods - 9th International Conference, 2012

2011
SOS rule formats for zero and unit elements.
Theor. Comput. Sci., 2011

Long-run order-independence of vector-based transition systems.
IET Computers & Digital Techniques, 2011

Formal Analysis of SystemC Designs in Process Algebra.
Fundam. Inform., 2011

Process Algebra as a Common Framework for Hardware/Software Coverification.
Embedded Systems Letters, 2011

Interpreted Systems Semantics for Process Algebra with Identity Annotations.
Proceedings of the Logic, Language, and Computation, 2011

Synchronizing Asynchronous Conformance Testing.
Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011

Rule Formats for Distributivity.
Proceedings of the Language and Automata Theory and Applications, 2011

Towards Model-Based Testing of Electronic Funds Transfer Systems.
Proceedings of the Fundamentals of Software Engineering - 4th IPM International Conference, 2011

Decompositional Reasoning about the History of Parallel Processes.
Proceedings of the Fundamentals of Software Engineering - 4th IPM International Conference, 2011

Symbolic Power Analysis of Cell Libraries.
Proceedings of the Formal Methods for Industrial Critical Systems, 2011

2010
Towards model checking executable UML specifications in mCRL2.
ISSE, 2010

PobSAM: Policy-based Managing of Actors in Self-Adaptive Systems.
Electr. Notes Theor. Comput. Sci., 2010

On Rule Formats for Zero and Unit Elements.
Electr. Notes Theor. Comput. Sci., 2010

Robustness of Equations Under Operational Extensions
Proceedings of the Proceedings 17th International Workshop on Expressiveness in Concurrency, 2010

Symmetry and partial order reduction techniques in model checking Rebeca.
Acta Inf., 2010

Lifting non-finite axiomatizability results to extensions of process algebras.
Acta Inf., 2010

A Rule Format for Unit Elements.
Proceedings of the SOFSEM 2010: Theory and Practice of Computer Science, 2010

Formal specification and analysis of accelerated heartbeat protocols.
Proceedings of the SummerSim '10, 2010

Restricted delegation and revocation in language-based security: (position paper).
Proceedings of the 2010 Workshop on Programming Languages and Analysis for Security, 2010

Automated Verification of Executable UML Models.
Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010

Checking and deriving module paths in Verilog cell library descriptions.
Proceedings of the Design, Automation and Test in Europe, 2010

Order-Independence of Vector-Based Transition Systems.
Proceedings of the 10th International Conference on Application of Concurrency to System Design, 2010

2009
Semantics and expressiveness of ordered SOS.
Inf. Comput., 2009

Causality in the Semantics of Esterel: Revisited
Proceedings of the Proceedings Sixth Workshop on Structural Operational Semantics, 2009

Rule Formats for Determinism and Idempotence.
Proceedings of the Fundamentals of Software Engineering, 2009

Formal Analysis of Non-determinism in Verilog Cell Library Simulation Models.
Proceedings of the Formal Methods for Industrial Critical Systems, 2009

Model Checking Verilog Descriptions of Cell Libraries.
Proceedings of the Ninth International Conference on Application of Concurrency to System Design, 2009

2008
A framework for performance evaluation and functional verification in stochastic process algebras.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Lifting Non-Finite Axiomatizability Results to Extensions of Process Algebras.
Proceedings of the Fifth IFIP International Conference On Theoretical Computer Science, 2008

A Rule Format for Associativity.
Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008

Process algebraic verification of SystemC codes.
Proceedings of the 8th International Conference on Application of Concurrency to System Design (ACSD 2008), 2008

2007
SOS formats and meta-theory: 20 years after.
Theor. Comput. Sci., 2007

A Congruence Rule Format with Universal Quantification.
Electr. Notes Theor. Comput. Sci., 2007

On Well-Foundedness and Expressiveness of Promoted Tyft: Being Promoted Makes a Difference.
Electr. Notes Theor. Comput. Sci., 2007

Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap.
Proceedings of the Logic for Programming, 2007

Impossibility Results for the Equational Theory of Timed CCS.
Proceedings of the Algebra and Coalgebra in Computer Science, 2007

Sarir: A Rebeca to mCRL2 Translator.
Proceedings of the Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 2007

2006
Formal Semantics and Analysis of Component Connectors in Reo.
Electr. Notes Theor. Comput. Sci., 2006

Prototyping SOS Meta-theory in Maude.
Electr. Notes Theor. Comput. Sci., 2006

Towards SOS Meta-Theory for Language-Based Security.
Electr. Notes Theor. Comput. Sci., 2006

A Hierarchy of SOS Rule Formats.
Electr. Notes Theor. Comput. Sci., 2006

CPP2XMI: Reverse Engineering of UML Class, Sequence, and Activity Diagrams from C++ Source Code.
Proceedings of the 13th Working Conference on Reverse Engineering (WCRE 2006), 2006

The Meaning of Ordered SOS.
Proceedings of the FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, 2006

Liveness and Boundedness of Synchronous Data Flow Graphs.
Proceedings of the Formal Methods in Computer-Aided Design, 6th International Conference, 2006

Throughput Analysis of Synchronous Data Flow Graphs.
Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006

2005
A syntactic commutativity format for SOS.
Inf. Process. Lett., 2005

Notions of bisimulation and congruence formats for SOS with data.
Inf. Comput., 2005

Efficient Symmetry Reduction for an Actor-Based Model.
Proceedings of the Distributed Computing and Internet Technology, 2005

Orthogonal Extensions in Structural Operational Semantics.
Proceedings of the Automata, Languages and Programming, 32nd International Colloquium, 2005

Congruence for Structural Congruences.
Proceedings of the Foundations of Software Science and Computational Structures, 2005

SOS for Higher Order Processes.
Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005

Timing the Untimed: Terminating Successfully While Being Conservative.
Proceedings of the Processes, 2005

2004
Congruence for SOS with Data.
Proceedings of the 19th IEEE Symposium on Logic in Computer Science (LICS 2004), 2004

Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks.
Proceedings of the 2004 Design, 2004

2003
PARS: A Process Algebra with Resources and Schedulers.
Proceedings of the Formal Modeling and Analysis of Timed Systems: First International Workshop, 2003

Separation of Concerns in the Formal Design of Real-Time Shared Data-Space Systems.
Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003

2002
Using Aspect-GAMMA in the design of embedded systems.
Proceedings of the Seventh IEEE International High-Level Design Validation and Test Workshop 2002, 2002

1998
Synthesizing Software Architecture Descriptions from Message Sequence Chart Specifications.
Proceedings of the Thirteenth IEEE Conference on Automated Software Engineering, 1998


  Loading...