Publications (2013)

BibTex

Journal / Revue

Jing Liu, Ziwei Liu, Jifeng He, F. Mallet and Zuohua Ding.

Hybrid MARTE statecharts.

Frontiers of Computer Science 7(1):95-108, 2013. ^DOI

Jean-Vivien Millo, F. Mallet, Anthony Coadou and S Ramesh.

Scenario-based verification in presence of variability using a synchronous approach.

Frontiers of Computer Science 7(5):650-672, Springer Berlin Heidelberg, 2013. ^DOI

Book Chapter / Chapitre de livre

Yuliia Romenska and F. Mallet. Improving the Efficiency of Synchronized Product with Infinite Transition Systems. ^DOI
ICTERI, Revised Selected Papers, Communications in Computer and Information Systems, Vol. 412, pp. 285-307, Springer, 2013, ISBN: 978-3-319-03998-5.

Grygoriy Zholtkevych, F. Mallet, Iryna Zaretska and Galyna Zholtkevych. Two Semantic Models for Clock Relations in the Clock Constraint Specification Language. ^DOI
ICTERI, Revised Selected Papers, Communications in Computer and Information Systems, Vol. 412, pp. 190-209, Springer, 2013, ISBN: 978-3-319-03998-5.

Conference Proceedings / Actes de Conférences

Benoît Combemale, Julien DeAntoni, Matias Vara Larsen, F. Mallet, Olivier Barais, Benoit Baudry and Robert B. France. Reifying Concurrency for Executable Metamodeling. ^DOI
Int. Conf. on Software Language Engineering (SLE'13), pp. 365-384, Springer, Oct. 2013.

Arda Goknil, Jagadish Suryadevara, Marie-Agnès Peraldi-Frati and F. Mallet. Analysis Support for TADL2 Timing Constraints on EAST-ADL Models. ^HREF
European Conf. Software Architecture (ECSA'13), pp. 89-105, Springer, Jul. 2013.

Arda Goknil, Julien DeAntoni, Marie-Agnès Peraldi-Frati and F. Mallet. Tool Support for the Analysis of TADL2 Timing Constraints Using TimeSquare. ^DOI
Int. Conf. on Engineering of Complex Computer Systems (ICECCS'13), pp. 145-154, IEEE, July 2013.

F. Mallet and Jean-Vivien Millo. Boundedness issues in CCSL specifications. ^DOI
Formal Methods and Software Engineering (ICFEM'13), LNCS 8144, pp. 20-35, Springer, Oct. 2013.

F. Mallet, Jean-Vivien Millo and Robert de Simone. Safe CCSL specifications and marked graphs. ^HREF
Int. Conf. on Formal Methods and Models for Codesign (MemoCode'13), pp. 157-166, IEEE, Oct. 2013.

Jagadish Suryadevara, Cristina Cerschi Seceleanu, F. Mallet and Paul Pettersson. Verifying MARTE/CCSL Mode Behaviors Using UPPAAL. ^DOI
Software Engineering and Formal Methods (SEFM'13), LNCS 8137, pp. 1-15, Springer, Sep. 2013.

Other / Autre

Carlos Gomez, Julien DeAntoni and F. Mallet. Power consumption analysis using multi-view modeling. ^DOI Int. W. on Power and Timing Modeling Optimization and Simulation, PATMOS'13, pp. 235-238, Sep. 2013.

F. Mallet. UML Profile for MARTE: Time Model and CCSL. ^HREF ICTERI'13, pp. 289-294, June 2013. (Invited tutorial)

Yuliia Romenska and F. Mallet. Lazy Parallel Synchronous Composition of Infinite Transition Systems. ^HREF ICTERI'13, pp. 130-145, June 2013.

Iryna Zaretska, Galyna Zholtkevych, Grygoriy Zholtkevych and F. Mallet. Clocks Model for Specification and Analysis of Timing in Real-Time Embedded Systems. ^HREF ICTERI, pp. 475-489, June 2013.