Frédéric Mallet

ORCID

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 38

Top Venues

Sci. Comput. Program.

FDL

FTSCS

TASE

Publications

Pavlo Tokariev, Frédéric Mallet
Real-Time CCSL: Application to the Mechanical Lung Ventilator. ABZ (2024)
Yuanrui Zhang, Frédéric Mallet, Min Zhang, Zhiming Liu
Specification and Verification of Multi-Clock Systems Using a Temporal Logic with Clock Constraints. Formal Aspects Comput. 36 (2) (2024)
Xiaohong Chen, Zhi Jin, Min Zhang, Frédéric Mallet, Xiaoshan Liu, Tingliang Zhou
A Scalable Approach to Detecting Safety Requirements Inconsistencies for Railway Systems. IEEE Trans. Intell. Transp. Syst. 25 (8) (2024)
Ming Hu, Jun Xia, Min Zhang, Xiaohong Chen, Frédéric Mallet, Mingsong Chen
Automated Synthesis of Safe Timing Behaviors for Requirements Models Using CCSL. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42 (12) (2023)
Ming Hu, Min Zhang, Frédéric Mallet, Xin Fu, Mingsong Chen
Accelerating Reinforcement Learning-Based CCSL Specification Synthesis Using Curiosity-Driven Exploration. IEEE Trans. Computers 72 (5) (2023)
Frédéric Mallet
Time: It is only Logical! Theories of Programming and Formal Methods (2023)
Yuanrui Zhang, Frédéric Mallet, Zhiming Liu
A dynamic logic for verification of synchronous models based on theorem proving. Frontiers Comput. Sci. 16 (4) (2022)
Xiaohong Chen, Qianqian Liu, Frédéric Mallet, Qin Li, Shubin Cai, Zhi Jin
Formally verifying consistency of sequence diagrams for safety critical systems. Sci. Comput. Program. 216 (2022)
Ming Hu, Jiepin Ding, Min Zhang, Frédéric Mallet, Mingsong Chen
Enumeration and Deduction Driven Co-Synthesis of CCSL Specifications using Reinforcement Learning. RTSS (2021)
Osman Hasan, Frédéric Mallet
Preface - FTSCS 2019. Sci. Comput. Program. 209 (2021)
Ankica Barisic, Enlin Zhu, Frédéric Mallet
Model-driven approach for the design of Multi-Chain Smart Contracts. BRAINS (2021)
Yuanrui Zhang, Hengyang Wu, Yixiang Chen, Frédéric Mallet
A clock-based dynamic logic for the verification of CCSL specifications in synchronous systems. Sci. Comput. Program. 203 (2021)
Yuanrui Zhang, Frédéric Mallet, Huibiao Zhu, Yixiang Chen, Bo Liu, Zhiming Liu
A clock-based dynamic logic for schedulability analysis of CCSL specifications. Sci. Comput. Program. 202 (2021)
Joelle Abou Faysal, Nour Zalmai, Ankica Barisic, Frédéric Mallet
EPSAAV: An Extensible Platform for Safety Analysis of Autonomous Vehicles. MEDI Workshops (2021)
Daian Yue, Vania Joloboff, Frédéric Mallet
TRAP: trace runtime analysis of properties. Frontiers Comput. Sci. 14 (3) (2020)
Frédéric Mallet, Min Zhang
Editorial - Theoretical Aspects of Software Engineering (2017). Sci. Comput. Program. 198 (2020)
Fei Gao, Frédéric Mallet, Min Zhang, Mingsong Chen
Modeling and Verifying Uncertainty-Aware Timing Behaviors using Parametric Logical Time Constraint. DATE (2020)
Xiaohong Chen, Frédéric Mallet, Xiaoshan Liu
Formally Verifying Sequence Diagrams for Safety Critical Systems. TASE (2020)
Yuanrui Zhang, Frédéric Mallet, Yixiang Chen
A verification framework for spatio-temporal consistency language with CCSL as a specification language. Frontiers Comput. Sci. 14 (1) (2020)
Hui Zhao, Ludovic Apvrille, Frédéric Mallet
Meta-models Combination for Reusing Verification Techniques. MODELSWARD (2019)
Yuanrui Zhang, Frédéric Mallet, Huibiao Zhu, Yixiang Chen
A Logical Approach for the Schedulability Analysis of CCSL. TASE (2019)
Ming Hu, Tongquan Wei, Min Zhang, Frédéric Mallet, Mingsong Chen
Sample-Guided Automated Synthesis for CCSL Specifications. DAC (2019)
Hui Zhao, Frédéric Mallet, Ludovic Apvrille
A Language-Based Multi-View Approach for Combining Functional and Security Models. APSEC (2019)
Hui Zhao, Ludovic Apvrille, Frédéric Mallet
A Model-Based Combination Language for Scheduling Verification. MODELSWARD (Revised Selected Papers) (2019)
Min Zhang, Fu Song, Frédéric Mallet, Xiaohong Chen
SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language. FASE (2019)
Aamir M. Khan, Frédéric Mallet, Muhammad Rashid
A framework to specify system requirements using natural interpretation of UML/MARTE diagrams. Softw. Syst. Model. 18 (1) (2019)
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)
Yuanrui Zhang, Hengyang Wu, Yixiang Chen, Frédéric Mallet
Embedding CCSL into Dynamic Logic: A Logical Approach for the Verification of CCSL Specifications. FTSCS (2018)
Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Frédéric Mallet, Robert de Simone, Julien Deantoni
Time in SCCharts. FDL (2018)
Dehui Du, Ping Huang, Kaiqiang Jiang, Frédéric Mallet
pCSSL: A stochastic extension to MARTE/CCSL for modeling uncertainty in Cyber Physical Systems. Sci. Comput. Program. 166 (2018)
Frédéric Mallet, Min Zhang
Work-in-Progress: From Logical Time Scheduling to Real-Time Scheduling. RTSS (2018)
Min Zhang, Feng Dai, Frédéric Mallet
Periodic scheduling for MARTE/CCSL: Theory and practice. Sci. Comput. Program. 154 (2018)
Yongxiang Bao, Mingsong Chen, Qi Zhu, Tongquan Wei, Frédéric Mallet, Tingliang Zhou
Quantitative Performance Evaluation of Uncertainty-Aware Hybrid AADL Designs Using Statistical Model Checking. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 36 (12) (2017)
Jean-Vivien Millo, Amine Oueslati, Emilien Kaufman, Julien DeAntoni, Frédéric Mallet, Robert de Simone
Explicit Control of Dataflow Graphs with MARTE/CCSL. MODELSWARD (2017)
Min Zhang, Frédéric Mallet, Huibiao Zhu
An SMT-Based Approach to the Formal Analysis of MARTE/CCSL. ICFEM (2016)
Daian Yue, Vania Joloboff, Frédéric Mallet
Flexible runtime verification based on logical clock constraints. FDL (2016)
Aamir M. Khan, Frédéric Mallet, Muhammad Rashid
Natural interpretation of UML/MARTE diagrams for system requirements specification. SIES (2016)
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)
Calin Glitia, Julien DeAntoni, Frédéric Mallet, Jean-Vivien Millo, Pierre Boulet, Abdoulaye Gamatié
Progressive and explicit refinement of scheduling for multidimensional data-flow applications using UML MARTE. Des. Autom. Embed. Syst. 19 (1-2) (2015)
Matias Ezequiel Vara Larsen, Julien DeAntoni, Benoît Combemale, Frédéric Mallet
A Behavioral Coordination Operator Language (BCOoL). MoDELS (2015)
Frédéric Mallet, Robert de Simone
Correctness issues on MARTE/CCSL constraints. Sci. Comput. Program. 106 (2015)
Frédéric Mallet
MARTE/CCSL for Modeling Cyber-Physical Systems. SyDe Summer School (2015)
Min Zhang, Frédéric Mallet
An Executable Semantics of Clock Constraint Specification Language and Its Applications. FTSCS (2015)
Matias Ezequiel Vara Larsen, Julien DeAntoni, Benoît Combemale, Frédéric Mallet
A Model-Driven Based Environment for Automatic Model Coordination. P&D@MoDELS (2015)
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)
Yuanrui Zhang, Frédéric Mallet, Yixiang Chen
Timed Automata Semantics of Spatial-Temporal Consistency Language STeC. TASE (2014)
Frédéric Mallet, Grygoriy Zholtkevych
Coalgebraic Semantic Model for the Clock Constraint Specification Language. FTSCS (2014)
Yuliia Romenska, Frédéric Mallet
Improving the Efficiency of Synchronized Product with Infinite Transition Systems. ICTERI (Revised Selected Papers) (2013)
Yuliia Romenska, Frédéric Mallet
Lazy Parallel Synchronous Composition of Infinite Transition Systems. ICTERI (2013)
Iryna Zaretska, Galyna Zholtkevych, Grygoriy Zholtkevych, Frédéric Mallet
Clocks Model for Specification and Analysis of Timing in Real-Time Embedded Systems. ICTERI (2013)
Frédéric Mallet
UML Profile for MARTE: Time Model and CCSL. ICTERI (2013)
Carlos Gomez, Julien DeAntoni, Frédéric Mallet
Power consumption analysis using multi-view modeling. PATMOS (2013)
Jean-Vivien Millo, Frédéric Mallet, Anthony Coadou, S. Ramesh
Scenario-based verification in presence of variability using a synchronous approach. Frontiers Comput. Sci. 7 (5) (2013)
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)
Jagadish Suryadevara, Cristina Cerschi Seceleanu, Frédéric Mallet, Paul Pettersson
Verifying MARTE/CCSL Mode Behaviors Using UPPAAL. SEFM (2013)
Grygoriy Zholtkevych, Frédéric Mallet, Iryna Zaretska, Galyna Zholtkevych
Two Semantic Models for Clock Relations in the Clock Constraint Specification Language. ICTERI (Revised Selected Papers) (2013)
Benoît Combemale, Julien De Antoni, Matias Vara Larsen, Frédéric Mallet, Olivier Barais, Benoit Baudry, Robert B. France
Reifying Concurrency for Executable Metamodeling. SLE (2013)
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)
Ling Yin, Jing Liu, Zuohua Ding, Frédéric Mallet, Robert de Simone
Schedulability Analysis with CCSL Specifications. APSEC (1) (2013)
Frédéric Mallet, Jean-Vivien Millo, Robert de Simone
Safe CCSL specifications and marked graphs. MEMOCODE (2013)
Frédéric Mallet, Jean-Vivien Millo
Boundness Issues in CCSL Specifications. ICFEM (2013)
Jing Liu, Ziwei Liu, Jifeng He, Frédéric Mallet, Zuohua Ding
Hybrid MARTE statecharts. Frontiers Comput. Sci. 7 (1) (2013)
Carlos Gomez, Julien DeAntoni, Frédéric Mallet
Multi-view Power Modeling Based on UML, MARTE and SysML. EUROMICRO-SEAA (2012)
Frédéric Mallet
Automatic generation of observers from MARTE/CCSL. RSP (2012)
Calin Glitia, Julien DeAntoni, Frédéric Mallet, Jean-Vivien Millo, Pierre Boulet, Abdoulaye Gamatié
Progressive and explicit refinement of scheduling for multidimensional data-flow applications using uml marte. Des. Autom. Embed. Syst. 16 (2) (2012)
Julien DeAntoni, Frédéric Mallet
TimeSquare: Treat Your Models with Logical Time. TOOLS (50) (2012)
Ziwei Liu, Jing Liu, Jifeng He, Frédéric Mallet, Miaomiao Zhang
Formal Specification of Hybrid MARTE Statecharts. TASE (2012)
Kelly Garcés, Julien Deantoni, Frédéric Mallet
A Model-Based Approach for Reconciliation of Polychronous Execution Traces. EUROMICRO-SEAA (2011)
Xiaohong Chen, Jing Liu, Frédéric Mallet, Zhi Jin
Modeling Timing Requirements in Problem Frames Using CCSL. APSEC (2011)
Régis Gascon, Frédéric Mallet, Julien Deantoni
Logical Time and Temporal Logics: Comparing UML MARTE/CCSL and PSL. TIME (2011)
Frédéric Mallet, Charles André, Robert de Simone
Logical time: specification vs. implementation. ACM SIGSOFT Softw. Eng. Notes 36 (1) (2011)
Ling Yin, Frédéric Mallet, Jing Liu
Verification of MARTE/CCSL Time Requirements in Promela/SPIN. ICECCS (2011)
Isabelle Perseil, Laurent Pautet, Jean-François Rolland, Mamoun Filali, Didier Delanote, Stefan Van Baelen, Wouter Joosen, Yolande Berbers, Frédéric Mallet, Dominique Bertrand, Sébastien Faucou, Abdelhafid Zitouni, Mahmoud Boufaïda, Lionel Seinturier, Joël Champeau, Thomas Abdoul, Peter H. Feiler, Chokri Mraidha, Sébastien Gérard
An Efficient Modeling and Execution Framework for Complex Systems Development. ICECCS (2011)
Frédéric Mallet, Charles André, François Lagarde
Un processus automatique pour concevoir les profils UML. Un profil UML pour la modélisation multiniveau. Tech. Sci. Informatiques 29 (4-5) (2010)
Calin Glitia, Julien DeAntoni, Frédéric Mallet
Logical Time at Work: Capturing Data Dependencies and Platform Constraints. FDL (2010)
Frédéric Mallet, Julien DeAntoni, Charles André, Robert de Simone
The clock constraint specification language for building timed causality models - Application to synchronous data flow graphs. Innov. Syst. Softw. Eng. 6 (1-2) (2010)
Charles André, Frédéric Mallet, Julien DeAntoni
VHDL Observers for Clock Constraint Checking. SIES (2010)
Julien DeAntoni, Frédéric Mallet, Frédéric Thomas, Gonzague Reydet, Jean-Philippe Babau, Chokri Mraidha, Ludovic Gauthier, Laurent Rioux, Nicolas Sordon
RT-simex: retro-analysis of execution traces. SIGSOFT FSE (2010)
Huafeng Yu, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier, Frédéric Mallet, Charles André, Robert de Simone
Polychronous Analysis of Timing Constraints in UML MARTE. ISORC Workshops (2010)
Frédéric Mallet, Marie-Agnès Peraldi-Frati, Charles André
Marte CCSL to Execute East-ADL Timing Requirements. ISORC (2009)
Frédéric Mallet, François Lagarde, Charles André, Sébastien Gérard, François Terrier
An Automated Process for Implementing Multilevel Domain Models. SLE (2009)
Frédéric Mallet, Charles André, Julien DeAntoni
Executing AADL Models with UML/MARTE. ICECCS (2009)
Frédéric Mallet, Charles André
On the Semantics of UML/MARTE Clock Constraints. ISORC (2009)
Charles André, Frédéric Mallet
Specification and verification of time requirements with CCSL and Esterel. LCTES (2009)
Aamir Mehut Khan, Frédéric Mallet, Charles André, Robert de Simone
IP-XACT components with abstract time characterization. FDL (2009)
Frédéric Mallet
Clock constraint specification language: specifying clock constraints with UML/MARTE. Innov. Syst. Softw. Eng. 4 (3) (2008)
Frédéric Mallet, Robert de Simone, Laurent Rioux
Event-Triggered vs. Time-Triggered Communications with UML MARTE. FDL (2008)
Su-Young Lee, Frédéric Mallet, Robert de Simone
Dealing with AADL End-to-End Flow Latency with UML MARTE. ICECCS (2008)
Frédéric Mallet, Robert de Simone
MARTE vs. AADL for Discrete-Event and Discrete-Time Domains. FDL (Selected Papers) (2008)
Frédéric Mallet, Robert de Simone
? SimuTools (2008)
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. SIES (2007)
Charles André, Frédéric Mallet, Marie-Agnès Peraldi-Frati
Multiform Time in UML for Real-time Embedded Applications. RTCSA (2007)
Charles André, Frédéric Mallet, Robert de Simone
Modeling Time(s). MoDELS (2007)
Frédéric Mallet, Charles André, Robert de Simone
Modeling of immediate vs. delayed data communications: from AADL to UML Marte. FDL (2007)
Frédéric Mallet, Marie-Agnès Peraldi-Frati, Charles André
From UML to Petri Nets for non functional Property Verification. IES (2006)
Sadaf Alam, Roland N. Ibbett, Frédéric Mallet
Simulation of a computer architecture for quantum chromodynamics calculations. ACM Crossroads 9 (3) (2003)
Frédéric Mallet, Daniel Gaffé, Fernand Boéri
Concurrent Control Systems: From Grafcet to VHDL. EUROMICRO (2000)
Frédéric Mallet, Fernand Boéri, Jean-François Duboc
SEP: Simulation framework to evaluate digital hardware architectures. ESM (2000)
Frédéric Mallet, Fernand Boéri
Esterel and Java in an Object-Oriented Modelling and Simulation Framework for Heterogeneous Software and Hardware Systems The SEP Approach. EUROMICRO (1999)
Frédéric Mallet, Fernand Boéri, Jean-François Duboc
Hardware Modelling and Simulation Using an Object-Oriented Method. ESM (1998)

Frédéric Mallet.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Frédéric Mallet