Paul Le Guernic

2008
48	EE	Jean-Pierre Talpin, Julien Ouy, Loïc Besnard, Paul Le Guernic: Compositional design of isochronous systems. DATE 2008: 928-933
47	EE	Hugo Metivier, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic: Analysis of Periodic Clock Relations in Polychronous Systems. DIPES 2008: 45-56
46	EE	Julien 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
45	EE	Abdoulaye 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
44	EE	Jean-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)
43	EE	Abdoulaye 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
42	EE	Jean-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
41	EE	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. ACSD 2004: 47-56
40	EE	David Berner, Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla: Modular design through component abstraction. CASES 2004: 202-211
39	EE	Mohammad 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
38	EE	Jean-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
37	EE	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. ACSD 2003: 9-19
36	EE	Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla, Rajesh K. Gupta, Frederic Doucet: Polychrony for Refinement-Based Design. DATE 2003: 11172-11173
35	EE	Jean-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
34	EE	Paul 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
32	EE	Albert 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
31	EE	Jean-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
30	EE	Yunming 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
28	EE	Albert Benveniste, Benoît Caillaud, Paul Le Guernic: From Synchrony to Asynchrony. CONCUR 1999: 162-177
27	EE	David Nowak, Jean-Pierre Talpin, Paul Le Guernic: Synchronous Structures. CONCUR 1999: 494-509
26	EE	Irina 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
25	EE	Jean-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
23	EE	Albert 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
21	EE	Pascal 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
17	EE	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. Theor. Comput. Sci. 152(2): 171-217 (1995)
1994
16	EE	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. 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

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

Colors in the list of coauthors