| 2024 | MODELS | Spatio-Temporal Framework for Verifying Safety Rules in Autonomous Vehicles. | Maksym Labzhaniia, Julien Deantoni, Marie-Agns Peraldi-Frati, Frdric Mallet |
| 2021 | MEDI | EPSAAV: An Extensible Platform for Safety Analysis of Autonomous Vehicles. | Joelle Abou Faysal, Nour Zalmai, Ankica Barisic, Frdric Mallet |
| 2021 | RTSS | Enumeration and Deduction Driven Co-Synthesis of CCSL Specifications using Reinforcement Learning. | Ming Hu, Jiepin Ding, Min Zhang, Frdric Mallet, Mingsong Chen |
| 2020 | DATE | Modeling and Verifying Uncertainty-Aware Timing Behaviors using Parametric Logical Time Constraint. | Fei Gao, Frdric Mallet, Min Zhang, Mingsong Chen |
| 2020 | TASE | Formally Verifying Sequence Diagrams for Safety Critical Systems. | Xiaohong Chen, Frdric Mallet, Xiaoshan Liu |
| 2019 | APSEC | A Language-Based Multi-View Approach for Combining Functional and Security Models. | Hui Zhao, Frdric Mallet, Ludovic Apvrille |
| 2019 | DAC | Sample-Guided Automated Synthesis for CCSL Specifications. | Ming Hu, Tongquan Wei, Min Zhang, Frdric Mallet, Mingsong Chen |
| 2019 | FASE | SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language. | Min Zhang, Fu Song, Frdric Mallet, Xiaohong Chen |
| 2019 | MODELSWARD | Meta-models Combination for Reusing Verification Techniques. | Hui Zhao, Ludovic Apvrille, Frdric Mallet |
| 2019 | MODELSWARD | A Model-Based Combination Language for Scheduling Verification. | Hui Zhao, Ludovic Apvrille, Frdric Mallet |
| 2019 | TASE | A Logical Approach for the Schedulability Analysis of CCSL. | Yuanrui Zhang, Frdric Mallet, Huibiao Zhu, Yixiang Chen |
| 2018 | APSEC | xSHS: An Executable Domain-Specific Modeling Language for Modeling Stochastic and Hybrid Behaviors of Cyber-Physical Systems. | Chunlin Guan, Yi Ao, Dehui Du, Frdric Mallet |
| 2018 | FDL | Time in SCCharts. | Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Frdric Mallet, Robert de Simone, Julien Deantoni |
| 2018 | RTSS | Work-in-Progress: From Logical Time Scheduling to Real-Time Scheduling. | Frdric Mallet, Min Zhang |
| 2017 | MODELSWARD | Explicit Control of Dataflow Graphs with MARTE/CCSL. | Jean-Vivien Millo, Amine Oueslati, Emilien Kofman, Julien DeAntoni, Frdric Mallet, Robert de Simone |
| 2016 | FDL | Flexible runtime verification based on logical clock constraints. | Daian Yue, Vania Joloboff, Frdric Mallet |
| 2016 | ICFEM | An SMT-Based Approach to the Formal Analysis of MARTE/CCSL. | Min Zhang, Frdric Mallet, Huibiao Zhu |
| 2015 | MODELS | A Behavioral Coordination Operator Language (BCOoL). | Matias Ezequiel Vara Larsen, Julien DeAntoni, Benot Combemale, Frdric Mallet |
| 2015 | MODELS | A Model-Driven Based Environment for Automatic Model Coordination. | Matias Ezequiel Vara Larsen, Julien DeAntoni, Benot Combemale, Frdric Mallet |
| 2014 | FDL | Execution of heterogeneous models for thermal analysis with a multi-view approach. | Amani Khecharem, Carlos Gomez, Julien Deantoni, Frdric Mallet, Robert de Simone |
| 2014 | TASE | Timed Automata Semantics of Spatial-Temporal Consistency Language STeC. | Yuanrui Zhang, Frdric Mallet, Yixiang Chen |
| 2013 | APSEC | Schedulability Analysis with CCSL Specifications. | Ling Yin, Jing Liu, Zuohua Ding, Frdric Mallet, Robert de Simone |
| 2013 | ECSA | Analysis Support for TADL2 Timing Constraints on EAST-ADL Models. | Arda Goknil, Jagadish Suryadevara, Marie-Agns Peraldi-Frati, Frdric Mallet |
| 2013 | ICECCS | Tool Support for the Analysis of TADL2 Timing Constraints Using TimeSquare. | Arda Goknil, Julien DeAntoni, Marie-Agns Peraldi-Frati, Frdric Mallet |
| 2013 | ICFEM | Boundness Issues in CCSL Specifications. | Frdric Mallet, Jean-Vivien Millo |
| 2013 | ICTERI | UML Profile for MARTE: Time Model and CCSL. | Frdric Mallet |
| 2013 | ICTERI | Lazy Parallel Synchronous Composition of Infinite Transition Systems. | Yuliia Romenska, Frdric Mallet |
| 2013 | ICTERI | Improving the Efficiency of Synchronized Product with Infinite Transition Systems. | Yuliia Romenska, Frdric Mallet |
| 2013 | ICTERI | Clocks Model for Specification and Analysis of Timing in Real-Time Embedded Systems. | Iryna Zaretska, Galyna Zholtkevych, Grygoriy Zholtkevych, Frdric Mallet |
| 2013 | ICTERI | Two Semantic Models for Clock Relations in the Clock Constraint Specification Language. | Grygoriy Zholtkevych, Frdric Mallet, Iryna Zaretska, Galyna Zholtkevych |
| 2013 | MEMOCODE | Safe CCSL specifications and marked graphs. | Frdric Mallet, Jean-Vivien Millo, Robert de Simone |
| 2013 | SEFM | Verifying MARTE/CCSL Mode Behaviors Using UPPAAL. | Jagadish Suryadevara, Cristina Cerschi Seceleanu, Frdric Mallet, Paul Pettersson |
| 2013 | SLE | Reifying Concurrency for Executable Metamodeling. | Benot Combemale, Julien De Antoni, Matias Vara Larsen, Frdric Mallet, Olivier Barais, Benoit Baudry, Robert B. France |
| 2012 | RSP | Automatic generation of observers from MARTE/CCSL. | Frdric Mallet |
| 2012 | TASE | Formal Specification of Hybrid MARTE Statecharts. | Ziwei Liu, Jing Liu, Jifeng He, Frdric Mallet, Miaomiao Zhang |
| 2011 | APSEC | Modeling Timing Requirements in Problem Frames Using CCSL. | Xiaohong Chen, Jing Liu, Frdric Mallet, Zhi Jin |
| 2011 | ICECCS | An Efficient Modeling and Execution Framework for Complex Systems Development. | Isabelle Perseil, Laurent Pautet, Jean-Franois Rolland, Mamoun Filali, Didier Delanote, Stefan Van Baelen, Wouter Joosen, Yolande Berbers, Frdric Mallet, Dominique Bertrand, Sbastien Faucou, Abdelhafid Zitouni, Mahmoud Boufada, Lionel Seinturier, Jol Champeau, Thomas Abdoul, Peter H. Feiler, Chokri Mraidha, Sbastien Grard |
| 2011 | ICECCS | Verification of MARTE/CCSL Time Requirements in Promela/SPIN. | Ling Yin, Frdric Mallet, Jing Liu |
| 2011 | TIME | Logical Time and Temporal Logics: Comparing UML MARTE/CCSL and PSL. | Rgis Gascon, Frdric Mallet, Julien Deantoni |
| 2010 | FDL | Logical Time at Work: Capturing Data Dependencies and Platform Constraints. | Calin Glitia, Julien DeAntoni, Frdric Mallet |
| 2010 | ISORC | Polychronous Analysis of Timing Constraints in UML MARTE. | Huafeng Yu, Jean-Pierre Talpin, Loc Besnard, Thierry Gautier, Frdric Mallet, Charles Andr, Robert de Simone |
| 2009 | FDL | IP-XACT components with abstract time characterization. | Aamir Mehut Khan, Frdric Mallet, Charles Andr, Robert de Simone |
| 2009 | ICECCS | Executing AADL Models with UML/MARTE. | Frdric Mallet, Charles Andr, Julien DeAntoni |
| 2009 | ISORC | On the Semantics of UML/MARTE Clock Constraints. | Frdric Mallet, Charles Andr |
| 2009 | ISORC | Marte CCSL to Execute East-ADL Timing Requirements. | Frdric Mallet, Marie-Agns Peraldi-Frati, Charles Andr |
| 2009 | SLE | An Automated Process for Implementing Multilevel Domain Models. | Frdric Mallet, Franois Lagarde, Charles Andr, Sbastien Grard, Franois Terrier |
| 2008 | FDL | MARTE vs. AADL for Discrete-Event and Discrete-Time Domains. | Frdric Mallet, Robert de Simone |
| 2008 | FDL | Event-Triggered vs. Time-Triggered Communications with UML MARTE. | Frdric Mallet, Robert de Simone, Laurent Rioux |
| 2008 | ICECCS | Dealing with AADL End-to-End Flow Latency with UML MARTE. | Su-Young Lee, Frdric Mallet, Robert de Simone |
| 2007 | FDL | Modeling of immediate vs. delayed data communications: from AADL to UML Marte. | Frdric Mallet, Charles Andr, Robert de Simone |
| 2007 | MODELS | Modeling Time(s). | Charles Andr, Frdric Mallet, Robert de Simone |
| 2007 | RTCSA | Multiform Time in UML for Real-time Embedded Applications. | Charles Andr, Frdric Mallet, Marie-Agns Peraldi-Frati |