Frédéric Mallet - Publications, H-index & Citations

Frédéric Mallet

centre national de la recherche scientifique (cnrs)

22H指数

181论文数

1.5K被引数

收录论文 8

发表时间

A Modular Orthogonal Integration of Operational and Prescriptive Timing Requirements Using TASTD 使用TASTD的模块化正交集成操作和规范性时序要求

FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2025

IF0

2026-01-01

PREAI

Ndouna, Alex Rodrigue; Frappier, Marc; Mallet, Frederic

A Scalable Approach to Detecting Safety Requirements Inconsistencies for Railway Systems

IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS

IF8.4

2024-08-01

PREAI

Chen, Xiaohong; Jin, Zhi; Zhang, Min; Mallet, Frederic; Liu, Xiaoshan; Zhou, Tingliang

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

IEEE TRANSACTIONS ON COMPUTERS

IF3.8

2023-05-01

PREAI

Hu, Ming; Zhang, Min; Mallet, Frederic; Fu, Xin; Chen, Mingsong

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

FRONTIERS OF COMPUTER SCIENCE

IF4.6

2022-04-29

PREAI

Zhang, Yuanrui; Mallet, Frederic; Liu, Zhiming

TRAP: trace runtime analysis of properties 陷阱: 属性的跟踪运行时分析

FRONTIERS OF COMPUTER SCIENCE

IF4.6

2019-12-07

PREAI

Yue, Daian; Joloboff, Vania; Mallet, Frederic

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

FRONTIERS OF COMPUTER SCIENCE

IF4.6

2018-11-13

PREAI

Zhang, Yuanrui; Mallet, Frederic; Chen, Yixiang

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

FRONTIERS OF COMPUTER SCIENCE

IF4.6

2013-09-19

OAAI

Millo, Jean-Vivien; Mallet, Frederic; Coadou, Anthony; Ramesh, S.

Hybrid MARTE statecharts

FRONTIERS OF COMPUTER SCIENCE

IF4.6

2013-01-09

OAAI

Liu, Jing; Liu, Ziwei; He, Jifeng; Mallet, Frederic; Ding, Zuohua

研究方向