Travelled to:1 × Taiwan
1 × United Kingdom
2 × Germany
2 × Italy
2 × USA
4 × France
Collaborated with:T.Gautier J.Talpin L.Besnard O.Maffeïs ∅ V.C.Ngo S.K.Shukla I.M.Smarandache P.Amagbégnon A.Benveniste M.L.Borgne Y.Ma H.Yu J.Ouy M.R.Mousavi T.Basten R.K.Gupta F.Doucet M.Heitz Y.Glouche A.Toom O.Laurent
Talks about:system (6) signal (6) time (5) synchron (4) design (4) valid (4) real (4) languag (3) architectur (2) polychroni (2)
Person: Paul Le Guernic
DBLP: Guernic:Paul_Le
Contributed to:
2015
2013
2012
2011200820042003
1999
1995
1993
1992
1987
1995Wrote 13 papers:
- FASE-2015-NgoTGG #compilation #validation
- Translation Validation for Clock Transformations in a Synchronous Compiler (VCN, JPT, TG, PLG), pp. 171–185.
- DATE-2013-MaYGGTBH #analysis #architecture #towards #validation
- Toward polychronous analysis and validation for timed software architectures in AADL (YM, HY, TG, PLG, JPT, LB, MH), pp. 1173–1178.
- IFM-2012-NgoTGGB #compilation #equation #verification
- Formal Verification of Compiler Transformations on Polychronous Equations (VCN, JPT, TG, PLG, LB), pp. 113–127.
- SAC-2011-YuMGTBGGTL #using
- System-level co-simulation of integrated avionics using polychrony (HY, YM, YG, JPT, LB, TG, PLG, AT, OL), pp. 354–359.
- DATE-2008-TalpinOBG #composition #design
- Compositional design of isochronous systems (JPT, JO, LB, PLG), pp. 928–933.
- DATE-v1-2004-MousaviGTSB #design #framework #modelling #validation
- Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks (MRM, PLG, JPT, SKS, TB), pp. 384–389.
- DATE-2003-TalpinGSGD #design
- Polychrony for Refinement-Based Design (JPT, PLG, SKS, RKG, FD), pp. 11172–11173.
- FM-v2-1999-SmarandacheGG #calculus #constraints #realtime #validation
- Validation of Mixed SIGNAL-ALPHA Real-Time Systems through Affine Calculus on Clock Synchronisation Constraints (IMS, TG, PLG), pp. 1364–1383.
- PLDI-1995-AmagbegnonBG #data flow #implementation
- Implementation of the Data-Flow Synchronous Language SIGNAL (PA, LB, PLG), pp. 163–173.
- WSA-1993-MaffeisG #architecture #dependence
- Combining Dependability with Architectural Adatability by Means of the SIGNAL Language (OM, PLG), pp. 99–110.
- ESOP-1992-BenvenisteBG #hybrid #realtime
- SIGNAL as a Model for Real-Time and Hybrid Systems (AB, MLB, PLG), pp. 20–38.
- FPCA-1987-GautierG #declarative #named #programming #realtime
- SIGNAL: A declarative language for synchronous programming of real-time systems (TG, PLG), pp. 257–277.
- TAPSOFT-1995-Guernic #design #named #realtime
- Signal: A Formal Design Environment for Real-Time Systems (PLG), pp. 789–790.