Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Lionel Morel
@article{DBLP:journals/csur/GonnordHMR23,
author = {Laure Gonnord and
Ludovic Henrio and
Lionel Morel and
Gabriel Radanne},
title = {A Survey on Parallelism and Determinism},
journal = {{ACM} Comput. Surv.},
volume = {55},
number = {10},
pages = {210:1--210:28},
year = {2023},
url = {https://doi.org/10.1145/3564529},
doi = {10.1145/3564529},
timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/GonnordHMR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-07327,
author = {Lionel Morel and
Damien Courouss{\'{e}} and
Thomas Hiscock},
title = {Code Polymorphism Meets Code Encryption: Confidentiality and Side-Channel
Protection of Software Components},
journal = {CoRR},
volume = {abs/2310.07327},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.07327},
doi = {10.48550/ARXIV.2310.07327},
eprinttype = {arXiv},
eprint = {2310.07327},
timestamp = {Tue, 24 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-07327.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2210-15202,
author = {Laure Gonnord and
Ludovic Henrio and
Lionel Morel and
Gabriel Radanne},
title = {A Survey on Parallelism and Determinism},
journal = {CoRR},
volume = {abs/2210.15202},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2210.15202},
doi = {10.48550/ARXIV.2210.15202},
eprinttype = {arXiv},
eprint = {2210.15202},
timestamp = {Wed, 02 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2210-15202.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/newcas/MorelC19,
author = {Lionel Morel and
Damien Courouss{\'{e}}},
title = {Idols with Feet of Clay: On the Security of Bootloaders and Firmware
Updaters for the IoT},
booktitle = {17th {IEEE} International New Circuits and Systems Conference, {NEWCAS}
2019, Munich, Germany, June 23-26, 2019},
pages = {1--4},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/NEWCAS44328.2019.8961216},
doi = {10.1109/NEWCAS44328.2019.8961216},
timestamp = {Sat, 02 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/newcas/MorelC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpp/TrahaySMM18,
author = {Fran{\c{c}}ois Trahay and
Manuel Selva and
Lionel Morel and
Kevin Marquet},
title = {NumaMMA: {NUMA} MeMory Analyzer},
booktitle = {Proceedings of the 47th International Conference on Parallel Processing,
{ICPP} 2018, Eugene, OR, USA, August 13-16, 2018},
pages = {19:1--19:10},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3225058.3225094},
doi = {10.1145/3225058.3225094},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icpp/TrahaySMM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbac-pad/FontaineGM18,
author = {Romain Fontaine and
Laure Gonnord and
Lionel Morel},
title = {Polyhedral Dataflow Programming: {A} Case Study},
booktitle = {30th International Symposium on Computer Architecture and High Performance
Computing, {SBAC-PAD} 2018, Lyon, France, September 24-27, 2018},
pages = {171--179},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/CAHPC.2018.8645947},
doi = {10.1109/CAHPC.2018.8645947},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/sbac-pad/FontaineGM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/MorelSMSR17,
author = {Lionel Morel and
Manuel Selva and
Kevin Marquet and
Coralie Saysset and
Tanguy Risset},
title = {CalMAR - a multi-application dataflow runtime: work-in-progress},
booktitle = {Proceedings of the Thirteenth {ACM} International Conference on Embedded
Software 2017 Companion, {EMSOFT} 2017 Companion, Seoul, Republic
of Korea, October 15-20, 2017},
pages = {7:1--7:2},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3125503.3125562},
doi = {10.1145/3125503.3125562},
timestamp = {Tue, 08 Oct 2019 16:18:46 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/MorelSMSR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/samos/SelvaMM16,
author = {Manuel Selva and
Lionel Morel and
Kevin Marquet},
editor = {Walid A. Najjar and
Andreas Gerstlauer},
title = {numap: {A} portable library for low-level memory profiling},
booktitle = {International Conference on Embedded Computer Systems: Architectures,
Modeling and Simulation, {SAMOS} 2016, Agios Konstantinos, Samos Island,
Greece, July 17-21, 2016},
pages = {55--62},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/SAMOS.2016.7818331},
doi = {10.1109/SAMOS.2016.7818331},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/samos/SelvaMM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/SelvaMMF15,
author = {Manuel Selva and
Lionel Morel and
Kevin Marquet and
St{\'{e}}phane Fr{\'{e}}not},
editor = {Masoud Daneshtalab and
Marco Aldinucci and
Ville Lepp{\"{a}}nen and
Johan Lilius and
Mats Brorsson},
title = {A Monitoring System for Runtime Adaptations of Streaming Applications},
booktitle = {23rd Euromicro International Conference on Parallel, Distributed,
and Network-Based Processing, {PDP} 2015, Turku, Finland, March 4-6,
2015},
pages = {27--34},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/PDP.2015.53},
doi = {10.1109/PDP.2015.53},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdp/SelvaMMF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sips/DenekeMLL15,
author = {Tewodros Deneke and
Lionel Morel and
S{\'{e}}bastien Lafond and
Johan Lilius},
title = {Integration of dataflow components within a legacy video transcoding
framework},
booktitle = {2015 {IEEE} Workshop on Signal Processing Systems, SiPS 2015, Hangzhou,
China, October 14-16, 2015},
pages = {1--6},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/SiPS.2015.7345013},
doi = {10.1109/SIPS.2015.7345013},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/sips/DenekeMLL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isca/SelvaMMF13,
author = {Manuel Selva and
Lionel Morel and
Kevin Marquet and
St{\'{e}}phane Fr{\'{e}}not},
editor = {Masoud Daneshtalab and
Ahmed Hemani and
Maurizio Palesi},
title = {Extending dataflow programs with throughput properties},
booktitle = {Proceedings of the 1st International Workshop on Many-core Embedded
Systems 2013, MES'2013, Held in conjunction with the 40th Annual {IEEE/ACM}
International Symposium on Computer Architecture, {ISCA} 2013, June
24, 2013},
pages = {54--57},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2489068.2489077},
doi = {10.1145/2489068.2489077},
timestamp = {Fri, 09 Jul 2021 15:51:20 +0200},
biburl = {https://dblp.org/rec/conf/isca/SelvaMMF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip10-3/LiliusDM10,
author = {Johan Lilius and
Andreas Dahlin and
Lionel Morel},
editor = {Mike Hinchey and
Bernd Kleinjohann and
Lisa Kleinjohann and
Peter A. Lindsay and
Franz J. Rammig and
Jon Timmis and
Marilyn Wolf},
title = {Rialto 2.0: {A} Language for Heterogeneous Computations},
booktitle = {Distributed, Parallel and Biologically Inspired Systems - 7th {IFIP}
{TC} 10 Working Conference, {DIPES} 2010 and 3rd {IFIP} {TC} 10 International
Conference, {BICC} 2010, Held as Part of {WCC} 2010, Brisbane, Australia,
September 20-23, 2010. Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {329},
pages = {7--18},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15234-4\_3},
doi = {10.1007/978-3-642-15234-4\_3},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip10-3/LiliusDM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/HindawiMAS08,
author = {Mohammed Hindawi and
Lionel Morel and
R{\'{e}}gis Aubry and
Jean{-}Louis Sourrouille},
editor = {Michel R. V. Chaudron},
title = {Description and Implementation of a {UML} Style Guide},
booktitle = {Models in Software Engineering, Workshops and Symposia at {MODELS}
2008, Toulouse, France, September 28 - October 3, 2008. Reports and
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5421},
pages = {291--302},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-01648-6\_31},
doi = {10.1007/978-3-642-01648-6\_31},
timestamp = {Wed, 23 Feb 2022 12:58:05 +0100},
biburl = {https://dblp.org/rec/conf/models/HindawiMAS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejes/Morel07,
author = {Lionel Robert Morel},
title = {Array Iterators in Lustre: From a Language Extension to Its Exploitation
in Validation},
journal = {{EURASIP} J. Embed. Syst.},
volume = {2007},
year = {2007},
url = {https://doi.org/10.1155/2007/59130},
doi = {10.1155/2007/59130},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ejes/Morel07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/BostromMW07,
author = {Pontus Bostr{\"{o}}m and
Lionel Morel and
Marina Wald{\'{e}}n},
editor = {Cliff B. Jones and
Zhiming Liu and
Jim Woodcock},
title = {Stepwise Development of Simulink Models Using the Refinement Calculus
Framework},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2007, 4th International
Colloquium, Macau, China, September 26-28, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4711},
pages = {79--93},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75292-9\_6},
doi = {10.1007/978-3-540-75292-9\_6},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/conf/ictac/BostromMW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MorelM09,
author = {Lionel Morel and
Louis Mandel},
editor = {Juliana K{\"{u}}ster Filipe Bowles and
Iman Poernomo and
Ralf H. Reussner},
title = {Executable Contracts for Incremental Prototypes of Embedded Systems},
booktitle = {Proceedings of the Formal Foundations of Embedded Software and Component-Based
Software Architectures, FESCA@ETAPS 2007, Braga, Portugal, March 24,
2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {203},
number = {7},
pages = {121--135},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2009.03.030},
doi = {10.1016/J.ENTCS.2009.03.030},
timestamp = {Mon, 13 Feb 2023 13:42:26 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MorelM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Morel05,
author = {Lionel Morel},
title = {Exploitation des structures r{\'{e}}guli{\`{e}}res et des sp{\'{e}}cifications
locales pour le d{\'{e}}veloppement correct de syst{\`{e}}mes
r{\'{e}}actifs de grande taille},
school = {Grenoble Institute of Technology, France},
year = {2005},
url = {https://tel.archives-ouvertes.fr/tel-00011841},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/hal/Morel05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/MaraninchiM04,
author = {Florence Maraninchi and
Lionel Morel},
title = {Arrays and Contracts for the Specification and Analysis of Regular
Systems},
booktitle = {4th International Conference on Application of Concurrency to System
Design {(ACSD} 2004), 16-18 June 2004, Hamilton, Canada},
pages = {57--66},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/CSD.2004.1309116},
doi = {10.1109/CSD.2004.1309116},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/MaraninchiM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/ShanklandBM04,
author = {Carron Shankland and
Jeremy W. Bryans and
Lionel Morel},
editor = {Charles Rattray and
Savi Maharaj and
Carron Shankland},
title = {Expressing Iterative Properties Logically in a Symbolic Setting},
booktitle = {Algebraic Methodology and Software Technology, 10th International
Conference, {AMAST} 2004, Stirling, Scotland, UK, July 12-16, 2004,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3116},
pages = {460--474},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27815-3\_35},
doi = {10.1007/978-3-540-27815-3\_35},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/ShanklandBM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euromicro/MaraninchiM04,
author = {Florence Maraninchi and
Lionel Morel},
title = {Logical-Time Contracts for Reactive Embedded Components},
booktitle = {30th {EUROMICRO} Conference 2004, 31 August - 3 September 2004, Rennes,
France},
pages = {48--55},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/EURMIC.2004.1333355},
doi = {10.1109/EURMIC.2004.1333355},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/euromicro/MaraninchiM04.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 15:06:55 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Morel02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-25 02:11 CEST 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:
