The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Michel A. Reniers: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  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. [Citation Graph (0, 0)][DBLP]
    ACSD, 2003, pp:71-81 [Conf]
  2. Jos C. M. Baeten, Mohammad Reza Mousavi, Michel A. Reniers
    Timing the Untimed: Terminating Successfully While Being Conservative. [Citation Graph (0, 0)][DBLP]
    Processes, Terms and Cycles, 2005, pp:251-279 [Conf]
  3. Sjouke Mauw, Michel A. Reniers
    Refinement in Interworkings. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1996, pp:671-686 [Conf]
  4. Mohammad Reza Mousavi, Murdoch Gabbay, Michel A. Reniers
    SOS for Higher Order Processes. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2005, pp:308-322 [Conf]
  5. Ramon R. H. Schiffelers, D. A. van Beek, Ka L. Man, Michel A. Reniers, J. E. Rooda
    Formal Semantics of Hybrid Chi. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2003, pp:151-165 [Conf]
  6. Mohammad Reza Mousavi, Michel A. Reniers, Twan Basten, Michel R. V. Chaudron
    PARS: A Process Algebra with Resources and Schedulers. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2003, pp:134-150 [Conf]
  7. André Engels, Sjouke Mauw, Michel A. Reniers
    A Hierarchy of Communication Models for Message Sequence Charts. [Citation Graph (0, 0)][DBLP]
    FORTE, 1997, pp:75-90 [Conf]
  8. Mohammad Reza Mousavi, Michel A. Reniers
    Congruence for Structural Congruences. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2005, pp:47-62 [Conf]
  9. Mohammad Reza Mousavi, Iain Phillips, Michel A. Reniers, Irek Ulidowski
    The Meaning of Ordered SOS. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2006, pp:333-344 [Conf]
  10. D. A. van Beek, Michel A. Reniers, Ramon R. H. Schiffelers, J. E. Rooda
    Foundations of a Compositional Interchange Format for Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2007, pp:587-600 [Conf]
  11. Mohammad Reza Mousavi, Michel A. Reniers
    Orthogonal Extensions in Structural Operational Semantics. [Citation Graph (0, 0)][DBLP]
    ICALP, 2005, pp:1214-1225 [Conf]
  12. J. J. T. Kleijn, J. E. Rooda, Michel A. Reniers
    A Process Algebra Based Verification of a Production System. [Citation Graph (0, 0)][DBLP]
    ICFEM, 1998, pp:90-99 [Conf]
  13. Jan Friso Groote, Michel A. Reniers, Yaroslav S. Usenko
    Time abstraction in timed /spl mu/CRL a la regions. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2006, pp:- [Conf]
  14. Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote
    Congruence for SOS with Data. [Citation Graph (0, 0)][DBLP]
    LICS, 2004, pp:303-312 [Conf]
  15. Sjouke Mauw, Michel A. Reniers
    High-level message sequence charts. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 1997, pp:291-306 [Conf]
  16. Jos C. M. Baeten, Michel A. Reniers
    Timed Process Algebra (With a Focus on Explicit Termination and Relative-Timing). [Citation Graph (0, 0)][DBLP]
    SFM, 2004, pp:59-97 [Conf]
  17. Michel A. Reniers, Yaroslav S. Usenko
    Analysis of Timed Processes with Data Using Algebraic Transformations. [Citation Graph (0, 0)][DBLP]
    TIME, 2005, pp:192-194 [Conf]
  18. 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. [Citation Graph (0, 0)][DBLP]
    Winter Simulation Conference, 2003, pp:632-640 [Conf]
  19. Loe M. G. Feijs, Michel A. Reniers
    Lazy Functional Programs in a Concurrent Environment. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1997, v:40, n:9, pp:572-584 [Journal]
  20. Sjouke Mauw, Michel A. Reniers
    An Algebraic Semantics of Basic Message Sequence Charts. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1994, v:37, n:4, pp:269-278 [Journal]
  21. Sjouke Mauw, Michel A. Reniers
    Operational Semantics for MSC'96. [Citation Graph (0, 0)][DBLP]
    Computer Networks, 1999, v:31, n:17, pp:1785-1799 [Journal]
  22. Wan Fokkink, Jan Friso Groote, Michel Reners
    Process Algebra Needs Proof Methodology (Columns: Concurrency). [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 2004, v:82, n:, pp:109-125 [Journal]
  23. Pieter J. L. Cuijpers, Michel A. Reniers
    Topological (Bi-)Simulation. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:100, n:, pp:49-64 [Journal]
  24. Jan Friso Groote, Mohammad Reza Mousavi, Michel A. Reniers
    A Hierarchy of SOS Rule Formats. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:156, n:1, pp:3-25 [Journal]
  25. Mohammad Reza Mousavi, Michel A. Reniers
    Prototyping SOS Meta-theory in Maude. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:156, n:1, pp:135-150 [Journal]
  26. Jan Friso Groote, Michel A. Reniers, Yaroslav S. Usenko
    Discretization of Timed Automata in Timed mu. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:162, n:, pp:197-202 [Journal]
  27. Pieter J. L. Cuijpers, Michel A. Reniers
    Topological Aspects of Hybrid Processes: A Proposed Treatment Using Non-standard Analysis. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:162, n:, pp:153-158 [Journal]
  28. Mohammad Reza Mousavi, Michel A. Reniers
    On Well-Foundedness and Expressiveness of Promoted Tyft: Being Promoted Makes a Difference. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:175, n:1, pp:45-56 [Journal]
  29. J. J. T. Kleijn, Michel A. Reniers, J. E. Rooda
    Analysis of an Industrial System. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2003, v:22, n:3, pp:249-282 [Journal]
  30. Michel A. Reniers, Jan Friso Groote, Mark van der Zwaag, Jos van Wamel
    Completeness of Timed mCRL. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2002, v:50, n:3-4, pp:361-402 [Journal]
  31. Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote
    Notions of bisimulation and congruence formats for SOS with data. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2005, v:200, n:1, pp:107-147 [Journal]
  32. Ka L. Man, Michel A. Reniers, Pieter J. L. Cuijpers
    Case Studies in The Hybrid Process Algebra Hypa. [Citation Graph (0, 0)][DBLP]
    International Journal of Software Engineering and Knowledge Engineering, 2005, v:15, n:2, pp:299-306 [Journal]
  33. Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote
    A syntactic commutativity format for SOS. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2005, v:93, n:5, pp:217-223 [Journal]
  34. 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. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2006, v:68, n:1-2, pp:129-210 [Journal]
  35. Pieter J. L. Cuijpers, Michel A. Reniers
    Hybrid process algebra. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2005, v:62, n:2, pp:191-245 [Journal]
  36. P. C. W. den Brand van, Michel A. Reniers, Pieter J. L. Cuijpers
    Linearization of hybrid processes. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2006, v:68, n:1-2, pp:54-104 [Journal]
  37. S. H. J. Bos, Michel A. Reniers
    The I²C-Bus in Discrete-Time Process Algebra. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1997, v:29, n:1-2, pp:235-258 [Journal]
  38. André Engels, Sjouke Mauw, Michel A. Reniers
    A hierarchy of communication models for Message Sequence Charts. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2002, v:44, n:3, pp:253-292 [Journal]
  39. Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote
    SOS formats and meta-theory: 20 years after. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2007, v:373, n:3, pp:238-272 [Journal]
  40. Kais Klai, Laure Petrucci, Michel Reniers
    An Incremental and Modular Technique for Checking LTL\X Properties of Petri Nets. [Citation Graph (0, 0)][DBLP]
    FORTE, 2007, pp:280-295 [Conf]
  41. Michel A. Reniers, Muck van Weerdenburg
    Action Abstraction in Timed Process Algebra. [Citation Graph (0, 0)][DBLP]
    FSEN, 2007, pp:287-301 [Conf]
  42. Jos C. M. Baeten, Michel A. Reniers
    Duplication of constants in process algebra. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2007, v:70, n:2, pp:151-171 [Journal]

  43. Discrete time process algebra with silent step. [Citation Graph (, )][DBLP]


  44. A Rule Format for Associativity. [Citation Graph (, )][DBLP]


  45. The Formal Specification Language mCRL2. [Citation Graph (, )][DBLP]


  46. Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions. [Citation Graph (, )][DBLP]


  47. Verification of networks of timed automata using mCRL2. [Citation Graph (, )][DBLP]


  48. A Rule Format for Unit Elements. [Citation Graph (, )][DBLP]


  49. Rule Formats for Determinism and Idempotence. [Citation Graph (, )][DBLP]


  50. Analysis of Boolean Equation Systems through Structure Graphs [Citation Graph (, )][DBLP]


  51. Structural Analysis of Boolean Equation Systems [Citation Graph (, )][DBLP]


  52. Relating Hybrid Chi to Other Formalisms. [Citation Graph (, )][DBLP]


  53. A Congruence Rule Format with Universal Quantification. [Citation Graph (, )][DBLP]


  54. Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi. [Citation Graph (, )][DBLP]


  55. Structural Operational Semantics with First-Order Logic. [Citation Graph (, )][DBLP]


Search in 0.511secs, Finished in 0.513secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002