Travelled to:1 × Finland
1 × France
1 × Italy
1 × Spain
1 × United Kingdom
2 × Portugal
Collaborated with:M.R.Mousavi J.C.M.Baeten R.R.H.Schiffelers J.M.v.d.Mortel-Fronczak J.F.Groote Aida Rashidinejad M.Fabian L.Aceto M.Cimini A.Ingólfsdóttir F.P.M.Stappers S.Weber S.Andova I.Nagy F. F. H. Reijnen A.T.Hofkamp Jacobus E. Rooda Sander Thuijsman Dennis Hendriks Rolf J. M. Theunissen B.v.d.Sanden M.Geilen T.Basten J.Jacobs J.Voeten D.A.v.Beek W.Fokkink D.Hendriks A.Hofkamp J.Markovski
Talks about:supervisori (4) control (4) base (4) congruenc (3) structur (2) model (2) finit (2) time (2) sos (2) lithographi (1)
Person: Michel A. Reniers
DBLP: Reniers:Michel_A=
Contributed to:
2015
2014
2011
2011
2005
2005
2004
2004
2019Wrote 11 papers:
- MoDELS-2015-SandenRGBJVS #composition #design #modelling
- Modular model-based supervisory controller design for wafer logistics in lithography machines (BvdS, MAR, MG, TB, JJ, JV, RRHS), pp. 416–425.
- TACAS-2014-BeekFHHMMR #modelling
- CIF 3: Model-Based Engineering of Supervisory Controllers (DAvB, WF, DH, AH, JM, JMvdMF, MAR), pp. 575–580.
- LATA-2011-AcetoCIMR
- Rule Formats for Distributivity (LA, MC, AI, MRM, MAR), pp. 80–91.
- SLE-2011-StappersWRAN #case study #domain-specific language #formal method #industrial #using
- Formalizing a Domain Specific Language Using SOS: An Industrial Case Study (FPMS, SW, MAR, SA, IN), pp. 223–242.
- FoSSaCS-2005-MousaviR #congruence
- Congruence for Structural Congruences (MRM, MAR), pp. 47–62.
- ICALP-2005-MousaviR #orthogonal #semantics
- Orthogonal Extensions in Structural Operational Semantics (MRM, MAR), pp. 1214–1225.
- LICS-2004-MousaviRG #congruence
- Congruence for SOS with Data (MRM, MAR, JFG), pp. 303–312.
- SFM-2004-BaetenR #algebra #process #termination
- Timed Process Algebra (With a Focus on Explicit Termination and Relative-Timing) (JCMB, MAR), pp. 59–97.
- CASE-2019-RashidinejadRF
- Supervisory Control of Discrete-Event Systems in an Asynchronous Setting (AR, MAR, MF), pp. 494–501.
- CASE-2019-ReijnenHMRR #confluence #finite
- Finite Response and Confluence of State-based Supervisory Controllers (FFHR, ATH, JMvdMF, MAR, JER), pp. 509–516.
- CASE-2019-ThuijsmanHTRS #automaton #finite #synthesis
- Computational Effort of BDD-based Supervisor Synthesis of Extended Finite Automata (ST, DH, RJMT, MAR, RRHS), pp. 486–493.