% Encoding: UTF-8

@InProceedings{Mallet2015,
  author    = {Fr{\'{e}}d{\'{e}}ric Mallet},
  title     = {{MARTE/CCSL} for Modeling Cyber-Physical Systems},
  booktitle = {SyDE},
  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},
  crossref  = {DBLP:conf/syde/2015},
  doi       = {10.1007/978-3-658-09994-7_2},
  timestamp = {Mon, 08 Jun 2015 17:42:16 +0200},
  url       = {http://dx.doi.org/10.1007/978-3-658-09994-7_2},
}

@Unpublished{Larsen2015,
  author    = {Matias Ezequiel Vara Larsen and Julien DeAntoni and Beno{\^{\i}}t Combemale and Fr{\'{e}}d{\'{e}}ric Mallet},
  title     = {A Model-Driven Based Environment for Automatic Model Coordination},
  note      = {Demo and Poster Session, Models 2015},
  month     = {9},
  year      = {2015},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/models/LarsenDCM15a},
  crossref  = {DBLP:conf/models/2015pd},
  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},
}

@InProceedings{LarsenDCM15,
  author    = {Matias Ezequiel Vara Larsen and Julien DeAntoni and Beno{\^{\i}}t Combemale and Fr{\'{e}}d{\'{e}}ric Mallet},
  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     = {9},
  doi       = {10.1109/MODELS.2015.7338249},
  location  = {Ottawa, ON, Canada},
  owner     = {fmallet},
  timestamp = {Wed, 02 Dec 2015 16:21:58 +0100},
}

@InProceedings{ZhangM15,
  author    = {Min Zhang and Fr{\'{e}}d{\'{e}}ric Mallet},
  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     = {11},
  note      = {Revised Selected Papers},
  doi       = {10.1007/978-3-319-29510-7_2},
  location  = {Paris, France},
  owner     = {fmallet},
  timestamp = {Fri, 05 Feb 2016 13:01:50 +0100},
}

@Proceedings{DBLP:conf/syde/2015,
  title     = {Formal Modeling and Verification of Cyber-Physical Systems, International Summer School on Methods and Tools for the Design of Digital Systems},
  year      = {2015},
  editor    = {Rolf Drechsler and Ulrich K{\"{u}}hne},
  publisher = {Springer},
  month     = {9},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/syde/2015},
  doi       = {10.1007/978-3-658-09994-7},
  isbn      = {978-3-658-09993-0},
  location  = {Bremen, Germany},
  timestamp = {Mon, 08 Jun 2015 17:42:16 +0200},
  url       = {http://dx.doi.org/10.1007/978-3-658-09994-7},
}

@Proceedings{DBLP:conf/models/2015pd,
  title     = {Proceedings of the MoDELS 2015 Demo and Poster Session co-located with {ACM/IEEE} 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), Ottawa, Canada, September 27, 2015},
  year      = {2016},
  editor    = {Vinay Kulkarni and Omar Badreddin},
  volume    = {1554},
  series    = {{CEUR} Workshop Proceedings},
  publisher = {CEUR-WS.org},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/models/2015pd},
  timestamp = {Mon, 30 May 2016 16:28:38 +0200},
  url       = {http://ceur-ws.org/Vol-1554},
  urn       = {urn:nbn:de:0074-1554-7},
}

@Article{Mallet2015a,
  author    = {Fr{\'{e}}d{\'{e}}ric Mallet and Robert de Simone},
  title     = {Correctness issues on {MARTE/CCSL} constraints},
  journal   = {Sci. Comput. Program.},
  year      = {2015},
  volume    = {106},
  pages     = {78--92},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/scp/MalletS15},
  doi       = {10.1016/j.scico.2015.03.001},
  timestamp = {Tue, 23 Jun 2015 10:01:44 +0200},
}

@Article{Glitia2015,
  author    = {Calin Glitia and Julien DeAntoni and Fr{\'{e}}d{\'{e}}ric Mallet and Jean{-}Vivien Millo and Pierre Boulet and Abdoulaye Gamati{\'{e}}},
  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},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/dafes/GlitiaDMMBG15},
  doi       = {10.1007/s10617-014-9140-y},
  timestamp = {Fri, 03 Jul 2015 12:46:33 +0200},
}

@Comment{jabref-meta: databaseType:bibtex;}