Publications » 2006

Conference Articles

1. Mallet, F., André, C., and Peraldi-Frati, M.-A. 2006. From UML to Petri Nets for non functional Property Verification. Industrial Embedded Systems, 2006. IES ’06. International Symposium on, IEEE, 1–9. ^DOI

   @inproceedings{MPA:IES2006,
     title = {From {UML} to Petri Nets for non functional Property Verification},
     author = {Mallet, Fr{\'e}d{\'e}ric and Andr{\'e}, Charles and Peraldi-Frati, Marie-Agn{\`e}s},
     booktitle = {Industrial Embedded Systems, 2006. {IES} '06. International Symposium on},
     year = {2006},
     pages = {1--9},
     address = {Antibes Juan-Les-Pins},
     month = oct,
     doi = {10.1109/IES.2006.357475},
     publisher = {IEEE}
   }
   

2. André, C., Cuccuru, A., de Simone, R., Gautier, T., Mallet, F., and Talpin, J.-P. 2006. Modeling with logical time in UML for real-time embedded system design. MARTES 2006, 27–40. ^URL

   @inproceedings{MARTES2006,
     title = {Modeling with logical time in {UML} for real-time embedded system design},
     author = {Andr{\'e}, Charles and Cuccuru, Arnaud and {de Simone}, Robert and Gautier, Thiery and Mallet, Fr{\'e}d{\'e}ric and Talpin, Jean-Pierre},
     booktitle = {MARTES 2006},
     year = {2006},
     pages = {27--40},
     address = {Genoa, Italy},
     month = oct,
     url = {http://www.duo.uio.no/sok/work.html?WORKID=45427}
   }
   

Technical Reports

1. André, C., Mallet, F., and Peraldi-Frati, M.-A. 2006. Non-functional property analysis using UML2.0 and model transformations. INRIA. ^URL

   @techreport{ANDRE:2006:INRIA-00124874:1,
     title = {{N}on-functional property analysis using {UML}2.0 and model transformations},
     author = {{A}ndr{\'e}, {C}harles and {M}allet, {F}r{\'e}d{\'e}ric and {P}eraldi-{F}rati, {M}arie-{A}gn{\`e}s},
     affiliation = {{AOSTE} - {INRIA} {R}ocquencourt / {INRIA} {S}ophia {A}ntipolis - {INRIA} 
                      - {U}niversit{\'e} de {N}ice {S}ophia-{A}ntipolis },
     pages = {18},
     type = {Research Report},
     institution = {INRIA},
     number = {{RR}-5913},
     year = {2006},
     url = {http://hal.inria.fr/inria-00124874/en/}
   }