Frédéric Mallet

发表

MARTE: a new OMG profile RFP for the Modeling and Analysis of Real-Time Embedded Systems

Sébastien Gérard, Robert de Simone, Cedric Dumoulin, 2005 .

Tool Support for the Analysis of TADL2 Timing Constraints Using TimeSquare

Julien DeAntoni, Arda Goknil, Marie-Agnès Peraldi-Frati, 2013, 2013 18th International Conference on Engineering of Complex Computer Systems.

A multiform time approach to real-time system modeling; Application to an automotive system

Charles André, Marie-Agnès Peraldi-Frati, Frédéric Mallet, 2007, 2007 International Symposium on Industrial Embedded Systems.

A Model-Based Combination Language for Scheduling Verification

Ludovic Apvrille, Hui Zhao, Frédéric Mallet, 2019, MODELSWARD.

NON-FUNCTIONAL PROPERTY ANALYSIS USING UML2.0 AND MODEL TRANSFORMATIONS

Charles André, Marie-Agnès Peraldi-Frati, Frédéric Mallet, 2006 .

Time in SCCharts

Robert de Simone, Reinhard von Hanxleden, Julien Deantoni, 2018 .

Marte CCSL to Execute East-ADL Timing Requirements

Charles André, Marie-Agnès Peraldi-Frati, Frédéric Mallet, 2009, 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing.

Modeling and Verifying Uncertainty-Aware Timing Behaviors using Parametric Logical Time Constraint

Mingsong Chen, Min Zhang, Fei Gao, 2020, 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE).

A Logical Approach for the Schedulability Analysis of CCSL

Yuanrui Zhang, Huibiao Zhu, Yixiang Chen, 2019, 2019 International Symposium on Theoretical Aspects of Software Engineering (TASE).

Time in SCCharts

Julien DeAntoni, Robert de Simone, Reinhard von Hanxleden, 2018, 2018 Forum on Specification & Design Languages (FDL).

A clock-based dynamic logic for schedulability analysis of CCSL specifications

Bo Liu, Yuanrui Zhang, Huibiao Zhu, 2021 .

Logical Time in Model-Driven Engineering

Frédéric Mallet, F. Mallet, 2010 .

Models and Methods for the Analysis and Optimization of Systems with Real-time and Embedded Constraints

Mickaël Raulet, Julien Boucaron, Robert de Simone, 2006 .

New Results - Executable Timed Requirements for automotiveapplications

Charles André, Marie-Agnès Peraldi-Frati, Frédéric Mallet, 2009 .

Multiform Time in UML for Real-time Embedded Applications

Charles André, Marie-Agnès Peraldi-Frati, Frédéric Mallet, 2007, 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2007).

Analysis Support for TADL2 Timing Constraints on EAST-ADL Models

Arda Goknil, Marie-Agnès Peraldi-Frati, Jagadish Suryadevara, 2013, ECSA.

From UML to Petri Nets for non functional Property Verification

Charles André, Marie-Agnès Peraldi-Frati, Frédéric Mallet, 2006, 2006 International Symposium on Industrial Embedded Systems.

A clock-based dynamic logic for the verification of CCSL specifications in synchronous systems

Yuanrui Zhang, Frédéric Mallet, Hengyang Wu, 2021, Sci. Comput. Program..

Logical time at work: Capturing data dependencies and platform constraints

Julien Deantoni, Calin Glitia, Frédéric Mallet, 2010 .

Marte CCSL and East-ADL2 Timing Requirements

Charles André, Marie-Agnès Peraldi-Frati, Frédéric Mallet, 2008 .

Editorial - Theoretical Aspects of Software Engineering (2017)

Min Zhang, Frédéric Mallet, 2020, Sci. Comput. Program..