@BOOK{Mallet2011,
  title = {Logical Time @ Work for the Modeling and Analysis of Embedded Systems},
  publisher = {Lambert Academic Publisher LAP},
  year = {2011},
  author = {Fr\'ed\'eric Mallet},
  pages = {124},
  note = {ISBN: 978-3-8433-9388-1},
  owner = {fmallet},
  timestamp = {2011.12.11},
  url = {http://www.morebooks.de/store/gb/book/logical-time-work-for-the-modeling-and-analysis-of-embedded-systems/isbn/978-3-8433-9388-1}
}

@article{DBLP:journals/sigsoft/MalletAS11,
  author    = {Fr{\'e}d{\'e}ric Mallet and
               Charles Andr{\'e} and
               Robert de Simone},
  title     = {Logical time: specification vs. implementation},
  journal   = {ACM SIGSOFT Software Engineering Notes},
  volume    = {36},
  number    = {1},
  year      = {2011},
  pages     = {1--8},
  doi       = {http://doi.acm.org/10.1145/1921532.1921554},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{APSEC2011,
author = {Xiaohong Chen and Jing Liu and Frederic Mallet and Zhi Jin},
title = {Modeling Timing Requirements in Problem Frames Using CCSL},
booktitle = {18th Asia Pacific Software Engineering Conference (APSEC'11)},
year =2011,
month = {December},
X-INTERNATIONAL-AUDIENCE = {yes},
X-PROCEEDINGS = {yes},
address ={Ho Chi Minh Ville, Vietnam}
} 

@INPROCEEDINGS{MBED2011,
  author = {Jean-François {LE TALLEC} and Julien DeAntoni and Robert {De Simone}
	and Beno\^{\i}t Ferrero and Fr\'ed\'eric Mallet and Laurent Maillet-Contoz},
  title = {Combining {SystemC}, {IP-XACT} and {UML-MARTE} in model-based {SoC}
	design},
  booktitle = {Proceedings of the 2011 Workshop on Model Based Engineering for Embedded
	Systems Design},
  year = {2011},
  series = {M-BED'2011},
  address = {Grenoble, France},
  month = {March},
  keywords = {Model-based SoC design, SystemC, IP-XACT, UML-MARTE},
  numpages = {4},
  sorte = {conf-int}
}

@inproceedings{GarcesDM11,
  author    = {Kelly Garc{\'e}s and
               Julien DeAntoni and
               Fr{\'e}d{\'e}ric Mallet},
  title     = {A Model-Based Approach for Reconciliation of Polychronous
               Execution Traces},
  booktitle = {EUROMICRO-SEAA},
  year      = {2011},
  pages     = {259--266},
  doi       = {http://doi.ieeecomputersociety.org/10.1109/SEAA.2011.47},
  crossref  = {DBLP:conf/euromicro/2011},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/euromicro/2011,
  title     = {37th EUROMICRO Conference on Software Engineering and Advanced
               Applications}, 
  address = {Oulu, Finland},
  booktitle = {EUROMICRO-SEAA},
  publisher = {IEEE},
  month    = {September},
  year      = {2011},
  isbn      = {978-1-4577-1027-8},
  ee        = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6068192},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{PerseilPRFDBJBMBFZBSCAFMG11,
  author    = {Isabelle Perseil and
               Laurent Pautet and
               Jean-Fran\c{c}ois Rolland and
               Mamoun Filali and
               Didier Delanote and
               Stefan Van Baelen and
               Wouter Joosen and
               Yolande Berbers and
               Fr{\'e}d{\'e}ric Mallet and
               Dominique Bertrand and
               S{\'e}bastien Faucou and
               Abdelhafid Zitouni and
               Mahmoud Boufa\"{\i}da and
               Lionel Seinturier and
               Jo{\"e}l Champeau and
               Thomas Abdoul and
               Peter H. Feiler and
               Chokri Mraidha and
               S{\'e}bastien G{\'e}rard},
  title     = {An Efficient Modeling and Execution Framework for Complex
               Systems Development},
  booktitle = {ICECCS},
  year      = {2011},
  pages     = {317--331},
  doi       = {http://dx.doi.org/10.1109/ICECCS.2011.38},
  crossref  = {DBLP:conf/iceccs/2011},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/iceccs/2011,
  editor    = {Isabelle Perseil and
               Karin Breitman and
               Roy Sterritt},
  title     = {16th IEEE International Conference on Engineering of Complex
               Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29
               April 2011},
  booktitle = {ICECCS},
  publisher = {IEEE Computer Society},
  year      = {2011},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{YinML11,
  author    = {Ling Yin and
               Fr{\'e}d{\'e}ric Mallet and
               Jing Liu},
  title     = {Verification of MARTE/CCSL Time Requirements in Promela/SPIN},
  booktitle = {ICECCS},
  year      = {2011},
  pages     = {65--74},
  doi        = {http://dx.doi.org/10.1109/ICECCS.2011.14},
  crossref  = {DBLP:conf/iceccs/2011},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{GasconMD11,
  author    = {R{\'e}gis Gascon and
               Fr{\'e}d{\'e}ric Mallet and
               Julien DeAntoni},
  title     = {Logical Time and Temporal Logics: Comparing UML MARTE/CCSL
               and PSL},
  booktitle = {TIME},
  year      = {2011},
  pages     = {141--148},
  doi       = {http://doi.ieeecomputersociety.org/10.1109/TIME.2011.10},
  crossref  = {DBLP:conf/time/2011},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/time/2011,
  editor    = {Carlo Combi and
               Martin Leucker and
               Frank Wolter},
  title     = {Eighteenth International Symposium on Temporal Representation
               and Reasoning, TIME 2011}, 
  booktitle = {TIME},
  address = {L{\"u}beck , Germany},
  publisher = {IEEE},
  month    = {September},
  year      = {2011},
  isbn      = {978-1-4577-1242-5},
  ee        = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6063703},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

%% hal-00596239, version 1
%% http://hal.inria.fr/hal-00596239
%%

@inproceedings{gomez:2011:hal-00596239:1,
  AUTHOR = {Gomez, Carlos and Deantoni, Julien and Mallet, Fr{\'e}d{\'e}ric},
  TITLE = {{Semantic Multi-View model for Low-Power}},
  BOOKTITLE = {{Journ{\'e}es nationales IDM, CAL, et du GDR GPL}},
  YEAR = {2011},
  MONTH = Jun,
  PAGES = {19},
  ADDRESS = {Lille, France},
  URL = {http://hal.inria.fr/hal-00596239/en}
}

%% hal-00652987, version 1
%% http://hal.archives-ouvertes.fr/hal-00652987/en/
@techreport{GARCES:2011:HAL-00652987:1,
    hal_id = {hal-00652987},
    url = {http://hal.archives-ouvertes.fr/hal-00652987/en/},
    title = {{Transforming CCSL partially-ordered Traces into UML Interaction Diagrams}},
    author = {Garc{\'e}s, Kelly and Deantoni, Julien and Mallet, Fr{\'e}d{\'e}ric},
    language = {English},
    affiliation = {AOSTE - INRIA Rocquencourt / INRIA Sophia Antipolis / Laboratoire I3S},
    year = {2011},
    month = Dec,
    pdf = {http://hal.archives-ouvertes.fr/hal-00652987/PDF/RR-7842.pdf},
}