Synchronous programming of a real-time microcontroller. - Charles André; Marie-Agnès Peraldi (RTS, 1992)

Effective Implementation of ESTEREL programs. - Charles André; Marie-Agnès Peraldi (RTS, 1993)

Simulation of Temporal Behaviour Based on a Synchronous Language. - Charles André; Marie-Agnès Peraldi (MASCOTS, 1994)

Predictability of a RTX2000-based Implementation. - Charles André; Marie-Agnès Peraldi (Real Time Syst., 1996)

Behavioral Specification of a Circuit Using SyncCharts: A Case Study. - Charles André; Marie-Agnès Peraldi-Frati (EUROMICRO, 2000)

Scenario and Property Checking of Real-Time Systems Using a Synchronous Approach. - Charles André; Marie-Agnès Peraldi; Jean-Paul Rigault (ISORC, 2001)

Integrating the Synchronous Paradigm into UML: Application to Control-Dominated Systems. - Charles André; Marie-Agnès Peraldi-Frati; Jean-Paul Rigault (UML, 2002)

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

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 CCSL to Execute East-ADL Timing Requirements. - Frédéric Mallet; Marie-Agnès Peraldi-Frati; Charles André (ISORC, 2009)

Requirement traceability in safety critical systems. - Marie-Agnès Peraldi-Frati; Arnaud Albinet (EDCC-CARS, 2010)

A Model for Requirements Traceability in a Heterogeneous Model-Based Design Process: Application to Automotive Embedded Systems. - Hubert Dubois; Marie-Agnès Peraldi-Frati; Fadoi Lakhal (ICECCS, 2010)

Scheduling Multi Clock Real Time Systems: From Requirements to Implementation. - Marie-Agnès Peraldi-Frati; Julien DeAntoni (ISORC, 2011)

Timing Modeling with AUTOSAR - Current state and future directions. - Marie-Agnès Peraldi-Frati; Hans Blom; Daniel Karlsson; Stefan Kuntz (DATE, 2012)

A Timing Model for Specifying Multi Clock Automotive Systems: The Timing Augmented Description Language V2. - Marie-Agnès Peraldi-Frati; Arda Goknil; Julien DeAntoni; Johan Nordlander (ICECCS, 2012)

Modeling a BSG-E Automotive System with the Timing Augmented Description Language. - Marie-Agnès Peraldi-Frati; Arda Goknil; Morayo Adedjouma; Pierre Yves Gueguen (ISoLA (2), 2012)

A DSL for specifying timing requirements. - Arda Goknil; Marie-Agnès Peraldi-Frati (MoDRE, 2012)

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)

CLARITY: Open-Sourcing the Model-Based Systems Engineering Solution Capella. - Christophe Boudjennah; Benoît Combemale; Daniel Exertier; Stéphane Lacrampe; Marie-Agnès Peraldi-Frati (OSS4MDE@MoDELS, 2015)

Multi-layered Model for Performance Evaluation of oneM2M-Based IoT Solution. - Samir Medjhah; Thierry Monteil 001; Marie-Agnès Peraldi-Frati; Luigi Liquori (IFIPIoT (1), 2024)

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)