Hardware Modelling and Simulation Using an Object-Oriented Method. - Frédéric Mallet; Fernand Boéri; Jean-François Duboc (ESM, 1998)

Hardware Architecture Modelling Using an Object-Oriented Method. - Frédéric Mallet; Fernand Boéri; Jean-François Duboc (EUROMICRO, 1998)

Esterel and Java in an Object-Oriented Modelling and Simulation Framework for Heterogeneous Software and Hardware Systems The SEP Approach. - Frédéric Mallet; Fernand Boéri (EUROMICRO, 1999)

SEP: Simulation framework to evaluate digital hardware architectures. - Frédéric Mallet; Fernand Boéri; Jean-François Duboc (ESM, 2000)

Concurrent Control Systems: From Grafcet to VHDL. - Frédéric Mallet; Daniel Gaffé; Fernand Boéri (EUROMICRO, 2000)

Simulation of a computer architecture for quantum chromodynamics calculations. - Sadaf Alam; Roland N. Ibbett; Frédéric Mallet (ACM Crossroads, 2003)

From UML to Petri Nets for non functional Property Verification. - Frédéric Mallet; Marie-Agnès Peraldi-Frati; Charles André (IES, 2006)

Modeling of immediate vs. delayed data communications: from AADL to UML Marte. - Frédéric Mallet; Charles André; Robert de Simone (FDL, 2007)

Modeling Time(s). - Charles André; Frédéric Mallet; Robert de Simone (MoDELS, 2007)

Multiform Time in UML for Real-time Embedded Applications. - Charles André; Frédéric Mallet; Marie-Agnès Peraldi-Frati (RTCSA, 2007)

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 (SIES, 2007)

MARTE vs. AADL for Discrete-Event and Discrete-Time Domains. - Frédéric Mallet; Robert de Simone (FDL (Selected Papers), 2008)

Event-Triggered vs. Time-Triggered Communications with UML MARTE. - Frédéric Mallet; Robert de Simone; Laurent Rioux (FDL, 2008)

Dealing with AADL End-to-End Flow Latency with UML MARTE. - Su-Young Lee 002; Frédéric Mallet; Robert de Simone (ICECCS, 2008)

MARTE: a profile for RT/E systems modeling, analysis-and simulation? - Frédéric Mallet; Robert de Simone (SimuTools, 2008)

Clock constraint specification language: specifying clock constraints with UML/MARTE. - Frédéric Mallet (Innov. Syst. Softw. Eng., 2008)

IP-XACT components with abstract time characterization. - Aamir Mehut Khan; Frédéric Mallet; Charles André; Robert de Simone (FDL, 2009)

Executing AADL Models with UML/MARTE. - Frédéric Mallet; Charles André; Julien DeAntoni (ICECCS, 2009)

On the Semantics of UML/MARTE Clock Constraints. - Frédéric Mallet; Charles André (ISORC, 2009)

Marte CCSL to Execute East-ADL Timing Requirements. - Frédéric Mallet; Marie-Agnès Peraldi-Frati; Charles André (ISORC, 2009)

Specification and verification of time requirements with CCSL and Esterel. - Charles André; Frédéric Mallet (LCTES, 2009)

An Automated Process for Implementing Multilevel Domain Models. - Frédéric Mallet; François Lagarde; Charles André; Sébastien Gérard; François Terrier (SLE, 2009)

Temps Logique pour l'ingénierie dirigée par le modèles (Logical Time in Model-Driven Engineering). - Frédéric Mallet (2010)

Logical Time in Model-Driven Engineering. - Frédéric Mallet (2010)

The Time Model of Logical Clocks Available in the OMG MARTE Profile. - Charles André; Julien DeAntoni; Frédéric Mallet; Robert de Simone (Synthesis of Embedded Software, 2010)

Logical Time at Work: Capturing Data Dependencies and Platform Constraints. - Calin Glitia; Julien DeAntoni; Frédéric Mallet (FDL, 2010)

Polychronous Analysis of Timing Constraints in UML MARTE. - Huafeng Yu; Jean-Pierre Talpin; Loïc Besnard; Thierry Gautier; Frédéric Mallet; Charles André; Robert de Simone (ISORC Workshops, 2010)

VHDL Observers for Clock Constraint Checking. - Charles André; Frédéric Mallet; Julien DeAntoni (SIES, 2010)

RT-simex: retro-analysis of execution traces. - Julien DeAntoni; Frédéric Mallet; Frédéric Thomas; Gonzague Reydet; Jean-Philippe Babau; Chokri Mraidha; Ludovic Gauthier; Laurent Rioux; Nicolas Sordon (SIGSOFT FSE, 2010)

The clock constraint specification language for building timed causality models - Application to synchronous data flow graphs. - Frédéric Mallet; Julien DeAntoni; Charles André; Robert de Simone (Innov. Syst. Softw. Eng., 2010)

Un processus automatique pour concevoir les profils UML. Un profil UML pour la modélisation multiniveau. - Frédéric Mallet; Charles André; François Lagarde (Tech. Sci. Informatiques, 2010)

Modeling Timing Requirements in Problem Frames Using CCSL. - Xiaohong Chen 007; Jing Liu 012; Frédéric Mallet; Zhi Jin (APSEC, 2011)

A Model-Based Approach for Reconciliation of Polychronous Execution Traces. - Kelly Garcés; Julien Deantoni; Frédéric Mallet (EUROMICRO-SEAA, 2011)

An Efficient Modeling and Execution Framework for Complex Systems Development. - 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; et al. (ICECCS, 2011)

Verification of MARTE/CCSL Time Requirements in Promela/SPIN. - Ling Yin 002; Frédéric Mallet; Jing Liu 012 (ICECCS, 2011)

Logical Time and Temporal Logics: Comparing UML MARTE/CCSL and PSL. - Régis Gascon; Frédéric Mallet; Julien Deantoni (TIME, 2011)

Logical time: specification vs. implementation. - Frédéric Mallet; Charles André; Robert de Simone (ACM SIGSOFT Softw. Eng. Notes, 2011)

Multi-view Power Modeling Based on UML, MARTE and SysML. - Carlos Gomez; Julien DeAntoni; Frédéric Mallet (EUROMICRO-SEAA, 2012)

Automatic generation of observers from MARTE/CCSL. - Frédéric Mallet (RSP, 2012)

Formal Specification of Hybrid MARTE Statecharts. - Ziwei Liu; Jing Liu 012; Jifeng He 001; Frédéric Mallet; Miaomiao Zhang 003 (TASE, 2012)

TimeSquare: Treat Your Models with Logical Time. - Julien DeAntoni; Frédéric Mallet (TOOLS (50), 2012)

Schedulability Analysis with CCSL Specifications. - Ling Yin 002; Jing Liu 012; Zuohua Ding; Frédéric Mallet; Robert de Simone (APSEC (1), 2013)

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)

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)

Boundness Issues in CCSL Specifications. - Frédéric Mallet; Jean-Vivien Millo (ICFEM, 2013)

UML Profile for MARTE: Time Model and CCSL. - Frédéric Mallet (ICTERI, 2013)

Lazy Parallel Synchronous Composition of Infinite Transition Systems. - Yuliia Romenska; Frédéric Mallet (ICTERI, 2013)

Improving the Efficiency of Synchronized Product with Infinite Transition Systems. - Yuliia Romenska; Frédéric Mallet (ICTERI (Revised Selected Papers), 2013)

Clocks Model for Specification and Analysis of Timing in Real-Time Embedded Systems. - Iryna Zaretska; Galyna Zholtkevych; Grygoriy Zholtkevych; Frédéric Mallet (ICTERI, 2013)

Two Semantic Models for Clock Relations in the Clock Constraint Specification Language. - Grygoriy Zholtkevych; Frédéric Mallet; Iryna Zaretska; Galyna Zholtkevych (ICTERI (Revised Selected Papers), 2013)

Safe CCSL specifications and marked graphs. - Frédéric Mallet; Jean-Vivien Millo; Robert de Simone (MEMOCODE, 2013)

Power consumption analysis using multi-view modeling. - Carlos Gomez; Julien DeAntoni; Frédéric Mallet (PATMOS, 2013)

Verifying MARTE/CCSL Mode Behaviors Using UPPAAL. - Jagadish Suryadevara; Cristina Cerschi Seceleanu; Frédéric Mallet; Paul Pettersson (SEFM, 2013)

Reifying Concurrency for Executable Metamodeling. - Benoît Combemale; Julien De Antoni; Matias Vara Larsen; Frédéric Mallet; Olivier Barais; Benoit Baudry; Robert B. France (SLE, 2013)

Hybrid MARTE statecharts. - Jing Liu 012; Ziwei Liu; Jifeng He 001; Frédéric Mallet; Zuohua Ding (Frontiers Comput. Sci., 2013)

Scenario-based verification in presence of variability using a synchronous approach. - Jean-Vivien Millo; Frédéric Mallet; Anthony Coadou; S. Ramesh 002 (Frontiers Comput. Sci., 2013)

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)

Coalgebraic Semantic Model for the Clock Constraint Specification Language. - Frédéric Mallet; Grygoriy Zholtkevych (FTSCS, 2014)

Timed Automata Semantics of Spatial-Temporal Consistency Language STeC. - Yuanrui Zhang; Frédéric Mallet; Yixiang Chen 001 (TASE, 2014)

An Executable Semantics of Clock Constraint Specification Language and Its Applications. - Min Zhang 002; Frédéric Mallet (FTSCS, 2015)

A Behavioral Coordination Operator Language (BCOoL). - Matias Ezequiel Vara Larsen; Julien DeAntoni; Benoît Combemale; Frédéric Mallet (MoDELS, 2015)

A Model-Driven Based Environment for Automatic Model Coordination. - Matias Ezequiel Vara Larsen; Julien DeAntoni; Benoît Combemale; Frédéric Mallet (P&D@MoDELS, 2015)

MARTE/CCSL for Modeling Cyber-Physical Systems. - Frédéric Mallet (SyDe Summer School, 2015)

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; Abdoulaye Gamatié (Des. Autom. Embed. Syst., 2015)

Correctness issues on MARTE/CCSL constraints. - Frédéric Mallet; Robert de Simone (Sci. Comput. Program., 2015)

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)

Flexible runtime verification based on logical clock constraints. - Daian Yue; Vania Joloboff; Frédéric Mallet (FDL, 2016)

An SMT-Based Approach to the Formal Analysis of MARTE/CCSL. - Min Zhang 002; Frédéric Mallet; Huibiao Zhu (ICFEM, 2016)

Natural interpretation of UML/MARTE diagrams for system requirements specification. - Aamir M. Khan; Frédéric Mallet; Muhammad Rashid 001 (SIES, 2016)

Explicit Control of Dataflow Graphs with MARTE/CCSL. - Jean-Vivien Millo; Amine Oueslati; Emilien Kofman; Julien DeAntoni; Frédéric Mallet; Robert de Simone (MODELSWARD, 2017)

Quantitative Performance Evaluation of Uncertainty-Aware Hybrid AADL Designs Using Statistical Model Checking. - Yongxiang Bao; Mingsong Chen 001; Qi Zhu 002; Tongquan Wei; Frédéric Mallet; Tingliang Zhou (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2017)

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)

Time in SCCharts. - Alexander Schulz-Rosengarten; Reinhard von Hanxleden; Frédéric Mallet; Robert de Simone; Julien Deantoni (FDL, 2018)

Embedding CCSL into Dynamic Logic: A Logical Approach for the Verification of CCSL Specifications. - Yuanrui Zhang; Hengyang Wu; Yixiang Chen 001; Frédéric Mallet (FTSCS, 2018)

Work-in-Progress: From Logical Time Scheduling to Real-Time Scheduling. - Frédéric Mallet; Min Zhang 002 (RTSS, 2018)

pCSSL: A stochastic extension to MARTE/CCSL for modeling uncertainty in Cyber Physical Systems. - Dehui Du; Ping Huang; Kaiqiang Jiang; Frédéric Mallet (Sci. Comput. Program., 2018)

Periodic scheduling for MARTE/CCSL: Theory and practice. - Min Zhang 002; Feng Dai; Frédéric Mallet (Sci. Comput. Program., 2018)

A Language-Based Multi-View Approach for Combining Functional and Security Models. - Hui Zhao 016; Frédéric Mallet; Ludovic Apvrille (APSEC, 2019)

Sample-Guided Automated Synthesis for CCSL Specifications. - Ming Hu 003; Tongquan Wei; Min Zhang 002; Frédéric Mallet; Mingsong Chen 001 (DAC, 2019)

SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language. - Min Zhang 002; Fu Song; Frédéric Mallet; Xiaohong Chen 007 (FASE, 2019)

Meta-models Combination for Reusing Verification Techniques. - Hui Zhao 016; Ludovic Apvrille; Frédéric Mallet (MODELSWARD, 2019)

A Model-Based Combination Language for Scheduling Verification. - Hui Zhao 016; Ludovic Apvrille; Frédéric Mallet (MODELSWARD (Revised Selected Papers), 2019)

A Logical Approach for the Schedulability Analysis of CCSL. - Yuanrui Zhang; Frédéric Mallet; Huibiao Zhu; Yixiang Chen 001 (TASE, 2019)

A framework to specify system requirements using natural interpretation of UML/MARTE diagrams. - Aamir M. Khan; Frédéric Mallet; Muhammad Rashid 001 (Softw. Syst. Model., 2019)

Modeling and Verifying Uncertainty-Aware Timing Behaviors using Parametric Logical Time Constraint. - Fei Gao; Frédéric Mallet; Min Zhang 002; Mingsong Chen 001 (DATE, 2020)

Formally Verifying Sequence Diagrams for Safety Critical Systems. - Xiaohong Chen 007; Frédéric Mallet; Xiaoshan Liu (TASE, 2020)

TRAP: trace runtime analysis of properties. - Daian Yue; Vania Joloboff; Frédéric Mallet (Frontiers Comput. Sci., 2020)

A verification framework for spatio-temporal consistency language with CCSL as a specification language. - Yuanrui Zhang; Frédéric Mallet; Yixiang Chen 001 (Frontiers Comput. Sci., 2020)

Editorial - Theoretical Aspects of Software Engineering (2017). - Frédéric Mallet; Min Zhang 002 (Sci. Comput. Program., 2020)

Model-driven approach for the design of Multi-Chain Smart Contracts. - Ankica Barisic; Enlin Zhu; Frédéric Mallet (BRAINS, 2021)

EPSAAV: An Extensible Platform for Safety Analysis of Autonomous Vehicles. - Joelle Abou Faysal; Nour Zalmai; Ankica Barisic; Frédéric Mallet (MEDI Workshops, 2021)

Enumeration and Deduction Driven Co-Synthesis of CCSL Specifications using Reinforcement Learning. - Ming Hu 003; Jiepin Ding; Min Zhang 002; Frédéric Mallet; Mingsong Chen 001 (RTSS, 2021)

Preface - FTSCS 2019. - Osman Hasan; Frédéric Mallet (Sci. Comput. Program., 2021)

A clock-based dynamic logic for schedulability analysis of CCSL specifications. - Yuanrui Zhang; Frédéric Mallet; Huibiao Zhu; Yixiang Chen 001; Bo Liu 033; Zhiming Liu 001 (Sci. Comput. Program., 2021)

A clock-based dynamic logic for the verification of CCSL specifications in synchronous systems. - Yuanrui Zhang; Hengyang Wu; Yixiang Chen 001; Frédéric Mallet (Sci. Comput. Program., 2021)

A dynamic logic for verification of synchronous models based on theorem proving. - Yuanrui Zhang; Frédéric Mallet; Zhiming Liu 001 (Frontiers Comput. Sci., 2022)

Formally verifying consistency of sequence diagrams for safety critical systems. - Xiaohong Chen 007; Qianqian Liu; Frédéric Mallet; Qin Li 002; Shubin Cai; Zhi Jin (Sci. Comput. Program., 2022)

Time: It is only Logical! - Frédéric Mallet (Theories of Programming and Formal Methods, 2023)

Accelerating Reinforcement Learning-Based CCSL Specification Synthesis Using Curiosity-Driven Exploration. - Ming Hu 003; Min Zhang 002; Frédéric Mallet; Xin Fu; Mingsong Chen 001 (IEEE Trans. Computers, 2023)

Automated Synthesis of Safe Timing Behaviors for Requirements Models Using CCSL. - Ming Hu 003; Jun Xia 003; Min Zhang 002; Xiaohong Chen 007; Frédéric Mallet; Mingsong Chen 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2023)

Spatio-Temporal Framework for Verifying Safety Rules in Autonomous Vehicles. - Maksym Labzhaniia; Julien Deantoni; Marie-Agnès Peraldi-Frati; Frédéric Mallet (MoDELS (Companion), 2024)

Real-Time CCSL: Application to the Mechanical Lung Ventilator. - Pavlo Tokariev; Frédéric Mallet (ABZ, 2024)

Specification and Verification of Multi-Clock Systems Using a Temporal Logic with Clock Constraints. - Yuanrui Zhang; Frédéric Mallet; Min Zhang 002; Zhiming Liu 001 (Formal Aspects Comput., 2024)

A Scalable Approach to Detecting Safety Requirements Inconsistencies for Railway Systems. - Xiaohong Chen 007; Zhi Jin; Min Zhang 002; Frédéric Mallet; Xiaoshan Liu; Tingliang Zhou (IEEE Trans. Intell. Transp. Syst., 2024)