Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Michel A. Reniers
2010 – today
- 2013
[j36]Jasen Markovski, E. S. Estens Musa, Michel A. Reniers: Extending a Synthesis-Centric Model-Based Systems Engineering Framework with Stochastic Model Checking. Electr. Notes Theor. Comput. Sci. 296: 163-181 (2013)- [c39]Luca Aceto, Eugen-Ioan Goriac, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers: Exploiting Algebraic Laws to Improve Mechanized Axiomatizations. CALCO 2013: 36-50
- 2012
- [j35]Matteo Cimini, Mohammad Reza Mousavi, Michel A. Reniers, Murdoch James Gabbay: Nominal SOS. Electr. Notes Theor. Comput. Sci. 286: 103-116 (2012)
- [j34]Luca Aceto, Arnar Birgisson, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers: Rule formats for determinism and idempotence. Sci. Comput. Program. 77(7-8): 889-907 (2012)
- [j33]Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers: Rule formats for distributivity. Theor. Comput. Sci. 458: 1-28 (2012)
- [j32]Jeroen Keiren, Michel A. Reniers, Tim A. C. Willemse: Structural Analysis of Boolean Equation Systems. ACM Trans. Comput. Log. 13(1): 8 (2012)
- [c38]
- [c37]Jasen Markovski, Michel A. Reniers: An integrated state- and event-based framework for verifying liveness in supervised systems. ICARCV 2012: 246-251
- [c36]Frank P. M. Stappers, Michel A. Reniers, Sven Weber, Jan Friso Groote: Dogfooding the Formal Semantics of mCRL2. SEW 2012: 90-99
- [e2]Bas Luttik, Michel A. Reniers (Eds.): Proceedings Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structured Operational Semantics. EPTCS 89, 2012
- 2011
- [j31]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. 412(28): 3045-3071 (2011)
- [j30]Sjoerd Cranen, Jan Friso Groote, Michel A. Reniers: A linear translation from CTL* to the first-order modal μ -calculus. Theor. Comput. Sci. 412(28): 3129-3139 (2011)
- [c35]Frank P. M. Stappers, Michel A. Reniers, Sven Weber: Transforming SOS Specifications to Linear Processes. FMICS 2011: 196-211
- [c34]Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers: Rule Formats for Distributivity. LATA 2011: 80-91
- [c33]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: 223-242
- [c32]Michel A. Reniers, Tim A. C. Willemse: Folk Theorems on the Correspondence between State-Based and Event-Based Systems. SOFSEM 2011: 494-505
- [e1]Michel A. Reniers, Pawel Sobocinski (Eds.): Proceedings Eight Workshop on Structural Operational Semantics 2011. EPTCS 62, 2011
- 2010
- [j29]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. 265: 145-160 (2010)
- [c31]Luca Aceto, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers: A Rule Format for Unit Elements. SOFSEM 2010: 141-152
- [c30]Peter D. Mosses, Mohammad Reza Mousavi, Michel A. Reniers: Robustness of Equations Under Operational Extensions. EXPRESS'10 2010: 106-120
- [i2]Jeroen Keiren, Michel A. Reniers, Tim A. C. Willemse: Structural Analysis of Boolean Equation Systems. CoRR abs/1002.3222 (2010)
- [i1]Michel A. Reniers, Tim A. C. Willemse: Folk Theorems on the Correspondence between State-Based and Event-Based Systems. CoRR abs/1011.0136 (2010)
2000 – 2009
- 2009
- [j28]Frank P. M. Stappers, Michel A. Reniers: Verification of safety requirements for program code using data abstraction. ECEASST 23 (2009)
- [j27]Muck van Weerdenburg, Michel A. Reniers: Structural Operational Semantics with First-Order Logic. Electr. Notes Theor. Comput. Sci. 229(4): 85-106 (2009)
- [j26]Mohammad Reza Mousavi, Iain Phillips, Michel A. Reniers, Irek Ulidowski: Semantics and expressiveness of ordered SOS. Inf. Comput. 207(2): 85-119 (2009)
- [c29]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: 166-185
- [c28]Luca Aceto, Arnar Birgisson, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers: Rule Formats for Determinism and Idempotence. FSEN 2009: 146-161
- [c27]Michel A. Reniers, Tim A. C. Willemse: Analysis of Boolean Equation Systems through Structure Graphs. SOS 2009: 92-107
- 2008
- [j25]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. 209: 21-53 (2008)
- [c26]Sjoerd Cranen, Mohammad Reza Mousavi, Michel A. Reniers: A Rule Format for Associativity. CONCUR 2008: 447-461
- [c25]Pieter J. L. Cuijpers, Michel A. Reniers: Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions. HSCC 2008: 116-129
- [c24]Jan Friso Groote, Michel A. Reniers, Yaroslav S. Usenko: Verification of networks of timed automata using mCRL2. IPDPS 2008: 1-8
- 2007
- [j24]Mohammad Reza Mousavi, Michel A. Reniers: On Well-Foundedness and Expressiveness of Promoted Tyft: Being Promoted Makes a Difference. Electr. Notes Theor. Comput. Sci. 175(1): 45-56 (2007)
- [j23]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. 191: 85-113 (2007)
- [j22]Mohammad Reza Mousavi, Michel A. Reniers: A Congruence Rule Format with Universal Quantification. Electr. Notes Theor. Comput. Sci. 192(1): 109-124 (2007)
- [j21]Jos C. M. Baeten, Michel A. Reniers: Duplication of constants in process algebra. J. Log. Algebr. Program. 70(2): 151-171 (2007)
- [j20]Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote: SOS formats and meta-theory: 20 years after. Theor. Comput. Sci. 373(3): 238-272 (2007)
- [c23]Kais Klai, Laure Petrucci, Michel A. Reniers: An Incremental and Modular Technique for Checking LTL\X Properties of Petri Nets. FORTE 2007: 280-295
- [c22]Michel A. Reniers, Muck van Weerdenburg: Action Abstraction in Timed Process Algebra. FSEN 2007: 287-301
- [c21]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: 587-600
- 2006
- [j19]Jan Friso Groote, Mohammad Reza Mousavi, Michel A. Reniers: A Hierarchy of SOS Rule Formats. Electr. Notes Theor. Comput. Sci. 156(1): 3-25 (2006)
- [j18]Mohammad Reza Mousavi, Michel A. Reniers: Prototyping SOS Meta-theory in Maude. Electr. Notes Theor. Comput. Sci. 156(1): 135-150 (2006)
- [j17]Pieter J. L. Cuijpers, Michel A. Reniers: Topological Aspects of Hybrid Processes: A Proposed Treatment Using Non-standard Analysis. Electr. Notes Theor. Comput. Sci. 162: 153-158 (2006)
- [j16]Jan Friso Groote, Michel A. Reniers, Yaroslav S. Usenko: Discretization of Timed Automata in Timed mu. Electr. Notes Theor. Comput. Sci. 162: 197-202 (2006)
- [j15]P. C. W. van den Brand, Michel A. Reniers, Pieter J. L. Cuijpers: Linearization of hybrid processes. J. Log. Algebr. Program. 68(1-2): 54-104 (2006)
- [j14]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. 68(1-2): 129-210 (2006)
- [c20]Jan Friso Groote, Aad Mathijssen, Michel A. Reniers, Yaroslav S. Usenko, Muck van Weerdenburg: The Formal Specification Language mCRL2. MMOSS 2006
- [c19]Mohammad Reza Mousavi, Iain C. C. Phillips, Michel A. Reniers, Irek Ulidowski: The Meaning of Ordered SOS. FSTTCS 2006: 333-344
- [c18]Jan Friso Groote, Michel A. Reniers, Yaroslav S. Usenko: Time abstraction in timed /spl mu/CRL a la regions. IPDPS 2006
- 2005
- [j13]Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote: Notions of bisimulation and congruence formats for SOS with data. Inf. Comput. 200(1): 107-147 (2005)
- [j12]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 15(2): 299-306 (2005)
- [j11]Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote: A syntactic commutativity format for SOS. Inf. Process. Lett. 93(5): 217-223 (2005)
- [j10]Pieter J. L. Cuijpers, Michel A. Reniers: Hybrid process algebra. J. Log. Algebr. Program. 62(2): 191-245 (2005)
- [c17]Jos C. M. Baeten, Mohammad Reza Mousavi, Michel A. Reniers: Timing the Untimed: Terminating Successfully While Being Conservative. Processes, Terms and Cycles 2005: 251-279
- [c16]Mohammad Reza Mousavi, Murdoch Gabbay, Michel A. Reniers: SOS for Higher Order Processes. CONCUR 2005: 308-322
- [c15]Mohammad Reza Mousavi, Michel A. Reniers: Congruence for Structural Congruences. FoSSaCS 2005: 47-62
- [c14]Mohammad Reza Mousavi, Michel A. Reniers: Orthogonal Extensions in Structural Operational Semantics. ICALP 2005: 1214-1225
- [c13]Michel A. Reniers, Yaroslav S. Usenko: Analysis of Timed Processes with Data Using Algebraic Transformations. TIME 2005: 192-194
- 2004
- [j9]Wan Fokkink, Jan Friso Groote, Michel A. Reniers: Process Algebra Needs Proof Methodology (Columns: Concurrency). Bulletin of the EATCS 82: 109-125 (2004)
- [j8]Pieter J. L. Cuijpers, Michel A. Reniers: Topological (Bi-)Simulation. Electr. Notes Theor. Comput. Sci. 100: 49-64 (2004)
- [c12]Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote: Congruence for SOS with Data. LICS 2004: 303-312
- [c11]Jos C. M. Baeten, Michel A. Reniers: Timed Process Algebra (With a Focus on Explicit Termination and Relative-Timing). SFM 2004: 59-97
- 2003
- [j7]J. J. T. Kleijn, Michel A. Reniers, J. E. Rooda: Analysis of an Industrial System. Formal Methods in System Design 22(3): 249-282 (2003)
- [c10]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: 71-81
- [c9]Mohammad Reza Mousavi, Michel A. Reniers, Twan Basten, Michel R. V. Chaudron: PARS: A Process Algebra with Resources and Schedulers. FORMATS 2003: 134-150
- [c8]Ramon R. H. Schiffelers, D. A. van Beek, Ka L. Man, Michel A. Reniers, J. E. Rooda: Formal Semantics of Hybrid Chi. FORMATS 2003: 151-165
- [c7]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: 632-640
- 2002
- [j6]Michel A. Reniers, Jan Friso Groote, Mark van der Zwaag, Jos van Wamel: Completeness of Timed mCRL. Fundam. Inform. 50(3-4): 361-402 (2002)
- [j5]André Engels, Sjouke Mauw, Michel A. Reniers: A hierarchy of communication models for Message Sequence Charts. Sci. Comput. Program. 44(3): 253-292 (2002)
- [c6]Mohammad Reza Mousavi, Giovanni Russello, Michel R. V. Chaudron, Michel A. Reniers, Twan Basten, Angelo Corsaro, Sandeep K. Shukla, Rajesh K. Gupta, Douglas C. Schmidt: Using Aspect-GAMMA in the design of embedded systems. HLDVT 2002: 69-74
- 2000
- [c5]Jos C. M. Baeten, Jan A. Bergstra, Michel A. Reniers: Discrete time process algebra with silent step. Proof, Language, and Interaction 2000: 535-570
1990 – 1999
- 1999
- [j4]Sjouke Mauw, Michel A. Reniers: Operational Semantics for MSC'96. Computer Networks 31(17): 1785-1799 (1999)
- 1998
- [c4]J. J. T. Kleijn, J. E. Rooda, Michel A. Reniers: A Process Algebra Based Verification of a Production System. ICFEM 1998: 90-99
- 1997
- [j3]Loe M. G. Feijs, Michel A. Reniers: Lazy Functional Programs in a Concurrent Environment. Comput. J. 40(9): 572-584 (1997)
- [j2]S. H. J. Bos, Michel A. Reniers: The I²C-Bus in Discrete-Time Process Algebra. Sci. Comput. Program. 29(1-2): 235-258 (1997)
- [c3]André Engels, Sjouke Mauw, Michel A. Reniers: A Hierarchy of Communication Models for Message Sequence Charts. FORTE 1997: 75-90
- [c2]
- 1996
- [c1]
- 1994
- [j1]Sjouke Mauw, Michel A. Reniers: An Algebraic Semantics of Basic Message Sequence Charts. Comput. J. 37(4): 269-278 (1994)
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:22 CEST by the dblp team