Skip to content

Marie-Agns Peraldi-Frati

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

13

Venues

9

Active years

2007–2024

Best venue rank

B

Where they publish

Papers

13 indexed papers, newest first.

YearVenueTitleAuthors
2024MODELSSpatio-Temporal Framework for Verifying Safety Rules in Autonomous Vehicles.Maksym Labzhaniia, Julien Deantoni, Marie-Agns Peraldi-Frati, Frdric Mallet
2015MODELSCLARITY: Open-Sourcing the Model-Based Systems Engineering Solution Capella.Christophe Boudjennah, Benot Combemale, Daniel Exertier, Stphane Lacrampe, Marie-Agns Peraldi-Frati
2013ECSAAnalysis Support for TADL2 Timing Constraints on EAST-ADL Models.Arda Goknil, Jagadish Suryadevara, Marie-Agns Peraldi-Frati, Frdric Mallet
2013ICECCSTool Support for the Analysis of TADL2 Timing Constraints Using TimeSquare.Arda Goknil, Julien DeAntoni, Marie-Agns Peraldi-Frati, Frdric Mallet
2012DATETiming Modeling with AUTOSAR - Current state and future directions.Marie-Agns Peraldi-Frati, Hans Blom, Daniel Karlsson, Stefan Kuntz
2012ICECCSA Timing Model for Specifying Multi Clock Automotive Systems: The Timing Augmented Description Language V2.Marie-Agns Peraldi-Frati, Arda Goknil, Julien DeAntoni, Johan Nordlander
2012ISoLAModeling a BSG-E Automotive System with the Timing Augmented Description Language.Marie-Agns Peraldi-Frati, Arda Goknil, Morayo Adedjouma, Pierre Yves Gueguen
2012REA DSL for specifying timing requirements.Arda Goknil, Marie-Agns Peraldi-Frati
2011ISORCScheduling Multi Clock Real Time Systems: From Requirements to Implementation.Marie-Agns Peraldi-Frati, Julien DeAntoni
2010EDCCRequirement traceability in safety critical systems.Marie-Agns Peraldi-Frati, Arnaud Albinet
2010ICECCSA Model for Requirements Traceability in a Heterogeneous Model-Based Design Process: Application to Automotive Embedded Systems.Hubert Dubois, Marie-Agns Peraldi-Frati, Fadoi Lakhal
2009ISORCMarte CCSL to Execute East-ADL Timing Requirements.Frdric Mallet, Marie-Agns Peraldi-Frati, Charles Andr
2007RTCSAMultiform Time in UML for Real-time Embedded Applications.Charles Andr, Frdric Mallet, Marie-Agns Peraldi-Frati