Skip to Main content

Co-authors

Number of documents

126

Frederic Mallet - Professeur des Universités


Journal articles24 documents

  • Daian Yue, Vania Joloboff, Frédéric Mallet. TRAP: trace runtime analysis of properties. Frontiers of Computer Science, Springer Verlag, 2020, 14 (3), pp.1-15. ⟨10.1007/s11704-018-7217-7⟩. ⟨hal-02402957⟩
  • 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, 2020, 14 (1), pp.105--129. ⟨10.1007/s11704-018-7054-8⟩. ⟨hal-01924463⟩
  • Aamir Khan, Frédéric Mallet, Muhammad Rashid. A Framework to Specify System Requirements using Natural interpretation of UML/MARTE diagrams. Software and Systems Modeling, Springer Verlag, 2019, 18 (1), pp.11-37. ⟨10.1007/s10270-017-0588-7⟩. ⟨hal-01670423⟩
  • 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. ⟨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. ⟨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. ⟨10.1007/s10617-012-9093-y⟩. ⟨hal-00727239⟩
  • Frédéric Mallet, Charles André, Robert de Simone. Logical Time: observation vs. implementation. Software Engineering Notes, Association for Computing Machinery, 2011, 36 (1), pp.1--8. ⟨10.1145/1921532.1921554⟩. ⟨inria-00576647⟩
  • 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. ⟨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⟩
  • 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. ⟨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. ElectroniqueS, Groupe01, 2008, pp.2-6. ⟨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⟩

Conference papers65 documents

  • Fei Gao, Frédéric Mallet, Min Zhang, Mingsong Chen. Modeling and Verifying Uncertainty-Aware Timing Behaviors using Parametric Logical Time Constraint. DATE 2020 - Design, Automation and Test in Europe Conference, Mar 2020, Grenoble, France. ⟨hal-02429533⟩
  • 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⟩
  • Ming Hu, Tongquan Wei, Min Zhang, Frédéric Mallet, Mingsong Chen. Sample-Guided Automated Synthesis for CCSL Specifications. DAC 2019 - 56th Annual Design Automation Conference 2019, Jun 2019, Las Vegas, United States. pp.1-6, ⟨10.1145/3316781.3317904⟩. ⟨hal-02402971⟩
  • Hui Zhao, Ludovic Apvrille, Frédéric Mallet. Meta-models Combination for Reusing Verification Techniques. MODELSWARD 2019 - 7th International Conference on Model-Driven Engineering and Software Development, Feb 2019, Prague, Czech Republic. pp.39-50, ⟨10.5220/0007261000390050⟩. ⟨hal-02080768⟩
  • Hui Zhao, Frédéric Mallet, Ludovic Apvrille. A Language-based Multi-view Approach for Combining Functional and Security Models. APSEC 2019 - Asia-Pacific Software Engineering Conference, Dec 2019, Putrajaya, Malaysia. ⟨hal-02337469⟩
  • Yuanrui Zhang, Frédéric Mallet, Huibiao Zhu, Yixiang Chen. A Logical Approach for the Schedulability Analysis of CCSL. TASE 2019 - 13th International Symposium on Theoretical Aspects of Software Engineering, Jul 2019, Guilin, China. pp.25-32, ⟨10.1109/TASE.2019.00-23⟩. ⟨hal-02402976⟩
  • 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. APSEC 2018 - 25th Asia-Pacific Software Engineering Conference, Dec 2018, Nara, Japan. ⟨hal-01898219⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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, 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⟩
  • 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⟩
  • 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 Behavioral Coordination Operator Language (BCOoL). International Conference on Model Driven Engineering Languages and Systems (MODELS), Sep 2015, Ottawa, Canada. pp.462. ⟨hal-01182773⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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, 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⟩
  • 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⟩
  • Julien Deantoni, Frédéric Mallet. TimeSquare: Treat your Models with Logical Time. TOOLS - 50th International Conference on Objects, Models, Components, Patterns - 2012, Czech Technical University in Prague, in co-operation with ETH Zurich, May 2012, Prague, Czech Republic. pp.34-41, ⟨10.1007/978-3-642-30561-0_4⟩. ⟨hal-00688590⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • Calin Glitia, Julien Deantoni, Frédéric Mallet. Logical time at work: capturing data dependencies and platform constraints. Forum for Design Languages (FDL), Electronic Chips & Systems design Initiative (ECSI), Sep 2010, Southampton, United Kingdom. pp.240-246. ⟨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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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, 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, 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⟩
  • 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⟩
  • 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, 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⟩
  • 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, 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⟩
  • 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⟩
  • Charles André, Arnaud Cuccuru, Jean-Luc Dekeyser, Robert de Simone, Cédric Dumoulin, et al.. MARTE: a new OMG profile RFP for the Modeling and Analysis of Real-Time Embedded Systems. DAC 2005 Workshop - UML for SoC Design, Jun 2005, Anaheim California, United States. ⟨hal-02466757⟩
  • 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 sections13 documents

  • Hui Zhao, Ludovic Apvrille, Frédéric Mallet. A Model-Based Combination Language for Scheduling Verification. Model-Driven Engineering and Software Development, Springer International Publishing, 2020. ⟨hal-02430903⟩
  • Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Frédéric Mallet, Robert de Simone, Julien Deantoni. Time in SCCharts. Language, Design Methods, and Tools for Electronic System Design, Springer, pp.1-25, 2019, ⟨10.1007/978-3-030-31585-6_1⟩. ⟨hal-02434885⟩
  • Frédéric Mallet, Eugenio Villar, Fernando Herrera. MARTE for CPS and CPSoS: Present and Future, Methodology and Tools. Jean-Pierre Talpin. Cyber-Physical System Design from an Architecture Analysis Viewpoint, Springer, pp.81-108, 2017, 978-981-10-4435-9. ⟨10.1007/978-981-10-4436-6_4⟩. ⟨hal-01671190⟩
  • 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⟩
  • 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⟩
  • Michel Bourdelles, 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⟩. ⟨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⟩. ⟨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⟩

Directions of work or proceedings2 documents

  • Frédéric Mallet, Min Zhang, Eric Madelaine. Eleventh International Symposium on Theoretical Aspects of Software Engineering. Sophia Antipolis, France. IEEE, 2017, 978-1-5386-1924-7. ⟨hal-01670407⟩
  • Frédéric Mallet, Zholtkevych Grygoriy. PhD Symposium at 13th International Conference on ICT in Education, Research, and Industrial Applications. May 2017, Kiev, Ukraine. 2017. ⟨hal-01669920⟩

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⟩
  • 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⟩
  • 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⟩
  • 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. Multilevel Modeling Paradigm in Profile Definition. [Research Report] RR-6525, INRIA. 2008, pp.17. ⟨inria-00276653v3⟩
  • 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⟩
  • Frédéric Mallet, Charles André. UML/MARTE CCSL, Signal and Petri nets. [Research Report] RR-6545, INRIA. 2008. ⟨inria-00283077v4⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩