@inbook{lnee:andre08, author = { Charles Andr\'e and Fr\'ed\'eric Mallet and Robert de Simone }, chapter = { 11 }, title = { Modeling of {AADL} data-communications with {UML} {M}arte}, pages = { 150--170 }, crossref = { lnee:fdl07 } } @book{lnee:fdl07, editor = { Eugenio Villar }, booktitle = { Embedded Systems Specification and Design Languages }, publisher = { Springer }, year = { 2008 }, series = { LNEE }, month = { \May }, volume = { 10 }, isbn = { 978-1-4020-8296-2 } } @article{ISSE08, author = {Fr\'ed\'eric Mallet and Charles Andr\'e and Robert de Simone}, title = {{CCSL}: specifying clock constraints with {UML/Marte}}, journal = {Innovations in Systems and Software Engineering}, volume = {4}, number = {3}, year = {2008}, pages = {309--314}, ee = {http://dx.doi.org/10.1007/s11334-008-0055-2} } @article{electronique08, author = {S\’ebastien Demathieu and S\’ebastien G\’erard and Fr\'ed\'eric Mallet }, title = {Marte, le nouveau standard {UML} pour les systèmes temps r\’eel embarqu\’es}, journal = {Electronique}, number = {189}, year = {2008}, pages = {2--6}, month = {\Mar} } @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} } @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}, publisher = {ACM Digital Library}, isbn = {978-963-9799-23-3} } @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}, crossref = {DBLP:conf/iceccs/2008} } @proceedings{DBLP:conf/iceccs/2008, title = {13th International Conference on Engineering of Complex Computer Systems (ICECCS'08)}, location = {Belfast, UK}, booktitle = {ICECCS}, publisher = {IEEE Computer Society}, year = {2008}, month = {\Apr}, isbn = {0-7695-3139-3} } @misc{2008:date, author = {Charles Andr\'e and Fr\'ed\'eric Mallet and Aamir Mehmood Khan and Robert de Simone }, 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 } } @misc{2008:safa, author = {Charles Andr\'e and Beno\"it Ferrero and Fr\'ed\'eric Mallet}, title = {TimeSquare: a Multiform Time Simulation Environment}, booktitle = {Sophia Antipolis and Formal Analysis Workshop}, year = {2008}, month = { \Dec } } @techreport{2008:RR-6599, title = {{A}n {A}utomated {P}rocess for {D}esigning {UML} {Pro\&\#64257;les}, 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/} } @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} } @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} } @TechReport{ 2008:RR-6781, author = {Mallet, Frédéric and {Peraldi-Frati}, Marie-Agn{\`e}s and André, Charles}, title = {Marte {CCSL} and {East-ADL2} Timing Requirements}, year = {2008}, month = {12}, institution = {INRIA}, number = {6781}, type = {Research Report}, url = {http://hal.inria.fr/inria-00348134/en/} }