| 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 | Jeroen Keiren, Michel A. Reniers, Tim A. C. Willemse |
Structural Analysis of Boolean Equation Systems. |
ACM Trans. Comput. Log. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sjoerd Cranen, Jan Friso Groote, Michel A. Reniers |
A linear translation from CTL* to the first-order modal μ -calculus. |
Theor. Comput. Sci. |
2011 |
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 | Michel A. Reniers, Pawel Sobocinski (eds.) |
Proceedings Eight Workshop on Structural Operational Semantics 2011 |
SOS |
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 | Frank P. M. Stappers, Michel A. Reniers, Sven Weber |
Transforming SOS Specifications to Linear Processes. |
FMICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank P. M. Stappers, Sven Weber, Michel A. Reniers, Suzana Andova, Istvan Nagy |
Formalizing a Domain Specific Language Using SOS: An Industrial Case Study. |
SLE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michel A. Reniers, Tim A. C. Willemse |
Folk Theorems on the Correspondence between State-Based and Event-Based Systems. |
SOFSEM |
2011 |
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 | Michel A. Reniers, Tim A. C. Willemse |
Folk Theorems on the Correspondence between State-Based and Event-Based Systems |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Jeroen Keiren, Michel A. Reniers, Tim A. C. Willemse |
Structural Analysis of Boolean Equation Systems |
CoRR |
2010 |
DBLP 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 | 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 | Frank P. M. Stappers, Michel A. Reniers |
Verification of safety requirements for program code using data abstraction. |
ECEASST |
2009 |
DBLP 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 | Muck van Weerdenburg, Michel A. Reniers |
Structural Operational Semantics with First-Order Logic. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michel A. Reniers, Tim A. C. Willemse |
Analysis of Boolean Equation Systems through Structure Graphs |
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 | Frank P. M. Stappers, Michel A. Reniers, Jan Friso Groote |
Suitability of mCRL2 for Concurrent-System Design: A 2 × 2 Switch Case Study. |
FMCO |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jos C. M. Baeten, Dirk A. van Beek, Pieter J. L. Cuijpers, Michel A. Reniers, J. E. Rooda, Ramon R. H. Schiffelers, Rolf J. M. Theunissen |
Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi. |
Electr. Notes Theor. Comput. Sci. |
2008 |
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 | Jan Friso Groote, Michel A. Reniers, Yaroslav S. Usenko |
Verification of networks of timed automata using mCRL2. |
IPDPS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Pieter J. L. Cuijpers, Michel A. Reniers |
Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jos C. M. Baeten, Michel A. Reniers |
Duplication of constants in process algebra. |
J. Log. Algebr. Program. |
2007 |
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 | D. A. van Beek, J. E. Rooda, Ramon R. H. Schiffelers, Ka L. Man, Michel A. Reniers |
Relating Hybrid Chi to Other Formalisms. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Kais Klai, Laure Petrucci, Michel A. Reniers |
An Incremental and Modular Technique for Checking LTL\X Properties of Petri Nets. |
FORTE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Michel A. Reniers, Muck van Weerdenburg |
Action Abstraction in Timed Process Algebra. |
FSEN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | D. A. van Beek, Michel A. Reniers, Ramon R. H. Schiffelers, J. E. Rooda |
Foundations of a Compositional Interchange Format for Hybrid Systems. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | D. A. van Beek, Ka L. Man, Michel A. Reniers, J. E. Rooda, Ramon R. H. Schiffelers |
Syntax and consistent equation semantics of hybrid Chi. |
J. Log. Algebr. Program. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | P. C. W. den Brand van, Michel A. Reniers, Pieter J. L. Cuijpers |
Linearization of hybrid processes. |
J. Log. Algebr. Program. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Pieter J. L. Cuijpers, Michel A. Reniers |
Topological Aspects of Hybrid Processes: A Proposed Treatment Using Non-standard Analysis. |
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 | Jan Friso Groote, Michel A. Reniers, Yaroslav S. Usenko |
Discretization of Timed Automata in Timed mu. |
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 | Jan Friso Groote, Michel A. Reniers, Yaroslav S. Usenko |
Time abstraction in timed /spl mu/CRL a la regions. |
IPDPS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Friso Groote, Aad Mathijssen, Michel A. Reniers, Yaroslav S. Usenko, Muck van Weerdenburg |
The Formal Specification Language mCRL2. |
MMOSS |
2006 |
DBLP 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 | Pieter J. L. Cuijpers, Michel A. Reniers |
Hybrid process algebra. |
J. Log. Algebr. Program. |
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 | Ka L. Man, Michel A. Reniers, Pieter J. L. Cuijpers |
Case Studies in The Hybrid Process Algebra Hypa. |
International Journal of Software Engineering and Knowledge Engineering |
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 | Michel A. Reniers, Yaroslav S. Usenko |
Analysis of Timed Processes with Data Using Algebraic Transformations. |
TIME |
2005 |
DBLP DOI BibTeX RDF |
|
| 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 | 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 | Pieter J. L. Cuijpers, Michel A. Reniers |
Topological (Bi-)Simulation. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Wan Fokkink, Jan Friso Groote, Michel A. Reniers |
Process Algebra Needs Proof Methodology (Columns: Concurrency). |
Bulletin of the EATCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Jos C. M. Baeten, Michel A. Reniers |
Timed Process Algebra (With a Focus on Explicit Termination and Relative-Timing). |
SFM |
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 | J. J. T. Kleijn, Michel A. Reniers, J. E. Rooda |
Analysis of an Industrial System. |
Formal Methods in System Design |
2003 |
DBLP DOI BibTeX RDF |
verification, formal methods, process algebra, industrial systems |
| 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 | Ramon R. H. Schiffelers, D. A. van Beek, Ka L. Man, Michel A. Reniers, J. E. Rooda |
Formal Semantics of Hybrid Chi. |
FORMATS |
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 |
|
| 1 | D. A. van Beek, Niek G. Jansen, J. E. Rooda, Ramon R. H. Schiffelers, Ka L. Man, Michel A. Reniers |
Hybrid dynamic systems: relating Chi to hybrid automata. |
Winter Simulation Conference |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | André Engels, Sjouke Mauw, Michel A. Reniers |
A hierarchy of communication models for Message Sequence Charts. |
Sci. Comput. Program. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Michel A. Reniers, Jan Friso Groote, Mark van der Zwaag, Jos van Wamel |
Completeness of Timed mCRL. |
Fundam. Inform. |
2002 |
DBLP BibTeX RDF |
|
| 1 | Jos C. M. Baeten, Jan A. Bergstra, Michel A. Reniers |
Discrete time process algebra with silent step. |
Proof, Language, and Interaction |
2000 |
DBLP BibTeX RDF |
|
| 1 | Sjouke Mauw, Michel A. Reniers |
Operational Semantics for MSC'96. |
Computer Networks |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | J. J. T. Kleijn, J. E. Rooda, Michel A. Reniers |
A Process Algebra Based Verification of a Production System. (PDF / PS) |
ICFEM |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | S. H. J. Bos, Michel A. Reniers |
The I²C-Bus in Discrete-Time Process Algebra. |
Sci. Comput. Program. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Loe M. G. Feijs, Michel A. Reniers |
Lazy Functional Programs in a Concurrent Environment. |
Comput. J. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | André Engels, Sjouke Mauw, Michel A. Reniers |
A Hierarchy of Communication Models for Message Sequence Charts. |
FORTE |
1997 |
DBLP BibTeX RDF |
|
| 1 | Sjouke Mauw, Michel A. Reniers |
High-level message sequence charts. |
SDL Forum |
1997 |
DBLP BibTeX RDF |
|
| 1 | Sjouke Mauw, Michel A. Reniers |
Refinement in Interworkings. |
CONCUR |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Sjouke Mauw, Michel A. Reniers |
An Algebraic Semantics of Basic Message Sequence Charts. |
Comput. J. |
1994 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")