![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Marie-Agnès Peraldi-Frati
Person information
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 1996
- [j1]Charles André, Marie-Agnès Peraldi:
Predictability of a RTX2000-based Implementation. Real Time Syst. 10(3): 223-244 (1996)
Conference and Workshop Papers
- 2015
- [c20]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: 13-19 - 2013
- [c19]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: 89-105 - [c18]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: 145-154 - 2012
- [c17]Marie-Agnès Peraldi-Frati, Hans Blom, Daniel Karlsson, Stefan Kuntz:
Timing Modeling with AUTOSAR - Current state and future directions. DATE 2012: 805-809 - [c16]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: 230-239 - [c15]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: 111-125 - [c14]Arda Goknil, Marie-Agnès Peraldi-Frati:
A DSL for specifying timing requirements. MoDRE 2012: 49-57 - 2011
- [c13]Marie-Agnès Peraldi-Frati, Julien DeAntoni
:
Scheduling Multi Clock Real Time Systems: From Requirements to Implementation. ISORC 2011: 50-57 - 2010
- [c12]Marie-Agnès Peraldi-Frati, Arnaud Albinet:
Requirement traceability in safety critical systems. EDCC-CARS 2010: 11-14 - [c11]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: 233-242 - 2009
- [c10]Frédéric Mallet
, Marie-Agnès Peraldi-Frati, Charles André:
Marte CCSL to Execute East-ADL Timing Requirements. ISORC 2009: 249-253 - 2007
- [c9]Charles André, Frédéric Mallet
, Marie-Agnès Peraldi-Frati:
Multiform Time in UML for Real-time Embedded Applications. RTCSA 2007: 232-240 - [c8]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: 234-241 - 2006
- [c7]Frédéric Mallet
, Marie-Agnès Peraldi-Frati, Charles André:
From UML to Petri Nets for non functional Property Verification. IES 2006: 1-9 - 2002
- [c6]Charles André, Marie-Agnès Peraldi-Frati, Jean-Paul Rigault:
Integrating the Synchronous Paradigm into UML: Application to Control-Dominated Systems. UML 2002: 163-178 - 2001
- [c5]Charles André, Marie-Agnès Peraldi, Jean-Paul Rigault:
Scenario and Property Checking of Real-Time Systems Using a Synchronous Approach. ISORC 2001: 438- - 2000
- [c4]Charles André, Marie-Agnès Peraldi-Frati:
Behavioral Specification of a Circuit Using SyncCharts: A Case Study. EUROMICRO 2000: 1091- - 1994
- [c3]Charles André, Marie-Agnès Peraldi:
Simulation of Temporal Behaviour Based on a Synchronous Language. MASCOTS 1994: 147-151 - 1993
- [c2]Charles André, Marie-Agnès Peraldi:
Effective Implementation of ESTEREL programs. RTS 1993: 262-267 - 1992
- [c1]Charles André, Marie-Agnès Peraldi:
Synchronous programming of a real-time microcontroller. RTS 1992: 60-65
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:52 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint