Publications » 2015

Journal Articles

1. Mallet, F. and Simone, R. de. 2015. Correctness issues on MARTE/CCSL constraints. Sci. Comput. Program. 106, 78–92. ^DOI

   @article{Mallet2015a,
     author = {Mallet, Fr{\'{e}}d{\'{e}}ric and de Simone, Robert},
     title = {Correctness issues on {MARTE/CCSL} constraints},
     journal = {Sci. Comput. Program.},
     year = {2015},
     volume = {106},
     pages = {78--92},
     doi = {10.1016/j.scico.2015.03.001}
   }
   

2. Glitia, C., DeAntoni, J., Mallet, F., Millo, J.-V., Boulet, P., and Gamatié, A. 2015. Progressive and explicit refinement of scheduling for multidimensional data-flow applications using UML MARTE. Design Autom. for Emb. Sys. 19, 1-2, 1–33. ^DOI

   @article{Glitia2015,
     author = {Glitia, Calin and DeAntoni, Julien and Mallet, Fr{\'{e}}d{\'{e}}ric and Millo, Jean{-}Vivien and Boulet, Pierre and Gamati{\'{e}}, Abdoulaye},
     title = {Progressive and explicit refinement of scheduling for multidimensional data-flow applications using {UML} {MARTE}},
     journal = {Design Autom. for Emb. Sys.},
     year = {2015},
     volume = {19},
     number = {1-2},
     pages = {1--33},
     doi = {10.1007/s10617-014-9140-y}
   }
   

Conference Articles

1. Mallet, F. 2015. MARTE/CCSL for Modeling Cyber-Physical Systems. Formal Modeling and Verification of Cyber-Physical Systems, International Summer School on Methods and Tools for the Design of Digital Systems, Springer, 26–49. ^DOI (invited)

   @inproceedings{Mallet2015,
     author = {Mallet, Fr{\'{e}}d{\'{e}}ric},
     title = {{MARTE/CCSL} for Modeling Cyber-Physical Systems},
     year = {2015},
     pages = {26--49},
     bibsource = {dblp computer science bibliography, http://dblp.org},
     biburl = {http://dblp.uni-trier.de/rec/bib/conf/syde/Mallet15},
     comment = {invited},
     doi = {10.1007/978-3-658-09994-7_2},
     booktitle = {Formal Modeling and Verification of Cyber-Physical Systems, International Summer School on Methods and Tools for the Design of Digital Systems},
     editor = {Drechsler, Rolf and K{\"{u}}hne, Ulrich},
     publisher = {Springer},
     month = sep,
     isbn = {978-3-658-09993-0},
     location = {Bremen, Germany}
   }
   

2. Larsen, M.E.V., DeAntoni, J., Combemale Benoı̂t, and Mallet, F. 2015. A Behavioral Coordination Operator Language (BCOoL). ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MoDELS’15), 186–195. ^DOI

   @inproceedings{LarsenDCM15,
     author = {Larsen, Matias Ezequiel Vara and DeAntoni, Julien and Combemale, Beno{\^{\i}}t and Mallet, Fr{\'{e}}d{\'{e}}ric},
     title = {A Behavioral Coordination Operator Language (BCOoL)},
     booktitle = {{ACM/IEEE} International Conference on Model Driven Engineering Languages and Systems (MoDELS'15)},
     year = {2015},
     pages = {186--195},
     month = sep,
     doi = {10.1109/MODELS.2015.7338249},
     location = {Ottawa, ON, Canada}
   }
   

3. Zhang, M. and Mallet, F. 2015. An Executable Semantics of Clock Constraint Specification Language and Its Applications. International Workshop Formal Techniques for Safety-Critical Systems (FTSCS’15), 37–51. ^DOI

   @inproceedings{ZhangM15,
     author = {Zhang, Min and Mallet, Fr{\'{e}}d{\'{e}}ric},
     title = {An Executable Semantics of Clock Constraint Specification Language and Its Applications},
     booktitle = {International Workshop Formal Techniques for Safety-Critical Systems (FTSCS'15)},
     year = {2015},
     pages = {37--51},
     month = nov,
     note = {Revised Selected Papers},
     doi = {10.1007/978-3-319-29510-7_2},
     location = {Paris, France}
   }
   

Unpublished

1. Larsen, M.E.V., DeAntoni, J., Combemale Benoı̂t, and Mallet, F. 2015. A Model-Driven Based Environment for Automatic Model Coordination. 1554, 44–47. http://ceur-ws.org/Vol-1554/PD_MoDELS_2015_paper_14.pdf. ^URL

   @unpublished{Larsen2015,
     author = {Larsen, Matias Ezequiel Vara and DeAntoni, Julien and Combemale, Beno{\^{\i}}t and Mallet, Fr{\'{e}}d{\'{e}}ric},
     title = {A Model-Driven Based Environment for Automatic Model Coordination},
     note = {Demo and Poster Session, Models 2015},
     month = sep,
     year = {2015},
     location = {Ottawa, Canada},
     pages = {44--47},
     timestamp = {Mon, 30 May 2016 16:28:38 +0200},
     url = {http://ceur-ws.org/Vol-1554/PD_MoDELS_2015_paper_14.pdf},
     editor = {Kulkarni, Vinay and Badreddin, Omar},
     volume = {1554},
     series = {{CEUR} Workshop Proceedings},
     publisher = {CEUR-WS.org}
   }