BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Reniers:Michel_A=

Contributed to:

MoDELS 20152015
TACAS 20142014
LATA 20112011
SLE 20112011
FoSSaCS 20052005
ICALP 20052005
LICS 20042004
SFM-RT 20042004
CASE 20192019

Wrote 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.
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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.