|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 8 occurrences of 7 keywords
|
|
|
|
|
Results
Found 58 publication records. Showing 58 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Luca Aceto, Arnar Birgisson, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers |
Rule formats for determinism and idempotence.  |
Sci. Comput. Program.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers |
SOS rule formats for zero and unit elements. |
Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Raffelsieper, Mohammad Reza Mousavi, J. Sleuters |
Process Algebra as a Common Framework for Hardware/Software Coverification. |
Embedded Systems Letters |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani |
Formal Analysis of SystemC Designs in Process Algebra. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Mohammad Reza Mousavi (eds.) |
Proceedings First International Workshop on Process Algebra and Coordination |
PACO |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Reza Mousavi, António Ravara (eds.) |
Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures |
FOCLASA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Raffelsieper, Mohammad Reza Mousavi, Hans Zantema |
Long-run order-independence of vector-based transition systems. |
IET Computers & Digital Techniques |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Neda Noroozi, Ramtin Khosravi, Mohammad Reza Mousavi, Tim A. C. Willemse |
Synchronizing Asynchronous Conformance Testing. |
SEFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers |
Rule Formats for Distributivity. |
LATA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hamid Reza Asaadi, Ramtin Khosravi, Mohammad Reza Mousavi, Neda Noroozi |
Towards Model-Based Testing of Electronic Funds Transfer Systems. |
FSEN |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Arnar Birgisson, Anna Ingólfsdóttir, Mohammad Reza Mousavi |
Decompositional Reasoning about the History of Parallel Processes. |
FSEN |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Raffelsieper, Mohammad Reza Mousavi |
Symbolic Power Analysis of Cell Libraries. |
FMICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Mahdi Jaghoori, Marjan Sirjani, Mohammad Reza Mousavi, Ehsan Khamespanah, Ali Movaghar |
Symmetry and partial order reduction techniques in model checking Rebeca. |
Acta Inf. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Mohammad Reza Mousavi |
Lifting non-finite axiomatizability results to extensions of process algebras. |
Acta Inf. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Helle Hvid Hansen, Jeroen Ketema, Bas Luttik, Mohammad Reza Mousavi, Jaco van de Pol |
Towards model checking executable UML specifications in mCRL2. |
ISSE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers |
On Rule Formats for Zero and Unit Elements. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Narges Khakpour, Saeed Jalili, Carolyn L. Talcott, Marjan Sirjani, Mohammad Reza Mousavi |
PobSAM: Policy-based Managing of Actors in Self-Adaptive Systems. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Reza Mousavi, Gwen Salaün (eds.) |
Proceedings Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures |
FOCLASA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter D. Mosses, Mohammad Reza Mousavi, Michel A. Reniers |
Robustness of Equations Under Operational Extensions |
EXPRESS'10 |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Raffelsieper, Mohammad Reza Mousavi, Hans Zantema |
Order-Independence of Vector-Based Transition Systems. |
ACSD |
2010 |
DBLP DOI BibTeX RDF |
Vector-based transition systems, Moore machines, Order independence, Model checking, Partial order reduction |
| 1 | Helle Hvid Hansen, Jeroen Ketema, Bas Luttik, Mohammad Reza Mousavi, Jaco van de Pol, Osmar Marchi dos Santos |
Automated Verification of Executable UML Models. |
FMCO |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Muhammad Atif, Mohammad Reza Mousavi |
Formal specification and analysis of accelerated heartbeat protocols. |
SummerSim |
2010 |
DBLP BibTeX RDF |
|
| 1 | Matthias Raffelsieper, Mohammad Reza Mousavi, Chris W. H. Strolenberg |
Checking and deriving module paths in Verilog cell library descriptions. |
DATE |
2010 |
DBLP BibTeX RDF |
|
| 1 | Luca Aceto, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers |
A Rule Format for Unit Elements. |
SOFSEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Reza Mousavi, Iain Phillips, Michel A. Reniers, Irek Ulidowski |
Semantics and expressiveness of ordered SOS. |
Inf. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Reza Mousavi |
Causality in the Semantics of Esterel: Revisited |
SOS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Arnar Birgisson, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers |
Rule Formats for Determinism and Idempotence. |
FSEN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Raffelsieper, Jan-Willem Roorda, Mohammad Reza Mousavi |
Model Checking Verilog Descriptions of Cell Libraries. |
ACSD |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Raffelsieper, Mohammad Reza Mousavi, Jan-Willem Roorda, Chris W. H. Strolenberg, Hans Zantema |
Formal Analysis of Non-determinism in Verilog Cell Library Simulation Models. |
FMICS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sjoerd Cranen, Mohammad Reza Mousavi, Michel A. Reniers |
A Rule Format for Associativity. |
CONCUR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani |
Process algebraic verification of SystemC codes. |
ACSD |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani |
A framework for performance evaluation and functional verification in stochastic process algebras. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Mohammad Reza Mousavi |
Lifting Non-Finite Axiomatizability Results to Extensions of Process Algebras. |
IFIP TCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote |
SOS formats and meta-theory: 20 years after. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Reza Mousavi, Michel A. Reniers |
On Well-Foundedness and Expressiveness of Promoted Tyft: Being Promoted Makes a Difference. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Reza Mousavi, Michel A. Reniers |
A Congruence Rule Format with Universal Quantification. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Hossein Hojjat, Marjan Sirjani, Mohammad Reza Mousavi, Jan Friso Groote |
Sarir: A Rebeca to mCRL2 Translator. |
ACSD |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Francien Dechesne, Mohammad Reza Mousavi, Simona Orzan |
Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Anna Ingólfsdóttir, Mohammad Reza Mousavi |
Impossibility Results for the Equational Theory of Timed CCS. |
CALCO |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Reza Mousavi |
Towards SOS Meta-Theory for Language-Based Security. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Friso Groote, Mohammad Reza Mousavi, Michel A. Reniers |
A Hierarchy of SOS Rule Formats. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Reza Mousavi, Marjan Sirjani, Farhad Arbab |
Formal Semantics and Analysis of Component Connectors in Reo. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Reza Mousavi, Michel A. Reniers |
Prototyping SOS Meta-theory in Maude. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Amir Hossein Ghamarian, Marc Geilen, Sander Stuijk, Twan Basten, Bart D. Theelen, Mohammad Reza Mousavi, A. J. M. Moonen, Marco Bekooij |
Throughput Analysis of Synchronous Data Flow Graphs. |
ACSD |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Amir Hossein Ghamarian, Marc Geilen, Twan Basten, Bart D. Theelen, Mohammad Reza Mousavi, Sander Stuijk |
Liveness and Boundedness of Synchronous Data Flow Graphs. |
FMCAD |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | E. Korshunova, Marija Petkovic, M. G. J. van den Brand, Mohammad Reza Mousavi |
CPP2XMI: Reverse Engineering of UML Class, Sequence, and Activity Diagrams from C++ Source Code. |
WCRE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Reza Mousavi, Iain C. C. Phillips, Michel A. Reniers, Irek Ulidowski |
The Meaning of Ordered SOS. |
FSTTCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote |
A syntactic commutativity format for SOS. |
Inf. Process. Lett. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote |
Notions of bisimulation and congruence formats for SOS with data. |
Inf. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Reza Mousavi, Murdoch Gabbay, Michel A. Reniers |
SOS for Higher Order Processes. |
CONCUR |
2005 |
DBLP DOI BibTeX RDF |
Congruence Rule Formats, Bisimulation, Formal Semantics, Congruence, Structural Operational Semantics |
| 1 | Mohammad Reza Mousavi, Michel A. Reniers |
Orthogonal Extensions in Structural Operational Semantics. |
ICALP |
2005 |
DBLP DOI BibTeX RDF |
Structural Operational Semantics (SOS), Conservative Extension, Operational Conservativity, Equational Conservativity, Formal Semantics, Orthogonality |
| 1 | Mohammad Mahdi Jaghoori, Marjan Sirjani, Mohammad Reza Mousavi, Ali Movaghar |
Efficient Symmetry Reduction for an Actor-Based Model. |
ICDCIT |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jos C. M. Baeten, Mohammad Reza Mousavi, Michel A. Reniers |
Timing the Untimed: Terminating Successfully While Being Conservative. |
Processes, Terms and Cycles |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Reza Mousavi, Michel A. Reniers |
Congruence for Structural Congruences. |
FoSSaCS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Reza Mousavi, Paul Le Guernic, Jean-Pierre Talpin, Sandeep K. Shukla, Twan Basten |
Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks. |
DATE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote |
Congruence for SOS with Data. |
LICS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Reza Mousavi, Michel A. Reniers, Twan Basten, Michel R. V. Chaudron |
Separation of Concerns in the Formal Design of Real-Time Shared Data-Space Systems. |
ACSD |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Reza Mousavi, Michel A. Reniers, Twan Basten, Michel R. V. Chaudron |
PARS: A Process Algebra with Resources and Schedulers. |
FORMATS |
2003 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #58 of 58 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")