default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:conf/slap:"
download as .bib file
@proceedings{DBLP:conf/slap/2008,
editor = {Alain Girault and
{\'{E}}ric Rutten},
title = {Proceedings of the Third International Workshop on Model-driven High-level
Programming of Embedded Systems, SLA++P@ETAPS 2008, Budapest, Hungary,
March 29, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {238},
number = {1},
publisher = {Elsevier},
year = {2009},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/238/issue/1},
timestamp = {Fri, 24 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slap/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Delaval09,
author = {Gwena{\"{e}}l Delaval},
editor = {Alain Girault and
{\'{E}}ric Rutten},
title = {Modular Distribution and Application to Discrete Controller Synthesis},
booktitle = {Proceedings of the Third International Workshop on Model-driven High-level
Programming of Embedded Systems, SLA++P@ETAPS 2008, Budapest, Hungary,
March 29, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {238},
number = {1},
pages = {3--19},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.01.003},
doi = {10.1016/J.ENTCS.2008.01.003},
timestamp = {Fri, 24 Feb 2023 13:01:02 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Delaval09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GiraultR09,
author = {Alain Girault and
{\'{E}}ric Rutten},
editor = {Alain Girault and
{\'{E}}ric Rutten},
title = {Preface},
booktitle = {Proceedings of the Third International Workshop on Model-driven High-level
Programming of Embedded Systems, SLA++P@ETAPS 2008, Budapest, Hungary,
March 29, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {238},
number = {1},
pages = {1--2},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.01.002},
doi = {10.1016/J.ENTCS.2008.01.002},
timestamp = {Fri, 24 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GiraultR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/JosePST09,
author = {Bijoy Antony Jose and
Hiren D. Patel and
Sandeep K. Shukla and
Jean{-}Pierre Talpin},
editor = {Alain Girault and
{\'{E}}ric Rutten},
title = {Generating Multi-Threaded code from Polychronous Specifications},
booktitle = {Proceedings of the Third International Workshop on Model-driven High-level
Programming of Embedded Systems, SLA++P@ETAPS 2008, Budapest, Hungary,
March 29, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {238},
number = {1},
pages = {57--69},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.01.006},
doi = {10.1016/J.ENTCS.2008.01.006},
timestamp = {Fri, 24 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/JosePST09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MandelP09,
author = {Louis Mandel and
Florence Plateau},
editor = {Alain Girault and
{\'{E}}ric Rutten},
title = {Interactive Programming of Reactive Systems},
booktitle = {Proceedings of the Third International Workshop on Model-driven High-level
Programming of Embedded Systems, SLA++P@ETAPS 2008, Budapest, Hungary,
March 29, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {238},
number = {1},
pages = {21--36},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.01.004},
doi = {10.1016/J.ENTCS.2008.01.004},
timestamp = {Fri, 24 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MandelP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/YuanAYRS09,
author = {Simon Yuan and
Sidharta Andalam and
Li Hsien Yoong and
Partha S. Roop and
Zoran A. Salcic},
editor = {Alain Girault and
{\'{E}}ric Rutten},
title = {STARPro - {A} new multithreaded direct execution platform for Esterel},
booktitle = {Proceedings of the Third International Workshop on Model-driven High-level
Programming of Embedded Systems, SLA++P@ETAPS 2008, Budapest, Hungary,
March 29, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {238},
number = {1},
pages = {37--55},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.01.005},
doi = {10.1016/J.ENTCS.2008.01.005},
timestamp = {Fri, 24 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/YuanAYRS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/slap/2007,
editor = {Joaqu{\'{\i}}n Aguado and
Michael Mendler},
title = {Proceedings of the International Workshop on Model-driven High-level
Programming of Embedded Systems, SLA++P@ETAPS 2007, Braga, Portugal,
March 31, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {203},
number = {4},
publisher = {Elsevier},
year = {2008},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/203/issue/4},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slap/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AguadoM08,
author = {Joaqu{\'{\i}}n Aguado and
Michael Mendler},
editor = {Joaqu{\'{\i}}n Aguado and
Michael Mendler},
title = {Preface},
booktitle = {Proceedings of the International Workshop on Model-driven High-level
Programming of Embedded Systems, SLA++P@ETAPS 2007, Braga, Portugal,
March 31, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {203},
number = {4},
pages = {1--2},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.05.006},
doi = {10.1016/J.ENTCS.2008.05.006},
timestamp = {Mon, 13 Feb 2023 13:24:45 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AguadoM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BoldtTH08,
author = {Marian Boldt and
Claus Traulsen and
Reinhard von Hanxleden},
editor = {Joaqu{\'{\i}}n Aguado and
Michael Mendler},
title = {Worst Case Reaction Time Analysis of Concurrent Reactive Programs},
booktitle = {Proceedings of the International Workshop on Model-driven High-level
Programming of Embedded Systems, SLA++P@ETAPS 2007, Braga, Portugal,
March 31, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {203},
number = {4},
pages = {65--79},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.05.011},
doi = {10.1016/J.ENTCS.2008.05.011},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BoldtTH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BousquetD08,
author = {Lydie du Bousquet and
Michel Delaunay},
editor = {Joaqu{\'{\i}}n Aguado and
Michael Mendler},
title = {Towards Mutation Analysis for Lustre Programs},
booktitle = {Proceedings of the International Workshop on Model-driven High-level
Programming of Embedded Systems, SLA++P@ETAPS 2007, Braga, Portugal,
March 31, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {203},
number = {4},
pages = {35--48},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.05.009},
doi = {10.1016/J.ENTCS.2008.05.009},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BousquetD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GaoWW08,
author = {Jimin Gao and
Mike Whalen and
Eric Van Wyk},
editor = {Joaqu{\'{\i}}n Aguado and
Michael Mendler},
title = {Extending Lustre with Timeout Automata},
booktitle = {Proceedings of the International Workshop on Model-driven High-level
Programming of Embedded Systems, SLA++P@ETAPS 2007, Braga, Portugal,
March 31, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {203},
number = {4},
pages = {111--124},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.05.014},
doi = {10.1016/J.ENTCS.2008.05.014},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GaoWW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MaraninchiSBV08,
author = {Florence Maraninchi and
Ludovic Samper and
Kevin Baradon and
Antoine Vasseur},
editor = {Joaqu{\'{\i}}n Aguado and
Michael Mendler},
title = {Lustre as a System Modeling Language: Lussensor, a Case-Study with
Sensor Networks},
booktitle = {Proceedings of the International Workshop on Model-driven High-level
Programming of Embedded Systems, SLA++P@ETAPS 2007, Braga, Portugal,
March 31, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {203},
number = {4},
pages = {95--110},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.05.013},
doi = {10.1016/J.ENTCS.2008.05.013},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MaraninchiSBV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/RayC08,
author = {Arnab Ray and
Rance Cleaveland},
editor = {Joaqu{\'{\i}}n Aguado and
Michael Mendler},
title = {Executable Specifications for Real-Time Distributed Systems},
booktitle = {Proceedings of the International Workshop on Model-driven High-level
Programming of Embedded Systems, SLA++P@ETAPS 2007, Braga, Portugal,
March 31, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {203},
number = {4},
pages = {3--17},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.05.007},
doi = {10.1016/J.ENTCS.2008.05.007},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/RayC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/RaymondRJ08,
author = {Pascal Raymond and
Yvan Roux and
Erwan Jahier},
editor = {Joaqu{\'{\i}}n Aguado and
Michael Mendler},
title = {Specifying and Executing Reactive Scenarios With Lutin},
booktitle = {Proceedings of the International Workshop on Model-driven High-level
Programming of Embedded Systems, SLA++P@ETAPS 2007, Braga, Portugal,
March 31, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {203},
number = {4},
pages = {19--34},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.05.008},
doi = {10.1016/J.ENTCS.2008.05.008},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/RaymondRJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SinhaRB08,
author = {Roopak Sinha and
Partha S. Roop and
Samik Basu},
editor = {Joaqu{\'{\i}}n Aguado and
Michael Mendler},
title = {A Model Checking Approach to Protocol Conversion},
booktitle = {Proceedings of the International Workshop on Model-driven High-level
Programming of Embedded Systems, SLA++P@ETAPS 2007, Braga, Portugal,
March 31, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {203},
number = {4},
pages = {81--94},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.05.012},
doi = {10.1016/J.ENTCS.2008.05.012},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/SinhaRB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Stauch08,
author = {David Stauch},
editor = {Joaqu{\'{\i}}n Aguado and
Michael Mendler},
title = {Modifying Contracts with Larissa Aspects},
booktitle = {Proceedings of the International Workshop on Model-driven High-level
Programming of Embedded Systems, SLA++P@ETAPS 2007, Braga, Portugal,
March 31, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {203},
number = {4},
pages = {125--140},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.05.015},
doi = {10.1016/J.ENTCS.2008.05.015},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Stauch08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/TardieuE08,
author = {Olivier Tardieu and
Stephen A. Edwards},
editor = {Joaqu{\'{\i}}n Aguado and
Michael Mendler},
title = {Instantaneous Transitions in Esterel},
booktitle = {Proceedings of the International Workshop on Model-driven High-level
Programming of Embedded Systems, SLA++P@ETAPS 2007, Braga, Portugal,
March 31, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {203},
number = {4},
pages = {49--64},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.05.010},
doi = {10.1016/J.ENTCS.2008.05.010},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/TardieuE08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/slap/2004,
editor = {Florence Maraninchi and
Alain Girault and
Marc Pouzet},
title = {Proceedings of the Third International Workshop on Synchronous Languages,
Applications, and Programs, {SLAP} 2004, Satellite Event of {ETAPS}
2004, Barcelona, Spain, March 28, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {153},
number = {4},
publisher = {Elsevier},
year = {2006},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/153/issue/4},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slap/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BuddePS06,
author = {Reinhard Budde and
Axel Poign{\'{e}} and
Karl{-}Heinz Sylla},
editor = {Florence Maraninchi and
Alain Girault and
Marc Pouzet},
title = {synERJY An Object-oriented Synchronous Language},
booktitle = {Proceedings of the Third International Workshop on Synchronous Languages,
Applications, and Programs, {SLAP} 2004, Satellite Event of {ETAPS}
2004, Barcelona, Spain, March 28, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {153},
number = {4},
pages = {99--115},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2006.02.026},
doi = {10.1016/J.ENTCS.2006.02.026},
timestamp = {Fri, 20 Jan 2023 11:01:08 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BuddePS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/EdwardsKH06,
author = {Stephen A. Edwards and
Vimal Kapadia and
Michael Halasz},
editor = {Florence Maraninchi and
Alain Girault and
Marc Pouzet},
title = {Compiling Esterel into Static Discrete-Event Code},
booktitle = {Proceedings of the Third International Workshop on Synchronous Languages,
Applications, and Programs, {SLAP} 2004, Satellite Event of {ETAPS}
2004, Barcelona, Spain, March 28, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {153},
number = {4},
pages = {117--131},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2006.02.027},
doi = {10.1016/J.ENTCS.2006.02.027},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/EdwardsKH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GonnordHR06,
author = {Laure Gonnord and
Nicolas Halbwachs and
Pascal Raymond},
editor = {Florence Maraninchi and
Alain Girault and
Marc Pouzet},
title = {From Discrete Duration Calculus to Symbolic Automata},
booktitle = {Proceedings of the Third International Workshop on Synchronous Languages,
Applications, and Programs, {SLAP} 2004, Satellite Event of {ETAPS}
2004, Barcelona, Spain, March 28, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {153},
number = {4},
pages = {3--18},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2006.02.022},
doi = {10.1016/J.ENTCS.2006.02.022},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GonnordHR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Hamon06,
author = {Gr{\'{e}}goire Hamon},
editor = {Florence Maraninchi and
Alain Girault and
Marc Pouzet},
title = {Synchronous Dataflow Pattern Matching},
booktitle = {Proceedings of the Third International Workshop on Synchronous Languages,
Applications, and Programs, {SLAP} 2004, Satellite Event of {ETAPS}
2004, Barcelona, Spain, March 28, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {153},
number = {4},
pages = {37--54},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2006.02.024},
doi = {10.1016/J.ENTCS.2006.02.024},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Hamon06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MaraninchiGP06,
author = {Florence Maraninchi and
Alain Girault and
Marc Pouzet},
editor = {Florence Maraninchi and
Alain Girault and
Marc Pouzet},
title = {Preface},
booktitle = {Proceedings of the Third International Workshop on Synchronous Languages,
Applications, and Programs, {SLAP} 2004, Satellite Event of {ETAPS}
2004, Barcelona, Spain, March 28, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {153},
number = {4},
pages = {1--2},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2006.05.001},
doi = {10.1016/J.ENTCS.2006.05.001},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MaraninchiGP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SchneiderBS06,
author = {Klaus Schneider and
Jens Brandt and
Tobias Sch{\"{u}}le},
editor = {Florence Maraninchi and
Alain Girault and
Marc Pouzet},
title = {A Verified Compiler for Synchronous Programs with Local Declarations},
booktitle = {Proceedings of the Third International Workshop on Synchronous Languages,
Applications, and Programs, {SLAP} 2004, Satellite Event of {ETAPS}
2004, Barcelona, Spain, March 28, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {153},
number = {4},
pages = {71--97},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2006.02.028},
doi = {10.1016/J.ENTCS.2006.02.028},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/SchneiderBS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Tardieu06,
author = {Olivier Tardieu},
editor = {Florence Maraninchi and
Alain Girault and
Marc Pouzet},
title = {Goto and Concurrency Introducing Safe Jumps in Esterel},
booktitle = {Proceedings of the Third International Workshop on Synchronous Languages,
Applications, and Programs, {SLAP} 2004, Satellite Event of {ETAPS}
2004, Barcelona, Spain, March 28, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {153},
number = {4},
pages = {55--70},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2006.02.025},
doi = {10.1016/J.ENTCS.2006.02.025},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Tardieu06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/VecchieS06,
author = {Eric Vecchi{\'{e}} and
Robert de Simone},
editor = {Florence Maraninchi and
Alain Girault and
Marc Pouzet},
title = {Syntax-driven Behavior Partitioning for Model-checking of Esterel
Programs},
booktitle = {Proceedings of the Third International Workshop on Synchronous Languages,
Applications, and Programs, {SLAP} 2004, Satellite Event of {ETAPS}
2004, Barcelona, Spain, March 28, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {153},
number = {4},
pages = {19--35},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2006.02.023},
doi = {10.1016/J.ENTCS.2006.02.023},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/VecchieS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/slap/2003,
editor = {Florence Maraninchi and
Alain Girault and
{\'{E}}ric Rutten},
title = {Synchronous Languages, Applications and Programming, {SLAP} 2003,
{A} Satellite Workshop of {ECRTS} 2003, Porto, Portugal, July 1, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {88},
publisher = {Elsevier},
year = {2004},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/88/suppl/C},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slap/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AguadoML04,
author = {Joaqu{\'{\i}}n Aguado and
Michael Mendler and
Gerald L{\"{u}}ttgen},
editor = {Florence Maraninchi and
Alain Girault and
{\'{E}}ric Rutten},
title = {A-maze-ing Esterel},
booktitle = {Synchronous Languages, Applications and Programming, {SLAP} 2003,
{A} Satellite Workshop of {ECRTS} 2003, Porto, Portugal, July 1, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {88},
pages = {21--37},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2003.05.006},
doi = {10.1016/J.ENTCS.2003.05.006},
timestamp = {Wed, 07 Dec 2022 09:55:43 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AguadoML04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Andre04,
author = {Charles Andr{\'{e}}},
editor = {Florence Maraninchi and
Alain Girault and
{\'{E}}ric Rutten},
title = {Computing SyncCharts Reactions},
booktitle = {Synchronous Languages, Applications and Programming, {SLAP} 2003,
{A} Satellite Workshop of {ECRTS} 2003, Porto, Portugal, July 1, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {88},
pages = {3--19},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2003.05.007},
doi = {10.1016/J.ENTCS.2003.05.007},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Andre04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BousquetORZ04,
author = {Lydie du Bousquet and
Farid Ouabdesselam and
Jean{-}Luc Richier and
Nicolas Zuanon},
editor = {Florence Maraninchi and
Alain Girault and
{\'{E}}ric Rutten},
title = {Testing Against Some Eventuality Properties of Synchronous Software:
{A} Case Study},
booktitle = {Synchronous Languages, Applications and Programming, {SLAP} 2003,
{A} Satellite Workshop of {ECRTS} 2003, Porto, Portugal, July 1, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {88},
pages = {105--121},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2003.05.001},
doi = {10.1016/J.ENTCS.2003.05.001},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BousquetORZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Claessen04,
author = {Koen Claessen},
editor = {Florence Maraninchi and
Alain Girault and
{\'{E}}ric Rutten},
title = {Safety Property Verification of Cyclic Synchronous Circuits},
booktitle = {Synchronous Languages, Applications and Programming, {SLAP} 2003,
{A} Satellite Workshop of {ECRTS} 2003, Porto, Portugal, July 1, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {88},
pages = {55--69},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2003.05.004},
doi = {10.1016/J.ENTCS.2003.05.004},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Claessen04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GamatieGB04,
author = {Abdoulaye Gamati{\'{e}} and
Thierry Gautier and
Lo{\"{\i}}c Besnard},
editor = {Florence Maraninchi and
Alain Girault and
{\'{E}}ric Rutten},
title = {Modeling of Avionics Applications and Performance Evaluation Techniques
Using the Synchronous Language {SIGNAL}},
booktitle = {Synchronous Languages, Applications and Programming, {SLAP} 2003,
{A} Satellite Workshop of {ECRTS} 2003, Porto, Portugal, July 1, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {88},
pages = {87--103},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2003.05.002},
doi = {10.1016/J.ENTCS.2003.05.002},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GamatieGB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MaraninchiGR04,
author = {Florence Maraninchi and
Alain Girault and
{\'{E}}ric Rutten},
editor = {Florence Maraninchi and
Alain Girault and
{\'{E}}ric Rutten},
title = {Foreword},
booktitle = {Synchronous Languages, Applications and Programming, {SLAP} 2003,
{A} Satellite Workshop of {ECRTS} 2003, Porto, Portugal, July 1, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {88},
pages = {1--2},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2003.05.008},
doi = {10.1016/J.ENTCS.2003.05.008},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MaraninchiGR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Nebut04,
author = {Mirabelle Nebut},
editor = {Florence Maraninchi and
Alain Girault and
{\'{E}}ric Rutten},
title = {An Overview of the Signal Clock Calculus},
booktitle = {Synchronous Languages, Applications and Programming, {SLAP} 2003,
{A} Satellite Workshop of {ECRTS} 2003, Porto, Portugal, July 1, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {88},
pages = {39--54},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2003.05.005},
doi = {10.1016/J.ENTCS.2003.05.005},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Nebut04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/RiescoT04,
author = {Miguel Riesco and
Javier Tuya},
editor = {Florence Maraninchi and
Alain Girault and
{\'{E}}ric Rutten},
title = {Synchronous Estelle: Just Another Synchronous Language?},
booktitle = {Synchronous Languages, Applications and Programming, {SLAP} 2003,
{A} Satellite Workshop of {ECRTS} 2003, Porto, Portugal, July 1, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {88},
pages = {71--86},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2003.05.003},
doi = {10.1016/J.ENTCS.2003.05.003},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/RiescoT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BaldamusS02,
author = {Michael Baldamus and
Thomas Stauner},
editor = {Florence Maraninchi and
Alain Girault and
{\'{E}}ric Rutten},
title = {Modifying Esterel Concepts to Model Hybrid Systems},
booktitle = {Synchronous Languages, Applications, and Programming, {SLAP} 2002,
Satellite Event of {ETAPS} 2002, Grenoble, France, April 13, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {65},
number = {5},
pages = {35--49},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80439-6},
doi = {10.1016/S1571-0661(05)80439-6},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BaldamusS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Bharadwaj02,
author = {Ramesh Bharadwaj},
editor = {Florence Maraninchi and
Alain Girault and
{\'{E}}ric Rutten},
title = {{SOL:} {A} Verifiable Synchronous Language for Reactive Systems},
booktitle = {Synchronous Languages, Applications, and Programming, {SLAP} 2002,
Satellite Event of {ETAPS} 2002, Grenoble, France, April 13, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {65},
number = {5},
pages = {140--154},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)82565-4},
doi = {10.1016/S1571-0661(05)82565-4},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Bharadwaj02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ClossePPVW02,
author = {Etienne Closse and
Michel Poize and
Jacques Pulou and
Patrick Venier and
Daniel Weil},
editor = {Florence Maraninchi and
Alain Girault and
{\'{E}}ric Rutten},
title = {{SAXO-RT:} Interpreting Esterel Semantic on a Sequential Execution
Structure},
booktitle = {Synchronous Languages, Applications, and Programming, {SLAP} 2002,
Satellite Event of {ETAPS} 2002, Grenoble, France, April 13, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {65},
number = {5},
pages = {80--94},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80443-8},
doi = {10.1016/S1571-0661(05)80443-8},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ClossePPVW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ColacoP02,
author = {Jean{-}Louis Cola{\c{c}}o and
Marc Pouzet},
editor = {Florence Maraninchi and
Alain Girault and
{\'{E}}ric Rutten},
title = {Type-Based Initialisation Analysis of a Synchronous Data-Flow Language},
booktitle = {Synchronous Languages, Applications, and Programming, {SLAP} 2002,
Satellite Event of {ETAPS} 2002, Grenoble, France, April 13, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {65},
number = {5},
pages = {65--78},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80441-4},
doi = {10.1016/S1571-0661(05)80441-4},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ColacoP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Edwards02,
author = {Stephen Edwards},
editor = {Florence Maraninchi and
Alain Girault and
{\'{E}}ric Rutten},
title = {{ESUIF:} An Open Esterel Compiler},
booktitle = {Synchronous Languages, Applications, and Programming, {SLAP} 2002,
Satellite Event of {ETAPS} 2002, Grenoble, France, April 13, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {65},
number = {5},
pages = {79},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80442-6},
doi = {10.1016/S1571-0661(05)80442-6},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/Edwards02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GanapathyR02,
author = {Vinod Ganapathy and
S. Ramesh},
editor = {Florence Maraninchi and
Alain Girault and
{\'{E}}ric Rutten},
title = {Slicing Synchronous Reactive Programs},
booktitle = {Synchronous Languages, Applications, and Programming, {SLAP} 2002,
Satellite Event of {ETAPS} 2002, Grenoble, France, April 13, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {65},
number = {5},
pages = {50--64},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80440-2},
doi = {10.1016/S1571-0661(05)80440-2},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GanapathyR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Garriou02,
author = {David Garriou},
editor = {Florence Maraninchi and
Alain Girault and
{\'{E}}ric Rutten},
title = {Symbolic Simulation of Synchronous Programs},
booktitle = {Synchronous Languages, Applications, and Programming, {SLAP} 2002,
Satellite Event of {ETAPS} 2002, Grenoble, France, April 13, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {65},
number = {5},
pages = {11--18},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80436-0},
doi = {10.1016/S1571-0661(05)80436-0},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Garriou02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LuttgenM02,
author = {Gerald L{\"{u}}ttgen and
Michael Mendler},
editor = {Florence Maraninchi and
Alain Girault and
{\'{E}}ric Rutten},
title = {Towards a Model-Theory for Esterel},
booktitle = {Synchronous Languages, Applications, and Programming, {SLAP} 2002,
Satellite Event of {ETAPS} 2002, Grenoble, France, April 13, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {65},
number = {5},
pages = {95--109},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80444-X},
doi = {10.1016/S1571-0661(05)80444-X},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LuttgenM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MaraninchiGR02,
author = {Florence Maraninchi and
Alain Girault and
{\'{E}}ric Rutten},
editor = {Florence Maraninchi and
Alain Girault and
{\'{E}}ric Rutten},
title = {Preface},
booktitle = {Synchronous Languages, Applications, and Programming, {SLAP} 2002,
Satellite Event of {ETAPS} 2002, Grenoble, France, April 13, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {65},
number = {5},
pages = {1--2},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80434-7},
doi = {10.1016/S1571-0661(05)80434-7},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MaraninchiGR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Morel02,
author = {Lionel Morel},
editor = {Florence Maraninchi and
Alain Girault and
{\'{E}}ric Rutten},
title = {Efficient Compilation of Array Iterators for Lustre},
booktitle = {Synchronous Languages, Applications, and Programming, {SLAP} 2002,
Satellite Event of {ETAPS} 2002, Grenoble, France, April 13, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {65},
number = {5},
pages = {19--26},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80437-2},
doi = {10.1016/S1571-0661(05)80437-2},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Morel02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/NebutP02,
author = {Mirabelle Nebut and
Sophie Pinchinat},
editor = {Florence Maraninchi and
Alain Girault and
{\'{E}}ric Rutten},
title = {A Decidable Clock Language for Synchronous Specifications},
booktitle = {Synchronous Languages, Applications, and Programming, {SLAP} 2002,
Satellite Event of {ETAPS} 2002, Grenoble, France, April 13, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {65},
number = {5},
pages = {125--139},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80447-5},
doi = {10.1016/S1571-0661(05)80447-5},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/NebutP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Pandya02,
author = {Paritosh K. Pandya},
editor = {Florence Maraninchi and
Alain Girault and
{\'{E}}ric Rutten},
title = {The Saga of Synchronous Bus Arbiter: On Model Checking Quantitative
Timing Properties of Synchronous Programs},
booktitle = {Synchronous Languages, Applications, and Programming, {SLAP} 2002,
Satellite Event of {ETAPS} 2002, Grenoble, France, April 13, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {65},
number = {5},
pages = {110--124},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80445-1},
doi = {10.1016/S1571-0661(05)80445-1},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Pandya02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/RaymondR02,
author = {Pascal Raymond and
Yvan Roux},
editor = {Florence Maraninchi and
Alain Girault and
{\'{E}}ric Rutten},
title = {Describing Non-Deterministic Reactive Systems by Means of Regular
Expressions},
booktitle = {Synchronous Languages, Applications, and Programming, {SLAP} 2002,
Satellite Event of {ETAPS} 2002, Grenoble, France, April 13, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {65},
number = {5},
pages = {27--34},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80438-4},
doi = {10.1016/S1571-0661(05)80438-4},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/RaymondR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SowmyaST02,
author = {Arcot Sowmya and
David Tsz{-}Wang So and
Wan Hung Tang},
editor = {Florence Maraninchi and
Alain Girault and
{\'{E}}ric Rutten},
title = {Design of a Mobile Robot Controller Using Esterel Tools},
booktitle = {Synchronous Languages, Applications, and Programming, {SLAP} 2002,
Satellite Event of {ETAPS} 2002, Grenoble, France, April 13, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {65},
number = {5},
pages = {3--10},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80435-9},
doi = {10.1016/S1571-0661(05)80435-9},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/SowmyaST02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/etaps/2002slap,
editor = {Florence Maraninchi and
Alain Girault and
{\'{E}}ric Rutten},
title = {Synchronous Languages, Applications, and Programming, {SLAP} 2002,
Satellite Event of {ETAPS} 2002, Grenoble, France, April 13, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {65},
number = {5},
publisher = {Elsevier},
year = {2002},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/65/issue/5},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/etaps/2002slap.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2025-01-15 22:39 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
