Travelled to:
1 × Czech Republic
1 × France
1 × Ireland
1 × Spain
4 × USA
Collaborated with:
C.André J.DeAntoni J.Suryadevara B.Combemale R.d.Simone M.E.V.Larsen A.Goknil M.Peraldi-Frati C.C.Seceleanu P.Pettersson M.Z.0002 F.Song X.C.0007 F.Lagarde S.Gérard F.Terrier M.V.Larsen O.Barais B.Baudry R.B.France F.Thomas G.Reydet J.Babau C.Mraidha L.Gauthier L.Rioux N.Sordon
Talks about:
time (5) model (4) analysi (3) constraint (2) behavior (2) languag (2) specif (2) execut (2) ccsl (2) multilevel (1)
♂ Person: Frédéric Mallet
DBLP: Mallet:Fr=eacute=d=eacute=ric
Facilitated 3 volumes:
Contributed to:
Wrote 10 papers:
- MoDELS-2015-LarsenDCM #behaviour #coordination
- A Behavioral Coordination Operator Language (BCOoL) (MEVL, JD, BC, FM), pp. 186–195.
- ECSA-2013-GoknilSPM #analysis #constraints #modelling
- Analysis Support for TADL2 Timing Constraints on EAST-ADL Models (AG, JS, MAPF, FM), pp. 89–105.
- SEFM-2013-SuryadevaraSMP #behaviour #using #verification
- Verifying MARTE/CCSL Mode Behaviors Using UPPAAL (JS, CCS, FM, PP), pp. 1–15.
- SLE-2013-CombemaleDLMBBF #concurrent #execution #metamodelling
- Reifying Concurrency for Executable Metamodeling (BC, JD, MVL, FM, OB, BB, RBF), pp. 365–384.
- TOOLS-EUROPE-2012-DeAntoniM #logic #modelling #named
- TimeSquare: Treat Your Models with Logical Time (JD, FM), pp. 34–41.
- FSE-2010-DeAntoniMTRBMGRS #execution #named
- RT-simex: retro-analysis of execution traces (JD, FM, FT, GR, JPB, CM, LG, LR, NS), pp. 377–378.
- LCTES-2009-AndreM #requirements #specification #verification
- Specification and verification of time requirements with CCSL and Esterel (CA, FM), pp. 167–176.
- SLE-2009-MalletLAGT #automation #domain model #implementation #modelling #multi #process
- An Automated Process for Implementing Multilevel Domain Models (FM, FL, CA, SG, FT), pp. 314–333.
- MoDELS-2007-AndreMS #modelling
- Modeling Time(s) (CA, FM, RdS), pp. 559–573.
- FASE-2019-ZhangSMC #analysis #bound #constraints #scheduling #smt #specification
- SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language (MZ0, FS, FM, XC0), pp. 61–78.