Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Mamoun Filali
@inproceedings{DBLP:conf/zum/FaresBF23,
author = {Elie Fares and
Jean{-}Paul Bodeveix and
Mamoun Filali},
editor = {Uwe Gl{\"{a}}sser and
Jos{\'{e}} Creissac Campos and
Dominique M{\'{e}}ry and
Philippe A. Palanque},
title = {Pattern-Based Refinement Generation Through Domain Specific Languages},
booktitle = {Rigorous State-Based Methods - 9th International Conference, {ABZ}
2023, Nancy, France, May 30 - June 2, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14010},
pages = {35--42},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-33163-3\_3},
doi = {10.1007/978-3-031-33163-3\_3},
timestamp = {Fri, 02 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/zum/FaresBF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/YangBYHBFG21,
author = {Zhibin Yang and
Yang Bao and
Yongqiang Yang and
Zhiqiu Huang and
Jean{-}Paul Bodeveix and
Mamoun Filali and
Zonghua Gu},
title = {Exploiting augmented intelligence in the modeling of safety-critical
autonomous systems},
journal = {Formal Aspects Comput.},
volume = {33},
number = {3},
pages = {343--384},
year = {2021},
url = {https://doi.org/10.1007/s00165-021-00543-6},
doi = {10.1007/S00165-021-00543-6},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/YangBYHBFG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/YangQZHBF21,
author = {Zhibin Yang and
Zhikai Qiu and
Yong Zhou and
Zhiqiu Huang and
Jean{-}Paul Bodeveix and
Mamoun Filali},
title = {C2AADL{\_}Reverse: {A} model-driven reverse engineering approach to
development and verification of safety-critical software},
journal = {J. Syst. Archit.},
volume = {118},
pages = {102202},
year = {2021},
url = {https://doi.org/10.1016/j.sysarc.2021.102202},
doi = {10.1016/J.SYSARC.2021.102202},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsa/YangQZHBF21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/YangYBFWZ21,
author = {Zhibin Yang and
Shenghao Yuan and
Jean{-}Paul Bodeveix and
Mamoun Filali and
Tiexin Wang and
Yong Zhou},
title = {Multi-task Ada code generation from synchronous dataflow programs
on multi-core: Approach and industrial study},
journal = {Sci. Comput. Program.},
volume = {207},
pages = {102644},
year = {2021},
url = {https://doi.org/10.1016/j.scico.2021.102644},
doi = {10.1016/J.SCICO.2021.102644},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/YangYBFWZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/BodeveixF21,
author = {Jean{-}Paul Bodeveix and
Mamoun Filali},
editor = {Alexander Raschke and
Dominique M{\'{e}}ry},
title = {Event-B Formalization of Event-B Contexts},
booktitle = {Rigorous State-Based Methods - 8th International Conference, {ABZ}
2021, Ulm, Germany, June 9-11, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12709},
pages = {66--80},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-77543-8\_5},
doi = {10.1007/978-3-030-77543-8\_5},
timestamp = {Tue, 15 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/BodeveixF21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/Zhu0FBTC21,
author = {Jian Zhu and
Kai Hu and
Mamoun Filali and
Jean{-}Paul Bodeveix and
Jean{-}Pierre Talpin and
Haitao Cao},
title = {Formal Simulation and Verification of Solidity contracts in Event-B},
booktitle = {{IEEE} 45th Annual Computers, Software, and Applications Conference,
{COMPSAC} 2021, Madrid, Spain, July 12-16, 2021},
pages = {1309--1314},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/COMPSAC51774.2021.00183},
doi = {10.1109/COMPSAC51774.2021.00183},
timestamp = {Fri, 29 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compsac/Zhu0FBTC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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/tr/WangYHLZBF20,
author = {Fei Wang and
Zhibin Yang and
Zhi{-}qiu Huang and
Chengwei Liu and
Yong Zhou and
Jean{-}Paul Bodeveix and
Mamoun Filali},
title = {An Approach to Generate the Traceability Between Restricted Natural
Language Requirements and {AADL} Models},
journal = {{IEEE} Trans. Reliab.},
volume = {69},
number = {1},
pages = {154--173},
year = {2020},
url = {https://doi.org/10.1109/TR.2019.2936072},
doi = {10.1109/TR.2019.2936072},
timestamp = {Thu, 27 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tr/WangYHLZBF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-01261,
author = {Jian Zhu and
Kai Hu and
Mamoun Filali and
Jean{-}Paul Bodeveix and
Jean{-}Pierre Talpin},
title = {Formal Verification of Solidity contracts in Event-B},
journal = {CoRR},
volume = {abs/2005.01261},
year = {2020},
url = {https://arxiv.org/abs/2005.01261},
eprinttype = {arXiv},
eprint = {2005.01261},
timestamp = {Wed, 03 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-01261.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fcsc/YangBF19,
author = {Zhibin Yang and
Jean{-}Paul Bodeveix and
Mamoun Filali},
title = {Towards a simple and safe Objective Caml compiling framework for the
synchronous language {SIGNAL}},
journal = {Frontiers Comput. Sci.},
volume = {13},
number = {4},
pages = {715--734},
year = {2019},
url = {https://doi.org/10.1007/s11704-017-6485-y},
doi = {10.1007/S11704-017-6485-Y},
timestamp = {Tue, 04 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fcsc/YangBF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BodeveixBCF19,
author = {Jean{-}Paul Bodeveix and
Julien Brunel and
David Chemouil and
Mamoun Filali},
editor = {Maurice H. ter Beek and
Annabelle McIver and
Jos{\'{e}} N. Oliveira},
title = {Mechanically Verifying the Fundamental Liveness Property of the Chord
Protocol},
booktitle = {Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019,
Porto, Portugal, October 7-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11800},
pages = {45--63},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30942-8\_5},
doi = {10.1007/978-3-030-30942-8\_5},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/BodeveixBCF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/YuanYBFWZ19,
author = {Shenghao Yuan and
Zhibin Yang and
Jean{-}Paul Bodeveix and
Mamoun Filali and
Tiexin Wang and
Yong Zhou},
editor = {Osman Hasan and
Fr{\'{e}}d{\'{e}}ric Mallet},
title = {Automated Ada Code Generation from Synchronous Dataflow Programs on
Multicore: Approach and Industrial Study},
booktitle = {Formal Techniques for Safety-Critical Systems - 7th International
Workshop, {FTSCS} 2019, Shenzhen, China, November 9, 2019, Revised
Selected Papers},
series = {Communications in Computer and Information Science},
volume = {1165},
pages = {57--73},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-46902-3\_4},
doi = {10.1007/978-3-030-46902-3\_4},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftscs/YuanYBFWZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/RoulandHBF19,
author = {Quentin Rouland and
Brahim Hamid and
Jean{-}Paul Bodeveix and
Mamoun Filali},
editor = {Jun Pang and
Jing Sun},
title = {A Formal Methods Approach to Security Requirements Specification and
Verification},
booktitle = {24th International Conference on Engineering of Complex Computer Systems,
{ICECCS} 2019, Guangzhou, China, November 10-13, 2019},
pages = {236--241},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ICECCS.2019.00033},
doi = {10.1109/ICECCS.2019.00033},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/RoulandHBF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/FaresBF18,
author = {Elie Fares and
Jean{-}Paul Bodeveix and
Mamoun Filali},
title = {Event algebra for transition systems composition application to timed
automata},
journal = {Acta Informatica},
volume = {55},
number = {5},
pages = {363--400},
year = {2018},
url = {https://doi.org/10.1007/s00236-017-0302-9},
doi = {10.1007/S00236-017-0302-9},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/FaresBF18.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/memocode/XuYHZLXBF18,
author = {Jinmiao Xu and
Zhibin Yang and
Zhiqiu Huang and
Yong Zhou and
Chengwei Liu and
Lei Xue and
Jean{-}Paul Bodeveix and
Mamoun Filali},
title = {Hierarchical Behavior Annex: Towards an {AADL} Functional Specification
Extension},
booktitle = {16th {ACM/IEEE} International Conference on Formal Methods and Models
for System Design, {MEMOCODE} 2018, Beijing, China, October 15-18,
2018},
pages = {88--98},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/MEMCOD.2018.8557005},
doi = {10.1109/MEMCOD.2018.8557005},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/memocode/XuYHZLXBF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/BodeveixFK17,
author = {Jean{-}Paul Bodeveix and
Mamoun Filali{-}Amine and
Shuanglong Kan},
editor = {Jean{-}Pierre Talpin and
Patricia Derler and
Klaus Schneider},
title = {A refinement-based compiler development for synchronous languages},
booktitle = {Proceedings of the 15th {ACM-IEEE} International Conference on Formal
Methods and Models for System Design, {MEMOCODE} 2017, Vienna, Austria,
September 29 - October 02, 2017},
pages = {165--174},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3127041.3127056},
doi = {10.1145/3127041.3127056},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/BodeveixFK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/SialaBFB17,
author = {Badr Siala and
Jean{-}Paul Bodeveix and
Mamoun Filali and
Mohamed Tahar Bhiri},
editor = {Igor V. Kotenko and
Yiannis Cotronis and
Masoud Daneshtalab},
title = {Automatic Refinement for Event-B through Annotated Patterns},
booktitle = {25th Euromicro International Conference on Parallel, Distributed and
Network-based Processing, {PDP} 2017, St. Petersburg, Russia, March
6-8, 2017},
pages = {287--290},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/PDP.2017.72},
doi = {10.1109/PDP.2017.72},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdp/SialaBFB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BodeveixFBS17,
author = {Jean{-}Paul Bodeveix and
Mamoun Filali and
Mohamed Tahar Bhiri and
Badr Siala},
title = {An Event-B framework for the validation of Event-B refinement plugins},
journal = {CoRR},
volume = {abs/1701.00960},
year = {2017},
url = {http://arxiv.org/abs/1701.00960},
eprinttype = {arXiv},
eprint = {1701.00960},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BodeveixFBS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fcsc/YangBFHZM16,
author = {Zhibin Yang and
Jean{-}Paul Bodeveix and
Mamoun Filali and
Kai Hu and
Yongwang Zhao and
Dianfu Ma},
title = {Towards a verified compiler prototype for the synchronous language
{SIGNAL}},
journal = {Frontiers Comput. Sci.},
volume = {10},
number = {1},
pages = {37--53},
year = {2016},
url = {https://doi.org/10.1007/s11704-015-4364-y},
doi = {10.1007/S11704-015-4364-Y},
timestamp = {Wed, 03 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fcsc/YangBFHZM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/SialaBBF16,
author = {Badr Siala and
Mohamed Tahar Bhiri and
Jean{-}Paul Bodeveix and
Mamoun Filali},
editor = {Kazuhiro Ogata and
Mark Lawford and
Shaoying Liu},
title = {An Event-B Development Process for the Distributed {BIP} Framework},
booktitle = {Formal Methods and Software Engineering - 18th International Conference
on Formal Engineering Methods, {ICFEM} 2016, Tokyo, Japan, November
14-18, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10009},
pages = {313--328},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47846-3\_20},
doi = {10.1007/978-3-319-47846-3\_20},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/SialaBBF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BodeveixFGSY15,
author = {Jean{-}Paul Bodeveix and
Mamoun Filali and
Manuel Garnacho and
R{\'{e}}gis Spadotti and
Zhibin Yang},
title = {Towards a verified transformation from {AADL} to the formal component-based
language {FIACRE}},
journal = {Sci. Comput. Program.},
volume = {106},
pages = {30--53},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2015.03.003},
doi = {10.1016/J.SCICO.2015.03.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BodeveixFGSY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BerthomieuBDFBV15,
author = {Bernard Berthomieu and
Jean{-}Paul Bodeveix and
Silvano Dal{-}Zilio and
Mamoun Filali and
Didier Le Botlan and
Guillaume Verdier and
Fran{\c{c}}ois Vernadat},
title = {Real-Time Model Checking Support for {AADL}},
journal = {CoRR},
volume = {abs/1503.00493},
year = {2015},
url = {http://arxiv.org/abs/1503.00493},
eprinttype = {arXiv},
eprint = {1503.00493},
timestamp = {Wed, 17 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/BerthomieuBDFBV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arcs/HerbegueFC14,
author = {Hajer Herbegue and
Mamoun Filali and
Hugues Cass{\'{e}}},
editor = {Erik Maehle and
Kay R{\"{o}}mer and
Wolfgang Karl and
Eduardo Tovar},
title = {Formal Architecture Specification for Time Analysis},
booktitle = {Architecture of Computing Systems - {ARCS} 2014 - 27th International
Conference, L{\"{u}}beck, Germany, February 25-28, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8350},
pages = {98--110},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-04891-8\_9},
doi = {10.1007/978-3-319-04891-8\_9},
timestamp = {Thu, 14 Oct 2021 10:21:06 +0200},
biburl = {https://dblp.org/rec/conf/arcs/HerbegueFC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/FilaliOR14,
author = {Mamoun Filali and
Meriem Ouederni and
Jean{-}Baptiste Raclet},
editor = {Cyrille Artho and
Peter Csaba {\"{O}}lveczky},
title = {A Normalized Form for {FIFO} Protocols Traces, Application to the
Replay of Mode-based Protocols},
booktitle = {Formal Techniques for Safety-Critical Systems - Third International
Workshop, {FTSCS} 2014, Luxembourg, November 6-7, 2014. Revised Selected
Papers},
series = {Communications in Computer and Information Science},
volume = {476},
pages = {76--92},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-17581-2\_6},
doi = {10.1007/978-3-319-17581-2\_6},
timestamp = {Wed, 24 May 2017 08:30:54 +0200},
biburl = {https://dblp.org/rec/conf/ftscs/FilaliOR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/YangBF14,
author = {Zhibin Yang and
Jean{-}Paul Bodeveix and
Mamoun Filali},
editor = {Julien Delange and
Peter H. Feiler},
title = {Multi-Core Code Generation from Polychronous Programs with Time-Predictable
Properties},
booktitle = {Proceedings of the First International Workshop on Architecture Centric
Virtual Integration co-located with the 17th International Conference
on Model Driven Engineering Languages and Systems, ACVI@MoDELS 2014,
Valencia, Spain, September 29, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1233},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1233/acvi14\_submission\_4.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/YangBF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scopes/YangBFHM14,
author = {Zhibin Yang and
Jean{-}Paul Bodeveix and
Mamoun Filali and
Kai Hu and
Dianfu Ma},
editor = {Henk Corporaal and
Sander Stuijk},
title = {A verified transformation: from polychronous programs to a variant
of clocked guarded actions},
booktitle = {17th International Workshop on Software and Compilers for Embedded
Systems, {SCOPES} '14, Sankt Goar, Germany, June 10-11, 2014},
pages = {128--137},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2609248.2609259},
doi = {10.1145/2609248.2609259},
timestamp = {Wed, 03 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scopes/YangBFHM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fcsc/YangBF13,
author = {Zhibin Yang and
Jean{-}Paul Bodeveix and
Mamoun Filali},
title = {A comparative study of two formal semantics of the {SIGNAL} language},
journal = {Frontiers Comput. Sci.},
volume = {7},
number = {5},
pages = {673--693},
year = {2013},
url = {https://doi.org/10.1007/s11704-013-3908-2},
doi = {10.1007/S11704-013-3908-2},
timestamp = {Mon, 19 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fcsc/YangBF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/FaresBFG13,
author = {Elie Fares and
Jean{-}Paul Bodeveix and
Mamoun Filali{-}Amine and
Manuel Garnacho},
editor = {Dang Van Hung and
Mizuhito Ogawa},
title = {An Automatic Technique for Checking the Simulation of Timed Systems},
booktitle = {Automated Technology for Verification and Analysis - 11th International
Symposium, {ATVA} 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8172},
pages = {71--86},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-02444-8\_7},
doi = {10.1007/978-3-319-02444-8\_7},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/FaresBFG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/GarnachoBF13,
author = {Manuel Garnacho and
Jean{-}Paul Bodeveix and
Mamoun Filali{-}Amine},
editor = {V{\'{\i}}ctor A. Braberman and
Laurent Fribourg},
title = {A Mechanized Semantic Framework for Real-Time Systems},
booktitle = {Formal Modeling and Analysis of Timed Systems - 11th International
Conference, {FORMATS} 2013, Buenos Aires, Argentina, August 29-31,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8053},
pages = {106--120},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40229-6\_8},
doi = {10.1007/978-3-642-40229-6\_8},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/GarnachoBF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/BoudjadarVBF13,
author = {Abdeldjalil Boudjadar and
Frits W. Vaandrager and
Jean{-}Paul Bodeveix and
Mamoun Filali},
editor = {Farhad Arbab and
Marjan Sirjani},
title = {Extending {UPPAAL} for the Modeling and Verification of Dynamic Real-Time
Systems},
booktitle = {Fundamentals of Software Engineering - 5th International Conference,
{FSEN} 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8161},
pages = {111--132},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40213-5\_8},
doi = {10.1007/978-3-642-40213-5\_8},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/fsen/BoudjadarVBF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sies/HerbegueCFR13,
author = {Hajer Herbegue and
Hugues Cass{\'{e}} and
Mamoun Filali and
Christine Rochange},
title = {Hardware architecture specification and constraint-based {WCET} computation},
booktitle = {8th {IEEE} International Symposium on Industrial Embedded Systems,
{SIES} 2013, Porto, Portugal, June 19-21, 2013},
pages = {259--268},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/SIES.2013.6601499},
doi = {10.1109/SIES.2013.6601499},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/sies/HerbegueCFR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/FaresBF13,
author = {Elie Fares and
Jean{-}Paul Bodeveix and
Mamoun Filali},
editor = {C{\'{e}}sar S{\'{a}}nchez and
Kristen Brent Venable and
Esteban Zim{\'{a}}nyi},
title = {Event Algebra for Transition Systems Composition - Application to
Timed Automata},
booktitle = {2013 20th International Symposium on Temporal Representation and Reasoning,
Pensacola, FL, USA, September 26-28, 2013},
pages = {125--132},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/TIME.2013.23},
doi = {10.1109/TIME.2013.23},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/FaresBF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soco/BoudjadarBF12,
author = {Abdeldjalil Boudjadar and
Jean{-}Paul Bodeveix and
Mamoun Filali},
editor = {Thomas Gschwind and
Flavio De Paoli and
Volker Gruhn and
Matthias Book},
title = {Revising and Extending the Uppaal Communication Mechanism},
booktitle = {Software Composition - 11th International Conference, SC@TOOLS 2012,
Prague, Czech Republic, May 31 - June 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7306},
pages = {114--131},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30564-1\_8},
doi = {10.1007/978-3-642-30564-1\_8},
timestamp = {Thu, 25 Jun 2020 18:42:50 +0200},
biburl = {https://dblp.org/rec/conf/soco/BoudjadarBF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/BoudjadarBF12,
author = {Abdeldjalil Boudjadar and
Jean{-}Paul Bodeveix and
Mamoun Filali},
editor = {Ben C. Moszkowski and
Mark Reynolds and
Paolo Terenziani},
title = {Compositional Refinement for Real-Time Systems with Priorities},
booktitle = {19th International Symposium on Temporal Representation and Reasoning,
{TIME} 2012, Leicester, United Kingdom, September 12-14, 2012},
pages = {57--64},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/TIME.2012.21},
doi = {10.1109/TIME.2012.21},
timestamp = {Thu, 15 Feb 2024 11:49:14 +0100},
biburl = {https://dblp.org/rec/conf/time/BoudjadarBF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/BodeveixBF11,
author = {Jean{-}Paul Bodeveix and
Abdeldjalil Boudjadar and
Mamoun Filali},
editor = {Tevfik Bultan and
Pao{-}Ann Hsiung},
title = {An Alternative Definition for Timed Automata Composition},
booktitle = {Automated Technology for Verification and Analysis, 9th International
Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6996},
pages = {105--119},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24372-1\_9},
doi = {10.1007/978-3-642-24372-1\_9},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/BodeveixBF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/FaresBF11,
author = {Elie Fares and
Jean{-}Paul Bodeveix and
Mamoun Filali},
editor = {Terry A. Halpin and
Selmin Nurcan and
John Krogstie and
Pnina Soffer and
Erik Proper and
Rainer Schmidt and
Ilia Bider},
title = {Verification of Timed {BPEL} 2.0 Models},
booktitle = {Enterprise, Business-Process and Information Systems Modeling - 12th
International Conference, {BPMDS} 2011, and 16th International Conference,
{EMMSAD} 2011, held at CAiSE 2011, London, UK, June 20-21, 2011. Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {81},
pages = {261--275},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21759-3\_19},
doi = {10.1007/978-3-642-21759-3\_19},
timestamp = {Fri, 09 Apr 2021 18:46:25 +0200},
biburl = {https://dblp.org/rec/conf/caise/FaresBF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/PerseilPRFDBJBMBFZBSCAFMG11,
author = {Isabelle Perseil and
Laurent Pautet and
Jean{-}Fran{\c{c}}ois Rolland and
Mamoun Filali and
Didier Delanote and
Stefan Van Baelen and
Wouter Joosen and
Yolande Berbers and
Fr{\'{e}}d{\'{e}}ric Mallet and
Dominique Bertrand and
S{\'{e}}bastien Faucou and
Abdelhafid Zitouni and
Mahmoud Boufa{\"{\i}}da and
Lionel Seinturier and
Jo{\"{e}}l Champeau and
Thomas Abdoul and
Peter H. Feiler and
Chokri Mraidha and
S{\'{e}}bastien G{\'{e}}rard},
editor = {Isabelle Perseil and
Karin K. Breitman and
Roy Sterritt},
title = {An Efficient Modeling and Execution Framework for Complex Systems
Development},
booktitle = {16th {IEEE} International Conference on Engineering of Complex Computer
Systems, {ICECCS} 2011, Las Vegas, Nevada, USA, 27-29 April 2011},
pages = {317--331},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICECCS.2011.38},
doi = {10.1109/ICECCS.2011.38},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/PerseilPRFDBJBMBFZBSCAFMG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/FaresBF11,
author = {Elie Fares and
Jean{-}Paul Bodeveix and
Mamoun Filali},
editor = {Marco Carbone and
Jean{-}Marc Petit},
title = {Design of a {BPEL} Verification Tool},
booktitle = {Web Services and Formal Methods - 8th International Workshop, {WS-FM}
2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7176},
pages = {95--110},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29834-9\_8},
doi = {10.1007/978-3-642-29834-9\_8},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/FaresBF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BodeveixF11,
author = {Jean{-}Paul Bodeveix and
Mamoun Filali},
editor = {Marie{-}Laure Potet and
Helen Treharne},
title = {Event {B} Development of a Synchronous {AADL} Scheduler},
booktitle = {Proceedings of the {B} 2011 Workshop, a satellite event of the 17th
International Symposium on Formal Methods, {FM} 2011, Limerick, Ireland,
June 21, 2011},
series = {Electronic Notes in Theoretical Computer Science},
volume = {280},
pages = {23--33},
publisher = {Elsevier},
year = {2011},
url = {https://doi.org/10.1016/j.entcs.2011.11.015},
doi = {10.1016/J.ENTCS.2011.11.015},
timestamp = {Fri, 10 Mar 2023 15:49:46 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BodeveixF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/Filali-AmineL10,
author = {Mamoun Filali{-}Amine and
Julia Lawall},
editor = {Marc Frappier and
Uwe Gl{\"{a}}sser and
Sarfraz Khurshid and
R{\'{e}}gine Laleau and
Steve Reeves},
title = {Development of a Synchronous Subset of {AADL}},
booktitle = {Abstract State Machines, Alloy, {B} and Z, Second International Conference,
{ABZ} 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5977},
pages = {245--258},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11811-1\_19},
doi = {10.1007/978-3-642-11811-1\_19},
timestamp = {Mon, 17 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asm/Filali-AmineL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/CorreaBFBFV10,
author = {T. Correa and
Leandro Buss Becker and
Jean{-}Marie Farines and
Jean{-}Paul Bodeveix and
Mamoun Filali and
Fran{\c{c}}ois Vernadat},
editor = {Radu Calinescu and
Richard F. Paige and
Marta Z. Kwiatkowska},
title = {Supporting the Design of Safety Critical Systems Using {AADL}},
booktitle = {15th {IEEE} International Conference on Engineering of Complex Computer
Systems, {ICECCS} 2010, Oxford, United Kingdom, 22-26 March 2010},
pages = {331--336},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ICECCS.2010.56},
doi = {10.1109/ICECCS.2010.56},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/CorreaBFBFV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/10/CortierBBBDFGOPRST10,
author = {Alexandre Cortier and
Lo{\"{\i}}c Besnard and
Jean{-}Paul Bodeveix and
J{\'{e}}r{\'{e}}my Buisson and
Fabien Dagnat and
Mamoun Filali and
G{\'{e}}rald Garcia and
Julien Ouy and
Marc Pantel and
Ana{-}Elena Rugina and
Martin Strecker and
Jean{-}Pierre Talpin},
editor = {Sandeep Kumar Shukla and
Jean{-}Pierre Talpin},
title = {Synoptic: {A} Domain-Specific Modeling Language for Space On-board
Application Software},
booktitle = {Synthesis of Embedded Software - Frameworks and Methodologies for
Correctness by Construction},
pages = {79--119},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-1-4419-6400-7\_3},
doi = {10.1007/978-1-4419-6400-7\_3},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/sp/10/CortierBBBDFGOPRST10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/PiBF09,
author = {Lei Pi and
Jean{-}Paul Bodeveix and
Mamoun Filali},
editor = {Fabrice Kordon and
Yvon Kermarrec},
title = {Modeling {AADL} Data Communication with {BIP}},
booktitle = {Reliable Software Technologies - Ada-Europe 2009, 14th Ada-Europe
International Conference, Brest, France, June 8-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5570},
pages = {192--206},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-01924-1\_14},
doi = {10.1007/978-3-642-01924-1\_14},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/PiBF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/BerthomieuBCDFV09,
author = {Bernard Berthomieu and
Jean{-}Paul Bodeveix and
Christelle Chaudet and
Silvano Dal{-}Zilio and
Mamoun Filali and
Fran{\c{c}}ois Vernadat},
editor = {Fabrice Kordon and
Yvon Kermarrec},
title = {Formal Verification of {AADL} Specifications in the Topcased Environment},
booktitle = {Reliable Software Technologies - Ada-Europe 2009, 14th Ada-Europe
International Conference, Brest, France, June 8-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5570},
pages = {207--221},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-01924-1\_15},
doi = {10.1007/978-3-642-01924-1\_15},
timestamp = {Wed, 17 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adaEurope/BerthomieuBCDFV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/PiYBFHM09,
author = {Lei Pi and
Zhibin Yang and
Jean{-}Paul Bodeveix and
Mamoun Filali and
Kai Hu and
Dianfu Ma},
title = {A Comparative Study of {FIACRE} and {TASM} to Define {AADL} Real Time
Concepts},
booktitle = {14th {IEEE} International Conference on Engineering of Complex Computer
Systems, {ICECCS} 2009, Potsdam, Germany, 2-4 June 2009},
pages = {347--352},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICECCS.2009.9},
doi = {10.1109/ICECCS.2009.9},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/PiYBFHM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/FrancaBBFF09,
author = {Ricardo Bedin Fran{\c{c}}a and
Leandro Buss Becker and
Jean{-}Paul Bodeveix and
Jean{-}Marie Farines and
Mamoun Filali},
editor = {Marcel Vin{\'{\i}}cius Medeiros Oliveira and
Jim Woodcock},
title = {Towards Safe Design of Synchronous Bus Protocols in Event-B},
booktitle = {Formal Methods: Foundations and Applications, 12th Brazilian Symposium
on Formal Methods, {SBMF} 2009, Gramado, Brazil, August 19-21, 2009,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5902},
pages = {170--185},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10452-7\_12},
doi = {10.1007/978-3-642-10452-7\_12},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/FrancaBBFF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/Lobjet/NasrRBF08,
author = {Odile Nasr and
M. Rached and
Jean{-}Paul Bodeveix and
Mamoun Filali},
title = {Sp{\'{e}}cification et v{\'{e}}rification d'un ordonnanceur
en {B} via les automates temporis{\'{e}}s},
journal = {Obj. Logiciel Base donn{\'{e}}es R{\'{e}}seaux},
volume = {14},
number = {4},
pages = {43--72},
year = {2008},
url = {https://doi.org/10.3166/obj.14.4.43-72},
doi = {10.3166/OBJ.14.4.43-72},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/Lobjet/NasrRBF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/RollandBFCT08,
author = {Jean{-}Fran{\c{c}}ois Rolland and
Jean{-}Paul Bodeveix and
Mamoun Filali and
David Chemouil and
Dave Thomas},
title = {Modes in Asynchronous Systems},
booktitle = {13th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland},
pages = {282--287},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICECCS.2008.28},
doi = {10.1109/ICECCS.2008.28},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/RollandBFCT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/OberBGFWG08,
author = {Iulian Ober and
Stefan Van Baelen and
Susanne Graf and
Mamoun Filali and
Thomas Weigert and
S{\'{e}}bastien G{\'{e}}rard},
editor = {Michel R. V. Chaudron},
title = {Model Based Architecting and Construction of Embedded Systems},
booktitle = {Models in Software Engineering, Workshops and Symposia at {MODELS}
2008, Toulouse, France, September 28 - October 3, 2008. Reports and
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5421},
pages = {1--4},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-01648-6\_1},
doi = {10.1007/978-3-642-01648-6\_1},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/OberBGFWG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigbed/GerardFRFRDBPP07,
author = {S{\'{e}}bastien G{\'{e}}rard and
Peter H. Feiler and
Jean{-}Fran{\c{c}}ois Rolland and
Mamoun Filali and
Mark{-}Oliver Reiser and
Didier Delanote and
Yolande Berbers and
Laurent Pautet and
Isabelle Perseil},
title = {UML{\&}AADL '2007 grand challenges},
journal = {{SIGBED} Rev.},
volume = {4},
number = {4},
pages = {1},
year = {2007},
url = {https://doi.org/10.1145/1366546.1366547},
doi = {10.1145/1366546.1366547},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigbed/GerardFRFRDBPP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Filali07,
author = {Mamoun Filali},
editor = {Bernhard Beckert},
title = {A Mechanization of Phylogenetic Trees},
booktitle = {Proceedings of 4th International Verification Workshop in connection
with CADE-21, Bremen, Germany, July 15-16, 2007},
series = {{CEUR} Workshop Proceedings},
volume = {259},
publisher = {CEUR-WS.org},
year = {2007},
url = {https://ceur-ws.org/Vol-259/paper05.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:14 +0100},
biburl = {https://dblp.org/rec/conf/cade/Filali07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/FrancaBFRCT07,
author = {Ricardo Bedin Fran{\c{c}}a and
Jean{-}Paul Bodeveix and
Mamoun Filali and
Jean{-}Fran{\c{c}}ois Rolland and
David Chemouil and
Dave Thomas},
title = {The {AADL} behaviour annex - experiments and roadmap},
booktitle = {12th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2007), 10-14 July 2007, Auckland, New Zealand},
pages = {377--382},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICECCS.2007.41},
doi = {10.1109/ICECCS.2007.41},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/FrancaBFRCT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jtres/BodeveixCCFR07,
author = {Jean{-}Paul Bodeveix and
Rapha{\"{e}}l Cavallero and
David Chemouil and
Mamoun Filali and
Jean{-}Fran{\c{c}}ois Rolland},
editor = {Gregory Bollella},
title = {A mapping from {AADL} to Java-RTSJ},
booktitle = {Proceedings of the 5th International Workshop on Java Technologies
for Real-time and Embedded Systems, {JTRES} 2007, Institute of Computer
Engineering, Vienna University of Technology, 26-28 September 2007,
Vienna, Austria},
series = {{ACM} International Conference Proceeding Series},
pages = {165--174},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1288940.1288965},
doi = {10.1145/1288940.1288965},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jtres/BodeveixCCFR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/BrunelBF06,
author = {Julien Brunel and
Jean{-}Paul Bodeveix and
Mamoun Filali},
editor = {Lou Goble and
John{-}Jules Ch. Meyer},
title = {A State/Event Temporal Deontic Logic},
booktitle = {Deontic Logic and Artificial Normative Systems, 8th International
Workshop on Deontic Logic in Computer Science, {DEON} 2006, Utrecht,
The Netherlands, July 12-14, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4048},
pages = {85--100},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11786849\_9},
doi = {10.1007/11786849\_9},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/deon/BrunelBF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/NasrBFI06,
author = {Odile Nasr and
Jean{-}Paul Bodeveix and
Mamoun Filali and
Miloud Rached Irit},
editor = {Hisham Haddad},
title = {Verification of a scheduler in {B} through a timed automata specification},
booktitle = {Proceedings of the 2006 {ACM} Symposium on Applied Computing (SAC),
Dijon, France, April 23-27, 2006},
pages = {1800--1801},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1141277.1141700},
doi = {10.1145/1141277.1141700},
timestamp = {Tue, 06 Nov 2018 11:06:49 +0100},
biburl = {https://dblp.org/rec/conf/sac/NasrBFI06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BodeveixFLM07,
author = {Jean{-}Paul Bodeveix and
Mamoun Filali and
Julia L. Lawall and
Gilles Muller},
editor = {Stephan Merz and
Tobias Nipkow},
title = {Automatic Verification of Bossa Scheduler Properties},
booktitle = {Proceedings of the 6th International Workshop on Automated Verification
of Critical Systems, AVoCS 2006, Nancy, France, September 18-19, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {185},
pages = {17--32},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.05.026},
doi = {10.1016/J.ENTCS.2007.05.026},
timestamp = {Tue, 24 Jan 2023 14:10:03 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BodeveixFLM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/BodeveixFLM05,
author = {Jean{-}Paul Bodeveix and
Mamoun Filali and
Julia Lawall and
Gilles Muller},
editor = {Judi Romijn and
Graeme Smith and
Jaco van de Pol},
title = {Formal Methods Meet Domain Specific Languages},
booktitle = {Integrated Formal Methods, 5th International Conference, {IFM} 2005,
Eindhoven, The Netherlands, November 29 - December 2, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3771},
pages = {187--206},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11589976\_12},
doi = {10.1007/11589976\_12},
timestamp = {Thu, 07 Apr 2022 08:44:27 +0200},
biburl = {https://dblp.org/rec/conf/ifm/BodeveixFLM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppam/FilaliIMPQ05,
author = {Mamoun Filali and
Val{\'{e}}rie Issarny and
Philippe Mauran and
G{\'{e}}rard Padiou and
Philippe Qu{\'{e}}innec},
editor = {Roman Wyrzykowski and
Jack J. Dongarra and
Norbert Meyer and
Jerzy Wasniewski},
title = {Maximal Group Membership in Ad Hoc Networks},
booktitle = {Parallel Processing and Applied Mathematics, 6th International Conference,
{PPAM} 2005, Poznan, Poland, September 11-14, 2005, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3911},
pages = {51--58},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11752578\_7},
doi = {10.1007/11752578\_7},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/ppam/FilaliIMPQ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BodeveixCFS05,
author = {Jean{-}Paul Bodeveix and
David Chemouil and
Mamoun Filali and
Martin Strecker},
editor = {Juliana K{\"{u}}ster Filipe and
Iman Poernomo and
Ralf H. Reussner and
Sandeep K. Shukla},
title = {Towards formalising {AADL} in Proof Assistants},
booktitle = {Proceedings of the Second International Workshop on Formal Foundations
of Embedded Software and Component-based Software Architectures, FESCA@ETAPS
2005, Edinburgh, UK, April 9, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {141},
number = {3},
pages = {153--169},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.05.008},
doi = {10.1016/J.ENTCS.2005.05.008},
timestamp = {Tue, 13 Dec 2022 10:40:59 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BodeveixCFS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifip/2004wadl,
editor = {Pierre Dissaux and
Mamoun Filali{-}Amine and
Pierre Michel and
Fran{\c{c}}ois Vernadat},
title = {Architecture Description Languages - {IFIP} {TC-2} Workshop on Architecture
Description Languages (WADL), World Computer Congress, Aug. 22-27,
2004, Toulouse, France},
series = {{IFIP}},
volume = {176},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/b106318},
doi = {10.1007/B106318},
isbn = {978-0-387-24589-8},
timestamp = {Wed, 17 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/2004wadl.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/FilaliMPQ03,
author = {Mamoun Filali and
Philippe Mauran and
G{\'{e}}rard Padiou and
Philippe Qu{\'{e}}innec},
title = {The Reconstruction of a Mobile Agent Computation and Its Validation},
booktitle = {17th International Parallel and Distributed Processing Symposium {(IPDPS}
2003), 22-26 April 2003, Nice, France, CD-ROM/Abstracts Proceedings},
pages = {236},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/IPDPS.2003.1213429},
doi = {10.1109/IPDPS.2003.1213429},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/FilaliMPQ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BerthomieuRVBFBFPMFGDL03,
author = {Bernard Berthomieu and
Pierre{-}Olivier Ribet and
Fran{\c{c}}ois Vernadat and
J. L. Bernartt and
Jean{-}Marie Farines and
Jean{-}Paul Bodeveix and
Mamoun Filali and
G{\'{e}}rard Padiou and
Pierre Michel and
Patrick Farail and
Pierre Gauffilet and
Pierre Dissaux and
Jean{-}Luc Lambert},
editor = {Thomas Arts and
Wan J. Fokkink},
title = {Towards the verification of real-time systems in avionics: the Cotre
approach},
booktitle = {Eighth International Workshop on Formal Methods for Industrial Critical
Systems, {FMICS} 2003, Roros, Norway, June 5-7, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {80},
pages = {203--218},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)80819-3},
doi = {10.1016/S1571-0661(04)80819-3},
timestamp = {Tue, 06 Dec 2022 10:12:25 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BerthomieuRVBFBFPMFGDL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/BodeveixF02,
author = {Jean{-}Paul Bodeveix and
Mamoun Filali},
title = {Reduction and Quantifier Elimination Techniques for Program Validation},
journal = {Formal Methods Syst. Des.},
volume = {20},
number = {1},
pages = {69--89},
year = {2002},
url = {https://doi.org/10.1023/A:1012960513376},
doi = {10.1023/A:1012960513376},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/BodeveixF02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/BodeveixF02,
author = {Jean{-}Paul Bodeveix and
Mamoun Filali},
editor = {Didier Bert and
Jonathan P. Bowen and
Martin C. Henson and
Ken Robinson},
title = {Type Synthesis in {B} and the Translation of {B} to {PVS}},
booktitle = {{ZB} 2002: Formal Specification and Development in {Z} and B, 2nd
International Conference of {B} and {Z} Users, Grenoble, France, January
23-25, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2272},
pages = {350--369},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45648-1\_18},
doi = {10.1007/3-540-45648-1\_18},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/zum/BodeveixF02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcsw/BodeveixF00,
author = {Jean{-}Paul Bodeveix and
Mamoun Filali},
editor = {Ten{-}Hwang Lai},
title = {Experimenting Acceleration Methods for the Validation of Infinite
State Systems},
booktitle = {Proceedings of the 2000 {ICDCS} Workshops, April 10, 2000, Taipei,
Taiwan, {ROC}},
pages = {E23--E30},
year = {2000},
timestamp = {Mon, 22 Mar 2004 09:40:43 +0100},
biburl = {https://dblp.org/rec/conf/icdcsw/BodeveixF00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/FilaliMPQT00,
author = {Mamoun Filali and
Philippe Mauran and
G{\'{e}}rard Padiou and
Philippe Qu{\'{e}}innec and
Xavier Thirioux},
editor = {Jos{\'{e}} D. P. Rolim},
title = {Refinement Based Validation of an Algorithm for Detecting Distributed
Termination},
booktitle = {Parallel and Distributed Processing, 15 {IPDPS} 2000 Workshops, Cancun,
Mexico, May 1-5, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1800},
pages = {1027--1036},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45591-4\_140},
doi = {10.1007/3-540-45591-4\_140},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/ipps/FilaliMPQT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/QueinnecFMP00,
author = {Philippe Qu{\'{e}}innec and
Mamoun Filali and
Philippe Mauran and
G{\'{e}}rard Padiou},
editor = {Franck Butelle},
title = {Describing Mobile Computations with Path Vectors},
booktitle = {Procedings of the 4th International Conference on Principles of Distributed
Systems, {OPODIS} 2000, Paris, France, December 20-22, 2000},
series = {Studia Informatica Universalis},
pages = {221--234},
publisher = {Suger, Saint-Denis, rue Catulienne, France},
year = {2000},
timestamp = {Tue, 20 Jan 2004 14:15:16 +0100},
biburl = {https://dblp.org/rec/conf/opodis/QueinnecFMP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BodeveixF00,
author = {Jean{-}Paul Bodeveix and
Mamoun Filali},
editor = {Susanne Graf and
Michael I. Schwartzbach},
title = {FMona: {A} Tool for Expressing Validation Techniques over Infinite
State Systems},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 6th
International Conference, {TACAS} 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 = {1785},
pages = {204--219},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46419-0\_15},
doi = {10.1007/3-540-46419-0\_15},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BodeveixF00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ppl/CharpentierFMPQ99,
author = {Michel Charpentier and
Mamoun Filali and
Philippe Mauran and
G{\'{e}}rard Padiou and
Philippe Qu{\'{e}}innec},
title = {The Observation: An Abstract Communication Mechanism},
journal = {Parallel Process. Lett.},
volume = {9},
number = {3},
pages = {437--450},
year = {1999},
url = {https://doi.org/10.1142/S0129626499000402},
doi = {10.1142/S0129626499000402},
timestamp = {Tue, 24 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ppl/CharpentierFMPQ99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/BougeMFS99,
author = {Luc Boug{\'{e}} and
Bill McColl and
Mamoun Filali and
Henk J. Sips},
editor = {Patrick Amestoy and
Philippe Berger and
Michel J. Dayd{\'{e}} and
Iain S. Duff and
Val{\'{e}}rie Frayss{\'{e}} and
Luc Giraud and
Daniel Ruiz},
title = {Parallel Programming: Models, Methods, and Languages - Introduction},
booktitle = {Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference,
Toulouse, France, August 31 - September 3, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1685},
pages = {831--832},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48311-X\_117},
doi = {10.1007/3-540-48311-X\_117},
timestamp = {Tue, 04 Jun 2019 14:36:07 +0200},
biburl = {https://dblp.org/rec/conf/europar/BougeMFS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/CharpentierFMG99,
author = {Michel Charpentier and
Mamoun Filali and
Philippe Mauran and
G{\'{e}}rard Padiou and
Philippe Qu{\'{e}}innec},
editor = {Franck Petit and
R. Gomez Cardenas},
title = {Modelling and Verifying Migration: {A} case study},
booktitle = {Procedings of the 3rd International Conference on Principles of Distributed
Systems. {OPODIS} 99, Hanoi, Vietnam, October 20-22, 1999},
series = {Studia Informatica Universalis},
pages = {149--164},
publisher = {Suger, Saint-Denis, rue Catulienne, France},
year = {1999},
timestamp = {Tue, 20 Jan 2004 14:24:04 +0100},
biburl = {https://dblp.org/rec/conf/opodis/CharpentierFMG99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/BodeveixF98,
author = {Jean{-}Paul Bodeveix and
Mamoun Filali},
editor = {Jos{\'{e}} D. P. Rolim},
title = {On the Automatic Validation of Parameterized Unity Programs},
booktitle = {Parallel and Distributed Processing, 10 IPPS/SPDP'98 Workshops Held
in Conjunction with the 12th International Parallel Processing Symposium
and 9th Symposium on Parallel and Distributed Processing, Orlando,
Florida, USA, March 30 - April 3, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1388},
pages = {807--819},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-64359-1\_744},
doi = {10.1007/3-540-64359-1\_744},
timestamp = {Sat, 03 Aug 2019 19:28:45 +0200},
biburl = {https://dblp.org/rec/conf/ipps/BodeveixF98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/CharpentierFMPQ98,
author = {Michel Charpentier and
Mamoun Filali and
Philippe Mauran and
G{\'{e}}rard Padiou and
Philippe Qu{\'{e}}innec},
editor = {Jos{\'{e}} D. P. Rolim},
title = {Tailoring {UNITY} to Distributed Program Design},
booktitle = {Parallel and Distributed Processing, 10 IPPS/SPDP'98 Workshops Held
in Conjunction with the 12th International Parallel Processing Symposium
and 9th Symposium on Parallel and Distributed Processing, Orlando,
Florida, USA, March 30 - April 3, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1388},
pages = {820--832},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-64359-1\_745},
doi = {10.1007/3-540-64359-1\_745},
timestamp = {Fri, 02 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ipps/CharpentierFMPQ98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ppl/BodeveixF97,
author = {Jean{-}Paul Bodeveix and
Mamoun Filali},
title = {Towards the Automatic Verification of Atomic Memory Protocols},
journal = {Parallel Process. Lett.},
volume = {7},
number = {1},
pages = {101--112},
year = {1997},
url = {https://doi.org/10.1142/S0129626497000127},
doi = {10.1142/S0129626497000127},
timestamp = {Tue, 24 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ppl/BodeveixF97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/CharpentierFMPQ96,
author = {Michel Charpentier and
Mamoun Filali and
Philippe Mauran and
G{\'{e}}rard Padiou and
Philippe Qu{\'{e}}innec},
editor = {{\"{O}}zalp Babaoglu and
Keith Marzullo},
title = {Abstracting Communication to Reason about Distributed Algorithms},
booktitle = {Distributed Algorithms, 10th International Workshop, {WDAG} '96, Bologna,
Italy, October 9-11, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1151},
pages = {89--104},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61769-8\_7},
doi = {10.1007/3-540-61769-8\_7},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wdag/CharpentierFMPQ96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/BodeveixF95,
author = {Jean{-}Paul Bodeveix and
Mamoun Filali},
editor = {E. Thomas Schubert and
Phillip J. Windley and
Jim Alves{-}Foss},
title = {On the Refinement of symmetric memory protocols},
booktitle = {Higher Order Logic Theorem Proving and Its Applications, 8th International
Workshop, Aspen Grove, UT, USA, September 11-14, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {971},
pages = {58--74},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60275-5\_57},
doi = {10.1007/3-540-60275-5\_57},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/tphol/BodeveixF95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/Filali94,
author = {Mamoun Filali},
title = {The derivation of scheduling algorithms from a timing model},
booktitle = {Sixth Euromicro Workshop on Real-Time Systems, {RTS} 1994, Vaesteraas,
Sweden, June 15-17, 1994. Proceedings},
pages = {180--185},
publisher = {{IEEE}},
year = {1994},
url = {https://doi.org/10.1109/EMWRTS.1994.336845},
doi = {10.1109/EMWRTS.1994.336845},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/ecrts/Filali94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/BodeveixFR94,
author = {Jean{-}Paul Bodeveix and
Mamoun Filali and
P. Roche},
editor = {Thomas F. Melham and
Juanito Camilleri},
title = {Towards a {HOL} Theory and Memory},
booktitle = {Higher Order Logic Theorem Proving and Its Applications, 7th International
Workshop, Valletta, Malta, September 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {859},
pages = {49--64},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58450-1\_34},
doi = {10.1007/3-540-58450-1\_34},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/tphol/BodeveixFR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/FilaliMP93,
author = {Mamoun Filali and
Philippe Mauran and
G{\'{e}}rard Padiou},
title = {Unity, as a Tool for Reactive Systems Specification and Derivation},
booktitle = {Fifth Euromicro Workshop on Real-Time Systems, {RTS} 1993, Oulu, Finland,
June 22-24, 1993. Proceedings},
pages = {274--279},
publisher = {{IEEE}},
year = {1993},
url = {https://doi.org/10.1109/EMWRT.1993.639111},
doi = {10.1109/EMWRT.1993.639111},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/ecrts/FilaliMP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/BazalgetteBBFRS92,
author = {G. Bazalgette and
D. Bekele and
Carole Bernon and
Mamoun Filali and
J. M. Rigaud and
A. Sayah},
editor = {Jan van Katwijk},
title = {STRAda - An Ada Transformation and Distribution System},
booktitle = {Ada: Moving Towards 2000, 11th Ada-Europe International Conference,
Zandvoort, The Netherlands, June 1-5, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {603},
pages = {287--299},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55585-4\_23},
doi = {10.1007/3-540-55585-4\_23},
timestamp = {Wed, 19 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/BazalgetteBBFRS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/BichonFPS89,
author = {F. Bichon and
Mamoun Filali and
G{\'{e}}rard Padiou and
R. Smith},
title = {The use of Modula-2 for implementing a distributed kernel},
journal = {Softw. Eng. J.},
volume = {4},
number = {2},
pages = {115--122},
year = {1989},
url = {https://doi.org/10.1049/sej.1989.0014},
doi = {10.1049/SEJ.1989.0014},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iee/BichonFPS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/BetourneFPS85,
author = {Claude B{\'{e}}tourn{\'{e}} and
Mamoun Filali and
G{\'{e}}rard Padiou and
A. Sayah},
title = {Distributed Control Through Task Migration via Abstract Networks},
booktitle = {Proceedings of the 5th International Conference on Distributed Computing
Systems, Denver, Colorado, USA, May 13-17, 1985},
pages = {532--538},
publisher = {{IEEE} Computer Society},
year = {1985},
timestamp = {Wed, 27 Nov 2013 16:54:35 +0100},
biburl = {https://dblp.org/rec/conf/icdcs/BetourneFPS85.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-21 17:25 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:
