Travelled to:1 × Cyprus
Collaborated with:M.v.d.Brand A.P.v.d.Meer A.Serebrenik F. F. H. Reijnen J.M.v.d.Mortel-Fronczak M.A.Reniers Jacobus E. Rooda
Talks about:supervisori (1) confluenc (1) specifi (1) respons (1) languag (1) control (1) checker (1) specif (1) report (1) formal (1)
Person: Albert T. Hofkamp
DBLP: Hofkamp:Albert_T=
Contributed to:
2010
2019Wrote 2 papers:
- LDTA-2010-BrandMSH #case study #domain-specific language #experience
- Formally specified type checkers for domain specific languages: experience report (MvdB, APvdM, AS, ATH), p. 12.
- CASE-2019-ReijnenHMRR #confluence #finite
- Finite Response and Confluence of State-based Supervisory Controllers (FFHR, ATH, JMvdMF, MAR, JER), pp. 509–516.