Publications

Publications » 2013

Journal Articles

Millo, J.-V., Mallet, F., Coadou, A., and Ramesh, S. 2013. Scenario-based verification in presence of variability using a synchronous approach. Frontiers of Computer Science 7, 5, 650–672. ^URL ^DOI

@article{MilloMCR13,
  author = {Millo, Jean-Vivien and Mallet, Fr\'ed\'eric and Coadou, Anthony and Ramesh, S},
  title = {Scenario-based verification in presence of variability using a synchronous approach},
  journal = {Frontiers of Computer Science},
  volume = {7},
  number = {5},
  year = {2013},
  pages = {650--672},
  url = {http://dx.doi.org/10.1007/s11704-013-3094-6},
  doi = {10.1007/s11704-013-3094-6},
  issn = {2095-2228},
  publisher = {Springer}
}

Liu, J., Liu, Z., He, J., Mallet, F., and Ding, Z. 2013. Hybrid MARTE statecharts. Frontiers of Computer Science 7, 1, 95–108. ^DOI

@article{LiuLHMD13,
  author = {Liu, Jing and Liu, Ziwei and He, Jifeng and Mallet, Fr{\'e}d{\'e}ric and Ding, Zuohua},
  title = {Hybrid MARTE statecharts},
  journal = {Frontiers of Computer Science},
  volume = {7},
  number = {1},
  year = {2013},
  pages = {95--108},
  doi = {10.1007/s11704-012-1301-1},
  publisher = {Springer}
}

Conference Articles

Romenska, Y. and Mallet, F. 2013. Improving the Efficiency of Synchronized Product with Infinite Transition Systems. Springer, 285–307. ^DOI

@inproceedings{Romenska2013,
  author = {Romenska, Yuliia and Mallet, Fr{\'e}d{\'e}ric},
  editor = {Ermolayev, Vadim and Mayr, Heinrich C. and Nikitchenko, Mykola and Spivakovsky, Aleksander and Zholtkevych, Grygoriy},
  title = {Improving the Efficiency of Synchronized Product with Infinite Transition Systems},
  series = {Communications in Computer and Information Systems},
  volume = {412},
  location = {Kherson, Ukraine},
  year = {2013},
  publisher = {Springer},
  pages = {285--307},
  isbn = {978-3-319-03998-5},
  doi = {10.1007/978-3-319-03998-5_15}
}

Mallet, F. and Millo, J.-V. 2013. Boundedness issues in CCSL specifications. Formal Methods and Software Engineering - ICFEM 2013, Springer, 20–35.

@inproceedings{ICFEM13,
  author = {Mallet, Fr\'ed\'eric and Millo, Jean-Vivien},
  title = {Boundedness issues in {CCSL} specifications},
  booktitle = {Formal Methods and Software Engineering - ICFEM 2013},
  year = {2013},
  pages = {20--35},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {8144}
}

Suryadevara, J., Seceleanu, C.C., Mallet, F., and Pettersson, P. 2013. Verifying MARTE/CCSL Mode Behaviors Using UPPAAL. Software Engineering and Formal Methods, Springer, 1–15. ^DOI

@inproceedings{SuryadevaraSMP13,
  author = {Suryadevara, Jagadish and Seceleanu, Cristina Cerschi and Mallet, Fr{\'e}d{\'e}ric and Pettersson, Paul},
  title = {Verifying {MARTE/CCSL} Mode Behaviors Using {UPPAAL}},
  booktitle = {Software Engineering and Formal Methods},
  year = {2013},
  pages = {1--15},
  doi = {10.1007/978-3-642-40561-7_1},
  location = {Madrid, Spain},
  month = sep,
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {8137},
  isbn = {978-3-642-40560-0}
}

Mallet, F., Millo, J.-V., and de Simone, R. 2013. Safe CCSL specifications and marked graphs. 11th ACM/IEEE Int. Conf. on Formal Methods and Models for Codesign, IEEE, 157–166. ^URL

@inproceedings{MalletMS13,
  author = {Mallet, Fr{\'e}d{\'e}ric and Millo, Jean-Vivien and {de Simone}, Robert},
  title = {Safe {CCSL} specifications and marked graphs},
  booktitle = {11th ACM/IEEE Int. Conf. on Formal Methods
                 and Models for Codesign},
  year = {2013},
  pages = {157--166},
  url = {http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=6670955},
  publisher = {IEEE},
  isbn = {978-1-4799-0903-2}
}

Combemale Benoı̂t, DeAntoni, J., Larsen, M.V., et al. 2013. Reifying Concurrency for Executable Metamodeling. 6th Int. Conf. on Software Language Engineering - SLE 2013, Springer, 365–384. ^DOI

@inproceedings{CombemaleDLMBBF13,
  author = {Combemale, Beno\^{\i}t and DeAntoni, Julien and Larsen, Matias Vara and Mallet, Fr{\'e}d{\'e}ric and Barais, Olivier and Baudry, Benoit and France, Robert B.},
  title = {Reifying Concurrency for Executable Metamodeling},
  year = {2013},
  pages = {365--384},
  doi = {10.1007/978-3-319-02654-1_20},
  booktitle = {6th Int. Conf. on Software Language Engineering - SLE 2013},
  location = {Indianapolis, IN, USA},
  month = oct,
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {8225},
  isbn = {978-3-319-02653-4}
}

Goknil, A., DeAntoni, J., Peraldi-Frati, M.-A., and Mallet, F. 2013. Tool Support for the Analysis of TADL2 Timing Constraints Using TimeSquare. ICECCS, IEEE, 145–154.

@inproceedings{GoknilDPM13,
  author = {Goknil, Arda and DeAntoni, Julien and Peraldi-Frati, Marie-Agn{\`e}s and Mallet, Fr{\'e}d{\'e}ric},
  title = {Tool Support for the Analysis of TADL2 Timing Constraints
                 Using TimeSquare},
  year = {2013},
  pages = {145--154},
  booktitle = {ICECCS},
  location = {Singapore},
  month = jul,
  publisher = {IEEE}
}

Goknil, A., Suryadevara, J., Peraldi-Frati, M.-A., and Mallet, F. 2013. Analysis Support for TADL2 Timing Constraints on EAST-ADL Models. European Conference on Software Architecture, ECSA 2013, Springer, 89–105. ^DOI

@inproceedings{GoknilSPM13,
  author = {Goknil, Arda and Suryadevara, Jagadish and Peraldi-Frati, Marie-Agn{\`e}s and Mallet, Fr{\'e}d{\'e}ric},
  title = {Analysis Support for TADL2 Timing Constraints on EAST-ADL
                 Models},
  year = {2013},
  pages = {89--105},
  doi = {10.1007/978-3-642-39031-9_8},
  editor = {Drira, Khalil},
  booktitle = {European Conference on Software Architecture, ECSA 2013},
  location = {Montpellier, France},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {7957},
  isbn = {978-3-642-39030-2}
}

Goknil, A., DeAntoni, J., Peraldi-Frati, M.-A., and Mallet, F. 2013. Tool Support for the Analysis of TADL2 Timing Constraints Using TimeSquare. Int. Conf. on Engineering of Complex Computer Systems, IEEE, 145–154. ^DOI

@inproceedings{GoknilDPM14,
  author = {Goknil, Arda and DeAntoni, Julien and Peraldi-Frati, Marie-Agn{\`e}s and Mallet, Fr{\'e}d{\'e}ric},
  title = {Tool Support for the Analysis of TADL2 Timing Constraints
                 Using TimeSquare},
  year = {2013},
  pages = {145--154},
  doi = {10.1109/ICECCS.2013.28},
  booktitle = {Int. Conf. on Engineering of Complex
                 Computer Systems},
  location = {Singapore},
  month = jul,
  publisher = {IEEE}
}

Mallet, F. 2013. UML Profile for MARTE: Time Model and CCSL. ICTERI, 289–294. ^URL (keynote speaker)

@inproceedings{Mallet13,
  author = {Mallet, Fr{\'e}d{\'e}ric},
  title = {UML Profile for MARTE: Time Model and CCSL},
  booktitle = {ICTERI},
  comment = {keynote speaker},
  year = {2013},
  pages = {289--294},
  url = {http://ceur-ws.org/Vol-1000/ICTERI-2013-p-289-294-T1.pdf},
  volume = {1000},
  location = { Kherson, Ukraine }
}

Zaretska, I., Zholtkevych, G., Zholtkevych, G., and Mallet, F. 2013. Clocks Model for Specification and Analysis of Timing in Real-Time Embedded Systems. ICTERI, 475–489. ^URL

@inproceedings{ZaretskaZZM13,
  author = {Zaretska, Iryna and Zholtkevych, Galyna and Zholtkevych, Grygoriy and Mallet, Fr{\'e}d{\'e}ric},
  title = {Clocks Model for Specification and Analysis of Timing in
                 Real-Time Embedded Systems},
  booktitle = {ICTERI},
  year = {2013},
  pages = {475--489},
  volume = {1000},
  location = { Kherson, Ukraine },
  url = {http://ceur-ws.org/Vol-1000/ICTERI-2013-p-475-489-SMSV.pdf}
}

Romenska, Y. and Mallet, F. 2013. Lazy Parallel Synchronous Composition of Infinite Transition Systems. ICTERI, 130–145. ^URL

@inproceedings{RomenskaM13,
  author = {Romenska, Yuliia and Mallet, Fr{\'e}d{\'e}ric},
  title = {Lazy Parallel Synchronous Composition of Infinite Transition
                 Systems},
  booktitle = {ICTERI},
  year = {2013},
  pages = {130--145},
  url = {http://ceur-ws.org/Vol-1000/ICTERI-2013-p-130-145.pdf},
  volume = {1000},
  location = { Kherson, Ukraine }
}

Gomez, C., DeAntoni, J., and Mallet, F. 2013. Power consumption analysis using multi-view modeling. PATMOS, IEEE, 235–238. ^URL ^DOI

@inproceedings{GomezDM13,
  author = {Gomez, Carlos and DeAntoni, Julien and Mallet, Fr{\'e}d{\'e}ric},
  title = {Power consumption analysis using multi-view modeling},
  booktitle = {PATMOS},
  year = {2013},
  pages = {235--238},
  doi = {10.1109/PATMOS.2013.6662180},
  publisher = {IEEE},
  url = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6646388}
}