Marie-Agnès Peraldi-Frati

According to our database, Marie-Agnès Peraldi-Frati authored at least 23 papers between 1992 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Spatio-Temporal Framework for Verifying Safety Rules in Autonomous Vehicles.

Maksym Labzhaniia, Julien Deantoni, Marie-Agnès Peraldi-Frati, Frédéric Mallet

Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024

Multi-layered Model for Performance Evaluation of oneM2M-Based IoT Solution.

Samir Medjhah, Thierry Monteil, Marie-Agnès Peraldi-Frati, Luigi Liquori

Proceedings of the Internet of Things, 2024

2015

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

Proceedings of the International Workshop on Open Source Software for Model Driven Engineering co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), 2015

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

Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013

Analysis Support for TADL2 Timing Constraints on EAST-ADL Models.

Arda Goknil, Jagadish Suryadevara, Marie-Agnès Peraldi-Frati, Frédéric Mallet

Proceedings of the Software Architecture - 7th European Conference, 2013

2012

A DSL for specifying timing requirements.

Arda Goknil, Marie-Agnès Peraldi-Frati

Proceedings of the Second IEEE International Workshop on Model-Driven Requirements Engineering, 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

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 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

Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012

Timing Modeling with AUTOSAR - Current state and future directions.

Marie-Agnès Peraldi-Frati, Hans Blom, Daniel Karlsson, Stefan Kuntz

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

2011

Scheduling Multi Clock Real Time Systems: From Requirements to Implementation.

Marie-Agnès Peraldi-Frati, Julien DeAntoni

Proceedings of the 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2011

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

Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems, 2010

Requirement traceability in safety critical systems.

Marie-Agnès Peraldi-Frati, Arnaud Albinet

Proceedings of the 1st Workshop on Critical Automotive Applications: Robustness & Safety, 2010

2009

Marte CCSL to Execute East-ADL Timing Requirements.

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

Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2009

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

Proceedings of the IEEE Second International Symposium on Industrial Embedded Systems, 2007

Multiform Time in UML for Real-time Embedded Applications.

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

Proceedings of the 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2007), 2007

2006

From UML to Petri Nets for non functional Property Verification.

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

Proceedings of the International Symposium on Industrial Embedded Systems, 2006

2002

Integrating the Synchronous Paradigm into UML: Application to Control-Dominated Systems.

Charles André, Marie-Agnès Peraldi-Frati, Jean-Paul Rigault

Proceedings of the UML 2002 - The Unified Modeling Language, 5th International Conference, Dresden, Germany, September 30, 2002

2001

Scenario and Property Checking of Real-Time Systems Using a Synchronous Approach.

Charles André, Marie-Agnès Peraldi, Jean-Paul Rigault

Proceedings of the 4th International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2001), 2001

2000

Behavioral Specification of a Circuit Using SyncCharts: A Case Study.

Charles André, Marie-Agnès Peraldi-Frati

Proceedings of the 26th EUROMICRO 2000 Conference, 2000

1996

Predictability of a RTX2000-based Implementation.

Charles André, Marie-Agnès Peraldi

Real Time Syst., 1996

1994

Simulation of Temporal Behaviour Based on a Synchronous Language.

Charles André, Marie-Agnès Peraldi

Proceedings of the MASCOTS '94, Proceedings of the Second International Workshop on Modeling, Analysis, and Simulation On Computer and Telecommunication Systems, January 31, 1994

1993

Effective Implementation of ESTEREL programs.

Charles André, Marie-Agnès Peraldi

Proceedings of the Fifth Euromicro Workshop on Real-Time Systems, 1993

1992

Synchronous programming of a real-time microcontroller.

Charles André, Marie-Agnès Peraldi

Proceedings of the Fourth Euromicro workshop on Real-Time Systems, 1992