Co-auteurs

Nombre de documents

99

Frederic Mallet - Professeur des Universités


Article dans une revue17 documents

  • Frédéric Mallet, Robert De Simone. Correctness Issues on MARTE/CCSL constraints. Science of Computer Programming, Elsevier, 2015, 106, pp.78-92. 〈10.1016/j.scico.2015.03.001〉. 〈hal-01257978〉
  • Jean-Vivien Millo, Frédéric Mallet, Anthony Coadou, S. Ramesh. Scenario-based verification in presence of variability using a synchronous approach. Frontiers of Computer Science, Springer Verlag, 2013, 7 (5), pp.650-672. 〈http://link.springer.com/article/10.1007%2Fs11704-013-3094-6〉. 〈10.1007/s11704-013-3094-6〉. 〈hal-00913955〉
  • Jing Liu, Ziwei Liu, Jifeng He, Frédéric Mallet, Zuohua Ding. Hybrid MARTE statecharts. Frontiers of Computer Science, Springer Verlag, 2013, 〈http://link.springer.com/article/10.1007%2Fs11704-012-1301-1〉. 〈10.1007/s11704-012-1301-1〉. 〈hal-00800920〉
  • Calin Glitia, Julien Deantoni, Frédéric Mallet, Jean-Vivien Millo, Pierre Boulet, et al.. Progressive and explicit refinement of scheduling for multidimensional data-flow applications using uml marte. Design Automation for Embedded Systems, Springer Verlag, 2012, 16 (2), pp.137-169. 〈http://www.springerlink.com/content/t03t7nl8463tjpr4/?MUD=MP〉. 〈10.1007/s10617-012-9093-y〉. 〈hal-00727239〉
  • Frédéric Mallet, Charles André, Robert De Simone. Logical Time: observation vs. implementation. ACM SIGSOFT Software Engineering Notes, ACM, 2011, 36 (1), pp.1--8. 〈10.1145/1921532.1921554〉. 〈inria-00576647〉
  • Frédéric Mallet, Charles André, François Lagarde. Un processus automatique pour concevoir les profils UML. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2010, 29 (5), pp.391-419. 〈http://tsi.revuesonline.com〉. 〈inria-00482745〉
  • Sébastien Demathieu, Yves Bernard, Laurent Maillet-Contoz, Matteo Bordin, Frédéric Mallet. Mise en œuvre du MDE pour la conception de systèmes embarqués: premiers résultats et perspectives du projet Lambda. Génie logiciel, C & S, 2010, pp.38-42. 〈inria-00545266〉
  • Frédéric Mallet, Julien Deantoni, Charles André, Robert De Simone. The Clock Constraint Specification Language for building timed causality models. Innovations in Systems and Software Engineering, Springer Verlag, 2010, 6 (1-2), pp.99-106. 〈10.1007/s11334-009-0109-0〉. 〈inria-00464894〉
  • Charles André, Frédéric Mallet. Les modèles de temps de MARTE et CCSL. Génie logiciel, C & S, 2009, pp.44-49. 〈inria-00416597〉
  • Charles André, Frédéric Mallet. Modèle de contraintes temporelles pour systèmes polychrones. Journal Européen des Systèmes Automatisés (JESA), Lavoisier, 2009, 7-9 (43), pp.725-739. 〈http://jesa.revuesonline.com/〉. 〈inria-00434462〉
  • Sébastien Demathieu, Sébastien Gérard, Frédéric Mallet. Marte, le nouveau standard UML pour les systèmes temps réel embarqués. Electronique, Electronique, 2008, pp.2-6. 〈http://www.electronique.biz/article/385880.html〉. 〈inria-00371386〉
  • Frédéric Mallet. CCSL: specifying clock constraints with UML/MARTE. Innovations in Systems and Software Engineering, Springer Verlag, 2008, Special Issue on UML & Formal Methods, 4 (3), pp.309-314. 〈10.1007/s11334-008-0055-2〉. 〈inria-00371371〉
  • B. Bonnaud, J. Beliaeff, O. Bouton, G. Oriol, L. Duret, et al.. Natural history of the ERVWE1 endogenous retroviral locus. Retrovirology, BioMed Central, 2005, 2, pp.1-7. 〈hal-00427715〉
  • Frédéric Mallet, O. Bouton, S. Prudhomme, V. Cheynet, G. Oriol, et al.. The endogenous retroviral locus ERVWE1 is a bona fide gene involved in hominoid placental physiology. Proceedings of the National Academy of Sciences of the United States of America , National Academy of Sciences, 2004, 101, pp.1731-1736. 〈hal-00427686〉
  • B. Bonnaud, O. Bouton, G. Oriol, V. Cheynet, L. Duret, et al.. Evidence of Selection on the Domesticated ERVWE1 env Retroviral Element Involved in Placentation. Molecular Biology and Evolution, Oxford University Press (OUP), 2004, 21, pp.1895-1901. 〈hal-00427546〉
  • C. Voisset, O. Bouton, F. Bedin, L. Duret, B. Mandrand, et al.. Chromosomal distribution and coding capacity of the human endogenous retrovirus HERV-W family. AIDS Research and Human Retroviruses, Mary Ann Liebert, 2000, 16, pp.731-740. 〈hal-00427112〉
  • J.L. Blond, F. Beseme, L. Duret, O. Bouton, F. Bedin, et al.. Molecular characterization and placental expression of HERV-W a new human endogenous retrovirus family. Journal of Virology, American Society for Microbiology, 1999, 73, pp.1175-1185. 〈hal-00428437〉

Communication dans un congrès51 documents

  • Dehui Du, Ping Huang, Kaiqiang Jiang, Frédéric Mallet, Mingrui Yang. MARTE/pCCSL: Modeling and Refining Stochastic Behaviors of CPSs with Probabilistic Logical Clocks. FACS 2016 - The 13th International Conference on Formal Aspects of Component Software, Oct 2016, Besançon, France. 〈hal-01394769〉
  • Min Zhang, Frédéric Mallet, Huibiao Zhu. An SMT-Based Approach to the Formal Analysis of MARTE/CCSL. Formal Methods and Software Engineering, Nov 2016, Tokyo, Japan. Springer, 10009, pp.433-449, 2016, Lecture Notes in Computer Science. 〈10.1007/978-3-319-47846-3_27〉. 〈hal-01394677〉
  • Aamir Mehmood Khan, Frédéric Mallet, Rashid Muhammad. Natural Interpretation of UML/MARTE Diagrams for System Requirements Specification. 2016 11th IEEE Symposium on Industrial Embedded Systems (SIES) , May 2016, Krakow, Poland. IEEE, pp.193-198, 2016, 〈http://sies2016.org/〉. 〈10.1109/SIES.2016.7509429〉. 〈hal-01394665〉
  • Daian Yue, Vania Joloboff, Frédéric Mallet. Flexible Runtime Verification Based On Logical Clock Constraints. FDL 2016 - Forum on specification & Design Languages, Sep 2016, Bremen, Germany. 〈https://ecsi.org/fdl〉. 〈hal-01421890〉
  • Min Zhang, Frédéric Mallet. An Executable Semantics of Clock Constraint Specification Language and its Applications. Cyrille Artho, Peter Csaba Ölveczky. Formal Techniques for Safety-Critical Systems, Nov 2015, Luxembourg, Luxembourg. Springer, 596, pp.37-51, 2016, Communications in Computer and Information Science. 〈10.1007/978-3-319-29510-7_2〉. 〈hal-01353824〉
  • Matias Ezequiel Vara Larsen, Julien Deantoni, Benoit Combemale, Frédéric Mallet. A Behavioral Coordination Operator Language (BCOoL). Timothy Lethbridge; Jordi Cabot; Alexander Egyed. International Conference on Model Driven Engineering Languages and Systems (MODELS), Sep 2015, Ottawa, Canada. ACM; IEEE, 18th International Conference on Model Driven Engineering Languages and Systems (MODELS) pp.462, 2015, 〈http://cruise.eecs.uottawa.ca/models2015/〉. 〈hal-01182773〉
  • Aamir Mehmood Khan, Frédéric Mallet, Rashid Muhammad. Modeling SystemVerilog Assertions using SysML and CCSL. Electronic System Level Synthesis Conference, Jun 2015, San Francisco, United States. 〈hal-01257934〉
  • Matias Ezequiel Vara Larsen, Julien Deantoni, Benoit Combemale, Frédéric Mallet. A Model-Driven Based Environment for Automatic Model Coordination. CEUR. Models 2015 demo and posters, Oct 2015, Ottawa, Canada. Models 2015 demo and posters. 〈hal-01198744〉
  • Matias Ezequiel Vara Larsen, Julien Deantoni, Frédéric Mallet. Framework for Heterogeneous Modeling and Composition. Conférence en IngénieriE du Logiciel, Jun 2014, Paris, France. pp.81, 2014. 〈hal-01073202〉
  • Amani Khecharem, Carlos Gomez, Julien Deantoni, Frédéric Mallet, Robert De Simone. Execution of Heterogeneous Models for Thermal Analysis with a Multi-view Approach. FDL 2014 : Forum on specification and Design Languages, Oct 2014, Munich, Germany. IEEE, 2014. 〈hal-01060309〉
  • Yuanrui Zhang, Frédéric Mallet, Yixiang Chen. Timed Automata Semantics of Spatio-Temporal Consistency Language STeC. International Symposium on Theoretical Aspects of Software Engineering, Sep 2014, Changsa, China. IEEE Computer Society, pp.201-208, 〈10.1109/TASE.2014.10〉. 〈hal-01096687〉
  • Frédéric Mallet, Zholtkevych Grygoriy. Co-Algebraic Semantic Model for the Clock Constraint Specification Language. Formal Techniques for Safety-Critical Systems - ICFEM/FTSCS 2014, Nov 2014, Luxembourg, Luxembourg. Springer, 〈http://csaba.olveczky.se/ftscs14-preproceedings.pdf〉. 〈hal-01096688〉
  • Frédéric Mallet, Jean-Vivien Millo. Boundness Issues in CCSL Specifications. Groves, Lindsay and Sun, Jing. ICFEM 2013 - 15th International Conference on Formal Engineering Methods, Oct 2013, Queenstown, New Zealand. Springer, 8144, pp.20-35, 2013, Lecture Notes in Computer Sciences. 〈10.1007/978-3-642-41202-8_3〉. 〈hal-00877598〉
  • Benoit Combemale, Julien Deantoni, Matias Ezequiel Vara Larsen, Frédéric Mallet, Olivier Barais, et al.. Reifying Concurrency for Executable Metamodeling. Erwig, Martin and Paige, Richard F. and Van Wyk, Eric. SLE - 6th International Conference on Software Language Engineering, Oct 2013, Indianapolis, IN, United States. Springer, 8225, pp.365-384, 2013, Lecture Notes in Computer Science. 〈10.1007/978-3-319-02654-1_20〉. 〈hal-00850770v2〉
  • Carlos Gomez, Julien Deantoni, Frédéric Mallet. Power consumption analysis using multi-view modeling. PATMOS - 23th International Workshop on Power and Timing Modeling, Optimization and Simulation, Sep 2013, Karlsruhe, Germany. pp.235-238, 2013, 〈10.1109/PATMOS.2013.6662180〉. 〈hal-00906733〉
  • Jagadish Suryadevara, Cristina Seceleanu, Frédéric Mallet, Paul Pettersson. Verifying MARTE/CCSL Mode Behaviors Using UPPAAL. Software Engineering and Formal Methods, Sep 2013, Madrid, Spain. Springer, 8137, pp.1-15, 2013, Lecture Notes in Computer Science. 〈10.1007/978-3-642-40561-7_1〉. 〈hal-00866477〉
  • Frédéric Mallet, Jean-Vivien Millo, Robert De Simone. Safe CCSL Specifications and Marked Graphs. Roncken, Marly and Talpin, Jean-Pierre. MEMOCODE - 11th IEEE/ACM International Conference on Formal Methods and Models for Codesign, Oct 2013, Portland, United States. IEEE CS, pp.157-166, 2013, 〈http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6670955〉. 〈hal-00913962〉
  • Arda Goknil, Julien Deantoni, Marie-Agnès Peraldi-Frati, Frédéric Mallet. Tool Support for the Analysis of TADL2 Timing Constraints using TimeSquare. ICECCS'2013 - 18th International Conference on Engineering of Complex Computer Systems, Jul 2013, Singapore, Singapore. 2013. 〈hal-00850673〉
  • Ling Yin, Jing Liu, Zuohua Ding, Frédéric Mallet, Robert De Simone. Schedulability analysis with CCSL specifications. The 20th Asia-Pacific Software Engineering Conference, Dec 2013, Bangkok, Thailand. IEEE, pp.414-421, 2013, 〈10.1109/APSEC.2013.62〉. 〈hal-00926305〉
  • Arda Goknil, Jagadish Suryadevara, Marie-Agnès Peraldi-Frati, Frédéric Mallet. Analysis Support for TADL2 Timing Constraints on EAST-ADL Models. Khalil Drira. ECSA 2013 - European Conference on Software Architecture, Jul 2013, Montpellier, France. Springer, 7957, pp.89-105, 2013, LNCS. 〈10.1007/978-3-642-39031-9_8〉. 〈hal-00839963〉
  • Yuliia Romenska, Frédéric Mallet. Lazy Parallel Synchronous Composition of In finite Transition Systems. International Conference on ICT in Education, Research and Industrial Applications, Jun 2013, Kherson, Ukraine. CEUR-WS.org, 1000, pp.130-145, 2013, 〈http://ceur-ws.org/Vol-1000/ICTERI-2013-p-130-145.pdf〉. 〈hal-00839978〉
  • Julien Deantoni, Frédéric Mallet. TimeSquare: Treat your Models with Logical Time. Carlo A. Furia, Sebastian Nanz. TOOLS - 50th International Conference on Objects, Models, Components, Patterns - 2012, May 2012, Prague, Czech Republic. Springer, 7304, pp.34-41, 2012, Lecture Notes in Computer Science - LNCS. 〈10.1007/978-3-642-30561-0_4〉. 〈hal-00688590〉
  • Frédéric Mallet. Automatic Generation of Observers from MARTE/CCSL. RSP 2012 - International Symposium on Rapid System Prototyping, Oct 2012, Tampere, Finland. IEEE, 2012, 〈10.1109/RSP.2012.6380695〉. 〈hal-00764066〉
  • Ziwei Liu, Jing Liu, Jifeng He, Frédéric Mallet, Zhang Miaomiao. Formal Specification of Hybrid MARTE Statecharts. Sixth International Symposium on Theoretical Aspects of Software Engineering, Jul 2012, Beijing, China. IEEE, 2012, 〈http://doi.ieeecomputersociety.org/10.1109/TASE.2012.26〉. 〈10.1109/TASE.2012.26〉. 〈hal-00764044〉
  • Carlos Gomez, Julien Deantoni, Frédéric Mallet. Multi-View Power Modeling based on UML, MARTE and SysML. SEAA - 38th Euromicro Conference on Software Engineering and Advanced Applications, Sep 2012, Cesme, Turkey. pp.17-20, 2012, 〈10.1109/SEAA.2012.66〉. 〈hal-00720735〉
  • Julien Deantoni, Frédéric Mallet, Charles André, Frédéric Thomas. Logical time @ work: the RT-Simex project. Sophia Antipolis Formal Approach, Apr 2011, Sophia, France. 2010, 〈http://www-sop.inria.fr/oasis/SAFA/Safa2010/04_DeAntoni_SAFA2010_final.pdf〉. 〈inria-00587151〉
  • Ling Yin, Frédéric Mallet, Jing Liu. Verification of MARTE/CCSL Time Requirements in Promela/SPIN. IEEE ICECCS 2011 - 16th IEEE International Conference on Engineering of Complex Computer Systems, Apr 2011, Las Vegas, United States. IEEE, 2011, 〈10.1109/ICECCS.2011.14〉. 〈hal-00650621〉
  • Jean-François Le Tallec, Julien Deantoni, Robert De Simone, Benoît Ferrero, Frédéric Mallet, et al.. Combining SystemC, IP-XACT and UML/MARTE in model-based SoC design. Workshop on Model Based Engineering for Embedded Systems Design (M-BED 2011), Mar 2011, Grenoble, France. 2011. 〈inria-00601840〉
  • Chen Xiaohong, Jing Liu, Frédéric Mallet, Zhi Jin. Modeling Timing Requirements in Problem Frames Using CCSL. Tran Dan Thu, Karl R. P. H. Leung. APSEC 2011 - 18th Asia Pacific Software Engineering Conference, Dec 2011, Ho Chi Minh, Vietnam. IEEE CS, pp.381-388, 2011, 〈10.1109/APSEC.2011.30〉. 〈hal-00809644〉
  • Carlos Gomez, Julien Deantoni, Frédéric Mallet. Semantic Multi-View model for Low-Power. Journées nationales IDM, CAL, et du GDR GPL, Jun 2011, Lille, France. pp.19, 2011. 〈hal-00596239〉
  • Régis Gascon, Frédéric Mallet, Julien Deantoni. Logical time and temporal logics: comparing UML MARTE/CCSL and PSL. 18th International Symposium on Temporal Representation and Reasoning (TIME'11), Sep 2011, Lubeck, Germany. 2011. 〈hal-00597086〉
  • Kelly Garcés, Julien Deantoni, Frédéric Mallet. A Model-Based Approach for Reconciliation of Polychronous Execution Traces. SEAA 2011 - 37th EUROMICRO Conference on Software Engineering and Advanced Applications, Aug 2011, Oulu, Finland. IEEE, 2011, 〈http://www.computer.org/portal/web/csdl/doi/10.1109/SEAA.2011.47〉. 〈inria-00597981〉
  • Julien Deantoni, Frédéric Mallet, Frédéric Thomas, Gonzague Reydet, Jean-Philippe Babau, et al.. RT-simex: retro-analysis of execution traces. Gruia-Catalin Roman, Kevin J. Sullivan. SIGSOFT FSE, Nov 2010, Santa Fe, United States. ISBN 978-1-60558-791-2, pp.377-378, 2010, Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering. 〈http://doi.acm.org/10.1145/1882291.1882357〉. 〈10.1145/1882291.1882357〉. 〈inria-00587116〉
  • Charles André, Frédéric Mallet, Julien Deantoni. VHDL Observers for Clock Constraint Checking. Symposium on Industrial Embedded Systems, Jul 2010, trento, Italy. IEEE computer society, 2010, 〈http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5551372VHDL Observers for Clock Constraint Checking〉. 〈10.1109/SIES.2010.5551372〉. 〈inria-00587107〉
  • Huafeng Yu, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier, Frédéric Mallet, et al.. Polychronous Analysis of Timing Constraints in UML MARTE. IEEE International Workshop on Model-Based Engineering for Real-Time Embedded Systems Design, May 2010, Parador of Carmona, Spain. 7 p., 2010. 〈inria-00497249〉
  • Calin Glitia, Julien Deantoni, Frédéric Mallet. Logical time at work: capturing data dependencies and platform constraints. Forum for Design Languages (FDL), Sep 2010, Southampton, United Kingdom. pp.240-246, 2010, Proceedings of the 2010 Forum on specification & Design Languages. 〈http://www.ecsi.org/fdl2010/fdl-2010-proceedings/〉. 〈inria-00545866〉
  • Charles André, Frédéric Mallet. Specification and Verification of Time Requirements with CCSL and Esterel. Christoph Kirsch and Mahmut Kandemir. Languages, Compilers, and Tools for Embedded Systems, Jun 2009, Dublin, Ireland. ACM SIGPLAN/SIGBED, 44, pp.167-176, 2009, ACM SIGPLAN Notices. 〈10.1145/1543136.1542475〉. 〈inria-00416654〉
  • Frédéric Mallet, Charles André, Julien Deantoni. Executing AADL models with UML/Marte. Int. Conf. Engineering of Complex Computer Systems - ICECCS'09, Jun 2009, Potsdam, Germany. pp. 371-376, 2009, 〈10.1109/ICECCS.2009.10〉. 〈inria-00416592〉
  • Frédéric Mallet, Marie-Agnès Peraldi-Frati, Charles André. Marte CCSL to execute East-ADL Timing Requirements. Int. Symp. on Object/component/service-oriented Real-time distributed Computing (ISORC'09), Mar 2009, Tokyo, Japan. IEEE, pp.249-253, 2009, 〈10.1109/ISORC.2009.18〉. 〈inria-00383262〉
  • Frédéric Mallet, Charles André. On the semantics of UML/Marte Clock Constraints. Int. Symp. on Object/component/service-oriented Real-time distributed Computing (ISORC'09), Mar 2009, Tokyo, Japan. IEEE, pp.301-312, 2009, 〈10.1109/ISORC.2009.27〉. 〈inria-00383279〉
  • Frédéric Mallet, François Lagarde, Charles André, Sébastien Gérard, François Terrier. An Automated Process for Implementing Multilevel Domain Models. M. van den Brand, D. Gašević, J. Gray. Software Language Engineering, Oct 2009, Denver, Colorado, United States. Springer-Verlag Berlin Heidelberg, pp.314-333, 2010, Lecture Note in Computer Sciences. 〈10.1007/978-3-642-12107-4_22〉. 〈inria-00464880〉
  • Su-Young Lee, Frédéric Mallet, Robert De Simone. Dealing with AADL end-to-end Flow Latency with UML Marte.. ICECCS - UML&AADL, Apr 2008, Belfast, Ireland. IEEE, pp.228-233, 2008, 〈10.1109/ICECCS.2008.14〉. 〈inria-00371400〉
  • Frédéric Mallet, Robert De Simone, Laurent Rioux. Event-based vs. Time-Triggered Communications with UML Marte. Forum on specification, verification & Design Languages (FDL'08), Sep 2008, Stuttgart, Germany. IEEE, pp.154-159, 2008, 〈10.1109/FDL.2008.4641438〉. 〈inria-00371392〉
  • Frédéric Mallet, Robert De Simone. MARTE: A Profile for RT/E Systems Modeling, Analysis (and Simulation?). First International Conference on Simulation Tools and Techniques for Communications, Networks and Systems SIMUTools'08, Mar 2008, Marseille, France. ACM, pp.1-8, 2008. 〈inria-00371397〉
  • Charles André, Frédéric Mallet, Robert De Simone. Time Modeling in MARTE. ECSI Forum on specification & Design Languages (FDL), Sep 2007, Barcelona, Spain. ECSI, pp.268-273, 2007. 〈inria-00204481〉
  • Charles André, Frédéric Mallet, Robert De Simone. Modeling Time(s). ACM/IEEE Int. Conf. on Model Driven Engineering Languages and Systems (MoDELS/UML), Oct 2007, Nashville, TN, United States. Springer, LNCS 4735, pp. 559-573, 2007, Lecture Notes in Computer Sciences. 〈10.1007/978-3-540-75209-7_38〉. 〈inria-00204489〉
  • Charles André, Frédéric Mallet, Marie-Agnès Peraldi-Frati. Multiform Time in UML for Real-time Embedded Applications. IEEE Int. Conf. on Real-Time Computing Systems and Applications (RTCSA), Aug 2007, Daegu, South Korea. IEEE, pp.232-237, 2007, 〈10.1109/RTCSA.2007.51〉. 〈inria-00204503〉
  • Charles André, Frédéric Mallet, Robert De Simone. Modeling of Immediate vs. Delayed Data Communications: from AADL to UML MARTE. ECSI Forum on specification & Design Languages (FDL), Sep 2007, Barcelona, Spain. ECSI, pp.249-254, 2007. 〈inria-00204484〉
  • Charles André, Frédéric Mallet, Marie-Agnès Peraldi-Frati. A multiform time approach to real-time system modeling: Application to an automotive system. IEEE Int. Symp. on Industrial Embedded Systems (SIES), Jul 2007, Lisbon, Portugal. IEEE, pp.234-241, 2007, 〈10.1109/SIES.2007.4297340〉. 〈inria-00204508〉
  • Frédéric Mallet, Marie-Agnès Peraldi-Frati, Charles André. From UML to Petri Nets for non functional Property Verification. IEEE International Symposium on Industrial Embedded Systems, 2006. IES '06., Oct 2006, Sophia antipolis, France. IEEE, 2006, 〈10.1109/IES.2006.357475〉. 〈inria-00371277〉
  • Frédéric Mallet, D. Gaffé, F. Boéri. Concurrent control system: from Grafcet to VHDL. Euromicro 2000, Sep 2000, Maastricht, Netherlands. pp.230-234, 2000. 〈hal-00973434〉

Ouvrage (y compris édition critique et traduction)1 document

  • Frédéric Mallet. Logical Time @ Work for the Modeling and Analysis of Embedded Systems. LAP LAMBERT Academic Publishing, pp.124, 2011, 978-3-8433-9388-1. 〈inria-00561247〉

Chapitre d'ouvrage10 documents

  • Frédéric Mallet, Zholtkevych Grygoriy. Co-Algebraic Semantic Model for the Clock Constraint Specification Language. Communications in Computer and Information Science, 476, Springer, pp.174-188, 2015, 〈10.1007/978-3-319-17581-2_12〉. 〈hal-01257952〉
  • Frédéric Mallet. MARTE/CCSL for Modeling Cyber-Physical Systems. Formal Modeling and Verification of Cyber-Physical Systems, Springer Fachmedien Wiesbaden, pp.26-49, 2015, 978-3-658-09993-0. 〈10.1007/978-3-658-09994-7_2〉. 〈hal-01258084〉
  • Bourdelles Michel, Shuai Li, Imran Rafiq Quadri, Etienne Brosse, Andrey Sadovykh, et al.. Fostering Analysis from Industrial Embedded Systems Modeling. Alessandra Bagnato; Leandro Soares Indrusiak; Imran Rafiq Quadri; Matteo Rossi. Handbook of Research on Embedded Systems Design, IGI Global, pp.283--300, 2014, 9781466661943. 〈10.4018/978-1-4666-6194-3.ch011〉. 〈http://www.igi-global.com/chapter/fostering-analysis-from-industrial-embedded-systems-modeling/116113〉. 〈hal-01088439〉
  • Frédéric Mallet, Marie-Agnès Peraldi-Frati, Julien Deantoni, Robert De Simone. UML MARTE Time Model and Its Clock Constraint Specification Language. Alessandra Bagnato; Leandro Soares Indrusiak; Imran Rafiq Quadri; Matteo Rossi. Embedded Systems Design, IGI Global, 2014, Handbook of Research on, 9781466661943. 〈10.4018/978-1-4666-6194-3.ch002〉. 〈http://www.igi-global.com/book/handbook-research-embedded-systems-design/102212〉. 〈hal-01079039〉
  • Zholtkevych Grygoriy, Frédéric Mallet, Zaretska Iryna, Galyna Zholtkevych. Two Semantic Models for Clock Relations in the Clock Constraint Specification Language. Ermolayev, Vadim and Mayr, Heinrich C. Communications in Computer and Information Science, 412, Springer, pp.190-209, 2013, Communications in Computer and Information Science, 978-3-319-03997-8. 〈10.1007/978-3-319-03998-5_10〉. 〈hal-00926297〉
  • Yuliia Romenska, Frédéric Mallet. Improving the Efficiency of Synchronized Product with Infinite Transition Systems. Ermolayev, Vadim and Mayr, Heinrich C. Communications in Computer and Information Science, 412, Springer, pp.287-307, 2013, Communications in Computer and Information Science, 978-3-319-03997-8. 〈10.1007/978-3-319-03998-5_15〉. 〈hal-00926299〉
  • Calin Glitia, Julien Deantoni, Frédéric Mallet. Logical Time @ Work: Capturing Data Dependencies and Platform Constraints. Kaźmierski, Tom J. J. and Morawiec, Adam. System Specification and Design Languages, 106, Springer New York, pp.223--238, 2012, Lecture Notes in Electrical Engineering, 978-1-4614-1426-1. 〈10.1007/978-1-4614-1427-8_14〉. 〈hal-00651864〉
  • Charles André, Julien Deantoni, Frédéric Mallet, Robert De Simone. The Time Model of Logical Clocks available in the OMG MARTE profile. Sandeep K. Shukla and Jean-Pierre Talpin. Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction, Springer Science+Business Media, LLC 2010, pp.28, 2010, 978-1-4419-6399-4. 〈inria-00495664〉
  • Frédéric Mallet, Robert De Simone. MARTE vs. AADL for Discrete-Event and Discrete-Time Domains. Martin Radetzki. Languages for Embedded Systems and their Applications, 36, Springer, pp.27-41, 2009, Lecture Notes in Electrical Engineering, 978-1-4020-9713-3. 〈10.1007/978-1-4020-9714-0_2〉. 〈inria-00416656〉
  • Charles André, Frédéric Mallet, Robert De Simone. Modeling AADL data-communications with UML MARTE. Eugenio villar. Embedded Systems Specification and Design Languages, 10, Springer, pp.150-170, 2008, Lecture Notes in Electrical Engineering, 978-1-4020-8296-2. 〈10.1007/978-1-4020-8297-9_11〉. 〈inria-00371366〉

Brevet1 document

  • Nicolas Chleq, Benoît Ferrero, Julien Deantoni, Frédéric Mallet, Charles André. TimeSquare: Logical Time Matters. France, Patent n° : IDDN.FR.001.430002.000.S.A.2012.000.10600. 2012. 〈hal-01355710〉

Rapport18 documents

  • Aamir Mehmood Khan, Frédéric Mallet, Muhammad Rashid. Natural Interpretation of UML/MARTE Diagrams for System Requirements Specification. [Research Report] RR-8909, I3S; INRIA. 2016. 〈hal-01309604v2〉
  • Frédéric Mallet, Jean-Vivien Millo, Yuliia Romenska. State-based representation of CCSL operators. [Research Report] RR-8334, INRIA. 2013. 〈hal-00846684v4〉
  • Julien Deantoni, Frédéric Mallet. ECL: the Event Constraint Language, an Extension of OCL with Events. [Research Report] RR-8031, INRIA. 2012, pp.24. 〈hal-00721169v2〉
  • Frédéric Mallet, Ling Yin. Correct Transformation from CCSL to Promela for verification. [Research Report] RR-7491, INRIA. 2012, pp.33. 〈hal-00667849〉
  • Carlos Gomez, Julien Deantoni, Frédéric Mallet. Multi-View Power Modeling based on UML MARTE and SysML. [Research Report] RR-7934, INRIA. 2012, pp.19. 〈hal-00688853〉
  • Ling Yin, Julien Deantoni, Frédéric Mallet, Robert De Simone. Schedulability analysis by exhaustive state space construction: translating CCSL to transition-based Generalized Buchi Automata. [Research Report] RR-8102, 2012, pp.22. 〈hal-00743874〉
  • Kelly Garcés, Julien Deantoni, Frédéric Mallet. Transforming CCSL partially-ordered Traces into UML Interaction Diagrams. INRIA. 2011. 〈hal-00652987〉
  • R. Gascon, Frédéric Mallet, Julien Deantoni. Logical time and temporal logics: Comparing UML MARTE/CCSL and PSL. [Research Report] RR-7459, INRIA. 2011. 〈inria-00540738v2〉
  • Frédéric Mallet, Charles André, François Lagarde. Un profil UML pour la modélisation multiniveau. [Rapport de recherche] RR-7287, INRIA. 2010. 〈inria-00482727〉
  • Charles André, Frédéric Mallet. Combining CCSL and Esterel to specify and verify time requirements. [Research Report] RR-6839, INRIA. 2009. 〈inria-00360528v2〉
  • Charles André, Frédéric Mallet. Clock Constraints in UML/MARTE CCSL. [Research Report] RR-6540, INRIA. 2008. 〈inria-00280941v2〉
  • François Lagarde, Frédéric Mallet, Charles André, Sébastien Gérard, François Terrier. An Automated Process for Designing UML Profiles. [Research Report] RR-6599, INRIA. 2008. 〈inria-00308386〉
  • Aamir Mehmood Khan, Frédéric Mallet, Charles André, Robert De Simone. Marte Timing Requirement and Spirit IP-XACT. [Research Report] RR-6647, INRIA. 2008. 〈inria-00321953v2〉
  • Su-Young Lee, Frédéric Mallet, Robert De Simone. Dealing with AADL End-to-end Flow Latency with UML MARTE. [Research Report] RR-6402, INRIA. 2008, pp.20. 〈inria-00200834v5〉
  • François Lagarde, Frédéric Mallet, Charles André, Sébastien Gérard, François Terrier. Multilevel Modeling Paradigm in Profile Definition. [Research Report] RR-6525, INRIA. 2008, pp.17. 〈inria-00276653v3〉
  • Frédéric Mallet, Charles André. UML/MARTE CCSL, Signal and Petri nets. [Research Report] RR-6545, INRIA. 2008. 〈inria-00283077v4〉
  • Frédéric Mallet, Marie-Agnès Peraldi-Frati, Charles André. Marte CCSL and East-ADL2 Timing Requirements. [Research Report] RR-6781, INRIA. 2008. 〈inria-00348134〉
  • Charles André, Frédéric Mallet, Marie-Agnès Peraldi-Frati. Non-functional property analysis using UML2.0 and model transformations. [Research Report] RR-5913, INRIA. 2006, pp.18. 〈inria-00124874〉

HDR1 document

  • Frédéric Mallet. Temps Logique pour l'ingénierie dirigée par le modèles. Modeling and Simulation. Université Nice Sophia Antipolis, 2010. 〈tel-00541140〉