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) |