general.bib
@INPROCEEDINGS{alras09,
AUTHOR = {M. Alras and P. Caspi and A. Girault and P. Raymond},
TITLE = {Model-Based Design of Embeded Control Systems by
means of a Synchronous Intermediate Model},
BOOKTITLE = {International Conference on Embedded Systems and
Software, ICESS'09},
KEY = {my-sync},
PAGES = {3--10},
YEAR = 2009,
ADDRESS = {Hangzhou, China},
MONTH = MAY,
PUBLISHER = {IEEE, Los Alamitos},
X-EDITORIAL-BOARD = {yes},
X-INTERNATIONAL-AUDIENCE = {yes}
}
@INPROCEEDINGS{andre01,
AUTHOR = {C. Andr{\'e} and F. Boulanger and A. Girault},
TITLE = {Software Implementation of Synchronous Programs},
KEY = {my-sync},
BOOKTITLE = {International Conference on Application of
Concurrency to System Design, ACSD'01},
YEAR = 2001,
PUBLISHER = {IEEE, Los Alamitos},
ADDRESS = {Newcastle, UK},
MONTH = JUN,
PAGES = {133--142},
URL = {http://pop-art.inrialpes.fr/~girault/Publications/Icacsd01},
PDF = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Icacsd01/main.pdf},
PS = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Icacsd01/main.ps},
BIB2HTML_PUBTYPE = {Refereed conference},
BIB2HTML_RESCAT = {Synchronous programming},
X-EDITORIAL-BOARD = {yes},
X-INTERNATIONAL-AUDIENCE = {yes}
}
@INPROCEEDINGS{bebelis13,
AUTHOR = {V. Bebelis and P. Fradet and A. Girault and B. Lavigueur},
TITLE = {{BPDF}: A Statically Analyzable Dataflow Model with
Integer and Boolean Parameters},
OPTCROSSREF = {},
KEY = {my-sync},
BOOKTITLE = {International Conference on Embedded Software,
EMSOFT'13},
OPTPAGES = {},
YEAR = {2013},
OPTEDITOR = {},
OPTVOLUME = {},
OPTNUMBER = {},
OPTSERIES = {},
ADDRESS = {Montreal, Canada},
MONTH = SEP,
OPTORGANIZATION = {},
PUBLISHER = {ACM},
OPTNOTE = {},
OPTANNOTE = {},
X-EDITORIAL-BOARD = {yes},
X-INTERNATIONAL-AUDIENCE = {yes}
}
@INPROCEEDINGS{cdc01-orccad,
AUTHOR = {D. Simon and A. Girault},
TITLE = {Synchronous Programming of Automatic Control
Applications Using {Orccad} and {Esterel}},
KEY = {my-sync},
BOOKTITLE = {IEEE Conference on Decision and Control, CDC'01},
YEAR = 2001,
ADDRESS = {Orlando (FL), USA},
MONTH = DEC,
NOTE = {Invited Session},
PDF = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/SessionCdc01/main.pdf},
PS = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/SessionCdc01/main.ps},
BIB2HTML_PUBTYPE = {Invited conference},
BIB2HTML_RESCAT = {Synchronous programming},
X-EDITORIAL-BOARD = {yes},
X-INTERNATIONAL-AUDIENCE = {yes}
}
@INPROCEEDINGS{cdc01-session,
AUTHOR = {A. Girault and A. Benveniste},
TITLE = {Synchronous Programming: A Formal Approach for
Specifying and Implementing Automatic Control
Software},
KEY = {my-sync},
BOOKTITLE = {IEEE Conference on Decision and Control, CDC'01},
YEAR = 2001,
ADDRESS = {Orlando (FL), USA},
MONTH = DEC,
NOTE = {Invited session},
PDF = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/SessionCdc01/main.pdf},
PS = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/SessionCdc01/main.ps},
BIB2HTML_PUBTYPE = {Invited conference},
BIB2HTML_RESCAT = {Synchronous programming}
}
@INPROCEEDINGS{colaco04,
AUTHOR = {J.-L. Cola\c{c}o and A. Girault and G. Hamon and
M. Pouzet},
TITLE = {Towards a Higher-Order Synchronous Data-Flow
Language},
KEY = {my-sync},
BOOKTITLE = {International Conference on Embedded Software,
EMSOFT'04},
YEAR = 2004,
PAGES = {230--239},
EDITOR = {G. Buttazzo},
ADDRESS = {Pisa, Italy},
MONTH = SEP,
PUBLISHER = {ACM, New-York},
OPTURL = {http://pop-art.inrialpes.fr/~girault/Publications/Emsoft04},
PDF = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Emsoft04/main.pdf},
PS = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Emsoft04/main.ps},
BIB2HTML_PUBTYPE = {Refereed conference},
BIB2HTML_RESCAT = {Synchronous programming},
X-EDITORIAL-BOARD = {yes},
X-INTERNATIONAL-AUDIENCE = {yes}
}
@PROCEEDINGS{fmgals07,
TITLE = {International Workshop on Formal Methods for
Globally Asynchronous Locally Synchronous Design,
FMGALS'07},
KEY = {my-sync},
YEAR = 2007,
EDITOR = {A. Girault and R. {de simone}},
VOLUME = 200,
NUMBER = 1,
SERIES = {ENTCS},
ADDRESS = {Nice, France},
MONTH = MAY,
PUBLISHER = {Elsevier Science, New-York},
WHERE = {{http://www.sciencedirect.com/science?_ob=PublicationURL&_tockey=%23TOC%2313109%232008%23997999998%23681153%23FLP%23&_cdi=13109&_pubType=J&_auth=y&_acct=C000050221&_version=1&_urlVersion=0&_userid=10&md5=6dd56c2f73fd3fce874d243faa3c6546}}
}
@INPROCEEDINGS{fradet12,
AUTHOR = {P. Fradet and A. Girault and P. Poplavko},
TITLE = {{SPDF}: A Schedulable Parametric Data-Flow {MoC}},
KEY = {my-sync},
BOOKTITLE = {Design Automation and Test in Europe, DATE'12},
YEAR = 2012,
MONTH = MAR,
ADDRESS = {Dresden, Germany},
X-EDITORIAL-BOARD = {yes},
X-INTERNATIONAL-AUDIENCE = {yes}
}
@ARTICLE{maraninchi08,
AUTHOR = {F. Maraninchi and M. Mendler and M. Pouzet and
A. Girault and E. Rutten},
TITLE = {Editorial: Selected Papers from {SLA++P 07} and 08
Model-Driven High-Level Programming of Embedded
Systems},
JOURNAL = {EURASIP J.\ on Embedded Systems},
YEAR = {2008},
KEY = {my-sync},
NUMBER = {376920},
URL = {http://jes.eurasipjournals.com/content/2008/1/376920}
}
@INPROCEEDINGS{scdata,
AUTHOR = {A. Girault and G. Berry},
TITLE = {Circuit Generation and Verification of {Esterel}
Programs},
KEY = {my-sync},
BOOKTITLE = {IEEE International Symposium on Signals, Circuits,
and Systems, SCS'99},
YEAR = 1999,
PUBLISHER = {``Gh. Asachi'' Publishing},
ADDRESS = {Iasi, Romania},
MONTH = JUL,
PAGES = {85--89},
ANNOTE = {Research report Inria 3582},
URL = {http://pop-art.inrialpes.fr/~girault/Publications/Scs99},
PDF = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Scs99/main.pdf},
PS = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Scs99/main.ps},
BIB2HTML_PUBTYPE = {Refereed conference},
BIB2HTML_RESCAT = {Automatic distribution}
}
@PROCEEDINGS{slap02,
TITLE = {International Workshop on Synchronous Languages,
Programming, and Applications, SLAP'02},
KEY = {my-sync},
YEAR = 2002,
EDITOR = {F. Maraninchi and A. Girault and E. Rutten},
VOLUME = {65(5)},
SERIES = {ENTCS},
ADDRESS = {Grenoble, France},
MONTH = APR,
PUBLISHER = {Elsevier Science, New-York},
URL = {http://www1.elsevier.com/gej-ng/31/29/23/117/53/show/Products/notes/index.htt},
URL = {http://www.sciencedirect.com/science?_ob=PublicationURL&_tockey=%23TOC%2313109%232002%23999349994%23596005%23FLP%23&_cdi=13109&_pubType=J&view=c&_auth=y&_acct=C000050221&_version=1&_urlVersion=0&_userid=10&md5=3d4833c7b97dbc27c99b78f249cf0584},
BIB2HTML_PUBTYPE = {Proceedings},
BIB2HTML_RESCAT = {Synchronous programming}
}
@PROCEEDINGS{slap03,
TITLE = {International Workshop on Synchronous Languages,
Programming, and Applications, SLAP'03},
KEY = {my-sync},
YEAR = 2003,
EDITOR = {F. Maraninchi and A. Girault and E. Rutten},
VOLUME = 88,
SERIES = {ENTCS},
ADDRESS = {Porto, Portugal},
MONTH = JUL,
PUBLISHER = {Elsevier Science, New-York},
BIB2HTML_PUBTYPE = {Proceedings},
BIB2HTML_RESCAT = {Synchronous programming}
}
@PROCEEDINGS{slap04,
TITLE = {International Workshop on Synchronous Languages,
Programming, and Applications, SLAP'04},
KEY = {my-sync},
YEAR = 2004,
EDITOR = {F. Maraninchi and A. Girault and M. Pouzet},
VOLUME = {153(4)},
SERIES = {ENTCS},
ADDRESS = {Barcelona, Spain},
MONTH = MAR,
PUBLISHER = {Elsevier Science, New-York},
BIB2HTML_PUBTYPE = {Proceedings},
BIB2HTML_RESCAT = {Synchronous programming}
}
@PROCEEDINGS{slap08,
TITLE = {International Workshop on Model-driven High-level
Programming of Embedded Systems, SLA++P'08},
YEAR = 2009,
KEY = {my-sync},
EDITOR = {A. Girault and E. Rutten},
VOLUME = {238},
SERIES = {ENTCS},
ADDRESS = {Budapest, Hungary},
MONTH = MAR,
PUBLISHER = {Elsevier}
}
@MISC{stmicro02,
AUTHOR = {E. Rutten and A. Girault and H. Marchand},
TITLE = {Un panorama des techniques de la programmation
synchrone pour le flot de conception de {ST}
{Microelectronics}},
KEY = {my-sync},
MONTH = JAN,
YEAR = 2002,
NOTE = {Rapport de contrat ST Microelectronics n$^\circ$ 1
01 G070700 71299 21 2.},
BIB2HTML_PUBTYPE = {Other},
BIB2HTML_RESCAT = {Synchronous programming}
}
This file has been generated by
bibtex2html 1.69