dblp.uni-trier.dewww.uni-trier.de

Paul Le Guernic

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Pascalin Amagbégnon [19] [20]
2Pascal Aubry [21] [23]
3Michel Auguin [16]
4Twan Basten [39]
5Jean-René Beauvais [25] [31]
6Mohamed Belhadj [16]
7Albert Benveniste [2] [5] [7] [8] [9] [11] [13] [15] [17] [23] [28] [29] [30] [32] [33]
8Judith Benzakki [16]
9David Berner [35] [40] [41]
10Loïc Besnard [19] [46] [48]
11Michel Le Borgne [8] [9]
12Patricia Bournai [2]
13Benoît Caillaud [28] [29]
14C. Carrière [16]
15Paul Caspi [11] [32] [33]
16Philippe Darondeau [1]
17Bruno Le Dez [35]
18Frederic Doucet [36] [37] [38]
19Guy Durrieu [16]
20Stephen A. Edwards [33]
21Eric Fabre [13] [15] [17]
22Abdoulaye Gamatié [35] [41] [43] [45]
23Thierry Gautier [2] [3] [16] [22] [25] [26] [31] [43] [45] [47]
24B. Le Goff [4]
25Rajesh K. Gupta (Rajesh Gupta) [36] [37] [38] [41] [42]
26Nicolas Halbwachs [11] [33]
27Roland Houdebine [25] [31]
28Michel Israël [16]
29Christian Jacquemot [5]
30Jean-Christophe Le Lann [34]
31Michel Lemaître [16]
32Bernard C. Levy [13] [15] [17]
33Sylvain Machard [21]
34Olivier Maffeïs [10] [12] [14]
35Hervé Marchand [20] [32]
36E. Martin [16]
37Hugo Metivier [47]
38Mohammad Reza Mousavi [39]
39David Nowak [22] [27]
40Julien Ouy [46] [48]
41P. Quinton [16]
42Michel Raynal [1]
43Laurence Rideau [16]
44François Rousseau [16]
45Éric Rutten [20] [25] [31]
46Olivier Sentieys [16]
47Sandeep K. Shukla [36] [37] [38] [39] [40] [41] [42]
48Robert de Simone [33]
49Irina M. Smarandache [24] [26]
50Yves Sorel [7]
51Michel Sorine [7]
52Jean-Pierre Talpin [22] [27] [30] [32] [34] [35] [36] [37] [38] [39] [40] [41] [42] [44] [45] [46] [47] [48]
53Y.-M. Tang [31]
54Stavros Tripakis [32]
55Yunming Wang [30]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)