Travelled to:1 × New Zealand
1 × USA
2 × France
Collaborated with:M.D.D.Fabro P.Albert D.D.Q.Santos M.Iraqi-Houssaini L.Roucoules J.Bézivin
Talks about:search (2) model (2) base (2) constraint (1) transform (1) platform (1) product (1) languag (1) control (1) mechan (1)
Person: Mathias Kleiner
DBLP: Kleiner:Mathias
Contributed to:
2013
201120102009Wrote 4 papers:
- ECMFA-2013-KleinerFS
- Transformation as Search (MK, MDDF, DDQS), pp. 54–69.
- MoDELS-2011-Iraqi-HoussainiKR #design #modelling
- Model-Based (Mechanical) Product Design (MIH, MK, LR), pp. 548–562.
- ECMFA-2010-KleinerFA #automation #constraints #formal method #platform #theorem proving
- Model Search: Formalizing and Automating Constraint Solving in MDE Platforms (MK, MDDF, PA), pp. 173–188.
- MoDELS-2009-KleinerAB #parsing
- Parsing SBVR-Based Controlled Languages (MK, PA, JB), pp. 122–136.