Paul Le Guernic

	2012
54		Jean-Pierre Talpin, Julien Ouy, Thierry Gautier, Loïc Besnard, Paul Le Guernic: Compositional design of isochronous systems. Sci. Comput. Program. 77(2): 113-128 (2012)
	2011
53		Huafeng Yu, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier, Hervé Marchand, Paul Le Guernic: Polychronous controller synthesis from MARTE CCSL timing specifications. MEMOCODE 2011: 21-30
52		Huafeng Yu, Yue Ma, Yann Glouche, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier, Paul Le Guernic, Andres Toom, Odile Laurent: System-level co-simulation of integrated avionics using polychrony. SAC 2011: 354-359
	2010
51		Julio C. Peralta, Thierry Gautier, Loïc Besnard, Paul Le Guernic: LTSs for translation validation of (multi-clocked) SIGNAL specifications. MEMOCODE 2010: 199-208
50		Yann Glouche, Paul Le Guernic, Jean-Pierre Talpin, Thierry Gautier: A Boolean Algebra of Contracts for Assume-guarantee Reasoning. Electr. Notes Theor. Comput. Sci. 263: 111-127 (2010)
	2008
49		Jean-Pierre Talpin, Julien Ouy, Loïc Besnard, Paul Le Guernic: Compositional design of isochronous systems. DATE 2008: 928-933
48		Hugo Metivier, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic: Analysis of Periodic Clock Relations in Polychronous Systems. DIPES 2008: 45-56
47		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
46		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
45		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)
44		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
43		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
42		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
41		David Berner, Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla: Modular design through component abstraction. CASES 2004: 202-211
40		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
39		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
38		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
37		Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla, Rajesh K. Gupta, Frederic Doucet: Polychrony for Refinement-Based Design. DATE 2003: 11172-11173
36		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
35		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)
34		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
33		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
32		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
31		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
30		Hervé Marchand, Patricia Bournai, Michel Le Borgne, Paul Le Guernic: Synthesis of Discrete-Event Controllers Based on the Signal Environment. Discrete Event Dynamic Systems 10(4): 325-346 (2000)
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		Albert Benveniste, Benoît Caillaud, Paul Le Guernic: From Synchrony to Asynchrony. CONCUR 1999: 162-177
27		David Nowak, Jean-Pierre Talpin, Paul Le Guernic: Synchronous Structures. CONCUR 1999: 494-509
26		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		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-62
	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		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		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		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		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	[40]
5	Jean-René Beauvais	[25] [32]
6	Mohamed Belhadj	[16]
7	Albert Benveniste	[2] [5] [7] [8] [9] [11] [13] [15] [17] [23] [28] [29] [31] [33] [34]
8	Judith Benzakki	[16]
9	David Berner	[36] [41] [42]
10	Loïc Besnard	[19] [47] [49] [51] [52] [53] [54]
11	Michel Le Borgne	[8] [9] [30]
12	Patricia Bournai	[2] [30]
13	Benoît Caillaud	[28] [29]
14	C. Carrière	[16]
15	Paul Caspi	[11] [33] [34]
16	Philippe Darondeau	[1]
17	Bruno Le Dez	[36]
18	Frederic Doucet	[37] [38] [39]
19	Guy Durrieu	[16]
20	Stephen A. Edwards	[34]
21	Eric Fabre	[13] [15] [17]
22	Abdoulaye Gamatié	[36] [42] [44] [46]
23	Thierry Gautier	[2] [3] [16] [22] [25] [26] [32] [44] [46] [48] [50] [51] [52] [53] [54]
24	Yann Glouche	[50] [52]
25	B. Le Goff	[4]
26	Rajesh K. Gupta (Rajesh Gupta)	[37] [38] [39] [42] [43]
27	Nicolas Halbwachs	[11] [34]
28	Roland Houdebine	[25] [32]
29	Michel Israël	[16]
30	Christian Jacquemot	[5]
31	Jean-Christophe Le Lann	[35]
32	Odile Laurent	[52]
33	Michel Lemaître	[16]
34	Bernard C. Levy	[13] [15] [17]
35	Yue Ma	[52]
36	Sylvain Machard	[21]
37	Olivier Maffeïs	[10] [12] [14]
38	Hervé Marchand	[20] [30] [33] [53]
39	E. Martin	[16]
40	Hugo Metivier	[48]
41	Mohammad Reza Mousavi	[40]
42	David Nowak	[22] [27]
43	Julien Ouy	[47] [49] [54]
44	Julio C. Peralta	[51]
45	P. Quinton	[16]
46	Michel Raynal	[1]
47	Laurence Rideau	[16]
48	François Rousseau	[16]
49	Éric Rutten	[20] [25] [32]
50	Olivier Sentieys	[16]
51	Sandeep K. Shukla (Sandeep Kumar Shukla)	[37] [38] [39] [40] [41] [42] [43]
52	Robert de Simone	[34]
53	Irina M. Smarandache	[24] [26]
54	Yves Sorel	[7]
55	Michel Sorine	[7]
56	Jean-Pierre Talpin	[22] [27] [31] [33] [35] [36] [37] [38] [39] [40] [41] [42] [43] [45] [46] [47] [48] [49] [50] [52] [53] [54]
57	Y.-M. Tang	[32]
58	Andres Toom	[52]
59	Stavros Tripakis	[33]
60	Yunming Wang	[31]
61	Huafeng Yu	[52] [53]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page