BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Guernic:Paul_Le

Contributed to:

FASE 20152015
DATE 20132013
IFM 20122012
SAC 20112011
DATE 20082008
DATE v1 20042004
DATE 20032003
World Congress on Formal Methods 19991999
PLDI 19951995
WSA 19931993
ESOP 19921992
FPCA 19871987

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.