Travelled to:1 × Austria
1 × Denmark
1 × Estonia
1 × France
1 × Italy
1 × Spain
2 × USA
Collaborated with:X.Crégut N.Ge M.Kezadri B.Combemale A.Dieumegard A.Toom F.Zalila J.Bach P.Moreau M.Giorgino M.Strecker R.Matthes F.Latombe J.DeAntoni R.Faudoux J.Pavei
Talks about:verif (4) model (3) approach (2) languag (2) specif (2) time (2) transform (1) technolog (1) framework (1) algorithm (1)
♂ Person: Marc Pantel
DBLP: Pantel:Marc
Facilitated 6 volumes:
PrCoPrCoPrCo
PrCoPrCoPrCoContributed to:
2015
2014
2013
201220122010
2010
2010Wrote 8 papers:
- SLE-2015-LatombeCCDP #concurrent #domain-specific language #execution #modelling #weaving
- Weaving concurrency in executable domain-specific modeling languages (FL, XC, BC, JD, MP), pp. 125–136.
- SPLC-2014-DieumegardTP #approach #data flow #library #product line #semantics #specification
- A software product line approach for semantic specification of block libraries in dataflow languages (AD, AT, MP), pp. 217–226.
- MoDELS-2013-ZalilaCP #approach #domain-specific language #integration #verification
- Formal Verification Integration Approach for DSML (FZ, XC, MP), pp. 336–351.
- ECMFA-2012-GeP #framework #realtime #safety #uml #verification
- Time Properties Verification Framework for UML-MARTE Safety Critical Real-Time Systems (NG, MP), pp. 352–367.
- LDTA-2012-BachCMP #model transformation
- Model transformations with Tom (JCB, XC, PEM, MP), p. 4.
- ECMFA-2010-CregutCPFP #animation #framework #generative #platform
- Generative Technologies for Model Animation in the TopCased Platform (XC, BC, MP, RF, JP), pp. 90–103.
- KEOD-2010-KezadriP #ontology #towards #validation #verification
- First Steps Toward a Verification and Validation Ontology (MK, MP), pp. 440–444.
- LOPSTR-2010-GiorginoSMP #algorithm #graph #verification
- Verification of the Schorr-Waite Algorithm — From Trees to Graphs (MG, MS, RM, MP), pp. 67–83.