Marie-Agnès Peraldi-Frati

Publication Activity (10 Years)

Years Active: 2000-2015
Publications (10 Years): 0

Top Topics

Timing Constraints

Systems Engineering

Description Language

Top Venues

Publications

Christophe Boudjennah, Benoît Combemale, Daniel Exertier, Stéphane Lacrampe, Marie-Agnès Peraldi-Frati
CLARITY: Open-Sourcing the Model-Based Systems Engineering Solution Capella. OSS4MDE@MoDELS (2015)
Arda Goknil, Jagadish Suryadevara, Marie-Agnès Peraldi-Frati, Frédéric Mallet
Analysis Support for TADL2 Timing Constraints on EAST-ADL Models. ECSA (2013)
Arda Goknil, Julien DeAntoni, Marie-Agnès Peraldi-Frati, Frédéric Mallet
Tool Support for the Analysis of TADL2 Timing Constraints Using TimeSquare. ICECCS (2013)
Marie-Agnès Peraldi-Frati, Arda Goknil, Julien DeAntoni, Johan Nordlander
A Timing Model for Specifying Multi Clock Automotive Systems: The Timing Augmented Description Language V2. ICECCS (2012)
Arda Goknil, Marie-Agnès Peraldi-Frati
A DSL for specifying timing requirements. MoDRE (2012)
Marie-Agnès Peraldi-Frati, Hans Blom, Daniel Karlsson, Stefan Kuntz
Timing Modeling with AUTOSAR - Current state and future directions. DATE (2012)
Marie-Agnès Peraldi-Frati, Arda Goknil, Morayo Adedjouma, Pierre Yves Gueguen
Modeling a BSG-E Automotive System with the Timing Augmented Description Language. ISoLA (2) (2012)
Marie-Agnès Peraldi-Frati, Julien DeAntoni
Scheduling Multi Clock Real Time Systems: From Requirements to Implementation. ISORC (2011)
Marie-Agnès Peraldi-Frati, Arnaud Albinet
Requirement traceability in safety critical systems. EDCC-CARS (2010)
Hubert Dubois, Marie-Agnès Peraldi-Frati, Fadoi Lakhal
A Model for Requirements Traceability in a Heterogeneous Model-Based Design Process: Application to Automotive Embedded Systems. ICECCS (2010)
Frédéric Mallet, Marie-Agnès Peraldi-Frati, Charles André
Marte CCSL to Execute East-ADL Timing Requirements. ISORC (2009)
Charles André, Frédéric Mallet, Marie-Agnès Peraldi-Frati
A multiform time approach to real-time system modeling; Application to an automotive system. SIES (2007)
Charles André, Frédéric Mallet, Marie-Agnès Peraldi-Frati
Multiform Time in UML for Real-time Embedded Applications. RTCSA (2007)
Frédéric Mallet, Marie-Agnès Peraldi-Frati, Charles André
From UML to Petri Nets for non functional Property Verification. IES (2006)
Charles André, Marie-Agnès Peraldi-Frati, Jean-Paul Rigault
Integrating the Synchronous Paradigm into UML: Application to Control-Dominated Systems. UML (2002)
Charles André, Marie-Agnès Peraldi-Frati
Behavioral Specification of a Circuit Using SyncCharts: A Case Study. EUROMICRO (2000)