accueil

 carte
 

Conférences Internationales


haut

 

2000

  1. A. Kountouris, C. Wolinski.
    Efficient Scheduling of Conditional Behaviors Using Hierarchical Conditional Dependency Graphs in CODESIS System.  Proceedings of EUROMICRO'00, IEEE Computer Society Press, pages 222--229, Maastricht, The Netherlands, Septembre 2000.
  2. A. Kountouris, C. Wolinski.
    Hierarchical Conditional Dependency Graphs as a Unifying Design Representation in the CODESIS High-Level Synthesis System.  Proceedings of ISSS'00, IEEE Computer Society Press, pages 66--71, Madrid, Spain, Septembre 2000.
  3. S. Turodet, S. Nadjm-Tehrani, A. Benveniste, J.E. Strömberg.
    Co-simulation of Hybrid Systems: Signal-Simulink.  Proceedings of 6th international school and symposium on Formal Techniques in Real-time and Fault-tolerant Systems, Springer, Lecture Notes in Computer Science, Septembre 2000.
  4. M. Kerboeuf, D. Nowak, J.P. Talpin.
    The steam-boiler problem in SIGNAL-COQ.  International Conference on Theorem Proving in Higher-Order Logics, Springer, Lecture Notes in Computer Science, Août 2000. (postscript)
  5. S. Pinchinat, H. Marchand.
    Symbolic Abstractions of Automata.  Proc of 5th Workshop on Discrete Event Systems, WODES 2000, pages 39--48, Ghent, Belgium, Août 2000. (postscript) (abstract)
  6. Y. Wang, J.P. Talpin, A. Benveniste, P. Le Guernic.
    Compilation and distribution of state machines using Spots.  16th IFIP World Computer Congress (WCC'2000), Août 2000.
  7. P. Le Maigat, L. Helouet.
    A (max,+) Approach for time in Message Sequence Charts.  Workshop on DES, WODES'00, pages 83--92, Ghent, Belgium, Août 2000. (postscript) (abstract)
  8. H. Marchand, S. Pinchinat.
    Supervisory Control Problem using Symbolic Bisimulation Techniques.  2000 American Control Conference, pages 4067--4071, Chicago, Illinois, USA, Juin 2000. (postscript) (abstract)
  9. Y. Wang, J.P. Talpin, A. Benveniste, P. Le Guernic.
    A semantics of UML state-machines using synchronous pre-order transition systems.  International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'2000), IEEE Press, Mars 2000. (postscript) (abstract)
  10. L. Helouet, P. Le Maigat.
    Decomposition of Message Sequence Charts.  Workshop on SDL and MSC, SAM'00, pages 47--60, 2000. (postscript)
  11. F. Jimenez-Fraustro, E. Rutten.
    Hybrid simulation of IEC-61131 PLC programs using Signal and Simulink.  Proceedings of the 4th International Conference on Automation of Mixed Processes, ADPM'00, 18-19 September 2000, Dortmund, Germany, pages 171--176, 2000.
  12. Y. Wang.
    Compilation of state-machines using Behavior Expression.  Workshop PhDOOS2000 in 14th European Conference on Object-Oriented Programming, 2000.

haut

 

1999

  1. H. Marchand, M. Samaan.
    On the Incremental Design of a Power Transformer Station Controller using Controller Synthesis Methodology.  World Congress on Formal Methods (FM'99), Volume 1709 of LNCS, pages 1605-1624, Toulouse, France, Octobre 1999. (postscript) (abstract)
  2. I. Smarandache, T. Gautier, P. Le Guernic.
    Validation of Mixed Signal-Alpha Real-Time Systems through Affine Calculus on Clock Synchronisation Constraints.  World Congress on Formal Methods (FM'99), Volume 1709 of LNCS, pages 1364-1383, Toulouse, France, Octobre 1999. (postscript) (abstract)
  3. A. Benveniste, B. Caillaud, P. Le Guernic.
    From synchrony to asynchrony.  CONCUR'99, Concurrency Theory, 10th International Conferenc, Volume 1664 of LNCS, J.C.M. Baeten, S. Mauw (eds.), Springer Verlag, pages 162-177, Août 1999.
  4. F. Besson, T. Jensen, J.-P. Talpin.
    Timed polyhedra analysis for synchronous languages.  Proceedings of the 10th International Conference on Concurrency Theory (CONCUR'99), LNCS volume 1664, Springer Verlag, Août 1999. (postscript)
  5. A. Kountouris, C. Wolinski.
    High-level Pre-synthesis Optimization Steps using Hierarchical Conditional Dependency Graphs.  Proceedings of the EUROMICRO'99, IEEE Computer Society Press, Milan, Italie, Août 1999.
  6. J.C. Le Lann, C. Wolinski.
    Load Balancing and Functional Unit Assignment in High-Level Synthesis.  Proceedings of the SCI'99/ISAS'99, Orlando, Floride, Août 1999.
  7. D. Nowak, J.P. Talpin, P. Le Guernic.
    Synchronous Structures.  Proceedings of the 10th International Conference on Concurrency Theory (CONCUR'99), Volume 1664 of LNCS, Springer Verlag, Août 1999. (postscript) (abstract)
  8. L. Besnard, P. Bournai, T. Gautier, N. Halbwachs, S. Nadjm-Tehrani, A. Ressouche.
    Design of a multi-formalism application and distribution in a data-flow context: an example.  Proceedings of The 12th International Symposium on Languages for Intensional Programming, ISLIP' 99, NCSR Demokritos, Athens, Greece, Juin 1999. (postscript) (abstract)
  9. F. Jiménez, E. Rutten.
    A synchronous model of the PLC programming language ST.  Proceedings of the Work In Progress session, 11th Euromicro Conference on Real Time Systems, ERTS'99, pages 21--24, York, England, Juin 1999. (postscript) (abstract)
  10. T. Gautier, P. Le Guernic.
    Code generation in the SACRES project.  Towards System Safety, Proceedings of the Safety-critical Systems Symposium, SSS'99, Springer, Huntingdon, UK, Février 1999. (postscript) (abstract)
  11. A. Kountouris, C. Wolinski.
    Hierarchical Conditional Dependency Graphs for Mutual Exclusiveness Identification.  12th International Conference on VLSI Design, Goa, India, Janvier 1999.
  12. A. Kountouris, C. Wolinski.
    Combining Speculative Execution and Conditional Resource Sharing to Efficiently Schedule Conditional Behaviors.  ASP-DAC'99, Hong Kong, Janvier 1999.

haut

 

1998

  1. A. Kountouris, C. Wolinski.
    False Path Analysis based on a Hierarchical Control Representation.  Proceedings of ISSS'98, Hsinchu, Taiwan, R.O.C., Décembre 1998. (postscript)
  2. S. Pinchinat, E. Rutten, R.K. Shyamasundar.
    Taxonomy and expressiveness of preemption : a syntactic approach.  Proceedings of the Asian Computing Science Conference, ASIAN'98, LNCS, Manila, The Philippines, Décembre 1998. (postscript) (abstract)
  3. J.P. Talpin, D. Nowak.
    A Synchronous Semantics of Higher-Order Processes for Modeling Reconfigurable Reactive Systems.  International Conference on Foundations of Software Technology and Theoretical Computer Science (FST & TCS'98), Springer-Verlag, Lecture Notes in Computer Science, Décembre 1998. (postscript)
  4. H. Marchand, O. Boivineau, S. Lafortune.
    On the Synthesis of Optimal Schedulers in Discrete Event Control Problems with Multiple Goals.  1998 IEEE International Conf. On Systems, Man, And Cybernetics, pages 734-739, San Diego, California, USA, Octobre 1998. (postscript) (abstract)
  5. H. Marchand, P. Bournai, M. Le Borgne, P. Le Guernic.
    A Design Environment for Discrete-Event Controllers based on the SIGNAL Language.  1998 IEEE International Conf. On Systems, Man, And Cybernetics, pages 770-775, San Diego, California, USA, Octobre 1998. (postscript) (abstract)
  6. A. Benveniste, C. Jard, S. Gaubert.
    Algebraic techniques for timed systems.  CONCUR'98 Concurrency Theory, 9th International Conference, D. Sangiorgi, R. de Simone (eds.), Springer, Lecture Notes in Computer Science 1466, Nice, Septembre 1998. (postscript)
  7. A. Benveniste, (AVECM. Siegel, L. Holenderski, K. Winkelmann, E. Sefton, E. Rutten, P. Le Guernic, T. Gautier).
    Safety Critical Embedded Systems Design: the SACRES approach.  Formal Techniques in Real-Time and Fault Tolerant systems, FTRTFT'98 school, Lyngby, Denmark, Septembre 1998. (postscript) (abstract)
  8. J.C. Le Lann.
    Operand Isolation Using Signal Clock Calculus.  Proceedings of the 1st UK Low-Power Workshop, Sheffield, UK, Septembre 1998.
  9. H. Marchand, M. Le Borgne.
    Partial Order Control of Discrete Event Systems modeled as Polynomial Dynamical Systems.  1998 IEEE International Conference On Control Applications, Trieste, Italie, Septembre 1998. (postscript) (abstract)
  10. D. Nowak, J.R. Beauvais, J.P. Talpin.
    Co-Inductive Axiomatization of a Synchronous Language.  Theorem Proving in Higher Order Logics (TPHOLs'98), Springer, LNCS 1479, pages 387-399, Septembre 1998. (postscript) (abstract)
  11. A. Benveniste, S. Gaubert, C. Jard.
    Monotone rationale series and max-plus algebraic models of real-time systems.  Proceedings of the Fourth Workshop on Discrete Event Systems, IEE, Cagliari, Italy, Août 1998. (postscript)
  12. O. Kouchnarenko, S. Pinchinat.
    Labeling Automata with Polynomials.  Proceedings of the International Workshop on Reasoning about Actions (joint to ESSLLI'98), Saarbrueken, Germany, Août 1998. (postscript) (abstract)
  13. O. Kouchnarenko, S. Pinchinat.
    Intensional Approaches for Symbolic Methods.  the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98, International Workshop on Concurrency, Brno, Czech Republic, Août 1998.
  14. A. Kountouris, C. Wolinski.
    Hierarchical Conditional Dependency Graphs for Conditional Resource Sharing.  Proceedings of Euromicro'98, IEEE Computer Society Press, Vasteras, Sweden, Août 1998. (postscript)
  15. H. Marchand, M. Le Borgne.
    On the Optimal Control of Polynomial Dynamical Systems over Z/pZ.  4th IEE International Workshop on Discrete Event Systems, pages 385-390, Cagliari, Italie, Août 1998. (postscript) (abstract)
  16. A. Benveniste.
    Synchronous languages and reactive system design.  Proceedings of the 9th IFAC-INCOM'98, Nancy, Juin 1998.
  17. A. Benveniste, T. Gautier, P. Le Guernic, E. Rutten.
    Distributed code generation of dataflow synchronous programs: the SACRES approach.  Proceedings of The Eleventh International Symposium on Languages for Intensional Programming, ISLIP'98, Sun Microsystems, Palo Alto, California (USA), Mai 1998. (postscript) (abstract)
  18. J.P. Talpin, A. Benveniste, B. Caillaud, C. Jard, Z. Bouziane, H. Canon.
    BDL, a language of distributed reactive objects.  International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'98), IEEE Press, Avril 1998. (postscript)
  19. J.R. Beauvais, T. Gautier, P. Le Guernic, R. Houdebine, E. Rutten.
    A translation of Statecharts into Signal.  Proceedings of the International Conference on Application of Concurrency to System Design (CSD'98), IEEE Publ., pages 52-62, Aizu-Wakamatsu, Japan, Mars 1998. (postscript) (abstract)

haut

 

1997

  1. S. Pinchinat, J.V. Echague.
    SOS specifications and Compositional ST-semantics.  XXIII Conferencia Latinoamericana de Informatica, Valparaiso, Chili, Novembre 1997. (postscript) (abstract)
  2. PH. Baufreton, X. Méhaut, E. Rutten.
    Embedded Systems in Avionics and the Sacres Approach.  Proceedings of The 16th International Conference on Computer Safety, Reliability and Security, SAFECOMP'97, York, United Kingdom, Springer, Septembre 1997. (postscript) (abstract)
  3. PH. Baufreton, H. Granier, X. Méhaut, E. Rutten.
    The Sacres Approach to Emdedded Systems Applied to Aircraft Engine Controllers.  Proceedings of the 22st IFAC/IFIP Workshop on Real Time Programming, WRTP'97, Lyon, France, Elsevier, Septembre 1997. (postscript) (abstract)
  4. O. Kushnarenko, P. Schnoebelen.
    A Formal Framework for the Analysis of Recursive-Parallel Programs.  Parallel Computing Technologies, 4th International Conference, PaCT-97 Yaroslavl, Russia, Springer-Verlag, LNCS, pages 45-59, Septembre 1997.
  5. A. Kountouris, C. Wolinski.
    A Method for the Generation of HDL Code at the RTL level form a High-Level Formal Specification Language.  Proceedings of MWSCAS'97, IEEE Computer Society Press, Sacramento, Août 1997. (postscript)
  6. D. Nowak, J.P. Talpin, T. Gautier, P. Le Guernic.
    An ML-like module system for the synchronous language Signal.  European Conference on Parallel Processing (Euro-Par'97), Springer-Verlag, LNCS 1300, pages 1244-1253, Août 1997. (postscript) (abstract)
  7. I. Smarandache, P. Le Guernic.
    Affine Transformations in Signal and Their Applications in the Specification and Validation of Real-Time Systems.  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. (postscript)
  8. J.P. Talpin.
    Reactive types.  International Joint Conference on the Theory and Practice of Software Development (TAPSOFT'97), Springer-Verlag, LNCS, Avril 1997. (postscript)
  9. A. Benveniste, P. Le Guernic, P. Aubry.
    Compositionality in dataflow synchronous languages: specification and code generation.  Proceedings of the 1997 Workshop on Compositionality, W.P. de Roever and A. Pnueli Eds., Malente, Germany, 1997.

haut

 

1996

  1. A. Kountouris.
    Safe and Efficient Elimination of Infeasible Execution Paths in WCET Estimation.  Proceedings of the International Workshop in R/T Computing Systems and Applications (RTCSA'96), IEEE Computer Society Press, Seoul, South Korea, Novembre 1996. (postscript)
  2. P. Le Guernic, E. Rutten.
    Experiments with the synchronous methodology illustrating its support of predictability.  Proceedings of the 21st IFAC/IFIP Workshop on Real Time Programming, WRTP'96, pages 81-86, Canela/Gramado, RS, Brazil, Novembre 1996. (postscript) (abstract)
  3. P. Aubry, P. Le Guernic.
    On the desynchronization of synchronous applications.  Proceedings of the 11th International Conference on Systems Engineering, ICSE'96, University of Nevada, Las Vegas, Nevada (USA), Juillet 1996. (postscript)
  4. M. Le Borgne, H. Marchand, E. Rutten, M. Samaan.
    Formal Verification of SIGNAL programs: Application to a Power Transformer Station Controller.  Proceedings of the Fifth International Conference on Algebraic Methodology and Software Technology AMAST'96, Springer-Verlag, LNCS 1101, pages 271-285, Munich, Germany, Juillet 1996. (postscript) (abstract)
  5. A. Kountouris, P. Le Guernic.
    Profiling of SIGNAL Programs and its application in the timing evaluation of design implementations.  Proceedings of the IEE Colloq. on HW-SW Cosynthesis for Reconfigurable Systems, IEE, pages 6-6, HP Labs, Bristol, UK, Février 1996. (postscript)
  6. P. Aubry, P. Le Guernic, S. Machard.
    Synchronous distribution of SIGNAL programs.  Proc. of the 29th Hawaii International Conference on System Sciences, IEEE Computer Society Press, Volume 1, pages 656-665, Janvier 1996. (postscript)
  7. A. Benveniste.
    Compositional and uniform modelling of hybrid systems.  Proc. of IEEE-CDC, Kobe, 1996.

haut

 

1995

  1. S. Pinchinat, E. Rutten, R.K. Shyamasundar.
    Preemption primitives in reactive languages (a preliminary report).  Proceedings of the Asian Computing Science Conference, ACSC '95, Pathumthani, Thailand, LNCS, Springer-Verlag, Décembre 1995. (postscript) (abstract)
  2. J.V. Echagüe, Z. Habbas, S. Pinchinat.
    Structural Operational Semantics for True Concurrency.  Proc. of the 15th International Conference of the Chilean Computer Science Society, SCCC'95, Arica, Chili, Novembre 1995. (postscript) (abstract)
  3. G. Paller, C. Wolinski.
    SPRINGPLAY A New Class of Compile-Time Scheduling Algorithm for Heterogeneous Target Architectures.  Proceedings of the 20th IFIP/IFAC Workshop on Real Time Programming,WRTP '95, Ft. Lauderdale, Florida, Novembre 1995.
  4. E. Rutten, P. Le Guernic.
    Sequencing and preempting data flow tasks.  Proceedings of the 20th IFIP/IFAC Workshop on Real Time Programming,WRTP '95, Ft. Lauderdale, Florida, Novembre 1995.
  5. S. Donikian, E. Rutten.
    Reactivity, concurrency, data flow and hierarchical preemption for behavioral animationn.  Proceedings of the 5th Eurographics Workshop on Programming Paradigms in Graphics. R.C. Veltkamp, E.H. Blake (eds.), Programming Paradigms in Graphics, Springer, Computer Science, 169 Maastricht, the Netherlands, Septembre 1995. (postscript) (abstract)
  6. H. Marchand, E. Rutten, M. Samaan.
    Synchronous design of a transformer station controller in Signal.  Proceedings of the 4th IEEE Conference on Control Applications, CCA '95, Albany, New York, pages 754-759, Septembre 1995. (postscript) (abstract)
  7. E. Marchand, F. Chaumette, E. Rutten.
    Real time active visual reconstruction using the synchronous paradigm.  Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS '95, Pittsburgh, Pennsylvania, Août 1995. (postscript)
  8. E. Rutten, F. Martinez.
    Signalgti: implementing task preemption and time intervals in the synchronous data flow language Signal.  Proceedings of the 7th Euromicro Workshop on Real-Time Systems, Odense, Denmark, IEEE Publ., Juin 1995. (postscript) (abstract)
  9. EP-ATR Project.
    Signal: a formal design environment for real time systems.  Proceedings of the 6th International Joint Conference on Theory and Practice of Software Development, TAPSOFT '95, AA arhus, Denmark, Springer-Verlag, Mai 1995.
  10. P. Aubry, T. Gautier.
    GC: the Data-Flow Graph Format of Synchronous Programming.  Proceedings ACM SIGPLAN Workshop on Intermediate Representations (IR'95), ACM Sigplan Notices, Volume 30, pages 83-93, Mars 1995. (postscript)
  11. T. Amagbegnon, L. Besnard, P. Le Guernic.
    Implementation of the Data-flow Synchronous Language Signal.  Programming Languages Design and Implementation, ACM, pages 163-173, 1995. (postscript)

haut

 

1994

  1. PROJ. Asar, (P. Aubry, M. Auguin, M. Belhadj, J. Benzakki, Bouguerba, C. T.Carrière, G. Durrieu, T. Gautier, M. Israël, P. LeGuernic, M. Lemaitre, E. Martin, P. Quinton, L. Rideau, F. Rousseau, O.) Sentieys).
    Framework and Multi-Formalism: the ASAR Project.  Proceedings of the 4th International IFIP 10.5 Working Conference on Electronic Design Automation Frameworks, Gramado (Brésil), Novembre 1994.
  2. PROJ. Asar, (P. Aubry, M. Auguin, M. Belhadj, J. Benzakki, Bouguerba, C. T.Carrière, G. Durrieu, T. Gautier, M. Israël, P. LeGuernic, M. Lemaitre, E. Martin, P. Quinton, L. Rideau, F. Rousseau, O.) Sentieys).
    Towards a Multi-Formalism Framework for Architectural Synthesis: the ASAR Project.  Proceedings of the Third International Workshop on Hardware/Software Codesign, IEEE Computer Society Press, pages 25-32, Grenoble, Septembre 1994. (postscript)
  3. A. Benveniste, B.C. Levy, E. Fabre, P. Le Guernic.
    A calculus of stochastic systems for the specification, simulation, and hidden state estimation of hybrid stochastic/nonstochastic systems.  3rd International School and Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Springer-Verlag, pages 149-169, Septembre 1994.
  4. O. Maffeis, P. Le Guernic.
    Distributed Implementation of Signal: Scheduling & Graph Clustering.  3rd International School and Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Springer-Verlag, pages 547-566, Septembre 1994. (postscript)
  5. O. Maffeis, P. Le Guernic.
    From Signal to fine-grain parallel implementations.  Int. Conference on Parallel Architectures and Compilation Techniques, IFIP A-50, North-Holland, pages 237-246, Août 1994.
  6. E. Rutten, P. Le Guernic.
    Sequencing data flow tasks in SIGNAL.  Proceedings of the ACM SIGPLAN Workshop on Language, Compiler and Tool Support for Real-Time Systems, Orlando, Florida (USA), Juin 1994. (postscript) (abstract)
  7. E. Rutten, E. Marchand, F. Chaumette.
    The sequencing of data flow tasks in Signal: application to active vision in robotics.  Proceedings of the 6th Euromicro Workshop on Real Time Systems, IEEE Publ., pages 80-84, University of Maelardalen, Vasteraa s (Sweden), Juin 1994. (postscript) (abstract)
  8. M. Belhadj.
    VHDL & SIGNAL: A Cooperative Approach.  International Conference on Simulation and Hardware Description Languages, Western Simulation Multi-Conference, Society for Computer Simulation, pages 76-81, Tempe, Arizona (USA), 1994.
  9. M. Belhadj.
    Using VHDL for Link to Synthesis Tools.  North Atlantic Test Workshop NATW'94, Nimes, 1994. (postscript)
  10. A. Benveniste, T. Gautier, P. Le Guernic, G. Berry, F. Mignard, P. Caspi, N. Halbwachs, P. Couronné, F. Dupont, C. LeMaire, J.P. Paris, Y. Sorel.
    Synchronous technology for real-time systems.  RTS'94, Teknea, pages 105-122, 1994. (postscript)
  11. C. Wolinski, M. Belhadj.
    High Level Synthesis of Globally Asynchronous Locally Synchronous Circuits.  North Atlantic Test Workshop NATW'94, Nimes, 1994. (postscript)

haut

 

1993

  1. M. Belhadj, R. McConnell, P. Le Guernic.
    A Framework for Macro- and Micro-Time to Model VHDL Attributes.  Proceedings of the European Design and Automation Conference with EURO-VHDL '93, Hamburg, FRG, R. Camposano (ed.), IEEE Computer Society Press, pages 520--525, Septembre 1993.
  2. M. Le Borgne.
    Dynamical Systems over Galois Fields: Application to DES and to the SIGNAL Language.  Lecture Notes of the Belgian-French-Netherlands Summer School on Discrete Event Systems, Spa, Belgium, Juin 1993. (postscript)
  3. M. Le Borgne, B. Dutertre, A. Benveniste, P. Le Guernic.
    Dynamical Systems over Galois Fields.  Proc. of the Second European Control Conference (ECC93), Juin 1993.
  4. A. Benveniste, P. Caspi, P. Le Guernic, N. Halbwachs.
    Data-flow Synchronous Languages.  Proc of the 1993 REX symposium: Ten decades of concurrency, a perspective, LNCS Springer, 1993.
  5. A. Benveniste, M. Le Borgne, P. Le Guernic.
    Hybrid Systems : the Signal Approach.  Hybrid Systems, LNCS 736 Springer, 1993.
  6. B. Dutertre, M. Le Borgne, A. Benveniste, P. Le Guernic.
    Discrete Event Systems and Synchronous Languages: an example.  Proc of the IFAC 1993 World Congress, 1993.
  7. O Maffeïs, P. Le Guernic.
    Combining Dependability with Architectural Adaptability by means of the Signal Language.  3rd Int. Workshop on Static Analysis, Volume 724 of LNCS, pages 99-110, 1993.
  8. C. Wolinski, T. Cholet, D. Derrien, J.-P. Guillou, P. Leali, A. Riboult.
    Architecture for Signal programs execution.  Nordic Transputer Conference, NTUG'93, pages 99-110, Copenhague, Danemark, 1993.

haut

 

1992

  1. A. Benveniste.
    Constructive Probability and the Signalea language : building and handling random process via programming.  Workshop on theory of Hybrid Systems, Octobre 1992.
  2. B. Dutertre, M. Le Borgne, P. Le Guernic.
    The Cat and Mouse in the synchronous paradigm.  Joint Worshop on Discrete Event Systems (WODES'92), pages 117-120, Août 1992.
  3. A. Benveniste, M. Le Borgne, P. Le Guernic.
    SIGNAL as a model for real-time and hybrid systems.  Proceedings of European Symposium on Programming (ESOP '92), B. Krieg-Brueckner (ed.), LNCS 582. Springer, pages 20-38, Février 1992.
  4. M. Le Borgne, B. Dutertre, A. Benveniste, P. Le Guernic.
    Dynamical systems over Galois fields and DEDS Control Problems.  Proc. of the 30th IEEE conference on Decision and Control, pages 1505-1510, 1992.
  5. P. Le Guernic.
    The Signal Environment.  Algorithms and Parallel VLSI Architectures II, Elsevier Science Publisher B.V., pages 347-358, 1992.
  6. O. Maler, Z. Manna, A. Pnueli.
    From Timed to Hybrid Systems.  Real-Time: Theory in Practice, J.W. deBakker, C. Huizing, W.P. deRoever, G. Rozenberg (eds.), LNCS 600, Springer-Verlag, pages 47--484, 1992.

haut

 

1991

  1. M. Le Borgne, A. Benveniste, P. Le Guernic.
    Polynomial dynamical systems over finite fields.  Algebraic Computing in control, G. Jacob et F. Lamnabhi-lagarrigue, Volume 165, pages 212-222, Mars 1991.
  2. B. Delyon, O. Maler.
    On Fault-Tolerant Symbolic Computations.  Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS 571, Springer, 1991.
  3. P. Le Guernic.
    Specification and verification of parallel systems.  Proceedings of the French-Israel Workshop on formal verification for hardware and software, 1991.
  4. P. Le Guernic, T. Gautier.
    Programming real time applications with SIGNAL.  Proceedings of the first European Control Conference, C. Commault (ed.), pages 1666-1671, 1991.
  5. O. Maler, A. Pnueli.
    On the Learnability of Infinitary Regular Sets.  4th Annual Workshop on Computational Learning Theory, L.G. Valiant, M.K. Warmuth (eds.), Morgan Kaufmann Publishers, pages 128-136, 1991.
  6. O. Maler, B. Arnaldi, G. Dumont.
    Simulation Experiments with an Artificial Worm.  Proc. 2nd Eurographics Workshop on Animation and Simulation, pages 215-221, 1991.

haut

 

1990

  1. O. Maler, A. Pnueli.
    Tight Bounds on the Complexity of Cascaded Decomposition of Automata.  Proc. 31st Annual Symposium on Foundations of Computer Science, vol. I, IEEE Computer Society Press, pages 672-682, 1990.
Les documents contenus dans ces répertoires sont rendus disponibles par les auteurs qui y ont contribué en vue d'assurer la diffusion à temps de travaux savants et techniques sur une base non-commerciale. Les droits de copie et autres droits sont gardés par les auteurs et par les détenteurs du copyright, en dépit du fait qu'ils présentent ici leurs travaux sous forme électronique. Les personnes copiant ces informations doivent adhérer aux termes et contraintes couverts par le copyright de chaque auteur. Ces travaux ne peuvent pas être rendus disponibles ailleurs sans la permission explicite du détenteur du copyright.

Webmaster : epatr_webmaster@irisa.fr
Ces pages sont créées automatiquement par le
programme bib2html du projet Vista de l'IRISA-INRIA Rennes 		vista