@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}
}

@article{LiuLHMD13,
  author    = {Jing Liu and
               Ziwei Liu and
               Jifeng He and
               Fr{\'e}d{\'e}ric Mallet and
               Zuohua Ding},
  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}
}
@inbook{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",
  bookTitle="Information and Communication Technologies in Education, Research, and Industrial Applications: 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers",
  year="2013",
  publisher="Springer",
  address="Cham",
  pages="285--307",
  isbn="978-3-319-03998-5",
  doi="10.1007/978-3-319-03998-5_15",
  url="http://dx.doi.org/10.1007/978-3-319-03998-5_15"
}

@inproceedings{ICFEM13,
  author    = {Fr\'ed\'eric Mallet and Jean-Vivien Millo},
  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}
}
@inproceedings{SuryadevaraSMP13,
  author    = {Jagadish Suryadevara and
               Cristina Cerschi Seceleanu and
               Fr{\'e}d{\'e}ric Mallet and
               Paul Pettersson},
  title     = {Verifying {MARTE/CCSL} Mode Behaviors Using {UPPAAL}},
  booktitle = {Software Engineering and Formal Methods},
  year      = {2013},
  pages     = {1--15},
  ee        = {http://dx.doi.org/10.1007/978-3-642-40561-7_1},
  location  = {Madrid, Spain}, 
  month     = {September},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {8137},
  isbn      = {978-3-642-40560-0}
}
@inproceedings{MalletMS13,
  author    = {Fr{\'e}d{\'e}ric Mallet and
               Jean-Vivien Millo and
               Robert de Simone},
  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},
  ee        = {http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=6670955},
  publisher = {IEEE},
  isbn      = {978-1-4799-0903-2},
}

@inproceedings{CombemaleDLMBBF13,
  author    = {Beno\^{\i}t Combemale and
               Julien DeAntoni and
               Matias Vara Larsen and
               Fr{\'e}d{\'e}ric Mallet and
               Olivier Barais and
               Benoit Baudry and
               Robert B. France},
  title     = {Reifying Concurrency for Executable Metamodeling},
  booktitle = {SLE},
  year      = {2013},
  pages     = {365--384},
  ee        = {http://dx.doi.org/10.1007/978-3-319-02654-1_20},
  crossref  = {DBLP:conf/sle/2013},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/sle/2013,
  editor    = {Martin Erwig and
               Richard F. Paige and
               Eric Van Wyk},
  title     = {6th Int. Conf. on Software Language Engineering - SLE 2013}, 
  location  = {Indianapolis, IN, USA}, 
  month     = {October},
  booktitle = {SLE},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {8225},
  year      = {2013},
  isbn      = {978-3-319-02653-4},
  ee        = {http://dx.doi.org/10.1007/978-3-319-02654-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{GoknilDPM13,
  author    = {Arda Goknil and
               Julien DeAntoni and
               Marie-Agn{\`e}s Peraldi-Frati and
               Fr{\'e}d{\'e}ric Mallet},
  title     = {Tool Support for the Analysis of TADL2 Timing Constraints
               Using TimeSquare},
  booktitle = {ICECCS},
  year      = {2013},
  pages     = {145--154},
  ee        = {http://dx.doi.org/10.1109/ICECCS.2013.28},
  crossref  = {DBLP:conf/iceccs/2013}
}
@proceedings{DBLP:conf/iceccs/2013,
  title     = {18th Int. Conf. on Engineering of Complex
               Computer Systems}, 
  location  = {Singapore}, 
  month     = {July},
  booktitle = {ICECCS},
  publisher = {IEEE},
  year      = {2013}
}
@inproceedings{GoknilSPM13,
  author    = {Arda Goknil and
               Jagadish Suryadevara and
               Marie-Agn{\`e}s Peraldi-Frati and
               Fr{\'e}d{\'e}ric Mallet},
  title     = {Analysis Support for TADL2 Timing Constraints on EAST-ADL
               Models},
  booktitle = {ECSA},
  year      = {2013},
  pages     = {89--105},
  ee        = {http://dx.doi.org/10.1007/978-3-642-39031-9_8},
  crossref  = {DBLP:conf/ecsa/2013},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/ecsa/2013,
  editor    = {Khalil Drira},
  title     = {Software Architecture - 7th European Conference, ECSA 2013,
               Montpellier, France, July 1-5, 2013. Proceedings},
  booktitle = {ECSA},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {7957},
  year      = {2013},
  isbn      = {978-3-642-39030-2},
  ee        = {http://dx.doi.org/10.1007/978-3-642-39031-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{GoknilDPM13,
  author    = {Arda Goknil and
               Julien DeAntoni and
               Marie-Agn{\`e}s Peraldi-Frati and
               Fr{\'e}d{\'e}ric Mallet},
  title     = {Tool Support for the Analysis of TADL2 Timing Constraints
               Using TimeSquare},
  year      = {2013},
  pages     = {145--154},
  doi       = {http://dx.doi.org/10.1109/ICECCS.2013.28},
  booktitle = {Int. Conf. on Engineering of Complex
               Computer Systems}, 
	location  = {Singapore}, 
	month     = {July},
  publisher = {IEEE}
}

@inproceedings{Mallet13,
  author    = {Fr{\'e}d{\'e}ric Mallet},
  title     = {UML Profile for MARTE: Time Model and CCSL},
  booktitle = {ICTERI},
  year      = {2013},
  pages     = {289--294},
  ee        = {http://ceur-ws.org/Vol-1000/ICTERI-2013-p-289-294-T1.pdf},
  crossref  = {DBLP:conf/icteri/2013},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{ZaretskaZZM13,
  author    = {Iryna Zaretska and
               Galyna Zholtkevych and
               Grygoriy Zholtkevych and
               Fr{\'e}d{\'e}ric Mallet},
  title     = {Clocks Model for Specification and Analysis of Timing in
               Real-Time Embedded Systems},
  booktitle = {ICTERI},
  year      = {2013},
  pages     = {475--489},
  ee        = {http://ceur-ws.org/Vol-1000/ICTERI-2013-p-475-489-SMSV.pdf},
  crossref  = {DBLP:conf/icteri/2013},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{RomenskaM13,
  author    = {Yuliia Romenska and
               Fr{\'e}d{\'e}ric Mallet},
  title     = {Lazy Parallel Synchronous Composition of Infinite Transition
               Systems},
  booktitle = {ICTERI},
  year      = {2013},
  pages     = {130--145},
  ee        = {http://ceur-ws.org/Vol-1000/ICTERI-2013-p-130-145.pdf},
  crossref  = {DBLP:conf/icteri/2013},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/icteri/2013,
  editor    = {Vadim Ermolayev and
               Heinrich C. Mayr and
               Mykola Nikitchenko and
               Aleksander Spivakovsky and
               Grygoriy Zholtkevych and
               Mikhail Zavileysky and
               Hennadiy Kravtsov and
               Vitaliy Kobets and
               Vladimir S. Peschanenko},
  title     = {Proceedings of the 9th International Conference on ICT in
               Education, Research and Industrial Applications: Integration,
               Harmonization and Knowledge Transfer, Kherson, Ukraine,
               June 19-22, 2013},
  booktitle = {ICTERI},
  publisher = {CEUR-WS.org},
  series    = {CEUR Workshop Proceedings},
  volume    = {1000},
  year      = {2013},
  ee        = {http://ceur-ws.org/Vol-1000},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{GomezDM13,
  author    = {Carlos Gomez and
               Julien DeAntoni and
               Fr{\'e}d{\'e}ric Mallet},
  title     = {Power consumption analysis using multi-view modeling},
  booktitle = {PATMOS},
  year      = {2013},
  pages     = {235--238},
  ee        = {http://dx.doi.org/10.1109/PATMOS.2013.6662180},
  crossref  = {DBLP:conf/patmos/2013},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/patmos/2013,
  title     = {2013 23rd International Workshop on Power and Timing Modeling,
               Optimization and Simulation (PATMOS), Karlsruhe, Germany,
               September 9-11, 2013},
  booktitle = {PATMOS},
  publisher = {IEEE},
  year      = {2013},
  ee        = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6646388},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}