BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Mallet:Fr=eacute=d=eacute=ric

Facilitated 3 volumes:

MoDELS 2015PrCo
MoDELS 2014PrCo

Contributed to:

MoDELS 20152015
ECSA 20132013
SEFM 20132013
SLE 20132013
TOOLS Europe 20122012
FSE 20102010
LCTES 20092009
SLE 20092009
MoDELS 20072007
FASE 20192019

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.

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.