Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Arnaud Dieumegard
@article{DBLP:journals/scp/BodeveixDF20,
author = {Jean{-}Paul Bodeveix and
Arnaud Dieumegard and
Mamoun Filali},
title = {Event-B formalization of a variability-aware component model patterns
framework},
journal = {Sci. Comput. Program.},
volume = {199},
pages = {102511},
year = {2020},
url = {https://doi.org/10.1016/j.scico.2020.102511},
doi = {10.1016/J.SCICO.2020.102511},
timestamp = {Tue, 17 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BodeveixDF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/smr/GeDJV18,
author = {Ning Ge and
Arnaud Dieumegard and
Eric Jenn and
Laurent Voisin},
title = {Correct-by-construction specification to verified code},
journal = {J. Softw. Evol. Process.},
volume = {30},
number = {10},
year = {2018},
url = {https://doi.org/10.1002/smr.1959},
doi = {10.1002/SMR.1959},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/smr/GeDJV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/BodeveixDF18,
author = {Jean{-}Paul Bodeveix and
Arnaud Dieumegard and
Mamoun Filali},
editor = {Kyungmin Bae and
Peter Csaba {\"{O}}lveczky},
title = {Event-B Formalization of a Variability-Aware Component Model Patterns
Framework},
booktitle = {Formal Aspects of Component Software - 15th International Conference,
{FACS} 2018, Pohang, South Korea, October 10-12, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11222},
pages = {54--74},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02146-7\_3},
doi = {10.1007/978-3-030-02146-7\_3},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/facs2/BodeveixDF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/DieumegardGJ17,
author = {Arnaud Dieumegard and
Ning Ge and
Eric Jenn},
editor = {Clark W. Barrett and
Misty D. Davies and
Temesghen Kahsai},
title = {Event-B at Work: Some Lessons Learnt from an Application to a Robot
Anti-collision Function},
booktitle = {{NASA} Formal Methods - 9th International Symposium, {NFM} 2017, Moffett
Field, CA, USA, May 16-18, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10227},
pages = {327--341},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-57288-8\_24},
doi = {10.1007/978-3-319-57288-8\_24},
timestamp = {Sat, 19 Aug 2023 09:51:51 +0200},
biburl = {https://dblp.org/rec/conf/nfm/DieumegardGJ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/GeDJdA17,
author = {Ning Ge and
Arnaud Dieumegard and
Eric Jenn and
Bruno d'Ausbourg and
Yamine A{\"{\i}}t Ameur},
editor = {Fr{\'{e}}d{\'{e}}ric Mallet and
Min Zhang and
Eric Madelaine},
title = {Formal development process of safety-critical embedded human machine
interface systems},
booktitle = {11th International Symposium on Theoretical Aspects of Software Engineering,
{TASE} 2017, Sophia Antipolis, France, September 13-15, 2017},
pages = {1--8},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/TASE.2017.8285636},
doi = {10.1109/TASE.2017.8285636},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/GeDJdA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/DieumegardTP16,
author = {Arnaud Dieumegard and
Andres Toom and
Marc Pantel},
editor = {Maurice H. ter Beek and
Stefania Gnesi and
Alexander Knapp},
title = {Block Library Driven Translation Validation for Dataflow Models in
Safety Critical Systems},
booktitle = {Critical Systems: Formal Methods and Automated Verification - Joint
21st International Workshop on Formal Methods for Industrial Critical
Systems and 16th International Workshop on Automated Verification
of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28,
2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9933},
pages = {117--132},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45943-1\_8},
doi = {10.1007/978-3-319-45943-1\_8},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fmics/DieumegardTP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/SinghAPDJ16,
author = {Neeraj Kumar Singh and
Yamine A{\"{\i}}t Ameur and
Marc Pantel and
Arnaud Dieumegard and
Eric Jenn},
editor = {Hai Wang and
Mounir Mokhtari},
title = {Stepwise Formal Modeling and Verification of Self-Adaptive Systems
with Event-B. The Automatic Rover Protection Case Study},
booktitle = {21st International Conference on Engineering of Complex Computer Systems,
{ICECCS} 2016, Dubai, United Arab Emirates, November 6-8, 2016},
pages = {43--52},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/ICECCS.2016.015},
doi = {10.1109/ICECCS.2016.015},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/SinghAPDJ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GeDJV16,
author = {Ning Ge and
Arnaud Dieumegard and
Eric Jenn and
Laurent Voisin},
title = {From Event-B to Verified {C} via {HLL}},
journal = {CoRR},
volume = {abs/1610.07410},
year = {2016},
url = {http://arxiv.org/abs/1610.07410},
eprinttype = {arXiv},
eprint = {1610.07410},
timestamp = {Mon, 13 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GeDJV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Dieumegard15,
author = {Arnaud Dieumegard},
title = {Formal Guaranties for Safety Critical Code Generation : the Case of
Highly Variable Languages. (Garanties formelles pour la g{\'{e}}n{\'{e}}ration
de code critique : L'affaire des langages fortement variables)},
school = {National Polytechnic Institute of Toulouse, France},
year = {2015},
url = {https://tel.archives-ouvertes.fr/tel-04231015},
timestamp = {Sun, 29 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/hal/Dieumegard15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/DieumegardPBC15,
author = {Arnaud Dieumegard and
Marc Pantel and
Guillaume Babin and
Martin Carton},
editor = {Achim D. Brucker and
Marina Egea and
Martin Gogolla and
Fr{\'{e}}d{\'{e}}ric Tuong},
title = {Tool Paper: {A} Lightweight Formal Encoding of a Constraint Language
for DSMLs},
booktitle = {Proceedings of the 15th International Workshop on {OCL} and Textual
Modeling co-located with 18th International Conference on Model Driven
Engineering Languages and Systems (MoDELS 2015), Ottawa, Canada, September
28, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1512},
pages = {89--104},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1512/paper08.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/DieumegardPBC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/DieumegardGKTT15,
author = {Arnaud Dieumegard and
Pierre{-}Lo{\"{\i}}c Garoche and
Temesghen Kahsai and
Alice Taillar and
Xavier Thirioux},
editor = {Roger L. Wainwright and
Juan Manuel Corchado and
Alessio Bechini and
Jiman Hong},
title = {Compilation of synchronous observers as code contracts},
booktitle = {Proceedings of the 30th Annual {ACM} Symposium on Applied Computing,
Salamanca, Spain, April 13-17, 2015},
pages = {1933--1939},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2695664.2695819},
doi = {10.1145/2695664.2695819},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/DieumegardGKTT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/DieumegardTP14,
author = {Arnaud Dieumegard and
Andres Toom and
Marc Pantel},
editor = {Stefania Gnesi and
Alessandro Fantechi and
Patrick Heymans and
Julia Rubin and
Krzysztof Czarnecki and
Deepak Dhungana},
title = {A software product line approach for semantic specification of block
libraries in dataflow languages},
booktitle = {18th International Software Product Line Conference, {SPLC} '14, Florence,
Italy, September 15-19, 2014},
pages = {217--226},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2648511.2648534},
doi = {10.1145/2648511.2648534},
timestamp = {Fri, 30 Dec 2022 23:08:55 +0100},
biburl = {https://dblp.org/rec/conf/splc/DieumegardTP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/WangJHGDFP13,
author = {Timothy Wang and
Romain Jobredeaux and
Heber Herencia{-}Zapana and
Pierre{-}Lo{\"{\i}}c Garoche and
Arnaud Dieumegard and
Eric Feron and
Marc Pantel},
title = {From Design to Implementation: an Automated, Credible Autocoding Chain
for Control Systems},
journal = {CoRR},
volume = {abs/1307.2641},
year = {2013},
url = {http://arxiv.org/abs/1307.2641},
eprinttype = {arXiv},
eprint = {1307.2641},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/WangJHGDFP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/DieumegardTP12,
author = {Arnaud Dieumegard and
Andres Toom and
Marc Pantel},
editor = {Mira Balaban and
Jordi Cabot and
Martin Gogolla and
Claas Wilke},
title = {Model-based formal specification of a {DSL} library for a qualified
code generator},
booktitle = {Proceedings of the 12th Workshop on {OCL} and Textual Modelling, Innsbruck,
Austria, September 30, 2012},
pages = {61--62},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2428516.2428527},
doi = {10.1145/2428516.2428527},
timestamp = {Wed, 23 Feb 2022 13:04:32 +0100},
biburl = {https://dblp.org/rec/conf/models/DieumegardTP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/CombemaleCDPZ11,
author = {Beno{\^{\i}}t Combemale and
Xavier Cr{\'{e}}gut and
Arnaud Dieumegard and
Marc Pantel and
Faiez Zalila},
title = {Teaching {MDE} through the Formal Verification of Process Models},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {52},
year = {2011},
url = {https://doi.org/10.14279/tuj.eceasst.52.749},
doi = {10.14279/TUJ.ECEASST.52.749},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/CombemaleCDPZ11.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:
