Projet Ep-Atr
Précédent : Diffusion des résultats
Remonter : Projet EP-ATR, Environnement de
programmation
- Ouvrages et articles de référence
de l'équipe
- 1
- T. P. AMAGBEGNON, L.
BESNARD, P.
LE
GUERNIC,
« Implementation of the Data-flow Synchronous Language »,
in: Proceedings of the ACM Symposium on Programming
Languages Design and Implementation (PLDI'95) , ACM, p.
163-173,
1995.
- 2
- T. P. AMAGBEGNON, P.
LE
GUERNIC, H.
MARCHAND, E.
RUTTEN,
« Signal - The Specification of a Generic, Verified Production
Cell Controller »,
in: Case Study ``Production Cell'', A Comparative Study in
Formal Software Development , Springer-Verlag,
1994. Lecture Notes in Computer Science.
- 3
- P. AUBRY, P.
LE
GUERNIC, S.
MACHARD,
« Synchronous distribution of programs »,
in: Proc. of the 29th Hawaii International Conference on
System Sciences , 1 , IEEE Computer Society
Press, p. 656-665,
Janvier 1996.
- 4
- M. BELHADJ,
« VHDL & : A Cooperative
Approach »,
in: International Conference on Simulation and Hardware
Description Languages, Western Simulation Multi-Conference
, Society for Computer Simulation, p. 76-81,
Tempe, Arizona (USA), 1994.
- 5
- A. BENVENISTE, P.
LE
GUERNIC, C.
JACQUEMOT,
« Synchronous programming with events and relations: the
language and its semantics »,
Science of Computer Programming 16 , 1991, p.
103-149.
- 6
- A. BENVENISTE, P.
LE
GUERNIC, Y.
SOREL, M.
SORINE,
« A Denotational Theory of Synchronous Reactive Systems »,
in: Information and Computation , 99 , 2, p.
192-230,
Août 1992.
- 7
- A. KOUNTOURIS, P.
LE
GUERNIC,
« Profiling of Programs and its Application in the Timing
Evaluation of Design Implementations »,
in: Proc. of the IEE Colloq. on HW-SW Cosynthesis for
Reconfigurable Systems , IEE, p. 6/1-6/9,
Février 1996.
- 8
- M. LE
BORGNE, H.
MARCHAND, E.
RUTTEN, M.
SAMAAN,
« Formal verification of programs: application to a power
transformer station controller »,
in: Proceedings of the Fifth International Conference on
Algebraic Methodology and Software Technology AMAST'96,
Munich , Springer Verlag, Lecture Notes in Computer
Science no. 1101,
Juillet 1996.
- 9
- P. LE
GUERNIC, T.
GAUTIER, M.
LE
BORGNE, C.
LE
MAIRE,
« Programming Real-Time Applications with Signal »,
in: Proceedings of the IEEE , 79 , 9, p.
1321-1336,
Septembre 1991.
- 10
- P. LE
GUERNIC, T.
GAUTIER,
« Data-Flow to von Neumann: the Signal approach »,
in: Advanced Topics in Data-Flow Computing , J. L.
Gaudiot, L. Bic (réd.), p. 413-438,
1991.
- 11
- E. RUTTEN, P.
LE
GUERNIC,
« Sequencing data flow tasks in Signal »,
in: Proceedings of the ACM SIGPLAN Workshop on Language,
Compiler and Tool Support for Real-Time Systems ,
Orlando, Florida (USA), Juin 1994.
- Thèses et habilitations à diriger
des recherches
- 12
- P. AUBRY,
Mises en oeuvre distribuées de programmes synchrones
,
thèse de doctorat, Université de Rennes 1, IFSIC, octobre
1997.
- 13
- H. MARCHAND,
Méthodes de synthèse d'automatismes décrits par des
systèmes à événements discrets finis ,
thèse de doctorat, Université de Rennes 1, IFSIC, octobre
1997.
- Articles
- 14
- A. BENVENISTE,
« Compositional and uniform modelling of hybrid systems »,
IEEE Trans. on Automatic Control, special issue on Hybrid
Systems , avril 1998,
(à paraître).
- 15
- O. KOUCHNARENKO, P.
SCHNOEBELEN,
« A Model for Recursive-Parallel Programs »,
Electronic Notes in Theoretical Computer Science 5 ,
1997.
- 16
- E. RUTTEN, E.
MARCHAND, F.
CHAUMETTE,
« An experiment with reactive data-flow tasking in active robot
vision »,
Software - Practice & Experience 27 , 5, mai 1997,
p. 599-621.
- 17
- M. TOFTE, J. P.
TALPIN,
« Region-based memory management »,
Information and Computation 132 , 2, 1997, p.
109-176.
- Communications à des manifestations
scientifiques
- 18
- P. BAUFRETON, H.
GRANIER, X.
MéHAUT, E.
RUTTEN,
« The Sacres Approach to Emdedded Systems Applied to Aircraft
Engine Controllers »,
in: Proceedings of the 22st IFAC/IFIP Workshop on Real Time
Programming, WRTP'97, Lyon, France , Elsevier,
septembre 1997. Présentation invitée.
- 19
- P. BAUFRETON, X.
MéHAUT, E.
RUTTEN,
« Embedded Systems in Avionics and the Sacres Approach »,
in: Proceedings of The 16th International Conference on
Computer Safety, Reliability and Security, SAFECOMP'97, York,
United Kingdom , Springer,
septembre 1997.
- 20
- P. BAUFRETON, X.
MéHAUT, E.
RUTTEN,
« L'approche Sacres pour les systèmes embarqués à sécurité
critique »,
in: Actes du Salon Real-Time Systems RTS'97, Paris ,
Teknea, p. 101-118,
janvier 1997.
- 21
- A. BENVENISTE, P.
LE
GUERNIC, P.
AUBRY,
« Compositionality in dataflow synchronous languages:
specification and code generation »,
in: Proceedings of the 1997 Workshop on Compositionality,
W.P. de Roever and A. Pnueli Eds. , W. P. de Roever, A.
Pnueli (réd.),
Malente, Germany, 1997.
- 22
- T. GAUTIER, P.
LE
GUERNIC, P.
QUINTON, S.
RAJOPADHYE, T.
RISSET, I.
SMARANDACHE,
« Le projet Cairn : vers la conception d'architectures à partir
de et »,
in: Actes des Séminaires Action Scientifique -
Codesign , Eyrolles,
1997.
- 23
- A. KOUNTOURIS, C.
WOLINSKI,
« A Method for the Generation of HDL Code at the RTL level form
a High-Level Formal Specification Language »,
in: Proceedings of MWSCAS'97 , IEEE Computer Society
Press,
Sacramento, août 1997.
- 24
- O. KUSHNARENKO, P.
SCHNOEBELEN,
« A Formal Framework for the Analysis of Recursive-Parallel
Programs »,
in: Parallel Computing Technologies, 4th International
Conference, PaCT-97 Yaroslavl, Russia , V. Malyshkin
(réd.), 1277, Springer-Verlag, LNCS, p. 45-59,
septembre 1997.
- 25
- J. C. LE
LANN,
« Génération automatique de code
VHDL à partir de Signal »,
in: Journées AAA98 ,
1998. (à paraître).
- 26
- D. NOWAK, J. P.
TALPIN, T.
GAUTIER, P.
LE
GUERNIC,
« An ML-like module system for the synchronous language Signal
»,
in: European Conference on Parallel Processing
(Euro-Par'97) , Springer-Verlag, LNCS,
août 1997.
- 27
- S. PINCHINAT, J. V.
ECHAGüE,
« SOS specifications and Compositional ST-semantics »,
in: XXIII Conferencia Latinoamericana de Informatica
,
Valparaiso, Chili, novembre 1997.
- 28
- I. SMARANDACHE, P.
LE
GUERNIC,
« Affine Transformations in and Their Applications in the
Specification and Validation of Real-Time Systems »,
in: Transformation-Based Reactive Systems Development
, Proceedings of the 4th International AMAST Workshop on
Real-Time Systems and Concurrent and Distributed Software
, Springer-Verlag, LNCS 1231,
mai 1997.
- 29
- J. P. TALPIN,
« Reactive types »,
in: International Joint Conference on the Theory and
Practice of Software Development (TAPSOFT'97) ,
Springer-Verlag, LNCS,
avril 1997.
- Rapports de
recherche
- 30
- M. ALLEMAND, F.
BODIN, A.
KOUNTOURIS, P.
LE
GUERNIC, J. C.
LE
LANN, A.
SEZNEC, C.
WOLINSKI,
« A Synchronous Approach for Hardware Design »,
Publication interne No1131, Irisa, 1997,
http://www.irisa.fr/EXTERNE/bibli/pi/1131/1131.html.
- 31
- A. BENVENISTE, P.
LE
GUERNIC, P.
AUBRY,
« Compositionality in dataflow synchronous languages:
specification & code generation »,
rapport de recherche No3310, Irisa / Inria-Rennes, Rennes,
France, novembre 1997,
http://www.inria.fr/RRRT/RR-3310.html.
- 32
- P. BOURNAI, M.
LE
BORGNE, H.
MARCHAND,
« Environnement de conception d'automatismes discrets basé sur
le langage Signal »,
rapport de recherche No3254, Irisa / Inria-Rennes, Rennes,
France, septembre 1997,
http://www.inria.fr/RRRT/RR-3254.html.
- 33
- M. LE
BORGNE, H.
MARCHAND,
« Partial Order Control and Optimal Control of Discrete Event
Systems modeled as Polynomial Dynamical Systems over Galois
fields »,
rapport de recherche No3273, Irisa / Inria-Rennes, Rennes,
France, octobre 1997,
http://www.inria.fr/RRRT/RR-3273.html.
- 34
- D. NOWAK, J. P.
TALPIN, T.
GAUTIER,
« Un système de modules avancé pour »,
rapport de recherche No3176, Irisa / Inria-Rennes, Rennes,
France, juin 1997,
http://www.inria.fr/RRRT/RR-3176.html.
- 35
- I. SMARANDACHE, P.
LE
GUERNIC,
« A Canonical Form for Affine Relations in »,
rapport de recherche No3097, Irisa / Inria-Rennes, Rennes,
France, février 1997,
http://www.inria.fr/RRRT/RR-3097.html.
- Divers
- 36
- P. BOURNAI, M.
LE
BORGNE, H.
MARCHAND, P.
LE
GUERNIC,
« Démonstrateur de synthèse de systèmes d'automatismes décrits
en Signal », juillet 1997,
Rapport de fin de contrat, Convention Inria - EdF No
196C5030031307 01 1.
- 37
- H. MARCHAND, M.
LE
BORGNE,
« Systèmes dynamiques polynomiaux sous observations partielles
», octobre 1997,
Rapport de fin de contrat, Convention Inria - EdF No
P33L99/6A1821/EP819.
- 38
- H. MARCHAND,
« Intégration de Sigali dans l'environnement Signal », décembre
1996,
Rapport de fin de contrat, Convention Inria - EdF No
M64/7C8321/E5/11.
- 39
- SACRES
CONSORTIUM,
« DC+ graph level: specification »,
avril 1997,
Esprit project EP 20897: Sacres.
- 40
- SACRES
CONSORTIUM,
« DC+ syntactic level:
specification », avril 1997,
Esprit project EP 20897: Sacres.
- 41
- SACRES
CONSORTIUM,
« Deliverable Report C1.A: Code Generation », février 1997,
Esprit project EP 20897: Sacres.
- 42
- SACRES
CONSORTIUM,
« Deliverable Report C2.A: Mapping Code To Architecture »,
septembre 1997,
Esprit project EP 20897: Sacres.
- 43
- SACRES
CONSORTIUM,
« Deliverable Report I2.A: The Sacres Design Methodology for
Safety Critical Systems », avril 1997,
Esprit project EP 20897: Sacres.
- 44
- SACRES
CONSORTIUM,
« Deliverable Report I3.B: Sacres System Architecture
Definition », septembre 1997,
Esprit project EP 20897: Sacres.
- 45
- SACRES
CONSORTIUM,
« The Semantics Foundations of Sacres », avril 1997,
Esprit project EP 20897: Sacres.
- Bibliographie
générale
- BB91
- A. Benveniste and G. Berry.
The synchronous approach to reactive and real-time systems.
Proceedings of the IEEE, 79(9):1270-1282, Septembre
1991.
- BCLH93
- A. Benveniste, P. Caspi, P. Le Guernic, and N.
Halbwachs.
Data-Flow Synchronous Languages.
In J. W. de Bakker, W.P. de Roever, and G. Rozenberg, editors,
Lecture Notes in Computer Science 803, Proc. of the REX
School/Symposium, Noordwijkerhout, Netherlands, number
803, pages 1-45. Springer-Verlag, Juin 1993.
- Ber89
- G. Berry.
Real-time programming: special purpose or general purpose
languages.
In G. X. Ritter, editor, Information processing 89.
Elsevier Science Publisher B.V., 1989.
- BFH
92
- A. Bouajjani, J. C. Fernandez, N. Halbwachs, C. Ratel, and
P. Raymond.
Minimal state graph generation.
Science of Computer Programming, (18):247-269,
1992.
- Bry86
- R.E. Bryant.
Graph-based algorithms for boolean function manipulations.
IEEE Transaction on Computers, C-45(8):677-691, Août
1986.
- Hal93
- N. Halbwachs.
Synchronous programming of reactive systems.
Kluwer, 1993.
- HP85
- D. Harel and A. Pnueli.
On the development of reactive systems.
In K.R. Apt, editor, Logics and models of concurrent
systems, pages 477-498, New-York, 1985. NATO Advanced
Study Institute on Logics and Models for Verification of
Concurrent Systems, Springer Verlag.
- MP92
- Z. Manna and A. Pnueli.
The Temporal Logic of Reactive and Concurrent Systems:
Specification.
Springer-Verlag, 1992.
- MP95
- Z. Manna and A. Pnueli.
The Temporal Logic of Reactive and Concurrent Systems:
Safety.
Springer-Verlag, 1995.
- Sac96
- Sacres consortium.
The declarative code DC+, version
1.2, Mai 1996.
Esprit project EP 20897: Sacres.