|
|
Specifying and verifying a transformer station in Signal and SignalGTi
Hervé Marchand
,
Eric Rutten
,
Mazen Samaan
[Research Report] RR-2521, INRIA. 1995
Rapport
inria-00074157v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Signal as a model for real-time and hybrid systems
Albert Benveniste
,
Michel Le Borgne
,
Paul Le Guernic
[Research Report] RR-1608, INRIA. 1992
Rapport
inria-00074952v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Intensional Approaches for Symbolic Methods
Olga Kushnarenko
,
Sophie Pinchinat
[Research Report] RR-3448, INRIA. 1998
Rapport
inria-00073242v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Incremental Design of a Power Transformer Station Controller using a Controller Synthesis Methodology
Hervé Marchand
,
Mazen Samaan
IEEE Transactions on Software Engineering, 2000, 26 (8), pp.729-741
Article dans une revue
hal-00546156v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Dynamical systems over Galois fields: Applications to DES and to the Signal Language
Michel Le Borgne
Belgian-French-Netherlands Summer School on Discrete Event Systems, Jun 1993, Spa, Belgium
Communication dans un congrès
hal-00544352v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Compositionality in dataflow synchronous languages: specification & distributed code generation
Albert Benveniste
,
Benoit Caillaud
,
Paul Le Guernic
Article dans une revue
hal-00543297v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
From Synchrony to Asynchrony
Albert Benveniste
,
Benoit Caillaud
,
Paul Le Guernic
[Research Report] RR-3641, INRIA. 1999
Rapport
inria-00073032v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
The Supervisory Control Problem of Discrete Event Systems using Polynomial Methods
Hervé Marchand
,
Michel Le Borgne
[Research Report] RR-3790, INRIA. 1999
Rapport
inria-00072869v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
A Real-Time HW/SW Co-Design Approach Based on the SIGNAL Language and its Environment
Apostolos Kountouris
,
Christophe Wolinski
[Research Report] RR-3046, INRIA. 1996
Rapport
inria-00073646v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Manuel SIGNAL
Patricia Bournai
,
Bruno Chéron
,
Bernard Houssais
,
Paul Le Guernic
[Research Report] RT-0128, INRIA. 1991
Rapport
inria-00071319v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Interface SIGNAL-SynDEx
Patricia Bournai
,
Christophe Lavarenne
,
Paul Le Guernic
,
Olivier Maffeis
,
Yves Sorel
[Rapport de recherche] RR-2206, INRIA. 1994
Rapport
inria-00077109v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
High Level Synthesis of Globally Asynchronous Locally Synchronous Circuits
Christophe Wolinski
,
Mohammed Belhadj
Communication dans un congrès
hal-00545571v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
A Calculus of Stochastic Systems : Specification, Simulation, and Hidden State Estimation
Albert Benveniste
,
Bernard C. Levy
,
Eric Fabre
,
Paul Le Guernic
[Research Report] RR-2465, INRIA. 1994
Rapport
inria-00074210v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Typage des graphes de décisions ternaires
Hervé Marchand
,
Michel Le Borgne
[Rapport de recherche] RR-2185, INRIA. 1994
Rapport
inria-00074486v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Efficient Scheduling of Conditional Behaviors for High-Level Synthesis
Apostolos Kountouris
,
Christophe Wolinski
Article dans une revue
hal-00544901v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Optimal control of discrete event systems under partial observation
Hervé Marchand
,
Olivier Boivineau
,
Stéphane Lafortune
40th IEEE Conference on Decision and Control, Dec 2001, Orlando, United States. pp.2235-2240, ⟨10.1109/.2001.980609⟩
Communication dans un congrès
inria-00526273v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Un système de modules avancé pour SIGNAL
David Nowak
,
Jean-Pierre Talpin
,
Thierry Gautier
[Rapport de recherche] RR-3176, INRIA. 1997
Rapport
inria-00073513v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Symbolic Abstractions of Automata and their application to the Supervisory Control Problem
Sophie Pinchinat
,
Hervé Marchand
,
Michel Le Borgne
[Research Report] RR-3814, INRIA. 1999
Rapport
inria-00072844v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Un environnement graphique pour le langage SIGNAL
Patricia Bournai
,
Paul Le Guernic
[Rapport de recherche] RR-2040, INRIA. 1993
Rapport
inria-00074631v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
A Canonical Form for Affine Relations in Signal
Irina Smarandache
,
Paul Le Guernic
[Research Report] RR-3097, INRIA. 1997
Rapport
inria-00073594v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
A Method for the Generation of HDL Code at the RTL level form a High-Level Formal Specification Language
Apostolos Kountouris
,
Christophe Wolinski
40th Midwest Symposium on Circuits and Systems (MWSCAS '97), Aug 1997, Sacramento, CA, United States. pp.1095-1098
Communication dans un congrès
hal-00545554v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Modelling Statecharts and Activitycharts as Signal equations
Jean-René Beauvais
,
Eric Rutten
,
Thierry Gautier
,
Roland Houdebine
,
Paul Le Guernic
,
et al.
ACM Transactions on Software Engineering and Methodology, 2001, 10 (4), pp.397-451
Article dans une revue
hal-00546080v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Using VHDL for Link to Synthesis Tools
Mohammed Belhadj
Communication dans un congrès
hal-00545948v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Co-inductive Axiomatization of a Synchronous Language
David Nowak
,
Jean-René Beauvais
,
Jean-Pierre Talpin
11th International Conference on Theorem Proving in Higher Order Logics (TPHOLs '98), Sep 1998, Canberra, Australia. pp.387-399, ⟨10.1007/BFb0055148⟩
Communication dans un congrès
hal-00544505v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
VHDL & Signal: A Cooperative Approach
Mohammed Belhadj
International Conference on Simulation and Hardware Description Languages (ICSHDL), Jan 1994, Tempe, Arizona, United States. pp.76-81
Communication dans un congrès
hal-00545943v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
On the Synthesis of Optimal Schedulers in Discrete Event Control Problems with Multiple Goals
Hervé Marchand
,
Olivier Boivineau
,
Stéphane Lafortune
Article dans une revue
inria-00584875v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Projet SYNCHRONE : les formats communs des langages synchrones
Jean-Pierre Paris
,
Gérard Berry
,
Frédéric Mignard
,
Philippe Couronné
,
Paul Caspi
,
et al.
[Rapport de recherche] RT-0157, INRIA. 1993
Rapport
inria-00071316v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Programming real time applications with SIGNAL
Paul Le Guernic
,
Michel Le Borgne
,
Thierry Gautier
,
Claude Le Maire
[Research Report] RR-1446, INRIA. 1991
Rapport
inria-00075114v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Hybrid dynamical systems theory and the language "SIGNAL
Albert Benveniste
,
Bernard Le Goff
,
Paul Le Guernic
[Research Report] RR-0838, INRIA. 1988
Rapport
inria-00075715v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
The Signal data flow methodology applied to a production cell
Tochéou Pascalin Amagbegnon
,
Paul Le Guernic
,
Hervé Marchand
,
Eric Rutten
[Research Report] RR-2522, INRIA. 1995
Rapport
inria-00074155v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|