CONFERENCES
2024
@inproceedings{gueuziec:hal-04452208,
TITLE = {{Qualitative Reasoning and Design Space Exploration}},
AUTHOR = {Gueuziec, Baptiste and Gallois, Jean-Pierre and Boulanger, Fr{\'e}d{\'e}ric},
URL = {https://centralesupelec.hal.science/hal-04452208},
BOOKTITLE = {{MODELSWARD 2024}},
PAGES = {203--210},
ADDRESS = {Rome, Italy},
ORGANIZATION = {{INSTICC}},
YEAR = {2024},
MONTH = Feb,
KEYWORDS = {Design Space Exploration ; Qualitative reasoning ; Constraint solving},
PDF = {https://wdi.centralesupelec.fr/boulanger/publis/2024-MODELSWARD.pdf},
DOI = {https://doi.org/10.5220/0012417300003645},
HAL_ID = {hal-04452208},
HAL_VERSION = {v1},
class="conf",
}
2023
@inproceedings{gueuziec:hal-04255640,
TITLE = {{Abstraction qualitative et surveillance de systèmes cyber-physiques}},
AUTHOR = {Gueuziec, Baptiste and Gallois, Jean-Pierre and Boulanger, Frédéric},
URL = {https://hal.science/hal-04255640},
BOOKTITLE = {{Modélisation des Systèmes Réactifs}},
ADDRESS = {Toulouse, France},
YEAR = {2023},
MONTH = Nov,
PDF = {https://wdi.centralesupelec.fr/boulanger/publis/2023-MSR.pdf},
class="conf",
HAL_ID = {hal-04255640},
HAL_VERSION = {v1},
}
@inproceedings{fouillard:hal-04188221,
TITLE = {{An incremental diagnosis algorithm of human erroneous decision making}},
AUTHOR = {Fouillard, Valentin and Sabouret, Nicolas and Taha, Safouan and Boulanger, Frédéric},
URL = {https://hal.science/hal-04188221},
BOOKTITLE = {{2nd International Conference on Human and Artificial Rationalities}},
ADDRESS = {Paris, France},
YEAR = {2023},
MONTH = Sep,
KEYWORDS = {Diagnosis ; Human errors ; Belief revision},
PDF = {https://wdi.centralesupelec.fr/boulanger/publis/2023-HAR.pdf},
class="intconf",
HAL_ID = {hal-04188221},
HAL_VERSION = {v1},
}
@inproceedings{gueuziec:hal-04188239,
TITLE = {{Qualitative reasoning and cyber-physical systems: abstraction, modeling, and optimized simulation}},
AUTHOR = {Gueuziec, Baptiste and Gallois, Jean-Pierre and Boulanger, Frédéric},
URL = {https://hal.science/hal-04188239},
BOOKTITLE = {{MoDeVVa 2023 - 20th workshop on model driven engineering, verification and validation}},
ADDRESS = {Västerås [Sweden], Sweden},
YEAR = {2023},
MONTH = Oct,
KEYWORDS = {modeling ; qualitative reasoning ; cyber-physical systems ; abstraction ; simulation},
PDF = {https://wdi.centralesupelec.fr/boulanger/publis/2023MoDeVVa.pdf},
PAGES = {781--790},
DOI = {https://doi.org/10.1109/MODELS-C59198.2023.00126},
class="intconf",
HAL_ID = {hal-04188239},
HAL_VERSION = {v1},
}
@inproceedings{gueuziec:hal-04188249,
TITLE = {{Qualitative tendencies for hybrid system simulation}},
AUTHOR = {Gueuziec, Baptiste and Boulanger, Frédéric and Gallois, Jean-Pierre},
URL = {https://hal.science/hal-04188249},
BOOKTITLE = {{MPM4CPS 2023 - Multi-Paradigm Modelling for Cyber-Physical Systems -26th International conference on model driven engineering languages and systems}},
ADDRESS = {Västerås, Sweden},
YEAR = {2023},
MONTH = Oct,
KEYWORDS = {Cyber-physical systems ; simulation ; qualitative analysis},
PDF = {https://wdi.centralesupelec.fr/boulanger/publis/2023MPM4CPS.pdf},
HAL_ID = {hal-04188249},
PAGES = {500--509},
DOI = {https://doi.org/10.1109/MODELS-C59198.2023.00087},
class="intconf",
HAL_VERSION = {v1},
}
2022
@inproceedings{10.1145/3550356.3561594,
author = {Gueuziec, Baptiste and Gallois, Jean-Pierre and Boulanger, Frédéric},
title = {Qualitative Models for the Supervision of CPS Simulations},
year = {2022},
isbn = {9781450394673},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {https://hal.science/hal-04492481v1},
doi = {https://doi.org/10.1145/3550356.3561594},
pdf = {https://wdi.centralesupelec.fr/boulanger/publis/2022MoDeVVa.pdf},
abstract = {The simulation of complex systems affects many industrial and research fields and is important to verify the future behavior of a system. For hybrid systems [9], the heterogeneity of the discrete and continuous parts makes the modeling and simulation more difficult. Usually, numerical methods are chosen to simulate the continuous part of the models. However, their cost can be high when precision is needed and when interactions with the discrete part force rollbacks in the simulation. Other techniques are proposed to deal with uncertainties and expensive models, such as the flow-pipe methods [2] or qualitative modeling [8]. In this article, we present preliminary work to rely on a qualitative analysis of the model to supervise its simulation. Our goal is to build a qualitative map of the state space of the model in order to adapt the quantification of values and the discretization of time of the integration method. We expect this supervisor to optimize the time/precision balance, especially in the case of complex systems with many components.},
booktitle = {Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings},
pages = {612–616},
numpages = {5},
keywords = {modeling and simulation, embedded systems, simulation types and techniques},
location = {Montréal, Québec, Canada},
series = {MODELS'22},
class="intconf",
}
@inproceedings{fouillard:hal-03752151,
TITLE = {{Le problème du décor revisité : un modèle logique pour le diagnostic d'erreurs humaines}},
AUTHOR = {Fouillard, Valentin and Sabouret, Nicolas and Taha, Safouan and Boulanger, Frédéric},
URL = {https://hal.science/hal-03752151},
BOOKTITLE = {{Conférence Nationale en Intelligence Artificielle 2022}},
ADDRESS = {Saint-Etienne, France},
YEAR = {2022},
MONTH = Jun,
KEYWORDS = {Révision de croyance ; diagnostic ; erreur humaine ; Belief revision ; diagnosis ; human error},
PDF = {https://hal.science/hal-03752151/file/CNIA_2022.pdf},
HAL_ID = {hal-03752151},
HAL_VERSION = {v1},
class="natconf",
}
2021
@inproceedings{fouillard:hal-03505246,
TITLE = {{Catching cognitive biases in an erroneous decision making process}},
AUTHOR = {Fouillard, Valentin and Sabouret, Nicolas and Taha, Safouan and Boulanger, Frédéric},
URL = {https://hal.archives-ouvertes.fr/hal-03505246},
BOOKTITLE = {{IEEE International Conference on Systems, Man, and Cybernetics}},
ADDRESS = {Melbourne (virtual), Australia},
YEAR = {2021},
MONTH = Oct,
PDF = {https://wdi.centralesupelec.fr/boulanger/publis/SMC2021.pdf},
HAL_ID = {hal-03505246},
HAL_VERSION = {v1},
class="intconf",
}
@inproceedings{fouillard:hal-03377541,
TITLE = {{Capturer les biais cognitifs dans un processus de prise de décision erroné}},
AUTHOR = {Fouillard, Valentin and Sabouret, Nicolas and Taha, Safouan and Boulanger, Frédéric},
URL = {https://hal.archives-ouvertes.fr/hal-03377541},
BOOKTITLE = {{WACAI 2021}},
ADDRESS = {Saint Pierre d'Oléron, France},
ORGANIZATION = {{Centre National de la Recherche Scientifique [CNRS]}},
YEAR = {2021},
MONTH = Oct,
KEYWORDS = {révision de croyance ; biais cognitifs ; diagnostic ; prise de décision},
URL = {https://hal.archives-ouvertes.fr/hal-03377541},
PDF = {https://wdi.centralesupelec.fr/boulanger/publis/2021WACAI.pdf},
class="natconf",
HAL_ID = {hal-03377541},
HAL_VERSION = {v1},
}
2020
@inproceedings{fouillard:hal-03195524,
TITLE = {{Diagnostiquer les biais cognitifs}},
AUTHOR = {Fouillard, Valentin and Taha, Safouan and Sabouret, Nicolas and Boulanger, Frédéric},
URL = {https://hal.archives-ouvertes.fr/hal-03195524},
BOOKTITLE = {{Rencontres Jeunes Chercheurs en Intelligence Artificielle (RJCIA)}},
ADDRESS = {Angers (virtuel), France},
YEAR = {2020},
KEYWORDS = {Biais cognitif ; AGM ; révision de croyance ; diagnostic ; prise de décision ; Cognitive biases ; belief revision ; decision making},
PDF = {https://hal.archives-ouvertes.fr/hal-03195524/file/RJCIA_2020.pdf},
HAL_ID = {hal-03195524},
HAL_VERSION = {v1},
class="natconf",
}
@inproceedings{nguyenvan:hal-02931401,
TITLE = {{TESL: a Model with Metric Time for Modeling and Simulation}},
AUTHOR = {Nguyen Van, Hai and Boulanger, Frédéric and Wolff, Burkhart},
URL = {https://hal.archives-ouvertes.fr/hal-02931401},
BOOKTITLE = {{27th International Symposium on Temporal Representation and Reasoning}},
ADDRESS = {Bozen-Bolzano, Italy},
YEAR = {2020},
MONTH = Sep,
DOI = {10.4230/LIPIcs.TIME.2020.12},
KEYWORDS = {Timed Systems ; Semantics ; Models ; Simulation ; Timed Systems},
URL = {https://doi.org/10.4230/LIPIcs.TIME.2020.15},
HAL_PDF = {https://hal.archives-ouvertes.fr/hal-02931401/file/article.pdf},
HAL_ID = {hal-02931401},
HAL_VERSION = {v1},
class="intconf",
}
@InProceedings{nguyenvan:hal-02931403,
author="Hai Nguyen Van and Thibaut Balabonski and Frédéric Boulanger and Chantal Keller and Benoît Valiron and Burkhart Wolff",
editor="Nathalie Bertrand and Nils Jansen",
title="On the Semantics of Polychronous Polytimed Specifications",
booktitle="Formal Modeling and Analysis of Timed Systems (FORMATS 2020)",
year="2020",
publisher="Springer International Publishing",
address={Vienna, Austria},
series="Lectures notes in Computer Science",
volume="12288",
pages="23--40",
isbn="978-3-030-57628-8",
url="https://doi.org/10.1007/978-3-030-57628-8_2",
hal={https://hal.archives-ouvertes.fr/hal-02931403/},
class="intconf",
}
@conference{todorov:hal-02956436,
author={Vassil Todorov and Safouan Taha and Frédéric Boulanger},
title={Specification Quality Metrics Based on Mutation and Inductive Incremental Model Checking},
booktitle={{NASA Formal Methods - 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings}},
year={2020},
month=MAY,
pdf={https://wdi.centralesupelec.fr/boulanger/publis/2020NFM.pdf},
url={https://link.springer.com/chapter/10.1007/978-3-030-55754-6_11},
hal={https://hal-centralesupelec.archives-ouvertes.fr/hal-02956436v1},
class = {intconf},
}
@conference{oudart:hal-02070535,
author={David Oudart and Jérôme Cantenot and Frédéric Boulanger and Sophie Chabridon},
title={A Model based Toolchain for the Cosimulation of Cyber-physical Systems with FMI},
booktitle={Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD},
year={2020},
pages={15-25},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0008875400150025},
isbn={978-989-758-400-8},
url={https://www.scitepress.org/PublicationsDetail.aspx?ID=uwfM1k2FY4Y=},
hal={https://hal-centralesupelec.archives-ouvertes.fr/hal-02070535v1},
class = {intconf},
}
2019
@inproceedings{todorov:hal-02322576,
title = {Improved invariant generation for industrial software
model checking of time properties},
author = {Todorov, Vassil and Taha, Safouan and Boulanger, Frédéric and Hernandez, Armando},
booktitle = {Proceedings of the 19th IEEE International Conference on Software Quality, Reliability, and Security},
month = Jul,
year = 2019,
address = {Sofia, Bulgaria},
url = {https://ieeexplore.ieee.org/document/8854716},
doi = {https://doi.org/10.1109/QRS.2019.00050},
pdf = {https://wdi.centralesupelec.fr/boulanger/publis/2019QRS.pdf},
hal = {https://hal-centralesupelec.archives-ouvertes.fr/hal-02322576},
class = {intconf},
}
@article{todorov-pssv2019,
title = {Proving Properties of Discrete-Valued Functions Using Deductive Proof: Application to the Square Root},
author = {Todorov, Vassil and Taha, Safouan and Boulanger, Frédéric and Hernandez, Armando},
pages = {45-54},
journal = {System Informatics},
issn = {2307-6410},
number = {14},
month = Jul,
year = {2019},
address = {Novosibirsk, Russia},
url = {https://system-informatics.ru/en/article/248},
pdf = {https://wdi.centralesupelec.fr/boulanger/publis/2019PSSV.pdf},
note = {PSSV-2019 Workshop},
class = {intconf},
}
@inproceedings{oudart:hal-02070535,
TITLE = {{An approach to design smart grids and their IT system by cosimulation}},
AUTHOR = {Oudart, David and Cantenot, Jérôme and Boulanger, Frédéric and Chabridon, Sophie},
URL = {https://hal.archives-ouvertes.fr/hal-02070535},
BOOKTITLE = {{MODELSWARD 2019: 7th International Conference on Model-Driven Engineering and Software Development}},
ADDRESS = {Prague, Czech Republic},
HAL_LOCAL_REFERENCE = {19296},
PUBLISHER = {{SCITEPRESS}},
PAGES = {372 - 379},
YEAR = {2019},
MONTH = Feb,
DOI = {10.5220/0007407003720379},
KEYWORDS = {Cosimulation ; FMI ; FMU ; Model driven engineering ; Smart grid ; Cyber-physical system},
HAL_ID = {hal-02070535},
HAL_VERSION = {v1},
pdf = {https://wdi.centralesupelec.fr/boulanger/publis/2019MODELSWARD.pdf},
class = {intconf},
}
2018
@inproceedings{boulanger:hal-01890134,
TITLE = {{A time synchronization protocol for A664-P7}},
AUTHOR = {Boulanger, Frédéric and Marcadet, Dominique and Rayrole, Martin and Taha, Safouan and Valiron, Benoît},
URL = {https://hal-centralesupelec.archives-ouvertes.fr/hal-01890134},
BOOKTITLE = {Digital Avionics Systems Conference},
ADDRESS = {London, United Kingdom},
YEAR = {2018},
MONTH = Sep,
KEYWORDS = {A664-P7 ; Time-synchronization ; Asynchronous},
PDF = {https://wdi.centralesupelec.fr/boulanger/publis/DASC2018.pdf},
HAL_ID = {hal-01890134},
HAL_VERSION = {v1},
class = {intconf},
}
@inproceedings{medimegh:hal-01890473,
TITLE = {{A New Qualitative Language for Qualitative Simulation}},
AUTHOR = {Medimegh, Slim and Pierron, Jean-Yves and Boulanger, Frédéric},
URL = {https://hal-centralesupelec.archives-ouvertes.fr/hal-01890473},
BOOKTITLE = {International Symposium on Computer Science and Intelligent Control},
ADDRESS = {Stockholm, Sweden},
YEAR = {2018},
MONTH = Sep,
KEYWORDS = {Cyber physical systems ; qualitative simulation ; symbolic execution ; model transformation ; qualitative behavior},
pdf={https://wdi.centralesupelec.fr/boulanger/publis/SlimISCSIC2018.pdf},
HAL_ID = {hal-01890473},
HAL_VERSION = {v1},
class = {intconf},
}
@inproceedings{todorov:hal-01768687,
TITLE = {Formal verification of automotive embedded software},
AUTHOR = {Todorov, Vassil and Boulanger, Frédéric and Taha, Safouan},
URL = {https://hal.archives-ouvertes.fr/hal-01768687},
BOOKTITLE = {FORMALISE: 6th International Conference on Formal Methods in Software Engineering},
ADDRESS = {Gothenburg, Sweden},
YEAR = {2018},
MONTH = Jun,
DOI = {10.1145/3193992.3194003},
PDF = {https://hal.archives-ouvertes.fr/hal-01768687/document},
HAL_ID = {hal-01768687},
HAL_VERSION = {v1},
class = {intconf},
}
@inproceedings{oudart:hal-01821675,
TITLE = {{Démarche de conception d'un réseau électrique intelligent et de son système d'information par cosimulation}},
AUTHOR = {Oudart, David and Cantenot, Jérôme and Boulanger, Frédéric and Chabridon, Sophie},
URL = {https://hal.archives-ouvertes.fr/hal-01821675},
BOOKTITLE = {{CIEL 2018 : 7ème Conférence en IngénieriE du Logiciel}},
ADDRESS = {Grenoble, France},
HAL_LOCAL_REFERENCE = {19052},
PUBLISHER = {{CNRS}},
PAGES = {9-1 - 9-5},
YEAR = {2018},
MONTH = Jun,
KEYWORDS = {Ingénierie dirigée par les modèles ; Génie logiciel ; Smart grids ; Simulation ; FMI (Functional Mockup Interface)},
PDF = {https://hal.archives-ouvertes.fr/hal-01821675/file/main.pdf},
HAL_ID = {hal-01821675},
HAL_VERSION = {v1},
class = {natconf},
}
@inproceedings{medimegh:hal-01707264,
TITLE = {{Qualitative Simulation of Hybrid Systems with an Application to SysML Models}},
AUTHOR = {Medimegh, Slim and Pierron, Jean-Yves and Boulanger, Frédéric},
URL = {https://hal-centralesupelec.archives-ouvertes.fr/hal-01707264},
BOOKTITLE = {{6th International Conference on Model-Driven Engineering and Software Development}},
ADDRESS = {Funchal, Portugal},
PUBLISHER = {{SCITEPRESS - Science and Technology Publications}},
SERIES = { Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development},
YEAR = {2018},
MONTH = Jan,
DOI = {10.5220/0006535202790286},
KEYWORDS = {hybrid systems ; qualitative simulation ; symbolic execution ; model transformation},
pdf={https://wdi.centralesupelec.fr/boulanger/publis/ModelsWard2018.pdf},
HAL_ID = {hal-01707264},
HAL_VERSION = {v1},
class = {intconf},
}
2017
@inproceedings{nguyenvan:hal-01583815,
TITLE = {A Symbolic Operational Semantics for TESL with an Application to Heterogeneous System Testing},
AUTHOR = {Nguyen Van, Hai and Balabonski, Thibaut and Boulanger, Frédéric and Keller, Chantal and Valiron, Benoît and Wolff, Burkhart},
URL = {https://hal-centralesupelec.archives-ouvertes.fr/hal-01583815},
BOOKTITLE = {Formal Modeling and Analysis of Timed Systems, 15th International Conference FORMATS 2017},
ADDRESS = {Berlin, Germany},
EDITOR = {Alessandro Abate and Gilles Geeraerts},
PUBLISHER = {Springer},
SERIES = {LNCS},
VOLUME = {10419},
YEAR = {2017},
MONTH = Sep,
DATE = {September 5-7 2017},
PAGES = {318-334},
DOI = {10.1007/978-3-319-65765-3\_18},
KEYWORDS = {Heterogeneity ; Synchronicity ; Timed Behaviors},
PDF = {https://hal-centralesupelec.archives-ouvertes.fr/hal-01583815/file/article.pdf},
HAL_ID = {hal-01583815},
HAL_VERSION = {v1},
class = {intconf},
}
2016
@inproceedings{seghiri:hal-01303436,
TITLE = {{An executable model driven framework for enterprise architecture application to the Smart Grids context}},
AUTHOR = {SEGHIRI, Rachida and Boulanger, Frédéric and Lecocq, Claire and Godefroy, Vincent},
URL = {https://hal.archives-ouvertes.fr/hal-01303436},
BOOKTITLE = {{HICSS 2016 : 49th Hawaii International Conference on System Sciences}},
ADDRESS = {Koloa, Hawaii, United States},
HAL_LOCAL_REFERENCE = {16796},
PUBLISHER = {{IEEE Computer Society}},
PAGES = {4546 - 4555},
YEAR = {2016},
MONTH = Jan,
DOI = {10.1109/HICSS.2016.565},
KEYWORDS = {Entreprise architecture ; Model driven engineering ; Information system ; Smart grid},
HAL_ID = {hal-01303436},
HAL_VERSION = {v1},
pdf = {https://wdi.centralesupelec.fr/boulanger/publis/2016HICSS.pdf},
class = {intconf},
}
@inproceedings{medimegh:hal-01398735,
TITLE = {{A New Approach of Qualitative Simulation for the Validation of Hybrid Systems}},
AUTHOR = {Medimegh, Slim and Pierron, Jean-Yves and Gallois, Jean-Pierre and Boulanger, Frédéric},
URL = {https://hal-centralesupelec.archives-ouvertes.fr/hal-01398735},
BOOKTITLE = {{GEMOC International Workshop on The Globalization of Modeling Languages at MODELS 2016}},
ADDRESS = {Saint Malo, France},
ORGANIZATION = {{Julien DeAntoni, Jeff Gray, Eugene Syriani}},
SERIES = {Proceedings of the GEMOC International Workshop on The Globalization of Modeling Languages at MODELS 2016},
NUMBER = {1731},
YEAR = {2016},
MONTH = Oct,
KEYWORDS = {hybrid systems ; qualitative simulation ; verification ; validation},
pdf = {https://wdi.centralesupelec.fr/boulanger/publis/2016GemocSimuQual.pdf},
HAL_ID = {hal-01398735},
HAL_VERSION = {v1},
class = {intconf},
}
2015
@inproceedings{nguyenvan:hal-01239669,
TITLE = {{Towards a formal semantics of the TESL specification language}},
AUTHOR = {Nguyen Van, Hai and Balabonski, Thibaut and Boulanger, Frédéric and Taha, Safouan and Valiron, Benoît and Wolff, Burkhart and Ye, Lina},
URL = {https://hal-centralesupelec.archives-ouvertes.fr/hal-01239669},
BOOKTITLE = {{3rd International Workshop on the Globalization Of Modeling Languages (GEMOC 2015)}},
ADDRESS = {Ottawa, Canada},
ORGANIZATION = {{Benoit Combemale and Julien Deantoni and Jeff Gray}},
SERIES = {CEUR Workshop Proceedings},
NUMBER = {1511},
PAGES = {14-19},
YEAR = {2015},
MONTH = Sep,
KEYWORDS = {Formal Methods ; Theorem Prover ; Heterogeneity ; Synchronicity ; Time Model ; Logic},
pdf = {https://wdi.centralesupelec.fr/boulanger/publis/2015GEMOC.pdf},
HAL_ID = {hal-01239669},
HAL_VERSION = {v1},
class = {intconf},
}
@inproceedings{seghiri:hal-01239680,
TITLE = {{Simulation des Systèmes d'Information des Smart Grids - Une approche par points de vue}},
AUTHOR = {SEGHIRI, Rachida and Boulanger, Frédéric and Lecocq, Claire and Godefroy, Vincent},
URL = {https://hal-centralesupelec.archives-ouvertes.fr/hal-01239680},
url2 = {http://dblp.uni-trier.de/db/conf/inforsid/inforsid2015.html},
BOOKTITLE = {{XXXIIIème Congrès INFORSID}},
ADDRESS = {Biarritz, France},
SERIES = {Actes du XXXIIIème Congrès INFORSID},
PAGES = {65-80},
YEAR = {2015},
MONTH = May,
KEYWORDS = {Simulation ; Ingénierie Dirigée par les Modèles ; Smart Grid ; Système d'Information},
pdf = {https://wdi.centralesupelec.fr/boulanger/publis/2015INFORSID.pdf},
HAL_ID = {hal-01239680},
HAL_VERSION = {v1},
class = {intconf},
}
2014
@inproceedings{BouJacHarPro2014MEMOCODE,
title = {TESL: a Language for Reconciling Heterogeneous Execution Traces},
author = {Boulanger, Frédéric and Jacquet, Christophe and Hardebolle, Cécile and Prodan, Iuliana},
language = {English},
affiliation = {Supélec Sciences des Systèmes - EA4454 - E3S},
booktitle = {Formal Methods and Models for Codesign (MEMOCODE), 2014 Twelfth ACM/IEEE International Conference on},
pages = {114-123},
address = {Lausanne, Switzerland},
audience = {internationale},
year = {2014},
month = Oct,
isbn = {978-1-4799-5336-3},
ieee = {CFP14MCD-USB},
pdf = {https://wdi.centralesupelec.fr/boulanger/publis/2014MemoCODE.pdf},
doi = {10.1109/MEMCOD.2014.6961849},
url = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6961849},
class = {intconf},
}
@inproceedings{CafHarJacVinBou2014MPM,
title = {Discrete-Continuous Semantic Adaptations for Simulating SysML Models in VHDL-AMS},
author = {Chaves Café, Daniel and Hardebolle, Cécile and Vinci dos Santos, Filipe and Jacquet, Christophe and Boulanger, Frédéric},
language = {English},
affiliation = {Supélec Sciences des Systèmes - EA4454 - E3S},
booktitle = {Proceedings of the 8th Workshop on Multi-Paradigm Modeling (MPM 2014)},
pages = {11-20},
address = {Valencia, Spain},
audience = {internationale},
year = {2014},
month = Sep,
url = {http://ceur-ws.org/Vol-1237/paper2.pdf},
pdf = {https://wdi.centralesupelec.fr/boulanger/publis/2014MPM.pdf},
class = {intconf},
}
@inproceedings{chavescafe:hal-01079973,
hal_id = {hal-01079973},
hal_version = {v1},
url = {http://ciel2014.i3s.unice.fr/Ciel2014_fichiers/ActesCiel2014.pdf},
url = {https://hal-supelec.archives-ouvertes.fr/hal-01079973},
pdf = {https://hal-supelec.archives-ouvertes.fr/hal-01079973/file/cafe2014ciel.pdf},
title = {{Une sémantique multi-paradigme pour simuler des modèles SysML avec SystemC-AMS}},
author = {Chaves Café, Daniel and Vinci Dos Santos, Filipe and Hardebolle, Cécile and Jacquet, Christophe and Boulanger, Frédéric},
booktitle = {CIEL 2014},
address = {Paris, France},
series = {Actes de la 3ème Conférence en IngénieriE du Logiciel},
pages = {93-96},
year = {2014},
month = Jun,
class = { natconf },
}
@inproceedings{jacquet:hal-01079975,
title = {{ModHel'X, un outil expérimental pour la modélisation multi-paradigmes}},
author = {Jacquet, Christophe and Hardebolle, Cécile and Boulanger, Frédéric},
url = {https://hal-supelec.archives-ouvertes.fr/hal-01079975},
booktitle = {CIEL 2014},
address = {Paris, France},
series = {Actes de la 3ème Conférence en IngénieriE du Logiciel},
pages = {115-118},
year = {2014},
month = Jun,
pdf = {https://hal-supelec.archives-ouvertes.fr/hal-01079975/file/jacquet2014ciel.pdf},
hal_id = {hal-01079975},
hel_version = {v1},
class = { natconf },
}
@inproceedings{MOOCHype2014,
title = {The MOOC Hype: Can We Ignore It? Reflections on the Current Use of Massive Open Online Courses in Software Modeling Education},
author = {Dave R. Stikkolorum, Birgit Demuth, Vadim Zaytsev, Frédéric Boulanger, Jeff Gray},
editor = {Birgit Demuth, Dave Stikkolorum},
url = {http://ceur-ws.org/Vol-1346/edusymp2014_paper_9.pdf},
booktitle = {Proceedings of EduSymp 2014, MODELS Educators Symposium 2014},
address = {Valencia, Spain},
pages = {75-86},
year = {2014},
month = {Sep},
class = { intconf },
}
2013
@inproceedings{BouJacHarDog2013GEMOC,
title = {Heterogeneous Model Composition in ModHel'X: the Power Window Case Study},
author = {Boulanger, Frédéric and Jacquet, Christophe and Hardebolle, Cécile and Dogui, Ayman},
language = {English},
affiliation = {Supélec Sciences des Systèmes - EA4454 - E3S},
booktitle = {Proceedings of Gemoc 2013, Workshop on the Globalization of Modeling Languages},
pages = {10 pages},
address = {Miami, Florida, USA},
audience = {internationale },
year = {2013},
month = Sep,
pdf = {https://wdi.centralesupelec.fr/boulanger/publis/2013Gemoc.pdf},
class = {intconf},
}
@inproceedings{JacMohBouHarBel2013MRT,
title = {Building Heterogeneous Models at Runtime to Detect Faults in Ambient-intelligent Environments},
author = {Jacquet, Christophe and Mohamed, Ahmed and Boulanger, Frédéric and Hardebolle, Cécile and Bellik, Yacine},
language = {English},
affiliation = {Supélec Sciences des Systèmes - EA4454 - E3S},
booktitle = {Proceedings of MRM 2013, Workshop on Models at run.time},
pages = {10 pages},
address = {Miami, Florida, USA},
audience = {internationale },
year = {2013},
month = Sep,
url = {http://ceur-ws.org/Vol-1079/mrt13_submission_16.pdf},
pdf = {https://wdi.centralesupelec.fr/boulanger/publis/2013MRT.pdf},
class = {intconf},
}
@inproceedings{MeyDenBouHarJacVan2013MPM,
title = {A DSL for Explicit Semantic Adaptation},
author = {Meyers, Bart and Denil, Joachim and Boulanger, Frédéric and Hardebolle, Cécile and Jacquet, Christophe and Vangheluwe, Hans},
language = {English},
affiliation = {Supélec Sciences des Systèmes - EA4454 - E3S},
booktitle = {Proceedings of MPM 2013, Workshop on Multi-Paradigm Modeling},
pages = {10 pages},
address = {Miami, Florida, USA},
audience = {internationale },
year = {2013},
month = Sep,
url = {https://wdi.centralesupelec.fr/boulanger/publis/2013MPM.pdf},
pdf = {http://ceur-ws.org/Vol-1112/07-paper.pdf},
class = {intconf},
}
@inproceedings{ChoCalJalBouTah2013ACESMB,
title = {Modeling and Verification of Redundancy Policies},
author = {Chouh, Hamza and Callon, Charlotte and Jalal, Ghita and Boulanger, Frédéric and Taha, Safouan},
language = {English},
affiliation = {Supélec Sciences des Systèmes - EA4454 - E3S},
booktitle = {Proceedings of ACES-MB 2013, Workshop on Model Based Architecting and Construction of Embedded Systems},
pages = {10 pages},
address = {Miami, Florida, USA},
audience = {internationale },
year = {2013},
month = Sep,
url = {http://ceur-ws.org/Vol-1084/paper1.pdf},
pdf = {https://wdi.centralesupelec.fr/boulanger/publis/2013ACESMB.pdf},
class = {intconf},
}
@inproceedings{CafBouJacHarVin2013FDL,
hal_id = {hal-00838859},
url = {http://hal-supelec.archives-ouvertes.fr/hal-00838859},
pdf = {https://wdi.centralesupelec.fr/boulanger/publis/2013FDL.pdf},
title = {Multi-Paradigm Semantics for Simulating SysML Models using SystemC-AMS},
author = {Chaves Café, Daniel and Boulanger, Frédéric and Jacquet, Christophe and Hardebolle, Cécile and Vinci Dos Santos, Filipe},
abstract = {SysML is an emerging standard for the modeling of systems, providing a graphical way to model structure and behavior. Despite its flexibility, SysML lacks semantics to give language elements a precise meaning. Current implementations of the standard allow multiple interpretations of syntactical elements and can cause misunderstandings when porting a model among tools. Our work focuses on the definition of concrete semantics for SysML to enable correct interpretation of heterogeneous models. We also add semantic adaptation elements to guarantee that interactions among different formalisms are unambiguous. We demonstrate our approach by generating SystemC-AMS code automatically from SysML diagrams for a case study with two distinct formalisms. This kind of translation allows the validation of system behavior through simulation.},
keywords = {Model Transformation; Semantic Adaptation; System Modeling; System Simulation; SysML; SystemC-AMS},
language = {English},
affiliation = {Supélec Sciences des Systèmes - EA4454 - E3S},
booktitle = {Proceedings of FDL 2013, Forum on specification \& Design Languages},
pages = {82-89},
address = {Paris, France},
audience = {internationale },
year = {2013},
month = Sep,
class = {intconf},
}
2012
@conference{KanAigBouGas2012APSEC,
author = {Bilal Kanso and Marc Aiguier and Frédéric Boulanger and Christophe Gaston},
title = {Testing of component-based systems},
booktitle = {Proceedings of the 19th Asia-Pacific Software Engineering Conference (APSEC)},
place = {Hong Kong},
date = {4-7 December 2012},
year = {2012},
pages = {300-305},
doi = {http://dx.doi.org/10.1109/APSEC.2012.40},
pdf = {https://wdi.centralesupelec.fr/boulanger/publis/TestCompSysAPSEC2012.pdf},
class = {intconf},
url = {https://centralesupelec.hal.science/hal-00782889},
hal_id = {hal-00782889},
}
// Commented out
conference{ComHarJacBouBau2012SLE,
author = {Benoît Combemale and Cécile Hardebolle and Christophe Jacquet and Frédéric Boulanger and Benoît Baudry},
title = {Bridging the Chasm between Executable Metamodeling and Models of Computation},
booktitle = {Proceedings of the 5th International Conference on Software Language Engineering},
place = {Dresden, Germany},
date = {25-28 September 2012},
year = {2012},
pdf = {https://wdi.centralesupelec.fr/boulanger/publis/2012BridgingTheChasm.pdf},
class = {intconf},
}
@conference{DesJacHarBouMen2012MPM,
author = {Romulad Deshayes and Cécile Hardebolle and Christophe Jacquet and Frédéric Boulanger and Tom Mens},
title = {Heterogeneous Modeling of Gesture-Based 3D Applications},
booktitle = {Proceedings of the 6th International Workshop on Multi-Paradigm Modeling},
place = {Innsbruck, Austria},
date = {1 October 2012},
year = {2012},
pdf = {https://wdi.centralesupelec.fr/boulanger/publis/2012Kilix.pdf},
class = {intconf},
}
2011
@conference{BouHarJacMar2011ACSD,
author = {Frédéric Boulanger and Cécile Hardebolle and Christophe Jacquet and Dominique Marcadet},
title = {Semantic Adaptation for Models of Computations},
booktitle = {Proceedings of the 11th International Conference on Application of Concurrency to System Design},
editor = {Benoît Caillaud and Josep Carmona and Kunihiko Hiraishi},
place = {Newcastle upon Tyne, UK},
date = {20-24 June 2011},
year = {2011},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-4387-1},
pages = {153-162},
doi = {http://dx.doi.org/10.1109/ACSD.2011.17},
url = {http://dx.doi.org/10.1109/ACSD.2011.17},
pdf = {https://wdi.centralesupelec.fr/boulanger/publis/2011ACSDSemAdapt.pdf},
class={intconf},
}
@conference{BouDogHarJacMarPro2011MPM,
author = {Frédéric Boulanger and Ayman Dogui and Cécile Hardebolle and Christophe Jacquet and Dominique Marcadet and Iuliana Prodan},
title = {Semantic Adaptation using CCSL Clock Constraints},
booktitle = {Proceedings of the 5th International Workshop on Multi-Paradigm Modeling at MODELS 2011},
editor = {Vasco Amaral and Peter Bunüs and Cécile Hardebolle and Lazlo Lengyel},
place = {Wellington, NZ},
date = {16-18 October 2011},
year = {2011},
publisher = {Electronic Communications of the EASST},
pdf = {https://wdi.centralesupelec.fr/boulanger/publis/2011-MPM11-Clocks.pdf},
class={intconf},
}
2010
@conference{BenCucTahTerBouGer2010DIPES,
author = {Abderraouf Benyahia and Arnaud Cuccuru and Safouan Taha and François Terrier and Frédéric Boulanger and Sébastien Gérard},
title = {{Extending the Standard Execution Model of UML for Real-Time Systems}},
booktitle = {Distributed, Parallel and Biologically Inspired Systems},
editor = {Mike Hinchey and Bernd Kleinjohann and Lisa Kleinjohann and Peter Lindsay and Franz Rammig and Jon Timmis and Marilyn Wolf},
publisher = {Springer Boston},
isbn = {978-3-642-15233-7},
pages = {43-54},
doi = {http://dx.doi.org/10.1007/978-3-642-15234-4},
series = {IFIP Advances in Information and Communication Technology},
url = {http://dx.doi.org/10.1007/978-3-642-15234-4},
pdf = {https://wdi.centralesupelec.fr/boulanger/publis/2010DIPESfUML.pdf},
volume = {329},
year = {2010},
class = {intconf},
}
@conference{KanAigBouTou2010ICTAC,
author = {Bilal Kanso and Marc Aiguier and Frédéric Boulanger and Assia Touil},
title = {Testing of Abstract Components},
booktitle = {Proceedings of the 7th International Colloquium on Theoretical Aspects of Computing (ICTAC 2010)},
editor = {Ana Cavalcanti and David Deharbe and Marie-Claude Gaudel and Jim Woodcock},
series = {Lecture Notes in Computer Science 6255},
publisher = {Springer-Verlag},
address = {Berlin Heidelberg, Germany},
place = {Natal, Brazil},
year = {2010},
date = {1--3 September 2010},
pages = {184--198},
isbn = {978-3-642-14807-1},
issn = {0302-9743},
doi = {http://dx.doi.org/10.1007/978-3-642-14808-8_13},
pdf = {https://wdi.centralesupelec.fr/boulanger/publis/AigKanBouTou2010ICTAC.pdf},
class = {intconf},
}
2009
@conference{BouJacRouHar2009NFPinDSMLs,
author = {Frédéric Boulanger and Christophe Jacquet and Elyes Rouis and Cécile Hardebolle},
title = {Modeling Heterogeneous Points of View with ModHel'X},
booktitle = {Proceedings of NFPinDSML2009 (2nd Workshop on Non-functional System Properties in Domain Specific Modeling Languages at MODELS 2009)},
place = {Denver, Colorado, USA},
year = {2009},
issn = {1613-0073},
volume={553},
pages = {1--14},
publisher = {CEUR-WS},
url={http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-553/},
pdf = {https://wdi.centralesupelec.fr/boulanger/publis/2009NFPinDSMLsMultiView.pdf},
class = {intconf},
}
2008
@conference{BouMarBouJaq2008COMPSAC,
author = {Ahcène Bouzoualegh and Dominique Marcadet and Frédéric Boulanger and Christophe Jacquet},
title = {An Architecture Description Language for Verification in Component-based Software},
booktitle = {Proceedings of the 32nd Annual IEEE International Computer Software
and Applications Conference (COMPSAC 2008)},
month = {August},
year = {2008},
date = {28 July --1 August 2008},
pages = {365--368},
address = {Turku, Finland},
organization = {IEEE},
isbn = {978-0-7695-3262-2},
doi = {http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2008.107},
publisher = {IEEE Computer Society},
class = {intconf},
}
@conference{JacBouMar2008MEMOCODE,
author = {Christophe Jacquet and Frédéric Boulanger and Dominique Marcadet},
title = {From Data to Events: Checking Properties on the Control of a System},
booktitle = {Proceedings of the Sixth ACM-IEEE International Conference
on Formal Methods and Models for Codesign (MEMOCODE'2008)},
month = {June},
year = {2008},
date = {5--7 June 2008},
pages = {17--26},
address = {Anaheim, California},
organization = {IEEE},
isbn = {978-1-4244-2417-7},
doi = {http://dx.doi.org/10.1109/MEMCOD.2008.4547682},
publisher = {IEEE Computer Society},
class = {intconf},
}
@conference{BouHar2008ICST,
author = {Frédéric Boulanger and Cécile Hardbolle},
title = {Simulation of Multi-Formalism Models with ModHel'X},
booktitle = {Proceedings of the IEEE International Conference on Software
Testing, Verification and Validation (ICST2008)},
month = {April},
year = {2008},
date = {9--11 April 2008},
pages = {318--327},
address = {Lillehammer, Norway},
organization = {IEEE},
isbn = {978-0-7695-3127-4},
doi = {http://dx.doi.org/10.1109/ICST.2008.15},
publisher = {IEEE Computer Society},
publisheraddress = {Washington, DC, USA},
rank = {B (CORE 2009)},
accept = {20\%},
class = {intconf},
}
2007
@conference{BouPol2007IADIS,
author = {Frédéric Boulanger and Géraldine Polaillon and Dorin
Carstoiu and Alexandra Cernian and Stefan Bodea},
title = {Web Search based on Clustering by Compression},
booktitle = {Proceedings of the IADIS 2007 e-Society International
Conference},
month = {July},
year = {2007},
date = {3--6 July 2007},
pages = {419--423},
address = {Lisbon, Portugal},
organization = {IADIS},
publisher = {IADIS Press},
isbn = {978-972-8924-35-5},
class={intconf},
}
@conference{HarBouMarVid2007MOMPES,
author = {Cécile Hardebolle and Frédéric Boulanger
and Dominique Marcadet and Guy Vidal-Naquet},
title = {A Generic Execution Framework for Models of Computation},
booktitle = {Proceedings of the 4th International Workshop on
Model-based Methodologies for Pervasive and Embedded
Software (MOMPES 2007)},
editor = {J. M. Fernandes and R. J. Machado and R. Khedri and S. Clarke},
publisher = {IEEE Computer Society},
publisheraddress = {Washington, DC, USA},
isbn = {0-7695-2769-8},
pages = {45--54},
month = {March},
year = {2007},
date = {31 March 2007},
address = {Braga, Portugal},
doi = {http://dx.doi.org/10.1109/MOMPES.2007.1},
pdf={https://wdi.centralesupelec.fr/boulanger/publis/HarBouMarVid2007MOMPES.pdf},
class={intconf},
}
2006
@conference{BouMbo2006CTS,
author = {Frédéric Boulanger and Mokhoo Mbobi},
title = {An Overall Specification of a Meta-Model of Computation For
Model-Driven Embedded Systems},
booktitle = {Proceedings of the 2006 International Symposium on
Collaborative Technologies and Systems (CTS 2006)},
pages = {194--199},
month = {May},
year = {2006},
isbn = {0-9785699-0-3},
address = {Las Vegas, Nevada, USA},
date = {14--17 May 2006},
doi = {http://dx.doi.org/10.1109/CTS.2006.15},
publisher = {IEEE Computer Society},
publisheraddress = {Washington, DC, USA},
rank = {C (CORE 2009)},
pdf={https://wdi.centralesupelec.fr/boulanger/publis/BouMbo2006CTS.pdf},
class={intconf}
}
@conference{BouMboCCECE2006,
author = {Frédéric Boulanger and Mokhoo Aimé Mbobi},
title = {Le paradigme acteur dans la modélisation des systèmes embarqués},
booktitle = {Proceedings of the 2006 IEEE Canadian Conference on
Electrical and Computer Engineering (CCECE 2006)},
pages = {418--421},
month = {May},
year = {2006},
address = {Ottawa, ON, Canada},
isbn = {1-4244-0038-4},
date = {7--10 May 2006},
doi = {http://dx.doi.org/10.1109/CCECE.2006.277471},
publisher = {IEEE Computer Society},
publisheraddress = {Washington, DC, USA},
pdf={https://wdi.centralesupelec.fr/boulanger/publis/BouMboCCECE2006.pdf},
class={intconf}
}
@conference{BouVidICSOFT2006,
author = {Frédéric Boulanger and Guy Vidal-Naquet},
title = {A Primitive Execution Model for Heterogeneous Modeling},
booktitle = {Proceedings of the 2006 International Conference on Software
and Data Technologies (ICSOFT 2006)},
volume = {1},
pages = {247--252},
month = {September},
year = {2006},
publisher = {INSTICC Press},
isbn = {972-8865-69-4},
address = {Setúbal, Portugal},
date = {11--14 Septembre 2006},
rank = {B (CORE 2009)},
pdf={https://wdi.centralesupelec.fr/boulanger/publis/BouVid2006ICSOFT.pdf},
class={intconf}
}
2005
@conference{MboBouFerIRI2005,
author = {Mokhoo Aimé Mbobi and Frédéric Boulanger and Mohamed Feredj},
title = {Issues of Hierarchical Heterogeneous Modeling in Component Reusability},
booktitle = {Proceedings of the 2005 IEEE International Conference on
Information Reuse and Integration (IEEE IRI 2005)},
pages = {84--89},
month = {August},
year = {2005},
address = {Las Vegas, Nevada, USA},
publisher = {IEEE Computer Society},
date = {15--17 August 2005},
isbn = {0-7803-9093-8},
doi = {http://dx.doi.org/10.1109/IRI-05.2005.1506454},
pdf={https://wdi.centralesupelec.fr/boulanger/publis/MboBouFerIRI2005.pdf},
class={intconf}
}
2004
@conference{BouMboFerIPSI2004,
author = {Frédéric Boulanger and Mokhoo Aimé Mbobi and Mohamed Feredj},
title = {Flat Heterogeneous Modeling},
booktitle = {Proceedings of the 2004 International Conference on Advances
in the Internet, Processing, Systems, and Interdisciplinary
Research (IPSI 2004)},
note = {7 pages, on CD-ROM},
address = {Venice, Italy},
date = {10--15 Novembre 2004},
month = {November},
year = {2004},
howPublished = {CD-ROM},
isbn = {86-7466-117-3},
pdf={https://wdi.centralesupelec.fr/boulanger/publis/BouMboFerIPSI2004.pdf},
class={intconf}
}
@conference{FerBouMboIRI2004,
author = {Mohamed Feredj and Frédéric Boulanger and Mokhoo Aimé Mbobi},
title = {An Approach of Domain Polymorph Component Design},
booktitle = {Proceedings of the 2004 IEEE International Conference on
Information Reuse and Integration (IEEE IRI 2004)},
pages = {145--150},
month = {November},
year = {2004},
address = {Las Vegas, Nevada, USA},
date = {8--10 Novembre 2004},
doi = {http://dx.doi.org/10.1109/IRI.2004.1431451},
isbn = {0-7803-8819-4},
pdf={https://wdi.centralesupelec.fr/boulanger/publis/FerBouMbo2004IRI-CDP.pdf},
class={intconf}
}
@conference{MboBouFerIRI2004,
author = {Mokhoo Aimé Mbobi and Frédéric Boulanger and Mohamed Feredj},
title = {Execution Model for Non-Hierarchical Heterogeneous Modeling},
booktitle = {Proceedings of the 2004 IEEE International Conference on
Information Reuse and Integration (IEEE IRI 2004)},
pages = {139--144},
month = {November},
year = {2004},
address = {Las Vegas, Nevada, USA},
date = {8--10 Novembre 2004},
isbn = {0-7803-8819-4},
publisher = {IEEE Computer Society},
doi = {http://dx.doi.org/10.1109/IRI.2004.1431450},
pdf={https://wdi.centralesupelec.fr/boulanger/publis/MboBouFerIRI2004.pdf},
class={intconf}
}
2003
@conference{MboBouFerCCCT2003,
author = {Mokhoo Aimé Mbobi and Frédéric Boulanger and Mohamed Feredj},
title = {Non-hierarchical heterogeneity},
booktitle = {Proceedings of the 2003 International conference on
Computer, Communication and Control Technologies (CCCT'03)},
publisher = {International Institute of Information and Systemics},
volume = {III},
isbn = {980-6560-05-1},
pages = {430-435},
month = {August},
year = {2003},
address = {Orlando, Florida, USA},
date = {31 July -- 2 August},
pdf={https://wdi.centralesupelec.fr/boulanger/publis/MboBouFerCCCT2003.pdf},
class={intconf}
}
2001
@conference{AndBouGirICACSD2001,
author = {Charles André and Frédéric Boulanger and Alain Girault},
title = {Software Implementation of Synchronous Programs},
booktitle = {Proceedings of the 2nd International Conference on
Application of Concurrency to System Design (ICACSD2001)},
publisher = {IEEE Computer Society},
publisheraddress = {Washington, DC, USA},
isbn = {0-7695-1071-X},
pages = {133--142},
month = {June},
year = {2001},
address = {New Castle upon Tyne, UK},
date = {25--29 June 2004},
doi = {http://dx.doi.org/10.1109/CSD.2001.981771},
pdf={https://wdi.centralesupelec.fr/boulanger/publis/AndBouGir2001ICACSD.pdf},
class={intconf}
}
1998
@conference{BouVidECOOP1998,
author = {Frédéric Boulanger and Guy Vidal-Naquet},
title = {Modular Development of Control and Computational Modules Using
Reactive Objects},
booktitle = {Object Oriented Techology: ECOOP'98 Workshop Reader},
publisher = {Springer-Verlag},
address = {London, UK},
issn = {0302-9743},
isbn = {978-3-540-65460-5},
series = {Lecture Notes in Computer Science},
volume = {1543/1998},
pages = {515--518},
month = {July},
year = {1998},
rank = {A (CORE 2007)},
doi = {http://dx.doi.org/10.1007/3-540-49255-0_170},
pdf = {https://wdi.centralesupelec.fr/boulanger/publis/BouVid1998ECOOP.pdf},
class={intconf}
}
@conference{BouVidIDPT1998,
author = {Frédéric Boulanger and Guy Vidal-Naquet},
title = {Integration of Dependability Modules in a Reactive Application},
booktitle = {Proceedings of the 3rd World Conference on Integrated Design
and Process Technology},
pages = {313--319},
month = {July},
year = {1998},
address = {Berlin, Germany},
date = {6--9 July 1998},
pdf = {https://wdi.centralesupelec.fr/boulanger/publis/1998IDPT.pdf},
class={intconf}
}
1996
@conference{BouVidECOOP1996,
author = {Frédéric Boulanger and Guy Vidal-Naquet},
title = {An Object Execution Model for Reactive Modules with a C++
Implementation},
booktitle = {Special Issues in Object-Oriented Programming, ECOOP'96 Workshop Reader},
editor = {Max Mühlhäuser},
publisher = {dpunkt.verlag},
isbn = {3-920993-67-5},
pages = {443--449},
month = {July},
year = {1996},
address = {Linz},
rank = {A (CORE 2007)},
pdf = {https://wdi.centralesupelec.fr/boulanger/publis/1996ECOOP.pdf},
class={intconf},
}
@conference{BouVidIDPT1996,
author = {Frédéric Boulanger and Guy Vidal-Naquet},
title = {Synchronous Reactive Programming in Ptolemy},
booktitle = {Proceedings of the 2nd World Conference on Integrated Design
and Process Technology},
note = {6 pages},
month = {December},
year = {1996},
address = {Austin, Texas, USA},
date = {1--4 December 1996},
doi = {http://citeseer.ist.psu.edu/95880.html},
pdf = {https://wdi.centralesupelec.fr/boulanger/publis/1996IDPT.pdf},
class={intconf}
}
CONFERENCES NATIONALES
1999
@inProceedings{BouVidMSR1999,
author = {Frédéric Boulanger and Guy Vidal-Naquet},
title = {Objets réactifs pour le développement modulaire du contrôle},
booktitle = {Actes du 2e congrès Modélisation des systèmes réactifs
(MSR'99)},
publisher = {Hermes Sciences Publications},
isbn = {2-7462-0017-1},
pages = {333--340},
month = {March},
year = {1999},
address = {Cachan, France},
date = {24--25 March 1999},
pdf = {https://wdi.centralesupelec.fr/boulanger/publis/1999MSR.pdf},
class={natconf}
}
1996
@inProceedings{AndBouPerRigVidAFCET1996,
author = {Charles André and Frédéric Boulanger and Marie-Agnès
Péraldi and Jean-Pierre Rigault and Guy Vidal-Naquet},
title = {Objets et programmation synchrone},
booktitle = {Actes du congrès AFCET Modélisation des systèmes réactifs},
publisher = {AFCET},
pages = {55--62},
month = {March},
year = {1996},
date = {28--29 March 1996},
doi = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.31.1915},
pdf = {https://wdi.centralesupelec.fr/boulanger/publis/1996AFCET.pdf},
class={natconf}
}
1994
@inProceedings{VidBouRTS1994,
author = {Guy Vidal-Naquet and Frédéric Boulanger and Henri Delebecque},
title = {Intégration de modules synchrones dans un langage à objets},
booktitle = {Actes de la conférence Real Time Systems
(RTS'94)},
pages = {245--260},
publisher = {Teknea},
isbn = {978-2-87717-039-0},
month = {January},
year = {1994},
address = {Paris, France},
date = {11--14 January 1994},
pdf = {https://wdi.centralesupelec.fr/boulanger/publis/1994RTS.pdf},
class={natconf}
}