- Chen, X., Liu, J., Mallet, F., and Jin, Z. 2011. Modeling Timing Requirements in Problem Frames Using CCSL. 18th Asia Pacific Software Engineering Conference (APSEC’11).
@inproceedings{APSEC2011,
author = {Chen, Xiaohong and Liu, Jing and Mallet, Frederic and Jin, Zhi},
title = {Modeling Timing Requirements in Problem Frames Using CCSL},
booktitle = {18th Asia Pacific Software Engineering Conference (APSEC'11)},
year = {2011},
month = dec,
x-international-audience = {yes},
x-proceedings = {yes},
address = {Ho Chi Minh Ville, Vietnam}
}
- LE TALLEC, J.-F., DeAntoni, J., De Simone, R., Ferrero Benoı̂t, Mallet, F., and Maillet-Contoz, L. 2011. Combining SystemC, IP-XACT and UML-MARTE in model-based SoC
design. Proceedings of the 2011 Workshop on Model Based Engineering for Embedded
Systems Design.
@inproceedings{MBED2011,
author = {{LE TALLEC}, Jean-François and DeAntoni, Julien and {De Simone}, Robert and Ferrero, Beno\^{\i}t and Mallet, Fr\'ed\'eric and Maillet-Contoz, Laurent},
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 = mar,
keywords = {Model-based SoC design, SystemC, IP-XACT, UML-MARTE},
numpages = {4},
sorte = {conf-int}
}
- Garcés, K., DeAntoni, J., and Mallet, F. 2011. A Model-Based Approach for Reconciliation of Polychronous
Execution Traces. EUROMICRO-SEAA, IEEE, 259–266.
URL
@inproceedings{GarcesDM11,
author = {Garc{\'e}s, Kelly and DeAntoni, Julien and Mallet, Fr{\'e}d{\'e}ric},
title = {A Model-Based Approach for Reconciliation of Polychronous
Execution Traces},
booktitle = {EUROMICRO-SEAA},
year = {2011},
pages = {259--266},
url = {http://doi.ieeecomputersociety.org/10.1109/SEAA.2011.47},
location = {Oulu, Finland},
publisher = {IEEE},
month = sep,
isbn = {978-1-4577-1027-8}
}
- Perseil, I., Pautet, L., Rolland, J.-F., et al. 2011. An Efficient Modeling and Execution Framework for Complex
Systems Development. ICECCS, IEEE Computer Society, 317–331.
DOI
@inproceedings{PerseilPRFDBJBMBFZBSCAFMG11,
author = {Perseil, Isabelle and Pautet, Laurent and Rolland, Jean-Fran\c{c}ois and Filali, Mamoun and Delanote, Didier and Baelen, Stefan Van and Joosen, Wouter and Berbers, Yolande and Mallet, Fr{\'e}d{\'e}ric and Bertrand, Dominique and Faucou, S{\'e}bastien and Zitouni, Abdelhafid and Boufa\"{\i}da, Mahmoud and Seinturier, Lionel and Champeau, Jo{\"e}l and Abdoul, Thomas and Feiler, Peter H. and Mraidha, Chokri and G{\'e}rard, S{\'e}bastien},
title = {An Efficient Modeling and Execution Framework for Complex
Systems Development},
booktitle = {ICECCS},
year = {2011},
pages = {317--331},
doi = {10.1109/ICECCS.2011.38},
publisher = {IEEE Computer Society}
}
- Yin, L., Mallet, F., and Liu, J. 2011. Verification of MARTE/CCSL Time Requirements in Promela/SPIN. ICECCS, IEEE Computer Society, 65–74.
DOI
@inproceedings{YinML11,
author = {Yin, Ling and Mallet, Fr{\'e}d{\'e}ric and Liu, Jing},
title = {Verification of MARTE/CCSL Time Requirements in Promela/SPIN},
booktitle = {ICECCS},
year = {2011},
pages = {65--74},
doi = {10.1109/ICECCS.2011.14},
publisher = {IEEE Computer Society}
}
- Gascon, R., Mallet, F., and DeAntoni, J. 2011. Logical Time and Temporal Logics: Comparing UML MARTE/CCSL
and PSL. TIME, IEEE, 141–148.
URL
@inproceedings{GasconMD11,
author = {Gascon, R{\'e}gis and Mallet, Fr{\'e}d{\'e}ric and DeAntoni, Julien},
title = {Logical Time and Temporal Logics: Comparing UML MARTE/CCSL
and PSL},
booktitle = {TIME},
year = {2011},
pages = {141--148},
url = {http://doi.ieeecomputersociety.org/10.1109/TIME.2011.10},
location = {L{\"u}beck , Germany},
publisher = {IEEE},
month = sep,
isbn = {978-1-4577-1242-5},
ee = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6063703}
}
- Gomez, C., Deantoni, J., and Mallet, F. 2011. Semantic Multi-View model for Low-Power. Journées nationales IDM, CAL, et du GDR GPL, 19.
URL
@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}
}