REVUES INTERNATIONALES & Chapitres de livres
2024
@article{2024_QualitativeReasoning,
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://doi.org/10.1007/s11334-024-00567-0},
JOURNAL = {Innovations in Systems and Software Engineering},
PUBLISHER = {{Springer Verlag}},
YEAR = {2024},
DOI = {10.1007/s11334-024-00567-0},
KEYWORDS = {modeling ; qualitative reasoning ; cyber-physical systems ; abstraction ; simulation},
class = "intjournal",
PDF = {https://hal.science/hal-04661330},
HAL_ID = {hal-04661330},
HAL_VERSION = {v1},
}
2021
@article{Belief_Revision-AFP,
author = {Valentin Fouillard and Safouan Taha and Frédéric Boulanger and Nicolas Sabouret},
title = {Belief Revision Theory},
journal = {Archive of Formal Proofs},
month = oct,
year = 2021,
url = {https://www.isa-afp.org/entries/Belief_Revision.html},
pdf = {https://www.isa-afp.org/browser_info/current/AFP/Belief_Revision/document.pdf},
note = {Formal proof development},
ISSN = {2150-914x},
class = "intjournal",
}
2020
@article{2020-06-SNE,
Abstract = {
Ensuring systems behave as they are expected is unavoidable
in the context of critical environments.
In the aviation industry, certification standards provide rules and protocols
to ensure correct maneuvers with respect to logical or timed events.
These are targeted to computer-intensive systems as well as to human flight crews.
In this setting, we are interested in the modeling and simulation of event-driven
and time-driven behaviors at a high level.
This study focuses on the TESL language that provides a logical framework
for timed behaviors with monitoring and testing features.
In particular, we model various aviation scenarios and focus our study on fault monitoring.
},
Author = {Nguyen Van, Hai and Boulanger, Frédéric and Wolff, Burkhart},
Journal = {Simulation Notes Europe},
Month = {Jun},
Number = {2},
Pages = {51-60},
Title = {Timed Discrete-Event Simulation of Aviation Scenarios},
Volume = {30},
Year = {2020},
URL = {https://www.sne-journal.org/sne-volumes/volume-30/sne-301-articles-1/timed-discrete-event-simulation-of-aviation-scenarios},
DOI = {10.11128/sne.30.tn.10512},
PDF = {https://wdi.centralesupelec.fr/boulanger/downloads/Publications/2020-06-SNE},
HAL = {https://hal-centralesupelec.archives-ouvertes.fr/hal-02881889},
class = "intjournal",
}
2019
@article{TESL_Language-AFP,
author = {Hai Nguyen Van and Frédéric Boulanger and Burkhart Wolff},
title = {A Formal Development of a Polychronous Polytimed Coordination Language},
journal = {Archive of Formal Proofs},
month = jul,
year = 2019,
url = {http://isa-afp.org/entries/TESL_Language.html},
pdf = {https://www.isa-afp.org/browser_info/current/AFP/TESL_Language/document.pdf},
note = {Formal proof development},
ISSN = {2150-914x},
class = "intjournal",
}
@article{todorov-MAIS2019,
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 = {520-533},
journal = {Modeling and Analysis of Information Systems},
issn = {1818-1015},
volume = {26},
number = {4},
month = Jul,
year = {2019},
address = {Novosibirsk, Russia},
url = {https://www.mais-journal.ru/jour/article/view/1274},
doi = {https://doi.org/10.18255/1818-1015-2019-4-520-533},
pdf = {https://wdi.centralesupelec.fr/boulanger/publis/2019MAIS.pdf},
hal_url = {https://hal-centralesupelec.archives-ouvertes.fr/hal-02668283},
hal_id = {hal-02668283},
class = {intjournal},
}
2014
@inbook{2014-11_FBO_Modeliser,
Abstract = {La complexité des systèmes ne peut être traitée que par l'abstraction sous forme de modèles, et la décomposition de ces modèles en éléments plus simples. Cela suppose que l'on puisse ensuite combiner les sous-systèmes correspondants pour obtenir un système complet. Ceci est en général difficile, et les méthodes permettant de traiter l'intégration de composants en un système doivent prendre en compte l'hétérogénéité de ces composants, ce qui oblige {\`a} décrire explicitement comment interagissent les différents paradigmes utilisés pour les modéliser.},
Author = {Frédéric Boulanger},
booktitle = {Modéliser & simuler, tome 2},
title = {Modélisation multiparadigme pour la conception des systèmes},
Editor = {Franck Varenne, Marc Silberstein, Sébastien Dutreuil, Philippe Huneman},
EditorAddress = {233, rue de Crimée F-75019 PARIS},
Month = {NOV},
Number = {22},
Pages = {703-724},
Publisher = {Éditions Matériologiques},
Series = {Modélisations, Simulations, Systèmes complexes},
Year = {2014},
ISBN = {978-2-919694-72-3},
e_ISBN = {978-2-919694-73-0},
url = {http://www.materiologiques.com/Modeliser-simuler-Epistemologies,187},
class = "bookchap"
}
2012
@article{AigKanBou2012TCS,
title={A formal abstract framework for modeling and testing complex software systems},
author = {Marc Aiguier and Frédéric Boulanger and Bilal Kanso},
journal={Theoretical Computer Science},
volume={455},
pages={66-97},
year={2012},
month={October},
publisher={Elsevier},
issn={0304-3975},
doi={http://dx.doi.org/10.1016/j.tcs.2011.12.072},
url={http://dx.doi.org/10.1016/j.tcs.2011.12.072},
pdf={https://wdi.centralesupelec.fr/boulanger/publis/2012TCS.pdf},
keywords = "Component based system",
keywords = "Integration operators",
keywords = "Trace semantics",
keywords = "Transfer function",
keywords = "Compositional testing",
keywords = "Conformance testing",
keywords = "Coalgebra",
keywords = "Monad",
impfact={0.838 (2011), 1.085 (2007-2011)},
class = "intjournal"
}
2010
@article{TudPolBou2010JOC,
title={Minimum Tree Cost Quartet Puzzling},
author = {Tudor Ionescu and Géraldine Polaillon and Frédéric Boulanger},
journal={Journal of classification},
volume={27},
number={2},
pages={136-157},
year={2010},
month = {September},
publisher={Springer New-York},
issn={0176-4268},
doi={http://dx.doi.org/10.1007/s00357-010-9053-9},
impfact={1.286 (2009)},
url = "http://www.springerlink.com/content/0176-4268/27/2/",
class = "intjournal"
}
2009
@article{HarBou2009SIM,
title={Exploring Multi-Paradigm Modeling Techniques},
author = {Cécile Hardebolle and Frédéric Boulanger},
journal={SIMULATION: Transactions of The Society for Modeling and Simulation International},
volume={85},
number={11/12},
pages={688-708},
year={2009},
month = {November/December},
publisher={SAGE Publications},
issn={0037-5497},
doi={http://dx.doi.org/10.1177/0037549709105240},
impfact={0.404 (2007)},
rank={B (CORE 2009)},
url = "http://sim.sagepub.com/cgi/content/abstract/85/11-12/688",
pdf={https://wdi.centralesupelec.fr/boulanger/publis/2009Simulation.pdf},
class = "intjournal"
}
@article{HarBou2009IJCA,
title={Multi-Formalism Modelling and Model Execution},
author = {Cécile Hardebolle and Frédéric Boulanger},
journal={International Journal of Computers and their Applications},
volume={31},
number={3},
pages={193-203},
year={2009},
month = {July},
publisher={ACTA Press},
issn={1076-212X},
rank={C (CORE 2009)},
doi={http://dx.doi.org/10.2316/Journal.202.2009.3.202-2967},
note={Special Issue on the International Summer School on Software Engineering},
url = "http://www.actapress.com/Content_of_Journal.aspx?JournalID=111",
pdf = {https://wdi.centralesupelec.fr/boulanger/publis/2009IJCA.pdf},
hal = {https://hal.archives-ouvertes.fr/hal-00421169},
class = "intjournal"
}
@article{FerBouMbo2009JSS,
title={A model of domain-polymorph component for heterogeneous system design},
author = {Mohamed Feredj and Frédéric Boulanger and Aimé Mokho Mbobi},
journal={Journal of Systems and Software},
volume={82},
number={1},
pages={112--120},
year={2009},
month = {January},
issn={0164-1212},
doi={http://dx.doi.org/10.1016/j.jss.2008.05.031},
note={Special Issue: Software Performance - Modeling and Analysis},
publisher={Elsevier},
address={Amsterdam, The Netherlands},
impfact={0.799},
rank={B (CORE 2009)},
url = "http://www.sciencedirect.com/science/article/B6V0N-4SNWVYR-1/2/b9ac66013d2054d7afe1172b3c3ea8c6",
journalurl={http://www.elsevier.com/wps/find/journaldescription.cws_home/505732/description},
pdf={https://wdi.centralesupelec.fr/boulanger/publis/2009JSS.pdf},
class = "intjournal"
}
2008
@article{Bou2008IRECOS,
title={Integration of Dependability Features in a Synchronous Application},
author = {Frédéric Boulanger},
journal={International Review on Computers and Software (IRECOS)},
volume={3},
number={1},
pages={31--37},
year={2008},
month = {January},
issn={1828-6003},
publisher={Praise Worthy Prize},
address={Napoli, Italy},
url={http://www.praiseworthyprize.com/IRECOS-latest/IRECOS_vol_3_n_1.html},
class = "intjournal"
}
2007
@article{MboBouFer2007IRECOS,
title={An Approach of Flat Heterogeneous Modeling based on Heterogeneous Interface Components},
author = {Aimé Mbobi and Frédéric Boulanger and Mohamed Feredj},
journal={International Review on Computers and Software (IRECOS)},
volume={2},
number={2},
pages={179--189},
year={2007},
month = {March},
issn={1828-6003},
publisher={Praise Worthy Prize},
address={Napoli, Italy},
url={http://www.praiseworthyprize.com/IRECOS-latest/IRECOS_vol_2_n_2.html},
class = "intjournal"
}
1997
@article{AndBouPerRigVidJESA1997,
title={Objects and Synchronous Programming},
author={Charles André and Frédéric Boulanger and Marie-Agnès Péraldi
and Jean-Pierre Rigault and Guy Vidal-Naquet},
journal={Journal Européen des Systèmes Automatisés (JESA)},
volume={31},
number={3/1997},
pages={417--432},
issn={1269-6935},
publisher={Hermès/Lavoisier, Cachan, France},
year ={1997},
inst = {http://cat.inist.fr/?aModele=afficheN&cpsidt=2730009},
pdf={https://wdi.centralesupelec.fr/boulanger/publis/1997JESA.pdf},
class = "intjournal"
}