- Mallet, F., André, C., and de Simone, R. 2008. CCSL: specifying clock constraints with UML/Marte. Innovations in Systems and Software Engineering 4, 3, 309–314.
DOI
@article{ISSE08,
author = {Mallet, Fr\'ed\'eric and Andr\'e, Charles and {de Simone}, Robert},
title = {{CCSL}: specifying clock constraints with {UML/Marte}},
journal = {Innovations in Systems and Software Engineering},
volume = {4},
number = {3},
year = {2008},
pages = {309--314},
doi = {10.1007/s11334-008-0055-2}
}
- Demathieu, S., Gérard, S., and Mallet, F. 2008. Marte, le nouveau standard UML pour les systèmes temps réel embarqués. Electronique 189, 2–6.
@article{electronique08,
author = {Demathieu, S\'ebastien and G\'erard, S\'ebastien and Mallet, Fr\'ed\'eric},
title = {Marte, le nouveau standard {UML} pour les syst\`emes temps r\'eel embarqu\'es},
journal = {Electronique},
number = {189},
year = {2008},
pages = {2--6},
month = mar
}
- Mallet, F., de Simone, R., and Rioux, L. 2008. Event-triggered vs. time-triggered communications with UML Marte. Specification, Verification and Design Languages, 2008.
FDL 2008. Forum on, 154–159.
DOI
@inproceedings{fdl08,
title = {Event-triggered vs. time-triggered communications with {UML} {M}arte},
author = {Mallet, Fr\'ed\'eric and {de Simone}, Robert and Rioux, Laurent},
booktitle = {Specification, Verification and Design Languages, 2008.
FDL 2008. Forum on},
year = {2008},
month = sep,
pages = {154--159},
doi = {10.1109/FDL.2008.4641438}
}
- Mallet, F. and de Simone, R. 2008. MARTE: A profile for RT/E Systems Modeling, Analysis (and Simulation?). Int. Conf. on Simulation Tools and Techniques for Communications, Networks and Systems (SIMUTools), ACM Digital Library.
(invited)
@inproceedings{simutools08,
title = {{MARTE}: A profile for {RT/E} Systems Modeling, Analysis (and Simulation?)},
author = {Mallet, Fr\'ed\'eric and {de Simone}, Robert},
booktitle = {Int. Conf. on Simulation Tools and Techniques for Communications, Networks and Systems (SIMUTools)},
year = {2008},
month = mar,
comment = {invited},
publisher = {ACM Digital Library},
isbn = {978-963-9799-23-3}
}
- Lee, S.-Y., Mallet, F., and Simone, R. De. 2008. Dealing with AADL End-to-end Flow Latency with UML MARTE. ICECCS, IEEE Computer Society, 228–233.
DOI
@inproceedings{iceccs08,
title = {{D}ealing with {AADL} {E}nd-to-end {F}low {L}atency with {UML} {MARTE}},
author = {{L}ee, {S}u-{Y}oung and {M}allet, {F}r{\'e}d{\'e}ric and {D}e {S}imone, {R}obert},
booktitle = {ICECCS},
year = {2008},
pages = {228--233},
doi = {10.1109/ICECCS.2008.14},
ee = {http://doi.ieeecomputersociety.org/10.1109/ICECCS.2008.14},
location = {Belfast, UK},
publisher = {IEEE Computer Society},
month = apr,
isbn = {0-7695-3139-3}
}
- André, C., Mallet, F., Khan, A.M., and de Simone, R. 2008. Modeling Spirit IP-XACT in UML Marte. Conf. on Design, Automation and Test in Europe (DATE), MARTE Workshop, 35–40.
@misc{2008:date,
author = {Andr\'e, Charles and Mallet, Fr\'ed\'eric and Khan, Aamir Mehmood and {de Simone}, Robert},
title = {Modeling {S}pirit {IP-XACT} in {UML} {M}arte},
booktitle = {Conf. on Design, Automation and Test in Europe (DATE), {MARTE Workshop}},
year = {2008},
pages = {35--40},
location = {Munich, Germany},
month = mar
}
- André, C., Ferrero, B., and Mallet, F. 2008. TimeSquare: a Multiform Time Simulation Environment. Sophia Antipolis and Formal Analysis Workshop.
@misc{2008:safa,
author = {Andr\'e, Charles and Ferrero, Beno\"it and Mallet, Fr\'ed\'eric},
title = {TimeSquare: a Multiform Time Simulation Environment},
booktitle = {Sophia Antipolis and Formal Analysis Workshop},
year = {2008},
month = dec
}
- Lagarde, F., Mallet, F., André, C., Gérard, S., and Terrier, F. 2008. An Automated Process for Designing UML Profiles. INRIA.
URL
@techreport{2008:RR-6599,
title = {{A}n {A}utomated {P}rocess for {D}esigning {UML} {Profiles}},
author = {{L}agarde, {F}ran{\c{c}}ois and {M}allet, {F}r{\'e}d{\'e}ric and {A}ndr{\'e}, {C}harles and {G}{\'e}rard, {S}{\'e}bastien and {T}errier, {F}ran{\c{c}}ois},
pages = {17},
type = {Research Report},
institution = {INRIA},
number = {6599},
month = jul,
year = {2008},
url = {http://hal.inria.fr/inria-00308386/en/}
}
- André, C. and Mallet, F. 2008. Clock Constraints in UML MARTE CCSL. INRIA.
URL
@techreport{2008:RR-6540,
title = {Clock Constraints in {UML} {MARTE} {CCSL}},
author = {Andr\'e, Charles and Mallet, Fr\'ed\'eric},
year = {2008},
month = may,
institution = {INRIA},
number = {6540},
type = {Research Report},
url = {https://hal.inria.fr/inria-00280941}
}
- Mallet, F. and André, C. 2008. UML/MARTE CCSL, Signal and Petri nets. INRIA.
URL
@techreport{2008:RR-6545,
author = {Mallet, Fr\'ed\'eric and Andr\'e, Charles},
title = {{UML}/{MARTE} {CCSL}, Signal and Petri nets},
year = {2008},
month = may,
institution = {INRIA},
number = {6545},
type = {Research Report},
url = {https://hal.inria.fr/inria-00283077}
}
- Mallet, F., Peraldi-Frati, M.-A., and André, C. 2008. Marte CCSL and East-ADL2 Timing Requirements. INRIA.
URL
@techreport{2008:RR-6781,
author = {Mallet, Fr\'ed\'eric and {Peraldi-Frati}, Marie-Agn{\`e}s and Andr\'e, Charles},
title = {Marte {CCSL} and {East-ADL2} Timing Requirements},
year = {2008},
month = dec,
institution = {INRIA},
number = {6781},
type = {Research Report},
url = {http://hal.inria.fr/inria-00348134/en/}
}