Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX 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} }
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.