![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Charles André
Person information
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2011
- [j5]Frédéric Mallet
, Charles André, Robert de Simone:
Logical time: specification vs. implementation. ACM SIGSOFT Softw. Eng. Notes 36(1): 1-8 (2011) - 2010
- [j4]Frédéric Mallet
, Julien DeAntoni
, Charles André, Robert de Simone:
The clock constraint specification language for building timed causality models - Application to synchronous data flow graphs. Innov. Syst. Softw. Eng. 6(1-2): 99-106 (2010) - [j3]Frédéric Mallet
, Charles André, François Lagarde:
Un processus automatique pour concevoir les profils UML. Un profil UML pour la modélisation multiniveau. Tech. Sci. Informatiques 29(4-5): 391-419 (2010) - [c32]Huafeng Yu
, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier, Frédéric Mallet
, Charles André, Robert de Simone:
Polychronous Analysis of Timing Constraints in UML MARTE. ISORC Workshops 2010: 145-151 - [c31]Charles André, Frédéric Mallet
, Julien DeAntoni
:
VHDL Observers for Clock Constraint Checking. SIES 2010: 98-107 - [p1]Charles André, Julien DeAntoni
, Frédéric Mallet
, Robert de Simone:
The Time Model of Logical Clocks Available in the OMG MARTE Profile. Synthesis of Embedded Software 2010: 201-227
2000 – 2009
- 2009
- [c30]Aamir Mehut Khan, Frédéric Mallet, Charles André, Robert de Simone:
IP-XACT components with abstract time characterization. FDL 2009: 1-6 - [c29]Frédéric Mallet
, Charles André, Julien DeAntoni
:
Executing AADL Models with UML/MARTE. ICECCS 2009: 371-376 - [c28]Frédéric Mallet
, Marie-Agnès Peraldi-Frati, Charles André:
Marte CCSL to Execute East-ADL Timing Requirements. ISORC 2009: 249-253 - [c27]Frédéric Mallet
, Charles André:
On the Semantics of UML/MARTE Clock Constraints. ISORC 2009: 305-312 - [c26]Charles André, Frédéric Mallet
:
Specification and verification of time requirements with CCSL and Esterel. LCTES 2009: 167-176 - [c25]Frédéric Mallet
, François Lagarde, Charles André, Sébastien Gérard
, François Terrier:
An Automated Process for Implementing Multilevel Domain Models. SLE 2009: 314-333 - 2008
- [c24]François Lagarde, Huáscar Espinoza, François Terrier, Charles André, Sébastien Gérard
:
Leveraging Patterns on Domain Models to Improve UML Profile Definition. FASE 2008: 116-130 - [c23]Sébastien Demathieu, Frédéric Thomas, Charles André, Sébastien Gérard, François Terrier:
First Experiments Using the UML Profile for MARTE. ISORC 2008: 50-57 - 2007
- [c22]François Lagarde, François Terrier, Charles André, Sébastien Gérard
:
Constraints Modeling for (Profiled) UML Models. ECMDA-FA 2007: 130-143 - [c21]François Lagarde, François Terrier, Charles André, Sébastien Gérard
:
Extending OCL to Ensure Model Transformations. ER Workshops 2007: 126-136 - [c20]Frédéric Mallet, Charles André, Robert de Simone:
Modeling of immediate vs. delayed data communications: from AADL to UML Marte. FDL 2007: 249-254 - [c19]Robert de Simone, Charles André:
Time Modeling in MARTE. FDL 2007: 268-273 - [c18]Charles André, Frédéric Mallet
, Robert de Simone:
Modeling Time(s). MoDELS 2007: 559-573 - [c17]Charles André, Frédéric Mallet
, Marie-Agnès Peraldi-Frati:
Multiform Time in UML for Real-time Embedded Applications. RTCSA 2007: 232-240 - [c16]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
- [j2]Robert de Simone, Charles André:
Towards a "Synchronous Reactive" UML profile? Int. J. Softw. Tools Technol. Transf. 8(2): 146-155 (2006) - [c15]François Lagarde, François Terrier, Charles André:
Could UML and Contract tackle heterogeneity? IES 2006: 1-4 - [c14]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 - 2003
- [c13]Charles André:
Computing SyncCharts Reactions. SLAP 2003: 3-19 - 2002
- [c12]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
- [c11]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
- [c10]Charles André, Marie-Agnès Peraldi-Frati:
Behavioral Specification of a Circuit Using SyncCharts: A Case Study. EUROMICRO 2000: 1091-
1990 – 1999
- 1996
- [j1]Charles André, Marie-Agnès Peraldi:
Predictability of a RTX2000-based Implementation. Real Time Syst. 10(3): 223-244 (1996) - 1994
- [c9]Charles André, Marie-Agnès Peraldi:
Simulation of Temporal Behaviour Based on a Synchronous Language. MASCOTS 1994: 147-151 - 1993
- [c8]Charles André, Marie-Agnès Peraldi:
Effective Implementation of ESTEREL programs. RTS 1993: 262-267 - 1992
- [c7]Charles André, Marie-Agnès Peraldi:
Synchronous programming of a real-time microcontroller. RTS 1992: 60-65 - 1990
- [c6]Charles André:
Delays in synchronized elementary net systems. Applications and Theory of Petri Nets 1990: 1-28
1980 – 1989
- 1988
- [c5]Charles André:
Synchronized elementary net systems. European Workshop on Applications and Theory in Petri Nets 1988: 51-76 - 1982
- [c4]Charles André:
Structural Transformations Giving B-Equivalent PT-Nets. European Workshop on Applications and Theory of Petri Nets 1982: 14-28 - 1981
- [c3]Charles André:
Behaviour of a Place - Transition Net on a Subset of Transitions. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981: 131-135 - [c2]Charles André:
Use of the Behaviour Equivalence in Place-Transition Net Analysis. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981: 241-250
1970 – 1979
- 1979
- [c1]Charles André, M. Diaz, Claude Girault, Joseph Sifakis:
Survey of French Research and Applications Based on Petri Nets. Advanced Course: Net Theory and Applications 1979: 321-345
Coauthor Index
aka: Marie-Agnès Peraldi
![](https://dblp.org/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-25 05:53 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint