Co-authors

Number of documents

118

Frederic Mallet - Professeur des Universités


Journal articles23 documents

  • Aamir Khan, Frédéric Mallet, Muhammad Rashid. A framework to specify system requirements using natural interpretation of UML/MARTE diagrams. Software & Systems Modeling, Springer Verlag, 2019, 18 (1), pp.11-37. ⟨10.1007/s10270-017-0588-7⟩. ⟨hal-01670423⟩
  • Yuanrui Zhang, Frédéric Mallet, Yixiang Chen. A verification framework for spatio-temporal consistency language with CCSL as a specification language. Frontiers of Computer Science, Springer Verlag, 2018, ⟨10.1007/s11704-018-7054-8⟩. ⟨hal-01924463⟩
  • Min Zhang, Feng Dai, Frédéric Mallet. Periodic scheduling for MARTE/CCSL: Theory and practice. Science of Computer Programming, Elsevier, 2018, 154, pp.42-60. ⟨10.1016/j.scico.2017.08.015⟩. ⟨hal-01670450⟩
  • Dehui Du, Ping Huang, Kaiqiang Jiang, Frédéric Mallet. pCSSL: A stochastic extension to MARTE/CCSL for modeling uncertainty in Cyber Physical Systems. Science of Computer Programming, Elsevier, 2018, 166, pp.71 - 88. ⟨10.1016/j.scico.2018.05.005⟩. ⟨hal-01898202⟩
  • Yongxiang Bao, Mingsong Chen, Qi Zhu, Tongquan Wei, Tingliang Zhou, et al.. Quantitative Performance Evaluation of Uncertainty-Aware Hybrid AADL Designs Using Statistical Model Checking. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, IEEE, 2017, 36 (12), pp.1989 - 2002. ⟨10.1109/TCAD.2017.2681076⟩. ⟨hal-01644285⟩
  • 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, 2015, 19 (1-2), pp.1-33. ⟨10.1007/s10617-014-9140-y⟩. ⟨lirmm-01912854⟩
  • 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⟩
  • Jing Liu, Ziwei Liu, Jifeng He, Frédéric Mallet, Zuohua Ding. Hybrid MARTE statecharts. Frontiers of Computer Science, Springer Verlag, 2013, 7 (1), pp.95-108. ⟨http://link.springer.com/article/10.1007%2Fs11704-012-1301-1⟩. ⟨10.1007/s11704-012-1301-1⟩. ⟨hal-00800920⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩

Conference papers60 documents

  • Min Zhang, Fu Song, Frédéric Mallet, Chen Xiaohong. SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language. FASE 2019 - Fundamental Approaches to Software Engineering, Apr 2019, Prague, Czech Republic. ⟨hal-02080763⟩
  • Hui Zhao, Ludovic Apvrille, Frédéric Mallet. Meta-models Combination for Reusing Verification Techniques. 7th International Conference on Model-Driven Engineering and Software Development, Feb 2019, Prague, Czech Republic. pp.39-50, ⟨10.5220/0007261000390050⟩. ⟨hal-02080768⟩
  • Frédéric Mallet, Min Zhang. From Logical Time Scheduling to Real-Time Scheduling. 39th IEEE Real-Time Systems Symposium, Dec 2018, Nashville, United States. ⟨hal-01971976⟩
  • Yuanrui Zhang, Hengyang Wu, Yixiang Chen, Frédéric Mallet. Embedding CCSL into Dynamic Logic: A Logical Approach for the Verification of CCSL Specifications. ICFEM / FTSCS 2018, Nov 2018, Gold Coast, Australia. ⟨hal-01929184⟩
  • Chunlin Guan, Yi Ao, Dehui Du, Frédéric Mallet. xSHS: An Executable Domain-Specific Modeling Language for Modeling Stochastic and Hybrid Behaviors of Cyber-Physical Systems. 25th Asia-Pacific Software Engineering Conference, Dec 2018, Nara, Japan. ⟨hal-01898219⟩
  • Alexander Schulz-Rosengarten, Reinhard Von Hanxleden, Frédéric Mallet, Robert de Simone, Julien Deantoni. Time in SCCharts. Forum on specification & Design Languages, Sep 2018, Munich, Germany. pp.5-16, ⟨10.1109/FDL.2018.8524111⟩. ⟨hal-01898285⟩
  • Frédéric Mallet. Model-Based Systems Engineering for Cyber-Physical Systems: a (possible) roadmap for MARTE. 3rd International workshop on TIming Performance engineering for Safety critical systems CONFESTA/TIPS, Sep 2018, Beijing, China. ⟨hal-01898291⟩
  • Hui Zhao, Ludovic Apvrille, Frédéric Mallet. Multi-View Design for Cyber-Physical Systems. PhD Symposium at 13th International Conference on ICT in Education, Research, and Industrial Applications, May 2017, Kiev, Ukraine. pp.22-28. ⟨hal-01669918⟩
  • Jean-Vivien Millo, Emilien Kofman, Julien Deantoni, Frédéric Mallet, Amine Oueslati, et al.. Explicit Control of Dataflow Graphs with MARTE/CCSL. MODELSWARD 2017 - 5th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2017, Feb 2017, Porto, Portugal. pp.542-549, ⟨10.5220/0006269505420549⟩. ⟨hal-01644294⟩
  • 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. pp.433-449, ⟨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. pp.193-198, ⟨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, ECSI, Sep 2016, Bremen, Germany. ⟨hal-01421890⟩
  • Min Zhang, Frédéric Mallet. An Executable Semantics of Clock Constraint Specification Language and its Applications. Formal Techniques for Safety-Critical Systems, Nov 2015, Luxembourg, Luxembourg. pp.37-51, ⟨10.1007/978-3-319-29510-7_2⟩. ⟨hal-01353824⟩
  • 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. Models 2015 demo and posters, Oct 2015, Ottawa, Canada. ⟨hal-01198744⟩
  • Matias Ezequiel Vara Larsen, Julien Deantoni, Benoit Combemale, Frédéric Mallet. A Behavioral Coordination Operator Language (BCOoL). International Conference on Model Driven Engineering Languages and Systems (MODELS), Sep 2015, Ottawa, Canada. pp.462. ⟨hal-01182773⟩
  • 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. pp.201-208, ⟨10.1109/TASE.2014.10⟩. ⟨hal-01096687⟩
  • 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. ⟨hal-01060309⟩
  • 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. ⟨hal-01096688⟩
  • 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. ⟨hal-01073202⟩
  • 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. ⟨hal-00850673⟩
  • Frédéric Mallet, Jean-Vivien Millo, Robert de Simone. Safe CCSL Specifications and Marked Graphs. MEMOCODE - 11th IEEE/ACM International Conference on Formal Methods and Models for Codesign, Oct 2013, Portland, United States. pp.157-166. ⟨hal-00913962⟩
  • 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. pp.130-145. ⟨hal-00839978⟩
  • Arda Goknil, Jagadish Suryadevara, Marie-Agnès Peraldi-Frati, Frédéric Mallet. Analysis Support for TADL2 Timing Constraints on EAST-ADL Models. ECSA 2013 - 7th European Conference on Software Architecture, Jul 2013, Montpellier, France. pp.89-105, ⟨10.1007/978-3-642-39031-9_8⟩. ⟨hal-00839963⟩
  • Ling Yin, Jing Liu, Zuohua Ding, Frédéric Mallet, Robert de Simone. Schedulability analysis with CCSL specifications. APSEC 2013 - 20th Asia-Pacific Software Engineering Conference, Dec 2013, Bangkok, Thailand. pp.414-421, ⟨10.1109/APSEC.2013.62⟩. ⟨hal-00926305⟩
  • Jagadish Suryadevara, Cristina Seceleanu, Frédéric Mallet, Paul Pettersson. Verifying MARTE/CCSL Mode Behaviors Using UPPAAL. SEFM 2013 - 11th International Conference on Software Engineering and Formal Methods, Sep 2013, Madrid, Spain. pp.1-15, ⟨10.1007/978-3-642-40561-7_1⟩. ⟨hal-00866477⟩
  • Frédéric Mallet, Jean-Vivien Millo. Boundness Issues in CCSL Specifications. ICFEM 2013 - 15th International Conference on Formal Engineering Methods, Oct 2013, Queenstown, New Zealand. pp.20-35, ⟨10.1007/978-3-642-41202-8_3⟩. ⟨hal-00877598⟩
  • 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, ⟨10.1109/PATMOS.2013.6662180⟩. ⟨hal-00906733⟩
  • Benoit Combemale, Julien Deantoni, Matias Ezequiel Vara Larsen, Frédéric Mallet, Olivier Barais, et al.. Reifying Concurrency for Executable Metamodeling. SLE - 6th International Conference on Software Language Engineering, Oct 2013, Indianapolis, IN, United States. pp.365-384, ⟨10.1007/978-3-319-02654-1_20⟩. ⟨hal-00850770v2⟩
  • 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〉
  • 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. ⟨10.1109/TASE.2012.26⟩. ⟨hal-00764044⟩
  • Frédéric Mallet. Automatic Generation of Observers from MARTE/CCSL. RSP 2012 - International Symposium on Rapid System Prototyping, Oct 2012, Tampere, Finland. ⟨10.1109/RSP.2012.6380695⟩. ⟨hal-00764066⟩
  • 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, ⟨10.1109/SEAA.2012.66⟩. ⟨hal-00720735⟩
  • 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. ⟨10.1109/ICECCS.2011.14⟩. ⟨hal-00650621⟩
  • Chen Xiaohong, Jing Liu, Frédéric Mallet, Zhi Jin. Modeling Timing Requirements in Problem Frames Using CCSL. APSEC 2011 - 18th Asia Pacific Software Engineering Conference, Dec 2011, Ho Chi Minh, Vietnam. pp.381-388, ⟨10.1109/APSEC.2011.30⟩. ⟨hal-00809644⟩
  • 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. ⟨hal-00597086⟩
  • 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. ⟨inria-00601840⟩
  • 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. ⟨hal-00596239⟩
  • 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. ⟨inria-00597981⟩
  • 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. ⟨inria-00587151⟩
  • 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, Julien Deantoni. VHDL Observers for Clock Constraint Checking. Symposium on Industrial Embedded Systems, Jul 2010, trento, Italy. ⟨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. ⟨inria-00497249⟩
  • Julien Deantoni, Frédéric Mallet, Frédéric Thomas, Gonzague Reydet, Jean-Philippe Babau, et al.. RT-simex: retro-analysis of execution traces. SIGSOFT FSE, Nov 2010, Santa Fe, United States. pp.377-378, ⟨10.1145/1882291.1882357⟩. ⟨inria-00587116⟩
  • 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, ⟨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. pp.249-253, ⟨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. pp.301-312, ⟨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. Software Language Engineering, Oct 2009, Denver, Colorado, United States. pp.314-333, ⟨10.1007/978-3-642-12107-4_22⟩. ⟨inria-00464880⟩
  • Charles André, Frédéric Mallet. Specification and Verification of Time Requirements with CCSL and Esterel. Languages, Compilers, and Tools for Embedded Systems, Jun 2009, Dublin, Ireland. pp.167-176, ⟨10.1145/1543136.1542475⟩. ⟨inria-00416654⟩
  • 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, ICST, Mar 2008, Marseille, France. pp.1-8. ⟨inria-00371397⟩
  • 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. pp.228-233, ⟨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), ECSI, Sep 2008, Stuttgart, Germany. pp.154-159, ⟨10.1109/FDL.2008.4641438⟩. ⟨inria-00371392⟩
  • Charles André, Frédéric Mallet, Robert de Simone. Time Modeling in MARTE. ECSI Forum on specification & Design Languages (FDL), ECSI, Sep 2007, Barcelona, Spain. pp.268-273. ⟨inria-00204481⟩
  • 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), ECSI, Sep 2007, Barcelona, Spain. pp.249-254. ⟨inria-00204484⟩
  • 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. pp. 559-573, ⟨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. pp.232-237, ⟨10.1109/RTCSA.2007.51⟩. ⟨inria-00204503⟩
  • 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. pp.234-241, ⟨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. ⟨10.1109/IES.2006.357475⟩. ⟨inria-00371277⟩
  • Frédéric Mallet, Daniel Gaffé, Fernand Boéri. Concurrent control system: from Grafcet to VHDL. Euromicro 2000, Sep 2000, Maastricht, Netherlands. pp.230-234. ⟨hal-00973434⟩

Books1 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⟩

Book sections11 documents

Directions of work or proceedings2 documents

Patents1 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⟩

Reports18 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⟩
  • 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〉
  • Frédéric Mallet, Ling Yin. Correct Transformation from CCSL to Promela for verification. [Research Report] RR-7491, INRIA. 2012, pp.33. 〈hal-00667849〉
  • 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⟩
  • 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⟩
  • 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⟩
  • Kelly Garcés, Julien Deantoni, Frédéric Mallet. Transforming CCSL partially-ordered Traces into UML Interaction Diagrams. [Research Report] RR-7842, INRIA. 2011. ⟨hal-00652987⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • Frédéric Mallet, Charles André. UML/MARTE CCSL, Signal and Petri nets. [Research Report] RR-6545, INRIA. 2008. ⟨inria-00283077v4⟩
  • 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. An Automated Process for Designing UML Profiles. [Research Report] RR-6599, INRIA. 2008. ⟨inria-00308386⟩
  • 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⟩
  • Charles André, Frédéric Mallet. Clock Constraints in UML/MARTE CCSL. [Research Report] RR-6540, INRIA. 2008. ⟨inria-00280941v2⟩
  • 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⟩

Habilitation à diriger des recherches2 documents

  • 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⟩
  • Frédéric Mallet. Logical Time in Model-Driven Engineering. Embedded Systems. Université Nice Sophia Antipolis, 2010. ⟨tel-02113377⟩