Accéder directement au contenu

Frédéric Mallet

Professeur des Universités Université Côte d'Azur
140
Documents
Affiliations actuelles
  • 451999
  • 13009
  • 478607
  • 1039632
Identifiants chercheurs

Publications

Accelerating Reinforcement Learning-Based CCSL Specification Synthesis Using Curiosity-Driven Exploration

Ming Hu , Min Zhang , Frédéric Mallet , Xin Fu , Mingsong Chen
IEEE Transactions on Computers, 2023, 72 (5), pp.1431-1446. ⟨10.1109/TC.2022.3197956⟩
Article dans une revue hal-04178227v1

Automated Synthesis of Safe Timing Behaviors for Requirements Models using CCSL

Ming Hu , Jun Xia , Min Zhang , Xiaohong Chen , Frédéric Mallet
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2023, pp.1-1. ⟨10.1109/TCAD.2023.3285412⟩
Article dans une revue hal-04178061v1

Formally verifying consistency of sequence diagrams for safety critical systems

Xiaohong Chen , Qianqian Liu , Frédéric Mallet , Qin Li , Shubin Cai
Science of Computer Programming, 2022, 216, pp.102777. ⟨10.1016/j.scico.2022.102777⟩
Article dans une revue hal-03836230v1

A dynamic logic for verification of synchronous models based on theorem proving

Yuanrui Zhang , Frédéric Mallet , Zhiming Liu
Frontiers of Computer Science, 2022, 16 (4), pp.164407. ⟨10.1007/s11704-022-1374-4⟩
Article dans une revue hal-03836232v1

A clock-based dynamic logic for schedulability analysis of CCSL specifications

Yuanrui Zhang , Frédéric Mallet , Huibiao Zhu , Yixiang Chen , Bo Liu
Science of Computer Programming, 2021, 202, pp.102546. ⟨10.1016/j.scico.2020.102546⟩
Article dans une revue hal-03135429v1
Image document

A clock-based dynamic logic for the verification of CCSL specifications in synchronous systems

Yuanrui Zhang , Hengyang Wu , Yixiang Chen , Frédéric Mallet
Science of Computer Programming, 2021, 203, pp.102591. ⟨10.1016/j.scico.2020.102591⟩
Article dans une revue hal-03135428v1

A verification framework for spatio-temporal consistency language with CCSL as a specification language

Yuanrui Zhang , Frédéric Mallet , Yixiang Chen
Frontiers of Computer Science, 2020, 14 (1), pp.105--129. ⟨10.1007/s11704-018-7054-8⟩
Article dans une revue hal-01924463v1

Editorial - Theoretical Aspects of Software Engineering (2017)

Frédéric Mallet , Min Zhang
Science of Computer Programming, 2020, 198, pp.102521. ⟨10.1016/j.scico.2020.102521⟩
Article dans une revue hal-03135431v1
Image document

TRAP: trace runtime analysis of properties

Daian Yue , Vania Joloboff , Frédéric Mallet
Frontiers of Computer Science, 2020, 14 (3), pp.1-15. ⟨10.1007/s11704-018-7217-7⟩
Article dans une revue hal-02402957v1
Image document

A Framework to Specify System Requirements using Natural interpretation of UML/MARTE diagrams

Aamir Khan , Frédéric Mallet , Muhammad Rashid
Software and Systems Modeling, 2019, 18 (1), pp.11-37. ⟨10.1007/s10270-017-0588-7⟩
Article dans une revue hal-01670423v1

pCSSL: A stochastic extension to MARTE/CCSL for modeling uncertainty in Cyber Physical Systems

Dehui Du , Ping Huang , Kaiqiang Jiang , Frédéric Mallet
Science of Computer Programming, 2018, 166, pp.71 - 88. ⟨10.1016/j.scico.2018.05.005⟩
Article dans une revue hal-01898202v1
Image document

Periodic scheduling for MARTE/CCSL: Theory and practice

Min Zhang , Feng Dai , Frédéric Mallet
Science of Computer Programming, 2018, 154, pp.42-60. ⟨10.1016/j.scico.2017.08.015⟩
Article dans une revue hal-01670450v1
Image document

Quantitative Performance Evaluation of Uncertainty-Aware Hybrid AADL Designs Using Statistical Model Checking

Yongxiang Bao , Mingsong Chen , Qi Zhu , Tongquan Wei , Tingliang Zhou
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2017, 36 (12), pp.1989 - 2002. ⟨10.1109/TCAD.2017.2681076⟩
Article dans une revue hal-01644285v1
Image document

Correctness Issues on MARTE/CCSL constraints

Frédéric Mallet , Robert de Simone
Science of Computer Programming, 2015, 106, pp.78-92. ⟨10.1016/j.scico.2015.03.001⟩
Article dans une revue hal-01257978v1

Progressive and explicit refinement of scheduling for multidimensional data-flow applications using UML MARTE

Calin Glitia , Julien Deantoni , Frédéric Mallet , Jean-Vivien Millo , Pierre Boulet
Design Automation for Embedded Systems, 2015, 19 (1-2), pp.1-33. ⟨10.1007/s10617-014-9140-y⟩
Article dans une revue lirmm-01912854v1

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

Jean-Vivien Millo , Frédéric Mallet , Anthony Coadou , S. Ramesh
Frontiers of Computer Science, 2013, 7 (5), pp.650-672. ⟨10.1007/s11704-013-3094-6⟩
Article dans une revue hal-00913955v1
Image document

Hybrid MARTE statecharts

Jing Liu , Ziwei Liu , Jifeng He , Frédéric Mallet , Zuohua Ding
Frontiers of Computer Science, 2013, 7 (1), pp.95-108. ⟨10.1007/s11704-012-1301-1⟩
Article dans une revue hal-00800920v1

Progressive and explicit refinement of scheduling for multidimensional data-flow applications using uml marte

Calin Glitia , Julien Deantoni , Frédéric Mallet , Jean-Vivien Millo , Pierre Boulet
Design Automation for Embedded Systems, 2012, 16 (2), pp.137-169. ⟨10.1007/s10617-012-9093-y⟩
Article dans une revue hal-00727239v1

Logical Time: observation vs. implementation

Frédéric Mallet , Charles André , Robert de Simone
Software Engineering Notes, 2011, 36 (1), pp.1--8. ⟨10.1145/1921532.1921554⟩
Article dans une revue inria-00576647v1

Un processus automatique pour concevoir les profils UML

Frédéric Mallet , Charles André , François Lagarde
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2010, 29 (5), pp.391-419
Article dans une revue inria-00482745v1
Image document

Mise en œuvre du MDE pour la conception de systèmes embarqués: premiers résultats et perspectives du projet Lambda

Sébastien Demathieu , Yves Bernard , Laurent Maillet-Contoz , Matteo Bordin , Frédéric Mallet
Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2010, 93, pp.38-42
Article dans une revue inria-00545266v1

The Clock Constraint Specification Language for building timed causality models

Frédéric Mallet , Julien Deantoni , Charles André , Robert de Simone
Innovations in Systems and Software Engineering, 2010, 6 (1-2), pp.99-106. ⟨10.1007/s11334-009-0109-0⟩
Article dans une revue inria-00464894v1
Image document

Modèle de contraintes temporelles pour systèmes polychrones

Charles André , Frédéric Mallet
Journal Européen des Systèmes Automatisés (JESA), 2009, 7-9 (43), pp.725-739
Article dans une revue inria-00434462v1

Les modèles de temps de MARTE et CCSL

Charles André , Frédéric Mallet
Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2009, 89, pp.44-49
Article dans une revue inria-00416597v1
Image document

Marte, le nouveau standard UML pour les systèmes temps réel embarqués

Sébastien Demathieu , Sébastien Gérard , Frédéric Mallet
ElectroniqueS, 2008, 189, pp.2-6
Article dans une revue inria-00371386v1
Image document

CCSL: specifying clock constraints with UML/MARTE

Frédéric Mallet
Innovations in Systems and Software Engineering, 2008, Special Issue on UML & Formal Methods, 4 (3), pp.309-314. ⟨10.1007/s11334-008-0055-2⟩
Article dans une revue inria-00371371v1

Natural history of the ERVWE1 endogenous retroviral locus

B. Bonnaud , J. Beliaeff , O. Bouton , G. Oriol , L. Duret
Retrovirology, 2005, 2, pp.1-7
Article dans une revue hal-00427715v1

The endogenous retroviral locus ERVWE1 is a bona fide gene involved in hominoid placental physiology

Frédéric Mallet , O. Bouton , S. Prudhomme , V. Cheynet , G. Oriol
Proceedings of the National Academy of Sciences of the United States of America, 2004, 101, pp.1731-1736
Article dans une revue hal-00427686v1

Evidence of Selection on the Domesticated ERVWE1 env Retroviral Element Involved in Placentation

B. Bonnaud , O. Bouton , G. Oriol , V. Cheynet , L. Duret
Molecular Biology and Evolution, 2004, 21, pp.1895-1901
Article dans une revue hal-00427546v1

Chromosomal distribution and coding capacity of the human endogenous retrovirus HERV-W family

C. Voisset , O. Bouton , F. Bedin , L. Duret , B. Mandrand
AIDS Research and Human Retroviruses, 2000, 16, pp.731-740
Article dans une revue hal-00427112v1

Molecular characterization and placental expression of HERV-W a new human endogenous retrovirus family

J.L. Blond , F. Beseme , L. Duret , O. Bouton , F. Bedin
Journal of Virology, 1999, 73, pp.1175-1185
Article dans une revue hal-00428437v1
Image document

Adaptation of an auto-generated code using a model-based approach to verify functional safety in real scenarios

Joelle Abou Faysal , Nour Zalmai , Ankica Barisic , Frédéric Mallet
ERTS 2022 - Embedded Real Time Systems, Jun 2022, Toulouse, France
Communication dans un congrès hal-03611183v1
Image document

Safety analysis of inconsistencies using a formal verification tool for DSML

Joelle Abou Faysal , Nour Zalmai , Ankica Barisic , Frédéric Mallet
DSC 2022 Europe VR - 21th Driving Simulation & Virtual reality Conference Europe, Sep 2022, Strasbourg, France
Communication dans un congrès hal-03846499v1
Image document

EPSAAV: An Extensible Platform for Safety Analysis of Autonomous Vehicles

Joelle Abou Faysal , Nour Zalmai , Ankica Barisic , Frédéric Mallet
MEDI 2021 - 10th International Conference on Model and Data Engineering, Jun 2021, Tallinn, Estonia. ⟨10.1007/978-3-030-87657-9_8⟩
Communication dans un congrès hal-03331190v1
Image document

Enumeration and Deduction Driven Co-Synthesis of CCSL Specifications Using Reinforcement Learning

Ming Hu , Jiepin Ding , Min Zhang , Frédéric Mallet , Mingsong Chen
RTSS 2021 - IEEE Real-Time Systems Symposium, Dec 2021, Dortmund / Virtual, Germany. pp.227-239, ⟨10.1109/RTSS52674.2021.00030⟩
Communication dans un congrès hal-03525306v1
Image document

Modeling and Verifying Uncertainty-Aware Timing Behaviors using Parametric Logical Time Constraint

Fei Gao , Frédéric Mallet , Min Zhang , Mingsong Chen
DATE 2020 - Design, Automation and Test in Europe Conference, Mar 2020, Grenoble, France
Communication dans un congrès hal-02429533v1
Image document

Formally Verifying Sequence Diagrams for Safety Critical Systems

Xiaohong Chen , Frédéric Mallet , Xiaoshan Liu
TASE 2020 - 14th International Symposium on Theoretical Aspects of Software Engineering, Dec 2020, Hangzhou, China. pp.217-224, ⟨10.1109/TASE49443.2020.00037⟩
Communication dans un congrès hal-03121933v1
Image document

SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language

Min Zhang , Fu Song , Frédéric Mallet , Xiaohong Chen
FASE 2019 - Fundamental Approaches to Software Engineering, Apr 2019, Prague, Czech Republic. pp.61-78, ⟨10.1007/978-3-030-16722-6_4⟩
Communication dans un congrès hal-02080763v1
Image document

Sample-Guided Automated Synthesis for CCSL Specifications

Ming Hu , Tongquan Wei , Min Zhang , Frédéric Mallet , Mingsong Chen
DAC 2019 - 56th Annual Design Automation Conference 2019, Jun 2019, Las Vegas, United States. pp.1-6, ⟨10.1145/3316781.3317904⟩
Communication dans un congrès hal-02402971v1
Image document

A Logical Approach for the Schedulability Analysis of CCSL

Yuanrui Zhang , Frédéric Mallet , Huibiao Zhu , Yixiang Chen
TASE 2019 - 13th International Symposium on Theoretical Aspects of Software Engineering, Jul 2019, Guilin, China. pp.25-32, ⟨10.1109/TASE.2019.00-23⟩
Communication dans un congrès hal-02402976v1
Image document

Meta-models Combination for Reusing Verification Techniques

Hui Zhao , Ludovic Apvrille , Frédéric Mallet
MODELSWARD 2019 - 7th International Conference on Model-Driven Engineering and Software Development, Feb 2019, Prague, Czech Republic. pp.39-50, ⟨10.5220/0007261000390050⟩
Communication dans un congrès hal-02080768v1
Image document

A Language-based Multi-view Approach for Combining Functional and Security Models

Hui Zhao , Frédéric Mallet , Ludovic Apvrille
APSEC 2019 - Asia-Pacific Software Engineering Conference, Dec 2019, Putrajaya, Malaysia
Communication dans un congrès hal-02337469v1

Model-Based Systems Engineering for Cyber-Physical Systems: a (possible) roadmap for MARTE

Frédéric Mallet
3rd International workshop on TIming Performance engineering for Safety critical systems CONFESTA/TIPS, Sep 2018, Beijing, China
Communication dans un congrès hal-01898291v1
Image document

Embedding CCSL into Dynamic Logic: A Logical Approach for the Verification of CCSL Specifications

Yuanrui Zhang , Hengyang Wu , Yixiang Chen , Frédéric Mallet
ICFEM / FTSCS 2018, Nov 2018, Gold Coast, Australia
Communication dans un congrès hal-01929184v1

From Logical Time Scheduling to Real-Time Scheduling

Frédéric Mallet , Min Zhang
39th IEEE Real-Time Systems Symposium, Dec 2018, Nashville, United States
Communication dans un congrès hal-01971976v1

Time in SCCharts

Alexander Schulz-Rosengarten , Reinhard von Hanxleden , Frédéric Mallet , Robert de Simone , Julien Deantoni
Forum on specification & Design Languages, Sep 2018, Munich, Germany. pp.5-16, ⟨10.1109/FDL.2018.8524111⟩
Communication dans un congrès hal-01898285v1

xSHS: An Executable Domain-Specific Modeling Language for Modeling Stochastic and Hybrid Behaviors of Cyber-Physical Systems

Chunlin Guan , Yi Ao , Dehui Du , Frédéric Mallet
APSEC 2018 - 25th Asia-Pacific Software Engineering Conference, Dec 2018, Nara, Japan
Communication dans un congrès hal-01898219v1
Image document

Multi-View Design for Cyber-Physical Systems

Hui Zhao , Ludovic Apvrille , Frédéric Mallet
PhD Symposium at 13th International Conference on ICT in Education, Research, and Industrial Applications, May 2017, Kiev, Ukraine. pp.22-28
Communication dans un congrès hal-01669918v1
Image document

Explicit Control of Dataflow Graphs with MARTE/CCSL

Jean-Vivien Millo , Emilien Kofman , Julien Deantoni , Frédéric Mallet , Amine Oueslati
MODELSWARD 2017 - 5th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2017, Feb 2017, Porto, Portugal. pp.542-549, ⟨10.5220/0006269505420549⟩
Communication dans un congrès hal-01644294v1
Image document

An SMT-Based Approach to the Formal Analysis of MARTE/CCSL

Min Zhang , Frédéric Mallet , Huibiao Zhu
Formal Methods and Software Engineering, Nov 2016, Tokyo, Japan. pp.433-449, ⟨10.1007/978-3-319-47846-3_27⟩
Communication dans un congrès hal-01394677v1
Image document

Natural Interpretation of UML/MARTE Diagrams for System Requirements Specification

Aamir Mehmood Khan , Frédéric Mallet , Rashid Muhammad
2016 11th IEEE Symposium on Industrial Embedded Systems (SIES), May 2016, Krakow, Poland. pp.193-198, ⟨10.1109/SIES.2016.7509429⟩
Communication dans un congrès hal-01394665v1
Image document

MARTE/pCCSL: Modeling and Refining Stochastic Behaviors of CPSs with Probabilistic Logical Clocks

Dehui Du , Ping Huang , Kaiqiang Jiang , Frédéric Mallet , Mingrui Yang
FACS 2016 - The 13th International Conference on Formal Aspects of Component Software, Oct 2016, Besançon, France
Communication dans un congrès hal-01394769v1
Image document

Flexible Runtime Verification Based On Logical Clock Constraints

Daian Yue , Vania Joloboff , Frédéric Mallet
FDL 2016 - Forum on specification & Design Languages, ECSI, Sep 2016, Bremen, Germany
Communication dans un congrès hal-01421890v1
Image document

A Model-Driven Based Environment for Automatic Model Coordination

Matias Ezequiel Vara Larsen , Julien Deantoni , Benoit Combemale , Frédéric Mallet
Models 2015 demo and posters, Oct 2015, Ottawa, Canada
Communication dans un congrès hal-01198744v1

Modeling SystemVerilog Assertions using SysML and CCSL

Aamir Mehmood Khan , Frédéric Mallet , Rashid Muhammad
Electronic System Level Synthesis Conference, Jun 2015, San Francisco, United States
Communication dans un congrès hal-01257934v1
Image document

An Executable Semantics of Clock Constraint Specification Language and its Applications

Min Zhang , Frédéric Mallet
Formal Techniques for Safety-Critical Systems, Nov 2015, Luxembourg, Luxembourg. pp.37-51, ⟨10.1007/978-3-319-29510-7_2⟩
Communication dans un congrès hal-01353824v1
Image document

A Behavioral Coordination Operator Language (BCOoL)

Matias Ezequiel Vara Larsen , Julien Deantoni , Benoit Combemale , Frédéric Mallet
International Conference on Model Driven Engineering Languages and Systems (MODELS), Sep 2015, Ottawa, Canada. pp.462
Communication dans un congrès hal-01182773v1

Co-Algebraic Semantic Model for the Clock Constraint Specification Language

Frédéric Mallet , Zholtkevych Grygoriy
Formal Techniques for Safety-Critical Systems - ICFEM/FTSCS 2014, Nov 2014, Luxembourg, Luxembourg
Communication dans un congrès hal-01096688v1
Image document

Framework for Heterogeneous Modeling and Composition

Matias Ezequiel Vara Larsen , Julien Deantoni , Frédéric Mallet
Conférence en IngénieriE du Logiciel, Jun 2014, Paris, France. pp.81
Communication dans un congrès hal-01073202v1
Image document

Timed Automata Semantics of Spatio-Temporal Consistency Language STeC

Yuanrui Zhang , Frédéric Mallet , Yixiang Chen
International Symposium on Theoretical Aspects of Software Engineering, Sep 2014, Changsa, China. pp.201-208, ⟨10.1109/TASE.2014.10⟩
Communication dans un congrès hal-01096687v1
Image document

Execution of Heterogeneous Models for Thermal Analysis with a Multi-view Approach

Amani Khecharem , Carlos Gomez , Julien Deantoni , Frédéric Mallet , Robert de Simone
FDL 2014 : Forum on specification and Design Languages, Oct 2014, Munich, Germany
Communication dans un congrès hal-01060309v1
Image document

Lazy Parallel Synchronous Composition of In finite Transition Systems

Yuliia Romenska , Frédéric Mallet
International Conference on ICT in Education, Research and Industrial Applications, Jun 2013, Kherson, Ukraine. pp.130-145
Communication dans un congrès hal-00839978v1

Power consumption analysis using multi-view modeling

Carlos Gomez , Julien Deantoni , Frédéric Mallet
PATMOS - 23th International Workshop on Power and Timing Modeling, Optimization and Simulation, Sep 2013, Karlsruhe, Germany. pp.235-238, ⟨10.1109/PATMOS.2013.6662180⟩
Communication dans un congrès hal-00906733v1
Image document

Reifying Concurrency for Executable Metamodeling

Benoit Combemale , Julien Deantoni , Matias Ezequiel Vara Larsen , Frédéric Mallet , Olivier Barais
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⟩
Communication dans un congrès hal-00850770v2

Verifying MARTE/CCSL Mode Behaviors Using UPPAAL

Jagadish Suryadevara , Cristina Seceleanu , Frédéric Mallet , Paul Pettersson
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⟩
Communication dans un congrès hal-00866477v1

Analysis Support for TADL2 Timing Constraints on EAST-ADL Models

Arda Goknil , Jagadish Suryadevara , Marie-Agnès Peraldi-Frati , Frédéric Mallet
ECSA 2013 - 7th European Conference on Software Architecture, Jul 2013, Montpellier, France. pp.89-105, ⟨10.1007/978-3-642-39031-9_8⟩
Communication dans un congrès hal-00839963v1
Image document

Schedulability analysis with CCSL specifications

Ling Yin , Jing Liu , Zuohua Ding , Frédéric Mallet , Robert de Simone
APSEC 2013 - 20th Asia-Pacific Software Engineering Conference, Dec 2013, Bangkok, Thailand. pp.414-421, ⟨10.1109/APSEC.2013.62⟩
Communication dans un congrès hal-00926305v1

Boundness Issues in CCSL Specifications

Frédéric Mallet , Jean-Vivien Millo
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⟩
Communication dans un congrès hal-00877598v1
Image document

Tool Support for the Analysis of TADL2 Timing Constraints using TimeSquare

Arda Goknil , Julien Deantoni , Marie-Agnès Peraldi-Frati , Frédéric Mallet
ICECCS'2013 - 18th International Conference on Engineering of Complex Computer Systems, Jul 2013, Singapore, Singapore
Communication dans un congrès hal-00850673v1
Image document

Safe CCSL Specifications and Marked Graphs

Frédéric Mallet , Jean-Vivien Millo , Robert de Simone
MEMOCODE - 11th IEEE/ACM International Conference on Formal Methods and Models for Codesign, Oct 2013, Portland, United States. pp.157-166
Communication dans un congrès hal-00913962v1

TimeSquare: Treat your Models with Logical Time

Julien Deantoni , Frédéric Mallet
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⟩
Communication dans un congrès hal-00688590v1

Formal Specification of Hybrid MARTE Statecharts

Ziwei Liu , Jing Liu , Jifeng He , Frédéric Mallet , Zhang Miaomiao
Sixth International Symposium on Theoretical Aspects of Software Engineering, Jul 2012, Beijing, China. ⟨10.1109/TASE.2012.26⟩
Communication dans un congrès hal-00764044v1

Multi-View Power Modeling based on UML, MARTE and SysML

Carlos Gomez , Julien Deantoni , Frédéric Mallet
SEAA - 38th Euromicro Conference on Software Engineering and Advanced Applications, Sep 2012, Cesme, Turkey. pp.17-20, ⟨10.1109/SEAA.2012.66⟩
Communication dans un congrès hal-00720735v1

Automatic Generation of Observers from MARTE/CCSL

Frédéric Mallet
RSP 2012 - International Symposium on Rapid System Prototyping, Oct 2012, Tampere, Finland. ⟨10.1109/RSP.2012.6380695⟩
Communication dans un congrès hal-00764066v1

Verification of MARTE/CCSL Time Requirements in Promela/SPIN

Ling Yin , Frédéric Mallet , Jing Liu
IEEE ICECCS 2011 - 16th IEEE International Conference on Engineering of Complex Computer Systems, Apr 2011, Las Vegas, United States. ⟨10.1109/ICECCS.2011.14⟩
Communication dans un congrès hal-00650621v1
Image document

Semantic Multi-View model for Low-Power

Carlos Gomez , Julien Deantoni , Frédéric Mallet
Journées nationales IDM, CAL, et du GDR GPL, Jun 2011, Lille, France. pp.19
Communication dans un congrès hal-00596239v1
Image document

Logical time and temporal logics: comparing UML MARTE/CCSL and PSL

Régis Gascon , Frédéric Mallet , Julien Deantoni
18th International Symposium on Temporal Representation and Reasoning (TIME'11), Sep 2011, Lubeck, Germany
Communication dans un congrès hal-00597086v1
Image document

Combining SystemC, IP-XACT and UML/MARTE in model-based SoC design

Jean-François Le Tallec , Julien Deantoni , Robert de Simone , Benoît Ferrero , Frédéric Mallet
Workshop on Model Based Engineering for Embedded Systems Design (M-BED 2011), Mar 2011, Grenoble, France
Communication dans un congrès inria-00601840v1
Image document

Logical time @ work: the RT-Simex project

Julien Deantoni , Frédéric Mallet , Charles André , Frédéric Thomas
Sophia Antipolis Formal Approach, Apr 2011, Sophia, France
Communication dans un congrès inria-00587151v1
Image document

Modeling Timing Requirements in Problem Frames Using CCSL

Chen Xiaohong , Jing Liu , Frédéric Mallet , Zhi Jin
APSEC 2011 - 18th Asia Pacific Software Engineering Conference, Dec 2011, Ho Chi Minh, Vietnam. pp.381-388, ⟨10.1109/APSEC.2011.30⟩
Communication dans un congrès hal-00809644v1
Image document

A Model-Based Approach for Reconciliation of Polychronous Execution Traces

Kelly Garcés , Julien Deantoni , Frédéric Mallet
SEAA 2011 - 37th EUROMICRO Conference on Software Engineering and Advanced Applications, Aug 2011, Oulu, Finland
Communication dans un congrès inria-00597981v1
Image document

Polychronous Analysis of Timing Constraints in UML MARTE

Huafeng Yu , Jean-Pierre Talpin , Loïc Besnard , Thierry Gautier , Frédéric Mallet
IEEE International Workshop on Model-Based Engineering for Real-Time Embedded Systems Design, May 2010, Parador of Carmona, Spain. 7 p
Communication dans un congrès inria-00497249v1
Image document

Logical time at work: capturing data dependencies and platform constraints

Calin Glitia , Julien Deantoni , Frédéric Mallet
Forum for Design Languages (FDL), Electronic Chips & Systems design Initiative (ECSI), Sep 2010, Southampton, United Kingdom. pp.240-246
Communication dans un congrès inria-00545866v1
Image document

VHDL Observers for Clock Constraint Checking

Charles André , Frédéric Mallet , Julien Deantoni
Symposium on Industrial Embedded Systems, Jul 2010, trento, Italy. ⟨10.1109/SIES.2010.5551372⟩
Communication dans un congrès inria-00587107v1

RT-simex: retro-analysis of execution traces

Julien Deantoni , Frédéric Mallet , Frédéric Thomas , Gonzague Reydet , Jean-Philippe Babau
SIGSOFT FSE, Nov 2010, Santa Fe, United States. pp.377-378, ⟨10.1145/1882291.1882357⟩
Communication dans un congrès inria-00587116v1
Image document

Marte CCSL to execute East-ADL Timing Requirements

Frédéric Mallet , Marie-Agnès Peraldi-Frati , Charles André
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⟩
Communication dans un congrès inria-00383262v1
Image document

On the semantics of UML/Marte Clock Constraints

Frédéric Mallet , Charles André
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⟩
Communication dans un congrès inria-00383279v1
Image document

An Automated Process for Implementing Multilevel Domain Models

Frédéric Mallet , François Lagarde , Charles André , Sébastien Gérard , François Terrier
Software Language Engineering, Oct 2009, Denver, Colorado, United States. pp.314-333, ⟨10.1007/978-3-642-12107-4_22⟩
Communication dans un congrès inria-00464880v1
Image document

Executing AADL models with UML/Marte

Frédéric Mallet , Charles André , Julien Deantoni
Int. Conf. Engineering of Complex Computer Systems - ICECCS'09, Jun 2009, Potsdam, Germany. pp. 371-376, ⟨10.1109/ICECCS.2009.10⟩
Communication dans un congrès inria-00416592v1

Specification and Verification of Time Requirements with CCSL and Esterel

Charles André , Frédéric Mallet
Languages, Compilers, and Tools for Embedded Systems, Jun 2009, Dublin, Ireland. pp.167-176, ⟨10.1145/1543136.1542475⟩
Communication dans un congrès inria-00416654v1
Image document

Event-based vs. Time-Triggered Communications with UML Marte

Frédéric Mallet , Robert de Simone , Laurent Rioux
Forum on specification, verification & Design Languages (FDL'08), ECSI, Sep 2008, Stuttgart, Germany. pp.154-159, ⟨10.1109/FDL.2008.4641438⟩
Communication dans un congrès inria-00371392v1
Image document

MARTE: A Profile for RT/E Systems Modeling, Analysis (and Simulation?)

Frédéric Mallet , Robert de Simone
First International Conference on Simulation Tools and Techniques for Communications, Networks and Systems SIMUTools'08, ICST, Mar 2008, Marseille, France. pp.1-8
Communication dans un congrès inria-00371397v1
Image document

Dealing with AADL end-to-end Flow Latency with UML Marte.

Su-Young Lee , Frédéric Mallet , Robert de Simone
ICECCS - UML&AADL, Apr 2008, Belfast, Ireland. pp.228-233, ⟨10.1109/ICECCS.2008.14⟩
Communication dans un congrès inria-00371400v1
Image document

A multiform time approach to real-time system modeling: Application to an automotive system

Charles André , Frédéric Mallet , Marie-Agnès Peraldi-Frati
IEEE Int. Symp. on Industrial Embedded Systems (SIES), Jul 2007, Lisbon, Portugal. pp.234-241, ⟨10.1109/SIES.2007.4297340⟩
Communication dans un congrès inria-00204508v1
Image document

Modeling Time(s)

Charles André , Frédéric Mallet , Robert de Simone
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⟩
Communication dans un congrès inria-00204489v1
Image document

Modeling of Immediate vs. Delayed Data Communications: from AADL to UML MARTE

Charles André , Frédéric Mallet , Robert de Simone
ECSI Forum on specification & Design Languages (FDL), ECSI, Sep 2007, Barcelona, Spain. pp.249-254
Communication dans un congrès inria-00204484v1
Image document

Time Modeling in MARTE

Charles André , Frédéric Mallet , Robert de Simone
ECSI Forum on specification & Design Languages (FDL), ECSI, Sep 2007, Barcelona, Spain. pp.268-273
Communication dans un congrès inria-00204481v1
Image document

Multiform Time in UML for Real-time Embedded Applications

Charles André , Frédéric Mallet , Marie-Agnès Peraldi-Frati
IEEE Int. Conf. on Real-Time Computing Systems and Applications (RTCSA), Aug 2007, Daegu, South Korea. pp.232-237, ⟨10.1109/RTCSA.2007.51⟩
Communication dans un congrès inria-00204503v1
Image document

From UML to Petri Nets for non functional Property Verification

Frédéric Mallet , Marie-Agnès Peraldi-Frati , Charles André
IEEE International Symposium on Industrial Embedded Systems, 2006. IES '06., Oct 2006, Sophia antipolis, France. ⟨10.1109/IES.2006.357475⟩
Communication dans un congrès inria-00371277v1

MARTE: a new OMG profile RFP for the Modeling and Analysis of Real-Time Embedded Systems

Charles André , Arnaud Cuccuru , Jean-Luc Dekeyser , Robert de Simone , Cédric Dumoulin
DAC 2005 Workshop - UML for SoC Design, Jun 2005, Anaheim California, United States
Communication dans un congrès hal-02466757v1
Image document

Concurrent control system: from Grafcet to VHDL

Frédéric Mallet , Daniel Gaffé , Fernand Boéri
Euromicro 2000, Sep 2000, Maastricht, Netherlands. pp.230-234, ⟨10.1109/eurmic.2000.874637⟩
Communication dans un congrès hal-00973434v1
Image document

A Model-Based Combination Language for Scheduling Verification

Hui Zhao , Ludovic Apvrille , Frédéric Mallet
Model-Driven Engineering and Software Development, Springer International Publishing, 2020
Chapitre d'ouvrage hal-02430903v1

Time in SCCharts

Alexander Schulz-Rosengarten , Reinhard von Hanxleden , Frédéric Mallet , Robert de Simone , Julien Deantoni
Language, Design Methods, and Tools for Electronic System Design, Springer, pp.1-25, 2019, ⟨10.1007/978-3-030-31585-6_1⟩
Chapitre d'ouvrage hal-02434885v1
Image document

MARTE for CPS and CPSoS: Present and Future, Methodology and Tools

Frédéric Mallet , Eugenio Villar , Fernando Herrera
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⟩
Chapitre d'ouvrage hal-01671190v1

MARTE/CCSL for Modeling Cyber-Physical Systems

Frédéric Mallet
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⟩
Chapitre d'ouvrage hal-01258084v1

Co-Algebraic Semantic Model for the Clock Constraint Specification Language

Frédéric Mallet , Zholtkevych Grygoriy
Communications in Computer and Information Science, 476, Springer, pp.174-188, 2015, ⟨10.1007/978-3-319-17581-2_12⟩
Chapitre d'ouvrage hal-01257952v1

UML MARTE Time Model and Its Clock Constraint Specification Language

Frédéric Mallet , Marie-Agnès Peraldi-Frati , Julien Deantoni , Robert de Simone
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⟩
Chapitre d'ouvrage hal-01079039v1
Image document

Fostering Analysis from Industrial Embedded Systems Modeling

Michel Bourdelles , Shuai Li , Imran Rafiq Quadri , Etienne Brosse , Andrey Sadovykh
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⟩
Chapitre d'ouvrage hal-01088439v1

Two Semantic Models for Clock Relations in the Clock Constraint Specification Language

Zholtkevych Grygoriy , Frédéric Mallet , Zaretska Iryna , Galyna Zholtkevych
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⟩
Chapitre d'ouvrage hal-00926297v1

Improving the Efficiency of Synchronized Product with Infinite Transition Systems

Yuliia Romenska , Frédéric Mallet
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⟩
Chapitre d'ouvrage hal-00926299v1

Logical Time @ Work: Capturing Data Dependencies and Platform Constraints

Calin Glitia , Julien Deantoni , Frédéric Mallet
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⟩
Chapitre d'ouvrage hal-00651864v1
Image document

The Time Model of Logical Clocks available in the OMG MARTE profile

Charles André , Julien Deantoni , Frédéric Mallet , Robert de Simone
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
Chapitre d'ouvrage inria-00495664v1

MARTE vs. AADL for Discrete-Event and Discrete-Time Domains

Frédéric Mallet , Robert de Simone
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⟩
Chapitre d'ouvrage inria-00416656v1

Modeling AADL data-communications with UML MARTE

Charles André , Frédéric Mallet , Robert de Simone
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⟩
Chapitre d'ouvrage inria-00371366v1

TimeSquare

Nicolas Chleq , Benoît Ferrero , Julien Deantoni , Frédéric Mallet , Charles André
France, Patent n° : IDDN.FR.001.430002.000.S.A.2012.000.10600. 2012
Brevet hal-01355710v1
Image document

Natural Interpretation of UML/MARTE Diagrams for System Requirements Specification

Aamir Mehmood Khan , Frédéric Mallet , Muhammad Rashid
[Research Report] RR-8909, I3S; INRIA. 2016
Rapport hal-01309604v2
Image document

State-based representation of CCSL operators

Frédéric Mallet , Jean-Vivien Millo , Yuliia Romenska
[Research Report] RR-8334, INRIA. 2013
Rapport hal-00846684v4
Image document

Multi-View Power Modeling based on UML MARTE and SysML

Carlos Gomez , Julien Deantoni , Frédéric Mallet
[Research Report] RR-7934, INRIA. 2012, pp.19
Rapport hal-00688853v1
Image document

ECL: the Event Constraint Language, an Extension of OCL with Events

Julien Deantoni , Frédéric Mallet
[Research Report] RR-8031, INRIA. 2012, pp.24
Rapport hal-00721169v2
Image document

Schedulability analysis by exhaustive state space construction: translating CCSL to transition-based Generalized Buchi Automata

Ling Yin , Julien Deantoni , Frédéric Mallet , Robert de Simone
[Research Report] RR-8102, 2012, pp.22
Rapport hal-00743874v1
Image document

Correct Transformation from CCSL to Promela for verification

Frédéric Mallet , Ling Yin
[Research Report] RR-7491, INRIA. 2012, pp.33
Rapport hal-00667849v1
Image document

Logical time and temporal logics: Comparing UML MARTE/CCSL and PSL

R. Gascon , Frédéric Mallet , Julien Deantoni
[Research Report] RR-7459, INRIA. 2011
Rapport inria-00540738v2
Image document

Transforming CCSL partially-ordered Traces into UML Interaction Diagrams

Kelly Garcés , Julien Deantoni , Frédéric Mallet
[Research Report] RR-7842, INRIA. 2011
Rapport hal-00652987v1
Image document

Un profil UML pour la modélisation multiniveau

Frédéric Mallet , Charles André , François Lagarde
[Rapport de recherche] RR-7287, INRIA. 2010
Rapport inria-00482727v1
Image document

Combining CCSL and Esterel to specify and verify time requirements

Charles André , Frédéric Mallet
[Research Report] RR-6839, INRIA. 2009
Rapport inria-00360528v2
Image document

An Automated Process for Designing UML Profiles

François Lagarde , Frédéric Mallet , Charles André , Sébastien Gérard , François Terrier
[Research Report] RR-6599, INRIA. 2008
Rapport inria-00308386v1
Image document

Multilevel Modeling Paradigm in Profile Definition

François Lagarde , Frédéric Mallet , Charles André , Sébastien Gérard , François Terrier
[Research Report] RR-6525, INRIA. 2008, pp.17
Rapport inria-00276653v3
Image document

Dealing with AADL End-to-end Flow Latency with UML MARTE

Su-Young Lee , Frédéric Mallet , Robert de Simone
[Research Report] RR-6402, INRIA. 2008, pp.20
Rapport inria-00200834v5
Image document

Marte Timing Requirement and Spirit IP-XACT

Aamir Mehmood Khan , Frédéric Mallet , Charles André , Robert de Simone
[Research Report] RR-6647, INRIA. 2008
Rapport inria-00321953v2
Image document

Clock Constraints in UML/MARTE CCSL

Charles André , Frédéric Mallet
[Research Report] RR-6540, INRIA. 2008
Rapport inria-00280941v2
Image document

UML/MARTE CCSL, Signal and Petri nets

Frédéric Mallet , Charles André
[Research Report] RR-6545, INRIA. 2008
Rapport inria-00283077v4
Image document

Marte CCSL and East-ADL2 Timing Requirements

Frédéric Mallet , Marie-Agnès Peraldi-Frati , Charles André
[Research Report] RR-6781, INRIA. 2008
Rapport inria-00348134v1
Image document

Non-functional property analysis using UML2.0 and model transformations

Charles André , Frédéric Mallet , Marie-Agnès Peraldi-Frati
[Research Report] RR-5913, INRIA. 2006, pp.18
Rapport inria-00124874v1
Image document

Temps Logique pour l'ingénierie dirigée par le modèles

Frédéric Mallet
Modeling and Simulation. Université Nice Sophia Antipolis, 2010
HDR tel-00541140v1
Image document

Logical Time in Model-Driven Engineering

Frédéric Mallet
Embedded Systems. Université Nice Sophia Antipolis, 2010
HDR tel-02113377v1