Travelled to:1 × Denmark
1 × Italy
1 × Poland
Collaborated with:F.Jouault C.Lelionnais J.Delatour O.H.Roux C.Seidner O.Beaudoux M.Clavreul G.Savaton V.Besnard C.Teodorov P.Dhaussy
Talks about:model (3) transform (1) function (1) behavior (1) toward (1) system (1) formal (1) execut (1) verif (1) unifi (1)
Person: Matthias Brun
DBLP: Brun:Matthias
Contributed to:
2012
2015
2018Wrote 3 papers:
- ICEIS-v2-2012-LelionnaisBDRS #behaviour #modelling #operating system #realtime
- Formal Behavioral Modeling of Real-time Operating Systems (CL, MB, JD, OHR, CS), pp. 407–414.
- ICMT-2015-JouaultBBCS #functional #model transformation #ocl #towards
- Towards Functional Model Transformations with OCL (FJ, OB, MB, MC, GS), pp. 111–120.
- MoDELS-2018-BesnardBJTD #embedded #execution #ltl #modelling #uml #verification
- Unified LTL Verification and Embedded Execution of UML Models (VB, MB, FJ, CT, PD), pp. 112–122.