Frédéric Mallet

Professeur des Universités Université Côte d'Azur
147
Documents
Affiliations actuelles
  • COMmunications, Réseaux, systèmes Embarqués et Distribués (Laboratoire I3S - COMRED)
  • Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S)
  • Logical Time for Formal Embedded System Design (KAIROS)
  • Université Côte d'Azur (UniCA)

Publications

34
32
25
10
7
7
5
5
5
5
5
5
5
4
4
4
4
4
4
3
3
3
3
3
3
3
3
3
3
3
3
3
3
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
2
4
3
5
4
6
7
7
6
6
7
6
14
11
10
13
8
13
5
2
2
2
1
2
1

Publications

Specification and Verification of Multi-Clock Systems Using a Temporal Logic with Clock Constraints

Yuanrui Zhang , Frédéric Mallet , Min Zhang , Zhiming Liu

Formal Aspects of Computing, 2024, 36 (2), pp.1-51. ⟨10.1145/3670794⟩

Article dans une revue hal-04750634v1

A Scalable Approach to Detecting Safety Requirements Inconsistencies for Railway Systems

Xiaohong Chen , Zhi Jin , Min Zhang , Frédéric Mallet , Xiaoshan Liu et al.

IEEE Transactions on Intelligent Transportation Systems, 2024, 25 (8), pp.8375-8386. ⟨10.1109/TITS.2024.3418864⟩

Article dans une revue hal-04750626v1
Deposit thumbnail

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
Deposit thumbnail

Automated Synthesis of Safe Timing Behaviors for Requirements Models using CCSL

Ming Hu , Jun Xia , Min Zhang , Xiaohong Chen , Frédéric Mallet et al.

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2023, 42 (12), pp.51. ⟨10.1109/TCAD.2023.3285412⟩

Article dans une revue hal-04178061v1

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
Deposit thumbnail

Formally verifying consistency of sequence diagrams for safety critical systems

Xiaohong Chen , Qianqian Liu , Frédéric Mallet , Qin Li , Shubin Cai et al.

Science of Computer Programming, 2022, 216, pp.102777. ⟨10.1016/j.scico.2022.102777⟩

Article dans une revue hal-03836230v1
Deposit thumbnail

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 clock-based dynamic logic for schedulability analysis of CCSL specifications

Yuanrui Zhang , Frédéric Mallet , Huibiao Zhu , Yixiang Chen , Bo Liu et al.

Science of Computer Programming, 2021, 202, pp.102546. ⟨10.1016/j.scico.2020.102546⟩

Article dans une revue hal-03135429v1

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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

Yongxiang Bao , Mingsong Chen , Qi Zhu , Tongquan Wei , Tingliang Zhou et al.

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
Deposit thumbnail

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 et al.

Design Automation for Embedded Systems, 2015, 19 (1-2), pp.1-33. ⟨10.1007/s10617-014-9140-y⟩

Article dans une revue lirmm-01912854v1
Deposit thumbnail

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

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

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 et al.

Design Automation for Embedded Systems, 2012, 16 (2), pp.137-169. ⟨10.1007/s10617-012-9093-y⟩

Article dans une revue istex 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

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 istex inria-00464894v1

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
Deposit thumbnail

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

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
Deposit thumbnail

Modèle de contraintes temporelles pour systèmes polychrones

Charles André , Frédéric Mallet

Journal Européen des Systèmes Automatisés, 2009, 7-9 (43), pp.725-739

Article dans une revue inria-00434462v1
Deposit thumbnail

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
Deposit thumbnail

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 et al.

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 et al.

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 et al.

Molecular Biology and Evolution, 2004, 21, pp.1895-1901

Article dans une revue hal-00427546v1
Deposit thumbnail

Simulation of a computer architecture for quantum chromodynamics calculations

Sadaf Alam , Roland Ibbett , Frédéric Mallet

XRDS: Crossroads, The ACM Magazine for Students, 2003, 9 (3), pp.16-23. ⟨10.1145/904073.904078⟩

Article dans une revue hal-04677077v1

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

C. Voisset , O. Bouton , F. Bedin , L. Duret , B. Mandrand et al.

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 et al.

Journal of Virology, 1999, 73, pp.1175-1185

Article dans une revue hal-00428437v1
Deposit thumbnail

LTLc/CCSL: a Polychronous Temporal Logic

Yuanrui Zhang , Frédéric Mallet , Min Zhang , Zhiming Liu

ICFEM 2025 - 26th International Conference on Formal Engineering Methods, Nov 2025, HangZhou, Zhejiang, China

Communication dans un congrès hal-05389619v1
Deposit thumbnail

A Modular Orthogonal Integration of Operational and Prescriptive Timing Requirements using TASTD ⋆

Alex Rodrigue Ndouna , Marc Frappier , Frédéric Mallet

SBMF 2025 - 28th Brazilian Symposium on Formal Methods, Dec 2025, Recife, Brazil. ⟨10.1007/978-3-032-12086-1_2⟩

Communication dans un congrès hal-05433530v1
Deposit thumbnail

Spatio-Temporal Framework for Verifying Safety Rules in Autonomous Vehicles

Maksym Labzhaniia , Julien Deantoni , Marie-Agnès Peraldi-Frati , Frédéric Mallet

MODELS 2024 - 27th International Conference on Model Driven Engineering Languages and Systems, Sep 2024, Linz, Austria. ⟨10.1145/3652620.3687813⟩

Communication dans un congrès hal-04695647v1
Deposit thumbnail

Real-Time CCSL: Application to the Mechanical Lung Ventilator

Pavlo Tokariev , Frédéric Mallet

ABZ 2024 – 10th International Conference on Rigorous State Based Methods, Jun 2024, Bergamo, Italy. pp.289-306, ⟨10.1007/978-3-031-63790-2_24⟩

Communication dans un congrès hal-04639949v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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

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

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

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
Deposit thumbnail

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

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
Deposit thumbnail

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
Deposit thumbnail

Explicit Control of Dataflow Graphs with MARTE/CCSL

Jean-Vivien Millo , Emilien Kofman , Julien Deantoni , Frédéric Mallet , Amine Oueslati et al.

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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

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 istex hal-00839963v1
Deposit thumbnail

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
Deposit thumbnail

Reifying Concurrency for Executable Metamodeling

Benoit Combemale , Julien Deantoni , Matias Ezequiel Vara Larsen , Frédéric Mallet , Olivier Barais et al.

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 istex hal-00866477v1

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
Deposit thumbnail

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

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 istex hal-00877598v1
Deposit thumbnail

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

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

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

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

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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

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
Deposit thumbnail

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 et al.

Workshop on Model Based Engineering for Embedded Systems Design (M-BED 2011), Mar 2011, Grenoble, France

Communication dans un congrès inria-00601840v1
Deposit thumbnail

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

RT-simex: retro-analysis of execution traces

Julien Deantoni , Frédéric Mallet , Frédéric Thomas , Gonzague Reydet , Jean-Philippe Babau et al.

SIGSOFT FSE, Nov 2010, Santa Fe, United States. pp.377-378, ⟨10.1145/1882291.1882357⟩

Communication dans un congrès inria-00587116v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

Polychronous Analysis of Timing Constraints in UML MARTE

Huafeng Yu , Jean-Pierre Talpin , Loïc Besnard , Thierry Gautier , Frédéric Mallet et al.

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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 et al.

DAC 2005 Workshop - UML for SoC Design, Jun 2005, Anaheim California, United States

Communication dans un congrès hal-02466757v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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

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

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

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
Deposit thumbnail

Fostering Analysis from Industrial Embedded Systems Modeling

Michel Bourdelles , Shuai Li , Imran Rafiq Quadri , Etienne Brosse , Andrey Sadovykh et al.

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

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

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

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 istex hal-00651864v1
Deposit thumbnail

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 istex 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 istex 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
Deposit thumbnail

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 (rapport de recherche) hal-01309604v2
Deposit thumbnail

State-based representation of CCSL operators

Frédéric Mallet , Jean-Vivien Millo , Yuliia Romenska

[Research Report] RR-8334, INRIA. 2013

Rapport (rapport de recherche) hal-00846684v4
Deposit thumbnail

Correct Transformation from CCSL to Promela for verification

Frédéric Mallet , Ling Yin

[Research Report] RR-7491, INRIA. 2012, pp.33

Rapport (rapport de recherche) hal-00667849v1
Deposit thumbnail

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 (rapport de recherche) hal-00688853v1
Deposit thumbnail

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 (rapport de recherche) hal-00743874v1
Deposit thumbnail

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 (rapport de recherche) hal-00721169v2
Deposit thumbnail

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 (rapport de recherche) hal-00652987v1
Deposit thumbnail

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 (rapport de recherche) inria-00540738v2
Deposit thumbnail

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 (rapport de recherche) inria-00482727v1
Deposit thumbnail

Combining CCSL and Esterel to specify and verify time requirements

Charles André , Frédéric Mallet

[Research Report] RR-6839, INRIA. 2009

Rapport (rapport de recherche) inria-00360528v2
Deposit thumbnail

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 (rapport de recherche) inria-00200834v5
Deposit thumbnail

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 (rapport de recherche) inria-00276653v3
Deposit thumbnail

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 (rapport de recherche) inria-00308386v1
Deposit thumbnail

UML/MARTE CCSL, Signal and Petri nets

Frédéric Mallet , Charles André

[Research Report] RR-6545, INRIA. 2008

Rapport (rapport de recherche) inria-00283077v4
Deposit thumbnail

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 (rapport de recherche) inria-00348134v1
Deposit thumbnail

Clock Constraints in UML/MARTE CCSL

Charles André , Frédéric Mallet

[Research Report] RR-6540, INRIA. 2008

Rapport (rapport de recherche) inria-00280941v2
Deposit thumbnail

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 (rapport de recherche) inria-00321953v2
Deposit thumbnail

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 (rapport de recherche) inria-00124874v1
Deposit thumbnail

Logical Time in Model-Driven Engineering

Frédéric Mallet

Embedded Systems. Université Nice Sophia Antipolis, 2010

HDR tel-02113377v1
Deposit thumbnail

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
Deposit thumbnail

Actes des 22ème Journées des approches formelles dans l’assistance au développement de logiciels,AFADL'23

Natalia Kushik , Frédéric Mallet

pp.60, 2023, Journées AFADL

Proceedings/Recueil des communications hal-04179353v2

IT&I-2021 : Information Technology and Implementation 2021

Anatoly Anisimov , Vitaliy Snytyuk , Aldrich Chris , Andreas Pester , Frédéric Mallet et al.

IT&I-2021 - International Scientific Conference “Information Technology and Implementation, CEUR Workshop Proceedings, CEUR-3132, 2022

Proceedings/Recueil des communications hal-03836228v1