Marie-Agnès Peraldi-Frati

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