Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Florence Maraninchi
@article{DBLP:journals/cacm/Maraninchi22,
author = {Florence Maraninchi},
title = {Let us not put all our eggs in one basket},
journal = {Commun. {ACM}},
volume = {65},
number = {9},
pages = {35--37},
year = {2022},
url = {https://doi.org/10.1145/3528088},
doi = {10.1145/3528088},
timestamp = {Wed, 31 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cacm/Maraninchi22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lites/MoyHBM16,
author = {Matthieu Moy and
Claude Helmstetter and
Tayeb Bouhadiba and
Florence Maraninchi},
title = {Modeling Power Consumption and Temperature in {TLM} Models},
journal = {Leibniz Trans. Embed. Syst.},
volume = {3},
number = {1},
pages = {03:1--03:29},
year = {2016},
url = {https://doi.org/10.4230/LITES-v003-i001-a003},
doi = {10.4230/LITES-V003-I001-A003},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lites/MoyHBM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/RomenskaM16,
author = {Yuliia Romenska and
Florence Maraninchi},
editor = {Luca Fanucci and
J{\"{u}}rgen Teich},
title = {Efficient monitoring of loose-ordering properties for SystemC/TLM},
booktitle = {2016 Design, Automation {\&} Test in Europe Conference {\&}
Exhibition, {DATE} 2016, Dresden, Germany, March 14-18, 2016},
pages = {559--562},
publisher = {{IEEE}},
year = {2016},
url = {https://ieeexplore.ieee.org/document/7459374/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/RomenskaM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/BerthierMM13,
author = {Nicolas Berthier and
Florence Maraninchi and
Laurent Mounier},
title = {Synchronous programming of device drivers for global resource control
in embedded operating systems},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {12},
number = {1s},
pages = {39:1--39:26},
year = {2013},
url = {https://doi.org/10.1145/2435227.2435235},
doi = {10.1145/2435227.2435235},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/BerthierMM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/BouhadibaMM13,
author = {Tayeb Bouhadiba and
Matthieu Moy and
Florence Maraninchi},
editor = {Enrico Macii},
title = {System-level modeling of energy in {TLM} for early validation of power
and thermal management},
booktitle = {Design, Automation and Test in Europe, {DATE} 13, Grenoble, France,
March 18-22, 2013},
pages = {1609--1614},
publisher = {{EDA} Consortium San Jose, CA, {USA} / {ACM} {DL}},
year = {2013},
url = {https://doi.org/10.7873/DATE.2013.327},
doi = {10.7873/DATE.2013.327},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/date/BouhadibaMM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/BouhadibaMMCMM13,
author = {Tayeb Bouhadiba and
Matthieu Moy and
Florence Maraninchi and
J{\'{e}}r{\^{o}}me Cornet and
Laurent Maillet{-}Contoz and
Ilija Materic},
title = {Co-simulation of Functional SystemC {TLM} Models with Power/Thermal
Solvers},
booktitle = {2013 {IEEE} International Symposium on Parallel {\&} Distributed
Processing, Workshops and Phd Forum, Cambridge, MA, USA, May 20-24,
2013},
pages = {2176--2181},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/IPDPSW.2013.206},
doi = {10.1109/IPDPSW.2013.206},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/BouhadibaMMCMM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/BenvenisteLPTM12,
author = {Albert Benveniste and
Edward A. Lee and
Marc Pouzet and
Stavros Tripakis and
Florence Maraninchi},
editor = {Ahmed Jerraya and
Luca P. Carloni and
Florence Maraninchi and
John Regehr},
title = {An overview of the career of Paul Caspi},
booktitle = {Proceedings of the 12th International Conference on Embedded Software,
{EMSOFT} 2012, part of the Eighth Embedded Systems Week, ESWeek 2012,
Tampere, Finland, October 7-12, 2012},
pages = {195--196},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2380356.2380392},
doi = {10.1145/2380356.2380392},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/BenvenisteLPTM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/emsoft/2012,
editor = {Ahmed Jerraya and
Luca P. Carloni and
Florence Maraninchi and
John Regehr},
title = {Proceedings of the 12th International Conference on Embedded Software,
{EMSOFT} 2012, part of the Eighth Embedded Systems Week, ESWeek 2012,
Tampere, Finland, October 7-12, 2012},
publisher = {{ACM}},
year = {2012},
url = {http://dl.acm.org/citation.cfm?id=2380356},
isbn = {978-1-4503-1425-1},
timestamp = {Sun, 06 Jan 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icon/HeurtefeuxMV11,
author = {Karel Heurtefeux and
Florence Maraninchi and
Fabrice Valois},
editor = {Bharadwaj Veeravalli and
Ian T. Foster},
title = {AreaCast: {A} cross-layer approach for a communication by area in
Wireless Sensor Networks},
booktitle = {Proceedings of the 17th {IEEE} International Conference on Networks,
{ICON} 2011, Singapore, December 14-16, 2011},
pages = {112--117},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/ICON.2011.6168516},
doi = {10.1109/ICON.2011.6168516},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/icon/HeurtefeuxMV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lctrts/BerthierMM11,
author = {Nicolas Berthier and
Florence Maraninchi and
Laurent Mounier},
editor = {Jan Vitek and
Bjorn De Sutter},
title = {Synchronous programming of device drivers for global resource control
in embedded operating systems},
booktitle = {Proceedings of the {ACM} {SIGPLAN/SIGBED} 2011 conference on Languages,
compilers, and tools for embedded systems, {LCTES} 2011, Chicago,
IL, USA, April 11-14, 2011},
pages = {81--90},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1967677.1967689},
doi = {10.1145/1967677.1967689},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/lctrts/BerthierMM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/BesnardGMTJM09,
author = {Lo{\"{\i}}c Besnard and
Thierry Gautier and
Matthieu Moy and
Jean{-}Pierre Talpin and
Kenneth Johnson and
Florence Maraninchi},
title = {Automatic translation of {C/C++} parallel code into synchronous formalism
using an {SSA} intermediate form},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {23},
year = {2009},
url = {https://doi.org/10.14279/tuj.eceasst.23.312},
doi = {10.14279/TUJ.ECEASST.23.312},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/BesnardGMTJM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/HelmstetterMM09,
author = {Claude Helmstetter and
Florence Maraninchi and
Laurent Maillet{-}Contoz},
title = {Full simulation coverage for SystemC transaction-level models of systems-on-a-chip},
journal = {Formal Methods Syst. Des.},
volume = {35},
number = {2},
pages = {152--189},
year = {2009},
url = {https://doi.org/10.1007/s10703-009-0075-z},
doi = {10.1007/S10703-009-0075-Z},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/HelmstetterMM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/BouhadibaM09,
author = {Tayeb Bouhadiba and
Florence Maraninchi},
editor = {John Field and
Vasco Thudichum Vasconcelos},
title = {Contract-Based Coordination of Hardware Components for the Development
of Embedded Software},
booktitle = {Coordination Models and Languages, 11th International Conference,
{COORDINATION} 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5521},
pages = {204--224},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02053-7\_11},
doi = {10.1007/978-3-642-02053-7\_11},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/coordination/BouhadibaM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/BouhadibaMF09,
author = {Tayeb Bouhadiba and
Florence Maraninchi and
Giovanni Funchal},
editor = {Samarjit Chakraborty and
Nicolas Halbwachs},
title = {Formal and executable contracts for transaction-level modeling in
SystemC},
booktitle = {Proceedings of the 9th {ACM} {\&} {IEEE} International conference
on Embedded software, {EMSOFT} 2009, Grenoble, France, October 12-16,
2009},
pages = {97--106},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1629335.1629349},
doi = {10.1145/1629335.1629349},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/BouhadibaMF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejes/MaraninchiMPGR08,
author = {Florence Maraninchi and
Michael Mendler and
Marc Pouzet and
Alain Girault and
{\'{E}}ric Rutten},
title = {Selected Papers from {SLA++P} 07 and 08 Model-Driven High-Level Programming
of Embedded Systems},
journal = {{EURASIP} J. Embed. Syst.},
volume = {2008},
year = {2008},
url = {https://doi.org/10.1155/2008/376920},
doi = {10.1155/2008/376920},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ejes/MaraninchiMPGR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/CornetMM08,
author = {J{\'{e}}r{\^{o}}me Cornet and
Florence Maraninchi and
Laurent Maillet{-}Contoz},
editor = {Donatella Sciuto},
title = {A Method for the Efficient Development of Timed and Untimed Transaction-Level
Models of Systems-on-Chip},
booktitle = {Design, Automation and Test in Europe, {DATE} 2008, Munich, Germany,
March 10-14, 2008},
pages = {9--14},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1109/DATE.2008.4484652},
doi = {10.1109/DATE.2008.4484652},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/CornetMM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/MaraninchiB07,
author = {Florence Maraninchi and
Tayeb Bouhadiba},
editor = {Charles Consel and
Julia L. Lawall},
title = {42: programmable models of computation for a component-based approach
to heterogeneous embedded systems},
booktitle = {Generative Programming and Component Engineering, 6th International
Conference, {GPCE} 2007, Salzburg, Austria, October 1-3, 2007, Proceedings},
pages = {53--62},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1289971.1289981},
doi = {10.1145/1289971.1289981},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gpce/MaraninchiB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/secon/DohlerBMMADBPRDHV07,
author = {Mischa Dohler and
Dominique Barthel and
Florence Maraninchi and
Laurent Mounier and
Stephane Aubert and
Christophe Dugas and
Aur{\'{e}}lien Buhrig and
Franck Paugnat and
Marc Renaudin and
Andrzej Duda and
Martin Heusse and
Fabrice Valois},
title = {The {ARESA} Project: Facilitating Research, Development and Commercialization
of WSNs},
booktitle = {Proceedings of the Fourth Annual {IEEE} Communications Society Conference
on Sensor, Mesh and Ad Hoc Communications and Networks, {SECON} 2007,
Merged with {IEEE} International Workshop on Wireless Ad-hoc and Sensor
Networks (IWWAN), June 18-21, 2007, San Diego, California, {USA}},
pages = {590--599},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/SAHCN.2007.4292871},
doi = {10.1109/SAHCN.2007.4292871},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/secon/DohlerBMMADBPRDHV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/TraulsenCMM07,
author = {Claus Traulsen and
J{\'{e}}r{\^{o}}me Cornet and
Matthieu Moy and
Florence Maraninchi},
editor = {Dragan Bosnacki and
Stefan Edelkamp},
title = {A SystemC/TLM Semantics in Promelaand Its Possible Applications},
booktitle = {Model Checking Software, 14th International {SPIN} Workshop, Berlin,
Germany, July 1-3, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4595},
pages = {204--222},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73370-6\_14},
doi = {10.1007/978-3-540-73370-6\_14},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/spin/TraulsenCMM07.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 13:24:45 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MaraninchiSBV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/AltisenMS06,
author = {Karine Altisen and
Florence Maraninchi and
David Stauch},
title = {Aspect-oriented programming for reactive systems: Larissa, a proposal
in the synchronous framework},
journal = {Sci. Comput. Program.},
volume = {63},
number = {3},
pages = {297--320},
year = {2006},
url = {https://doi.org/10.1016/j.scico.2005.12.001},
doi = {10.1016/J.SCICO.2005.12.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/AltisenMS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/HelmstetterMMM06,
author = {Claude Helmstetter and
Florence Maraninchi and
Laurent Maillet{-}Contoz and
Matthieu Moy},
title = {Automatic Generation of Schedulings for Improving the Test Coverage
of Systems-on-a-Chip},
booktitle = {Formal Methods in Computer-Aided Design, 6th International Conference,
{FMCAD} 2006, San Jose, California, USA, November 12-16, 2006, Proceedings},
pages = {171--178},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/FMCAD.2006.10},
doi = {10.1109/FMCAD.2006.10},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/HelmstetterMMM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/HelmstetterMM06,
author = {Claude Helmstetter and
Florence Maraninchi and
Laurent Maillet{-}Contoz},
editor = {Lubos Brim and
Boudewijn R. Haverkort and
Martin Leucker and
Jaco van de Pol},
title = {Test Coverage for Loose Timing Annotations},
booktitle = {Formal Methods: Applications and Technology, 11th International Workshop,
{FMICS} 2006 and 5th International Workshop {PDMC} 2006, Bonn, Germany,
August 26-27, and August 31, 2006, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4346},
pages = {100--115},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-70952-7\_7},
doi = {10.1007/978-3-540-70952-7\_7},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmics/HelmstetterMM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/intersense/SamperMMM06,
author = {Ludovic Samper and
Florence Maraninchi and
Laurent Mounier and
Louis Mandel},
editor = {Imrich Chlamtac},
title = {{GLONEMO:} global and accurate formal models for the analysis of ad-hoc
sensor networks},
booktitle = {Proceedings of the First International Conference in Integrated Internet
Ad Hoc and Sensor Networks, InterSense 2006, Nice, France, May 30-31,
2006},
series = {{ACM} International Conference Proceeding Series},
volume = {138},
pages = {3},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1142680.1142684},
doi = {10.1145/1142680.1142684},
timestamp = {Tue, 06 Nov 2018 11:06:50 +0100},
biburl = {https://dblp.org/rec/conf/intersense/SamperMMM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/secon/SamperMJ06,
author = {Ludovic Samper and
Florence Maraninchi and
Erwan Jahier},
title = {On the Importance of Modeling the Environment when Analyzing Sensor
Networks},
booktitle = {Proceedings of the Third Annual {IEEE} Communications Society on Sensor
and Ad Hoc Communications and Networks, {SECON} 2006, September 25-28,
2006, Reston, VA, {USA}},
pages = {835--841},
publisher = {{IEEE}},
year = {2006},
url = {https://doi.org/10.1109/SAHCN.2006.288569},
doi = {10.1109/SAHCN.2006.288569},
timestamp = {Fri, 30 Apr 2021 18:04:33 +0200},
biburl = {https://dblp.org/rec/conf/secon/SamperMJ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soco/AltisenMS06,
author = {Karine Altisen and
Florence Maraninchi and
David Stauch},
editor = {Welf L{\"{o}}we and
Mario S{\"{u}}dholt},
title = {Modular Design of Man-Machine Interfaces with Larissa},
booktitle = {Software Composition - 5th International Symposium, SC@ETAPS 2006,
Vienna, Austria, March 25-26, 2006, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {4089},
pages = {291--306},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11821946\_19},
doi = {10.1007/11821946\_19},
timestamp = {Thu, 25 Jun 2020 18:19:17 +0200},
biburl = {https://dblp.org/rec/conf/soco/AltisenMS06.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}
}
@article{DBLP:journals/dafes/MoyMM05,
author = {Matthieu Moy and
Florence Maraninchi and
Laurent Maillet{-}Contoz},
title = {LusSy: An open tool for the analysis of systems-on-a-chip at the transaction
level},
journal = {Des. Autom. Embed. Syst.},
volume = {10},
number = {2-3},
pages = {73--104},
year = {2005},
url = {https://doi.org/10.1007/s10617-006-9044-6},
doi = {10.1007/S10617-006-9044-6},
timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dafes/MoyMM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/CaspiSABBBCDEFGKLLLLMPPSSSTVWWWY05,
author = {Paul Caspi and
Alberto L. Sangiovanni{-}Vincentelli and
Lu{\'{\i}}s Almeida and
Albert Benveniste and
Bruno Bouyssounouse and
Giorgio C. Buttazzo and
Ivica Crnkovic and
Werner Damm and
Jakob Engblom and
Gerhard Fohler and
Marisol Garc{\'{\i}}a{-}Valls and
Hermann Kopetz and
Yassine Lakhnech and
Fran{\c{c}}ois Laroussinie and
Luciano Lavagno and
Giuseppe Lipari and
Florence Maraninchi and
Philipp Peti and
Juan Antonio de la Puente and
Norman Scaife and
Joseph Sifakis and
Robert de Simone and
Martin T{\"{o}}rngren and
Paulo Ver{\'{\i}}ssimo and
Andy J. Wellings and
Reinhard Wilhelm and
Tim A. C. Willemse and
Wang Yi},
title = {Guidelines for a graduate curriculum on embedded software and systems},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {4},
number = {3},
pages = {587--611},
year = {2005},
url = {https://doi.org/10.1145/1086519.1086526},
doi = {10.1145/1086519.1086526},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/CaspiSABBBCDEFGKLLLLMPPSSSTVWWWY05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/MoyMM05,
author = {Matthieu Moy and
Florence Maraninchi and
Laurent Maillet{-}Contoz},
title = {LusSy: {A} Toolbox for the Analysis of Systems-on-a-Chip at the Transactional
Level},
booktitle = {Fifth International Conference on Application of Concurrency to System
Design {(ACSD} 2005), 6-9 June 2005, St. Malo, France},
pages = {26--35},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ACSD.2005.23},
doi = {10.1109/ACSD.2005.23},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/MoyMM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/MoyMM05,
author = {Matthieu Moy and
Florence Maraninchi and
Laurent Maillet{-}Contoz},
editor = {Wayne H. Wolf},
title = {Pinapa: an extraction tool for SystemC descriptions of systems-on-a-chip},
booktitle = {{EMSOFT} 2005, September 18-22, 2005, Jersey City, NJ, USA, 5th {ACM}
International Conference On Embedded Software, Proceedings},
pages = {317--324},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1086228.1086286},
doi = {10.1145/1086228.1086286},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/MoyMM05.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/emsoft/ScaifeSCTM04,
author = {Norman Scaife and
Christos Sofronis and
Paul Caspi and
Stavros Tripakis and
Florence Maraninchi},
editor = {Giorgio C. Buttazzo},
title = {Defining and translating a "safe" subset of simulink/stateflow
into lustre},
booktitle = {{EMSOFT} 2004, September 27-29, 2004, Pisa, Italy, Fourth {ACM} International
Conference On Embedded Software, Proceedings},
pages = {259--268},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1017753.1017795},
doi = {10.1145/1017753.1017795},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/ScaifeSCTM04.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/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 11:01:08 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MaraninchiGP06.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}
}
@article{DBLP:journals/scp/MaraninchiR03,
author = {Florence Maraninchi and
Yann R{\'{e}}mond},
title = {Mode-Automata: a new domain-specific construct for the development
of safe critical systems},
journal = {Sci. Comput. Program.},
volume = {46},
number = {3},
pages = {219--254},
year = {2003},
url = {https://doi.org/10.1016/S0167-6423(02)00093-X},
doi = {10.1016/S0167-6423(02)00093-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/MaraninchiR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/AltisenCMR03,
author = {Karine Altisen and
Aur{\'{e}}lie Clodic and
Florence Maraninchi and
{\'{E}}ric Rutten},
editor = {Pierpaolo Degano},
title = {Using Controller-Synthesis Techniques to Build Property-Enforcing
Layers},
booktitle = {Programming Languages and Systems, 12th European Symposium on Programming,
{ESOP} 2003, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2003, Warsaw, Poland, April 7-11,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2618},
pages = {174--188},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36575-3\_13},
doi = {10.1007/3-540-36575-3\_13},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esop/AltisenCMR03.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 09:55:43 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MaraninchiGR04.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 15:06:55 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MaraninchiGR02.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}
}
@article{DBLP:journals/cl/MaraninchiR01,
author = {Florence Maraninchi and
Yann R{\'{e}}mond},
title = {Argos: an automaton-based synchronous language},
journal = {Comput. Lang.},
volume = {27},
number = {1/3},
pages = {61--92},
year = {2001},
url = {https://doi.org/10.1016/S0096-0551(01)00016-9},
doi = {10.1016/S0096-0551(01)00016-9},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cl/MaraninchiR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/MaraninchiRR01,
author = {Florence Maraninchi and
Yann R{\'{e}}mond and
{\'{E}}ric Rutten},
title = {Effective programming language support for discrete-continuous mode-switching
control systems},
booktitle = {40th {IEEE} Conference on Decision and Control, {CDC} 2001, Orlando,
FL, USA, 4-7 Dec., 2001},
pages = {3296--3301},
publisher = {{IEEE}},
year = {2001},
url = {https://doi.org/10.1109/.2001.980330},
doi = {10.1109/.2001.980330},
timestamp = {Thu, 13 Oct 2022 17:08:41 +0200},
biburl = {https://dblp.org/rec/conf/cdc/MaraninchiRR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/MaraninchiG00,
author = {Florence Maraninchi and
Fabien Gaucher},
editor = {Mireille Ducass{\'{e}}},
title = {Step-wise + Algorithmic debugging for Reactive Programs: Ludic, a
debugger for Lustre},
booktitle = {Proceedings of the Fourth International Workshop on Automated Debugging,
{AADEBUG} 2000, Munich, Germany, August 28-30th, 2000},
year = {2000},
timestamp = {Sat, 07 Sep 2019 11:59:25 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/MaraninchiG00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/MaraninchiRR00,
author = {Florence Maraninchi and
Yann R{\'{e}}mond and
Yannick Raoul},
editor = {David A. Watt},
title = {{MATOU:} An Implementation of Mode-Automata},
booktitle = {Compiler Construction, 9th International Conference, {CC} 2000, Held
as Part of the European Joint Conferences on the Theory and Practice
of Software, {ETAPS} 2000, Berlin, Germany, March 25 - April 2, 2000,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1781},
pages = {249--263},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46423-9\_17},
doi = {10.1007/3-540-46423-9\_17},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cc/MaraninchiRR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/MaraninchiR00,
author = {Florence Maraninchi and
Yann R{\'{e}}mond},
title = {Running-modes of real-time systems: a case-study with mode-automata},
booktitle = {12th Euromicro Conference on Real-Time Systems {(ECRTS} 2000), 19-21
June 2000, Stockholm, Sweden, Proceedings},
pages = {257--264},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/EMRTS.2000.854014},
doi = {10.1109/EMRTS.2000.854014},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecrts/MaraninchiR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/MaraninchiR98,
author = {Florence Maraninchi and
Yann R{\'{e}}mond},
editor = {Chris Hankin},
title = {Mode-Automata: About Modes and States for Reactive Systems},
booktitle = {Programming Languages and Systems - ESOP'98, 7th European Symposium
on Programming, Held as Part of the European Joint Conferences on
the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March
28 - April 4, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1381},
pages = {185--199},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0053571},
doi = {10.1007/BFB0053571},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esop/MaraninchiR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/hal/Maraninchi97,
author = {Florence Maraninchi},
title = {Mod{\'{e}}lisation et validation des syst{\`{e}}mes r{\'{e}}actifs
: un langage synchrone {\`{a}} base d'automates. (Mod{\'{e}}lisation
et validation des syst{\`{e}}mes r{\'{e}}actifs : un langage
synchrone {\`{a}} base d'automates)},
year = {1997},
url = {https://tel.archives-ouvertes.fr/tel-03840029},
timestamp = {Mon, 06 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/hal/Maraninchi97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compos/MaraninchiR97,
author = {Florence Maraninchi and
Yann R{\'{e}}mond},
editor = {Willem P. de Roever and
Hans Langmaack and
Amir Pnueli},
title = {Compositionality Criteria for Defining Mixed-Styles Synchronous Languages},
booktitle = {Compositionality: The Significant Difference, International Symposium,
COMPOS'97, Bad Malente, Germany, September 8-12, 1997. Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {1536},
pages = {424--438},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-49213-5\_16},
doi = {10.1007/3-540-49213-5\_16},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compos/MaraninchiR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/MaraninchiH96,
author = {Florence Maraninchi and
Nicolas Halbwachs},
editor = {Hanne Riis Nielson},
title = {Compositional Semantics of Non-Deterministic Synchronous Languages},
booktitle = {Programming Languages and Systems - ESOP'96, 6th European Symposium
on Programming, Link{\"{o}}ping, Sweden, April 22-24, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1058},
pages = {235--249},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61055-3\_40},
doi = {10.1007/3-540-61055-3\_40},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esop/MaraninchiH96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/MaraninchiH96,
author = {Florence Maraninchi and
Nicolas Halbwachs},
editor = {Bengt Jonsson and
Joachim Parrow},
title = {Compiling {ARGOS} into Boolean Equations},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International
Symposium, FTRTFT'96, Uppsala, Sweden, September 9-13, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1135},
pages = {72--89},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61648-9\_35},
doi = {10.1007/3-540-61648-9\_35},
timestamp = {Tue, 31 Aug 2021 12:07:12 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/MaraninchiH96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lctrts/JourdanM95,
author = {Muriel Jourdan and
Florence Maraninchi},
editor = {Richard Gerber and
Thomas J. Marlowe},
title = {Static Timing Analysis of Real-Time Systems},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 1995 Workshop on Languages, Compilers,
{\&} Tools for Real-Time Systems {(LCT-RTS} 1995). La Jolla, California,
USA, June 21-22, 1995},
pages = {79--87},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/216636.216664},
doi = {10.1145/216636.216664},
timestamp = {Tue, 26 Apr 2022 11:54:35 +0200},
biburl = {https://dblp.org/rec/conf/lctrts/JourdanM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccl/JourdanLMR94,
author = {Muriel Jourdan and
Fabienne Lagnier and
Florence Maraninchi and
Pascal Raymond},
editor = {Henri E. Bal},
title = {A Multiparadigm Language for Reactive Systems},
booktitle = {Proceedings of the {IEEE} Computer Society 1994 International Conference
on Computer Languages, May 16-19, 1994, Toulouse, France},
pages = {211--218},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/ICCL.1994.288379},
doi = {10.1109/ICCL.1994.288379},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccl/JourdanLMR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/JourdanM94,
author = {Muriel Jourdan and
Florence Maraninchi},
editor = {Ernst{-}R{\"{u}}diger Olderog},
title = {Studying Synchronous Communication Mechanisms by Abstractions},
booktitle = {Programming Concepts, Methods and Calculi, Proceedings of the {IFIP}
{TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts,
Methods and Calculi {(PROCOMET} '94) San Miniato, Italy, 6-10 June,
1994},
series = {{IFIP} Transactions},
volume = {{A-56}},
pages = {189--205},
publisher = {North-Holland},
year = {1994},
timestamp = {Thu, 03 Jan 2002 12:07:43 +0100},
biburl = {https://dblp.org/rec/conf/procomet/JourdanM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/JourdanMO93,
author = {Martin Jourdan and
Florence Maraninchi and
Alfredo Olivero},
editor = {Costas Courcoubetis},
title = {Verifying Quantitative Real-Time Properties of Synchronous Programs},
booktitle = {Computer Aided Verification, 5th International Conference, {CAV} '93,
Elounda, Greece, June 28 - July 1, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {697},
pages = {347--358},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56922-7\_29},
doi = {10.1007/3-540-56922-7\_29},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/JourdanMO93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/JourdanLMR93,
author = {Martin Jourdan and
Fabienne Lagnier and
Florence Maraninchi and
Pascal Raymond},
editor = {Maurice Bruynooghe and
Jaan Penjam},
title = {Embedding Declarative Subprograms into Imperative Constructs},
booktitle = {Programming Language Implementation and Logic Programming, 5th International
Symposium, PLILP'93, Tallinn, Estonia, August 25-27, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {714},
pages = {414--415},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57186-8\_96},
doi = {10.1007/3-540-57186-8\_96},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/plilp/JourdanLMR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Maraninchi92,
author = {Florence Maraninchi},
editor = {Rance Cleaveland},
title = {Operational and Compositional Semantics of Synchronous Automaton Compositions},
booktitle = {{CONCUR} '92, Third International Conference on Concurrency Theory,
Stony Brook, NY, USA, August 24-27, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {630},
pages = {550--564},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0084815},
doi = {10.1007/BFB0084815},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/Maraninchi92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/avmfss/Maraninchi89,
author = {Florence Maraninchi},
editor = {Joseph Sifakis},
title = {Argonaute: Graphical Description, Semantics and Verification of Reactive
Systems by Using a Process Algebra},
booktitle = {Automatic Verification Methods for Finite State Systems, International
Workshop, Grenoble, France, June 12-14, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {407},
pages = {38--53},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-52148-8\_4},
doi = {10.1007/3-540-52148-8\_4},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/avmfss/Maraninchi89.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 05:46 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:
