The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Paul Le Guernic: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jean-René Beauvais, Roland Houdebine, Paul Le Guernic, Éric Rutten, Thierry Gautier
    A Translation of Statecharts into Signal Approach of Time, Interoperability. [Citation Graph (0, 0)][DBLP]
    ACSD, 1998, pp:52-0 [Conf]
  2. Jean-Pierre Talpin, David Berner, Sandeep K. Shukla, Paul Le Guernic, Abdoulaye Gamatié, Rajesh Gupta
    A Behavioral Type Inference System for Compositional System-on-Chip Design. [Citation Graph (0, 0)][DBLP]
    ACSD, 2004, pp:47-56 [Conf]
  3. Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla, Rajesh K. Gupta, Frederic Doucet
    Polychrony for Formal Refinement-Checking in a System-Level Design Methodology. [Citation Graph (0, 0)][DBLP]
    ACSD, 2003, pp:9-19 [Conf]
  4. Irina M. Smarandache, Paul Le Guernic
    Affine Transformations in SIGNAL and Their Application in the Specification and Validation of Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    ARTS, 1997, pp:233-247 [Conf]
  5. David Berner, Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla
    Modular design through component abstraction. [Citation Graph (0, 0)][DBLP]
    CASES, 2004, pp:202-211 [Conf]
  6. Paul Le Guernic
    The SIGNAL programming environment. [Citation Graph (0, 0)][DBLP]
    Algorithms and Parallel VLSI Architectures, 1991, pp:347-358 [Conf]
  7. Michel Auguin, Mohamed Belhadj, Judith Benzakki, C. Carrière, Guy Durrieu, Thierry Gautier, Michel Israël, Paul Le Guernic, Michel Lemaître, E. Martin, P. Quinton, Laurence Rideau, François Rousseau, Olivier Sentieys
    Towards a multi-formalism framework for architectural synthesis: the ASAR project. [Citation Graph (0, 0)][DBLP]
    CODES, 1994, pp:25-32 [Conf]
  8. Albert Benveniste, Paul Le Guernic, Pascal Aubry
    Compositionality in Dataflow Synchronous Languages: Specification and Code Generation. [Citation Graph (0, 0)][DBLP]
    COMPOS, 1997, pp:61-80 [Conf]
  9. Albert Benveniste, Benoît Caillaud, Paul Le Guernic
    From Synchrony to Asynchrony. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1999, pp:162-177 [Conf]
  10. David Nowak, Jean-Pierre Talpin, Paul Le Guernic
    Synchronous Structures. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1999, pp:494-509 [Conf]
  11. Mohammad Reza Mousavi, Paul Le Guernic, Jean-Pierre Talpin, Sandeep K. Shukla, Twan Basten
    Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks. [Citation Graph (0, 0)][DBLP]
    DATE, 2004, pp:384-389 [Conf]
  12. Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla, Rajesh K. Gupta, Frederic Doucet
    Polychrony for Refinement-Based Design. [Citation Graph (0, 0)][DBLP]
    DATE, 2003, pp:11172-11173 [Conf]
  13. Albert Benveniste, Paul Caspi, Paul Le Guernic, Hervé Marchand, Jean-Pierre Talpin, Stavros Tripakis
    A Protocol for Loosely Time-Triggered Architectures. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2002, pp:252-265 [Conf]
  14. Albert Benveniste, Michel Le Borgne, Paul Le Guernic
    SIGNAL as a Model for Real-Time and Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    ESOP, 1992, pp:20-38 [Conf]
  15. David Nowak, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic
    An ML-Like Module System for the Synchronous Language SIGNAL. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 1997, pp:1244-1253 [Conf]
  16. Jean-Pierre Talpin, Abdoulaye Gamatié, David Berner, Bruno Le Dez, Paul Le Guernic
    Hard Real-Time Implementation of Embedded Software in JAVA. [Citation Graph (0, 0)][DBLP]
    FIDJI, 2003, pp:33-47 [Conf]
  17. Irina M. Smarandache, Thierry Gautier, Paul Le Guernic
    Validation of Mixed SIGNAL-ALPHA Real-Time Systems through Affine Calculus on Clock Synchronisation Constraints. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:1364-1383 [Conf]
  18. Thierry Gautier, Paul Le Guernic
    SIGNAL: A declarative language for synchronous programming of real-time systems. [Citation Graph (0, 0)][DBLP]
    FPCA, 1987, pp:257-277 [Conf]
  19. Albert Benveniste, Bernard C. Levy, Eric Fabre, Paul Le Guernic
    A Calculus of Stochastic Systems for the Specification, Simulation, And Hidden State Estimation of Hybrid Stochastic/Non-stochastic Systems. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1994, pp:149-169 [Conf]
  20. Olivier Maffeïs, Paul Le Guernic
    Distributed Implementation of SIGNAL: Scheduling & Graph Clustering. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1994, pp:547-566 [Conf]
  21. Pascal Aubry, Paul Le Guernic, Sylvain Machard
    Synchronous Distribution of Signal Programs. [Citation Graph (0, 0)][DBLP]
    HICSS (1), 1996, pp:656-665 [Conf]
  22. Albert Benveniste, Michel Le Borgne, Paul Le Guernic
    Hybrid Systems: The SIGNAL Approach. [Citation Graph (0, 0)][DBLP]
    Hybrid Systems, 1992, pp:230-254 [Conf]
  23. Albert Benveniste, Bernard C. Levy, Eric Fabre, Paul Le Guernic
    A Calculus of Stochastic Systems for the Specification, Simulation, and Hidden State Estimation of Hybrid Stochastic/Non-stochastic Systems. [Citation Graph (0, 0)][DBLP]
    Hybrid Systems, 1994, pp:21-44 [Conf]
  24. Thierry Gautier, Paul Le Guernic, Albert Benveniste, Patricia Bournai
    Programming Real-Time with Events and Data Flow. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1986, pp:469-474 [Conf]
  25. Olivier Maffeïs, Paul Le Guernic
    From SIGNAL to fine-grain parallel implementations. [Citation Graph (0, 0)][DBLP]
    IFIP PACT, 1994, pp:237-246 [Conf]
  26. Yunming Wang, Jean-Pierre Talpin, Albert Benveniste, Paul Le Guernic
    A Semantics of UML State-Machines Using Synchronous Pre-Order Transition Systems. [Citation Graph (0, 0)][DBLP]
    ISORC, 2000, pp:96-103 [Conf]
  27. Pascalin Amagbégnon, Paul Le Guernic, Hervé Marchand, Éric Rutten
    SIGNAL. [Citation Graph (0, 0)][DBLP]
    Formal Development of Reactive Systems, 1995, pp:113-129 [Conf]
  28. Pascalin Amagbégnon, Loïc Besnard, Paul Le Guernic
    Implementation of the Data-Flow Synchronous Language SIGNAL. [Citation Graph (0, 0)][DBLP]
    PLDI, 1995, pp:163-173 [Conf]
  29. Albert Benveniste, Paul Caspi, Paul Le Guernic, Nicolas Halbwachs
    Data-Flow Synchronous Languages. [Citation Graph (0, 0)][DBLP]
    REX School/Symposium, 1993, pp:1-45 [Conf]
  30. Olivier Maffeïs, Paul Le Guernic
    Combining Dependability with Architectural Adatability by Means of the SIGNAL Language. [Citation Graph (0, 0)][DBLP]
    WSA, 1993, pp:99-110 [Conf]
  31. B. Le Goff, Paul Le Guernic
    The Granules, Blutton: An Idea, an Algorithm to Implement on Multiprocessor. [Citation Graph (0, 0)][DBLP]
    STACS, 1988, pp:399-400 [Conf]
  32. Paul Le Guernic
    Signal: A Formal Design Environment for Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1995, pp:789-790 [Conf]
  33. Philippe Darondeau, Paul Le Guernic, Michel Raynal
    Types in a Mixed Language System. [Citation Graph (0, 0)][DBLP]
    BIT, 1981, v:21, n:3, pp:246-254 [Journal]
  34. Jean-Pierre Talpin, Paul Le Guernic
    An algebraic theory for behavioral modeling and protocol synthesis in system design. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2006, v:28, n:2, pp:131-151 [Journal]
  35. Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla, Frederic Doucet, Rajesh K. Gupta
    Formal Refinement Checking in a System-level Design Methodology. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2004, v:62, n:2, pp:243-273 [Journal]
  36. Albert Benveniste, Benoît Caillaud, Paul Le Guernic
    Compositionality in Dataflow Synchronous Languages: Specification and Distributed Code Generation. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2000, v:163, n:1, pp:125-171 [Journal]
  37. Albert Benveniste, Paul Le Guernic, Yves Sorel, Michel Sorine
    A Denotational Theory of Synchronous Reactive Systems [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1992, v:99, n:2, pp:192-230 [Journal]
  38. Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla, Rajesh Gupta
    A Compositional Behavioral Modeling Framework for Embedded System Design and Conformance Checking. [Citation Graph (0, 0)][DBLP]
    International Journal of Parallel Programming, 2005, v:33, n:6, pp:613-643 [Journal]
  39. Paul Le Guernic, Jean-Pierre Talpin, Jean-Christophe Le Lann
    POLYCHRONY for System Design. [Citation Graph (0, 0)][DBLP]
    Journal of Circuits, Systems, and Computers, 2003, v:12, n:3, pp:261-304 [Journal]
  40. Albert Benveniste, Paul Caspi, Stephen A. Edwards, Nicolas Halbwachs, Paul Le Guernic, Robert de Simone
    The synchronous languages 12 years later. [Citation Graph (0, 0)][DBLP]
    Proceedings of the IEEE, 2003, v:91, n:1, pp:64-83 [Journal]
  41. Albert Benveniste, Paul Le Guernic, Christian Jacquemot
    Synchronous Programming with Events and Relations: the SIGNAL Language and Its Semantics. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1991, v:16, n:2, pp:103-149 [Journal]
  42. Albert Benveniste, Bernard C. Levy, Eric Fabre, Paul Le Guernic
    A Calculus of Stochastic Systems for the Specification, Simulation, and Hidden State Estimation of Mixed Stochastic/Nonstochastic Systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:152, n:2, pp:171-217 [Journal]
  43. Jean-René Beauvais, Éric Rutten, Thierry Gautier, Roland Houdebine, Paul Le Guernic, Y.-M. Tang
    Modeling statecharts and activitycharts as signal equations. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 2001, v:10, n:4, pp:397-451 [Journal]
  44. Abdoulaye Gamatié, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin
    Polychronous design of embedded real-time applications. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 2007, v:16, n:2, pp:- [Journal]

  45. Compositional design of isochronous systems. [Citation Graph (, )][DBLP]


  46. Analysis of Periodic Clock Relations in Polychronous Systems. [Citation Graph (, )][DBLP]


  47. Separate Compilation of Polychronous Specifications. [Citation Graph (, )][DBLP]


  48. A Boolean Algebra of Contracts for Assume-guarantee Reasoning. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.007secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002