default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Yamine Aït-Ameur
@article{DBLP:journals/scp/AitAmeurC24,
author = {Yamine A{\"{\i}}t{-}Ameur and
Florin Craciun},
title = {Introduction to the {TASE} 2022 Special issue},
journal = {Sci. Comput. Program.},
volume = {234},
pages = {103092},
year = {2024},
url = {https://doi.org/10.1016/j.scico.2024.103092},
doi = {10.1016/J.SCICO.2024.103092},
timestamp = {Thu, 30 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/AitAmeurC24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tr/RiviereSA24,
author = {Peter Rivi{\`{e}}re and
Neeraj Kumar Singh and
Yamine A{\"{\i}}t{-}Ameur},
title = {Reflexive Event-B: Semantics and Correctness the {EB4EB} Framework},
journal = {{IEEE} Trans. Reliab.},
volume = {73},
number = {2},
pages = {835--850},
year = {2024},
url = {https://doi.org/10.1109/TR.2022.3219649},
doi = {10.1109/TR.2022.3219649},
timestamp = {Fri, 19 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tr/RiviereSA24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/FerrarottiRSSA24,
author = {Flavio Ferrarotti and
Peter Rivi{\`{e}}re and
Klaus{-}Dieter Schewe and
Neeraj Kumar Singh and
Yamine A{\"{\i}}t Ameur},
editor = {Arne Meier and
Magdalena Ortiz},
title = {A Complete Fragment of {LTL(EB)}},
booktitle = {Foundations of Information and Knowledge Systems - 13th International
Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14589},
pages = {237--255},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-56940-1\_13},
doi = {10.1007/978-3-031-56940-1\_13},
timestamp = {Mon, 08 Apr 2024 18:06:13 +0200},
biburl = {https://dblp.org/rec/conf/foiks/FerrarottiRSSA24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-16838,
author = {Flavio Ferrarotti and
Peter Rivi{\`{e}}re and
Klaus{-}Dieter Schewe and
Neeraj Kumar Singh and
Yamine A{\"{\i}}t Ameur},
title = {A Complete Fragment of {LTL(EB)}},
journal = {CoRR},
volume = {abs/2401.16838},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.16838},
doi = {10.48550/ARXIV.2401.16838},
eprinttype = {arXiv},
eprint = {2401.16838},
timestamp = {Tue, 06 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-16838.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/AitAmeurBDIRS23,
author = {Yamine A{\"{\i}}t{-}Ameur and
Sergiy Bogomolov and
Guillaume Dupont and
Alexei Iliasov and
Alexander B. Romanovsky and
Paulius Stankaitis},
title = {A Refinement-based Formal Development of Cyber-physical Railway Signalling
Systems},
journal = {Formal Aspects Comput.},
volume = {35},
number = {1},
pages = {3:1},
year = {2023},
url = {https://doi.org/10.1145/3524052},
doi = {10.1145/3524052},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/AitAmeurBDIRS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/MendilAKDMP23,
author = {Isma{\"{\i}}l Mendil and
Yamine A{\"{\i}}t{-}Ameur and
Neeraj Kumar Singh and
Guillaume Dupont and
Dominique M{\'{e}}ry and
Philippe A. Palanque},
title = {Formal domain-driven system development in Event-B: Application to
interactive critical systems},
journal = {J. Syst. Archit.},
volume = {135},
pages = {102798},
year = {2023},
url = {https://doi.org/10.1016/j.sysarc.2022.102798},
doi = {10.1016/J.SYSARC.2022.102798},
timestamp = {Thu, 30 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsa/MendilAKDMP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/smr/SinghAMMNPP23,
author = {Neeraj Kumar Singh and
Yamine A{\"{\i}}t{-}Ameur and
Isma{\"{\i}}l Mendil and
Dominique M{\'{e}}ry and
David Navarre and
Philippe A. Palanque and
Marc Pantel},
title = {{F3FLUID:} {A} formal framework for developing safety-critical interactive
systems in {FLUID}},
journal = {J. Softw. Evol. Process.},
volume = {35},
number = {7},
year = {2023},
url = {https://doi.org/10.1002/smr.2439},
doi = {10.1002/SMR.2439},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/smr/SinghAMMNPP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/RiviereSAD23,
author = {Peter Riviere and
Neeraj Kumar Singh and
Yamine A{\"{\i}}t Ameur and
Guillaume Dupont},
editor = {Kristin Yvonne Rozier and
Swarat Chaudhuri},
title = {Formalising Liveness Properties in Event-B with the Reflexive {EB4EB}
Framework},
booktitle = {{NASA} Formal Methods - 15th International Symposium, {NFM} 2023,
Houston, TX, USA, May 16-18, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13903},
pages = {312--331},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-33170-1\_19},
doi = {10.1007/978-3-031-33170-1\_19},
timestamp = {Thu, 06 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/RiviereSAD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/RiviereSAD23,
author = {Peter Riviere and
Neeraj Kumar Singh and
Yamine A{\"{\i}}t{-}Ameur and
Guillaume Dupont},
editor = {Uwe Gl{\"{a}}sser and
Jos{\'{e}} Creissac Campos and
Dominique M{\'{e}}ry and
Philippe A. Palanque},
title = {Standalone Event-B Models Analysis Relying on the {EB4EB} Meta-theory},
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 = {193--211},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-33163-3\_15},
doi = {10.1007/978-3-031-33163-3\_15},
timestamp = {Tue, 23 May 2023 09:57:42 +0200},
biburl = {https://dblp.org/rec/conf/zum/RiviereSAD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iceccs/2023,
editor = {Yamine A{\"{\i}}t{-}Ameur and
Ferhat Khendek and
Dominique M{\'{e}}ry},
title = {27th International Conference on Engineering of Complex Computer Systems,
{ICECCS} 2023, Toulouse, France, June 14-16, 2023},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICECCS59891.2023},
doi = {10.1109/ICECCS59891.2023},
isbn = {979-8-3503-4004-4},
timestamp = {Fri, 15 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/DupontASP22,
author = {Guillaume Dupont and
Yamine A{\"{\i}}t Ameur and
Neeraj Kumar Singh and
Marc Pantel},
title = {Formally verified architectural patterns of hybrid systems using proof
and refinement with Event-B},
journal = {Sci. Comput. Program.},
volume = {216},
pages = {102765},
year = {2022},
url = {https://doi.org/10.1016/j.scico.2021.102765},
doi = {10.1016/J.SCICO.2021.102765},
timestamp = {Thu, 10 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/DupontASP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/MendilRASMP22,
author = {Isma{\"{\i}}l Mendil and
Peter Riviere and
Yamine A{\"{\i}}t Ameur and
Neeraj Kumar Singh and
Dominique M{\'{e}}ry and
Philippe A. Palanque},
title = {Non-Intrusive Annotation-Based Domain-Specific Analysis to Certify
Event-B Models Behaviours},
booktitle = {29th Asia-Pacific Software Engineering Conference, {APSEC} 2022, Virtual
Event, Japan, December 6-9, 2022},
pages = {129--138},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/APSEC57359.2022.00025},
doi = {10.1109/APSEC57359.2022.00025},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apsec/MendilRASMP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/RiviereSA22,
author = {Peter Riviere and
Neeraj Kumar Singh and
Yamine A{\"{\i}}t Ameur},
title = {{EB4EB:} {A} Framework for Reflexive Event-B},
booktitle = {26th International Conference on Engineering of Complex Computer Systems,
{ICECCS} 2022, Hiroshima, Japan, March 26-30, 2022},
pages = {71--80},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICECCS54210.2022.00017},
doi = {10.1109/ICECCS54210.2022.00017},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iceccs/RiviereSA22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/AmeurDMMPRS22,
author = {Yamine A{\"{\i}}t Ameur and
Guillaume Dupont and
Isma{\"{\i}}l Mendil and
Dominique M{\'{e}}ry and
Marc Pantel and
Peter Riviere and
Neeraj Kumar Singh},
editor = {Maurice H. ter Beek and
Rosemary Monahan},
title = {Empowering the Event-B Method Using External Theories},
booktitle = {Integrated Formal Methods - 17th International Conference, {IFM} 2022,
Lugano, Switzerland, June 7-10, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13274},
pages = {18--35},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-07727-2\_2},
doi = {10.1007/978-3-031-07727-2\_2},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/AmeurDMMPRS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/AmeurBDSS22,
author = {Yamine A{\"{\i}}t Ameur and
Sergiy Bogomolov and
Guillaume Dupont and
Neeraj Kumar Singh and
Paulius Stankaitis},
editor = {Maurice H. ter Beek and
Rosemary Monahan},
title = {Reachability Analysis and Simulation for Hybridised Event-B Models},
booktitle = {Integrated Formal Methods - 17th International Conference, {IFM} 2022,
Lugano, Switzerland, June 7-10, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13274},
pages = {109--128},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-07727-2\_7},
doi = {10.1007/978-3-031-07727-2\_7},
timestamp = {Thu, 10 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifm/AmeurBDSS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tase/2022,
editor = {Yamine A{\"{\i}}t Ameur and
Florin Craciun},
title = {Theoretical Aspects of Software Engineering - 16th International Symposium,
{TASE} 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13299},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-10363-6},
doi = {10.1007/978-3-031-10363-6},
isbn = {978-3-031-10362-9},
timestamp = {Thu, 07 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tase/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/StankaitisIKAIR21,
author = {Paulius Stankaitis and
Alexei Iliasov and
Tsutomu Kobayashi and
Yamine A{\"{\i}}t Ameur and
Fuyuki Ishikawa and
Alexander B. Romanovsky},
title = {A refinement-based development of a distributed signalling system},
journal = {Formal Aspects Comput.},
volume = {33},
number = {6},
pages = {1009--1036},
year = {2021},
url = {https://doi.org/10.1007/s00165-021-00567-y},
doi = {10.1007/S00165-021-00567-Y},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fac/StankaitisIKAIR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iwc/AmeurBCPW21,
author = {Yamine A{\"{\i}}t Ameur and
Judy Bowen and
Jos{\'{e}} Creissac Campos and
Philippe A. Palanque and
Benjamin Weyers},
title = {Heterogeneous Models and Modelling Approaches for Engineering of Interactive
Systems},
journal = {Interact. Comput.},
volume = {33},
number = {1},
pages = {1--2},
year = {2021},
url = {https://doi.org/10.1093/iwc/iwab005},
doi = {10.1093/IWC/IWAB005},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iwc/AmeurBCPW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iwc/SinghAGMP21,
author = {Neeraj Kumar Singh and
Yamine A{\"{\i}}t Ameur and
Romain Geniet and
Dominique M{\'{e}}ry and
Philippe A. Palanque},
title = {On the Benefits of Using {MVC} Pattern for Structuring Event-B Models
of {WIMP} Interactive Applications},
journal = {Interact. Comput.},
volume = {33},
number = {1},
pages = {92--114},
year = {2021},
url = {https://doi.org/10.1093/iwcomp/iwab016},
doi = {10.1093/IWCOMP/IWAB016},
timestamp = {Thu, 10 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iwc/SinghAGMP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/soca/AmeurBP21,
author = {Yamine A{\"{\i}}t Ameur and
Guillaume Babin and
Marc Pantel},
title = {An Event-B formal model for a system reconfiguration pattern and its
instantiation: application to Web services compensation},
journal = {Serv. Oriented Comput. Appl.},
volume = {15},
number = {3},
pages = {205--230},
year = {2021},
url = {https://doi.org/10.1007/s11761-021-00314-4},
doi = {10.1007/S11761-021-00314-4},
timestamp = {Wed, 01 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/soca/AmeurBP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/DupontASP21,
author = {Guillaume Dupont and
Yamine A{\"{\i}}t Ameur and
Neeraj Kumar Singh and
Marc Pantel},
title = {Event-B Hybridation: {A} Proof and Refinement-based Framework for
Modelling Hybrid Systems},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {20},
number = {4},
pages = {35:1--35:37},
year = {2021},
url = {https://doi.org/10.1145/3448270},
doi = {10.1145/3448270},
timestamp = {Thu, 10 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tecs/DupontASP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/DupontAPS21,
author = {Guillaume Dupont and
Yamine A{\"{\i}}t Ameur and
Marc Pantel and
Neeraj Kumar Singh},
editor = {Zhe Hou and
Vijay Ganesh},
title = {Event-B Refinement for Continuous Behaviours Approximation},
booktitle = {Automated Technology for Verification and Analysis - 19th International
Symposium, {ATVA} 2021, Gold Coast, QLD, Australia, October 18-22,
2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12971},
pages = {320--336},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88885-5\_21},
doi = {10.1007/978-3-030-88885-5\_21},
timestamp = {Mon, 01 Jul 2024 10:37:52 +0200},
biburl = {https://dblp.org/rec/conf/atva/DupontAPS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AmeurLMS21,
author = {Yamine A{\"{\i}}t Ameur and
R{\'{e}}gine Laleau and
Dominique M{\'{e}}ry and
Neeraj Kumar Singh},
editor = {Alexander Raschke and
Elvinia Riccobene and
Klaus{-}Dieter Schewe},
title = {Towards Leveraging Domain Knowledge in State-Based Formal Methods},
booktitle = {Logic, Computation and Rigorous Methods - Essays Dedicated to Egon
B{\"{o}}rger on the Occasion of His 75th Birthday},
series = {Lecture Notes in Computer Science},
volume = {12750},
pages = {1--13},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-76020-5\_1},
doi = {10.1007/978-3-030-76020-5\_1},
timestamp = {Thu, 10 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/AmeurLMS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/MendilASMP21,
author = {Isma{\"{\i}}l Mendil and
Yamine A{\"{\i}}t Ameur and
Neeraj Kumar Singh and
Dominique M{\'{e}}ry and
Philippe A. Palanque},
editor = {Alberto Lluch{-}Lafuente and
Anastasia Mavridou},
title = {Standard Conformance-by-Construction with Event-B},
booktitle = {Formal Methods for Industrial Critical Systems - 26th International
Conference, {FMICS} 2021, Paris, France, August 24-26, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12863},
pages = {126--146},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-85248-1\_8},
doi = {10.1007/978-3-030-85248-1\_8},
timestamp = {Thu, 10 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmics/MendilASMP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/ScheweAB21,
author = {Klaus{-}Dieter Schewe and
Yamine A{\"{\i}}t Ameur and
Sarah Benyagoub},
editor = {J. Christian Attiogb{\'{e}} and
Sadok Ben Yahia},
title = {Realisability of Control-State Choreographies},
booktitle = {Model and Data Engineering - 10th International Conference, {MEDI}
2021, Tallinn, Estonia, June 21-23, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12732},
pages = {87--100},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-78428-7\_8},
doi = {10.1007/978-3-030-78428-7\_8},
timestamp = {Mon, 14 Jun 2021 14:22:06 +0200},
biburl = {https://dblp.org/rec/conf/medi/ScheweAB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/MendilASMP21,
author = {Isma{\"{\i}}l Mendil and
Yamine A{\"{\i}}t Ameur and
Neeraj Kumar Singh and
Dominique M{\'{e}}ry and
Philippe A. Palanque},
editor = {Shengchao Qin and
Jim Woodcock and
Wenhui Zhang},
title = {Leveraging Event-B Theories for Handling Domain Knowledge in Design
Models},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 7th International Symposium, {SETTA} 2021, Beijing, China, November
25-27, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13071},
pages = {40--58},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91265-9\_3},
doi = {10.1007/978-3-030-91265-9\_3},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/conf/setta/MendilASMP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/HalchinASOF20,
author = {Alexandra Halchin and
Yamine A{\"{\i}}t Ameur and
Neeraj Kumar Singh and
Julien Ordioni and
Abderrahmane Feliachi},
title = {Handling {B} models in the {PERF} integrated verification framework:
Formalised and certified embedding},
journal = {Sci. Comput. Program.},
volume = {196},
pages = {102477},
year = {2020},
url = {https://doi.org/10.1016/j.scico.2020.102477},
doi = {10.1016/J.SCICO.2020.102477},
timestamp = {Thu, 10 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/HalchinASOF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/smr/BenyagoubAOMM20,
author = {Sarah Benyagoub and
Yamine A{\"{\i}}t Ameur and
Meriem Ouederni and
Atif Mashkoor and
Ahmed Medeghri},
title = {Formal design of scalable conversation protocols using Event-B: Validation,
experiments, and benchmarks},
journal = {J. Softw. Evol. Process.},
volume = {32},
number = {2},
year = {2020},
url = {https://doi.org/10.1002/smr.2209},
doi = {10.1002/SMR.2209},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/smr/BenyagoubAOMM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlc/BenyagoubOA20,
author = {Sarah Benyagoub and
Meriem Ouederni and
Yamine A{\"{\i}}t Ameur},
title = {Incremental correct-by-construction of distributed systems},
journal = {J. Comput. Lang.},
volume = {57},
pages = {100942},
year = {2020},
url = {https://doi.org/10.1016/j.cola.2020.100942},
doi = {10.1016/J.COLA.2020.100942},
timestamp = {Tue, 16 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/vlc/BenyagoubOA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/MendilSAMP20,
author = {Isma{\"{\i}}l Mendil and
Neeraj Kumar Singh and
Yamine A{\"{\i}}t Ameur and
Dominique M{\'{e}}ry and
Philippe A. Palanque},
title = {An Integrated Framework for the Formal Analysis of Critical Interactive
Systems},
booktitle = {27th Asia-Pacific Software Engineering Conference, {APSEC} 2020, Singapore,
December 1-4, 2020},
pages = {139--148},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/APSEC51365.2020.00022},
doi = {10.1109/APSEC51365.2020.00022},
timestamp = {Thu, 10 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/MendilSAMP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/BenyagoubAS20,
author = {Sarah Benyagoub and
Yamine A{\"{\i}}t Ameur and
Klaus{-}Dieter Schewe},
editor = {Alexander Raschke and
Dominique M{\'{e}}ry and
Frank Houdek},
title = {Event-B-Supported Choreography-Defined Communicating Systems - Correctness
and Completeness},
booktitle = {Rigorous State-Based Methods - 7th International Conference, {ABZ}
2020, Ulm, Germany, May 27-29, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12071},
pages = {155--168},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-48077-6\_11},
doi = {10.1007/978-3-030-48077-6\_11},
timestamp = {Mon, 25 May 2020 12:30:51 +0200},
biburl = {https://dblp.org/rec/conf/asm/BenyagoubAS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/DupontAPS20,
author = {Guillaume Dupont and
Yamine A{\"{\i}}t Ameur and
Marc Pantel and
Neeraj Kumar Singh},
editor = {Alexander Raschke and
Dominique M{\'{e}}ry and
Frank Houdek},
title = {Formally Verified Architecture Patterns of Hybrid Systems Using Proof
and Refinement with Event-B},
booktitle = {Rigorous State-Based Methods - 7th International Conference, {ABZ}
2020, Ulm, Germany, May 27-29, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12071},
pages = {169--185},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-48077-6\_12},
doi = {10.1007/978-3-030-48077-6\_12},
timestamp = {Thu, 10 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asm/DupontAPS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/StankaitisIKAIR20,
author = {Paulius Stankaitis and
Alexei Iliasov and
Tsutomu Kobayashi and
Yamine A{\"{\i}}t Ameur and
Fuyuki Ishikawa and
Alexander B. Romanovsky},
editor = {Alexander Raschke and
Dominique M{\'{e}}ry and
Frank Houdek},
title = {Formal Distributed Protocol Development for Reservation of Railway
Sections},
booktitle = {Rigorous State-Based Methods - 7th International Conference, {ABZ}
2020, Ulm, Germany, May 27-29, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12071},
pages = {203--219},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-48077-6\_14},
doi = {10.1007/978-3-030-48077-6\_14},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asm/StankaitisIKAIR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/ScheweAB20,
author = {Klaus{-}Dieter Schewe and
Yamine A{\"{\i}}t Ameur and
Sarah Benyagoub},
editor = {Andreas Herzig and
Juha Kontinen},
title = {Realisability of Choreographies},
booktitle = {Foundations of Information and Knowledge Systems - 11th International
Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12012},
pages = {263--280},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-39951-1\_16},
doi = {10.1007/978-3-030-39951-1\_16},
timestamp = {Wed, 29 Jan 2020 12:39:12 +0100},
biburl = {https://dblp.org/rec/conf/foiks/ScheweAB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/DupontASIKP20,
author = {Guillaume Dupont and
Yamine A{\"{\i}}t Ameur and
Neeraj Kumar Singh and
Fuyuki Ishikawa and
Tsutomu Kobayashi and
Marc Pantel},
editor = {Shang{-}Wei Lin and
Zhe Hou and
Brendan P. Mahony},
title = {Embedding Approximation in Event-B: Safe Hybrid System Design Using
Proof and Refinement},
booktitle = {Formal Methods and Software Engineering - 22nd International Conference
on Formal Engineering Methods, {ICFEM} 2020, Singapore, Singapore,
March 1-3, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12531},
pages = {251--267},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-63406-3\_15},
doi = {10.1007/978-3-030-63406-3\_15},
timestamp = {Thu, 10 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/DupontASIKP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/DupontAPS20,
author = {Guillaume Dupont and
Yamine A{\"{\i}}t Ameur and
Marc Pantel and
Neeraj Kumar Singh},
editor = {Brijesh Dongol and
Elena Troubitsyna},
title = {An Event-B Based Generic Framework for Hybrid Systems Formal Modelling},
booktitle = {Integrated Formal Methods - 16th International Conference, {IFM} 2020,
Lugano, Switzerland, November 16-20, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12546},
pages = {82--102},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-63461-2\_5},
doi = {10.1007/978-3-030-63461-2\_5},
timestamp = {Thu, 10 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifm/DupontAPS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-03623,
author = {Klaus{-}Dieter Schewe and
Yamine A{\"{\i}}t Ameur and
Sarah Benyagoub},
title = {Realisability of Control-State Choreographies},
journal = {CoRR},
volume = {abs/2009.03623},
year = {2020},
url = {https://arxiv.org/abs/2009.03623},
eprinttype = {arXiv},
eprint = {2009.03623},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-03623.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/SinghAMNPP19,
author = {Neeraj Kumar Singh and
Yamine A{\"{\i}}t Ameur and
Dominique M{\'{e}}ry and
David Navarre and
Philippe A. Palanque and
Marc Pantel},
editor = {Osman Hasan and
Fr{\'{e}}d{\'{e}}ric Mallet},
title = {Formal Development of Multi-Purpose Interactive Application {(MPIA)}
for {ARINC} 661},
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 = {21--39},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-46902-3\_2},
doi = {10.1007/978-3-030-46902-3\_2},
timestamp = {Thu, 10 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftscs/SinghAMNPP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/StankaitisIAKIR19,
author = {Paulius Stankaitis and
Alexei Iliasov and
Yamine A{\"{\i}}t Ameur and
Tsutomu Kobayashi and
Fuyuki Ishikawa and
Alexander B. Romanovsky},
editor = {Dongjin Yu and
Vu Nguyen and
Congfeng Jiang},
title = {A Refinement Based Method for Developing Distributed Protocols},
booktitle = {19th {IEEE} International Symposium on High Assurance Systems Engineering,
{HASE} 2019, Hangzhou, China, January 3-5, 2019},
pages = {90--97},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/HASE.2019.00023},
doi = {10.1109/HASE.2019.00023},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/StankaitisIAKIR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/StankaitisDSAIR19,
author = {Paulius Stankaitis and
Guillaume Dupont and
Neeraj Kumar Singh and
Yamine A{\"{\i}}t Ameur and
Alexei Iliasov and
Alexander B. Romanovsky},
editor = {Jun Pang and
Jing Sun},
title = {Modelling Hybrid Train Speed Controller using Proof and Refinement},
booktitle = {24th International Conference on Engineering of Complex Computer Systems,
{ICECCS} 2019, Guangzhou, China, November 10-13, 2019},
pages = {107--113},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ICECCS.2019.00019},
doi = {10.1109/ICECCS.2019.00019},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/StankaitisDSAIR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/OubelliABCL19,
author = {Lynda Ait Oubelli and
Yamine A{\"{\i}}t Ameur and
Judica{\"{e}}l Bedouet and
Beno{\^{\i}}t Chausserie{-}Lapree and
B{\'{e}}atrice Larzul},
editor = {Angelo Perkusich},
title = {Finding conservative schema evolutions by analysing {API} changes},
booktitle = {The 31st International Conference on Software Engineering and Knowledge
Engineering, {SEKE} 2019, Hotel Tivoli, Lisbon, Portugal, July 10-12,
2019},
pages = {748--777},
publisher = {{KSI} Research Inc. and Knowledge Systems Institute Graduate School},
year = {2019},
url = {https://doi.org/10.18293/SEKE2019-132},
doi = {10.18293/SEKE2019-132},
timestamp = {Wed, 03 Feb 2021 08:31:37 +0100},
biburl = {https://dblp.org/rec/conf/seke/OubelliABCL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/DupontAPS19,
author = {Guillaume Dupont and
Yamine A{\"{\i}}t Ameur and
Marc Pantel and
Neeraj Kumar Singh},
editor = {Dominique M{\'{e}}ry and
Shengchao Qin},
title = {Handling Refinement of Continuous Behaviors: {A} Proof Based Approach
with Event-B},
booktitle = {2019 International Symposium on Theoretical Aspects of Software Engineering,
{TASE} 2019, Guilin, China, July 29-31, 2019},
pages = {9--16},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/TASE.2019.00-25},
doi = {10.1109/TASE.2019.00-25},
timestamp = {Thu, 10 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/DupontAPS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/HalchinASFO19,
author = {Alexandra Halchin and
Yamine A{\"{\i}}t Ameur and
Neeraj Kumar Singh and
Abderrahmane Feliachi and
Julien Ordioni},
editor = {Dominique M{\'{e}}ry and
Shengchao Qin},
title = {Certified Embedding of {B} Models in an Integrated Verification Framework},
booktitle = {2019 International Symposium on Theoretical Aspects of Software Engineering,
{TASE} 2019, Guilin, China, July 29-31, 2019},
pages = {168--175},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/TASE.2019.000-4},
doi = {10.1109/TASE.2019.000-4},
timestamp = {Thu, 10 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/HalchinASFO19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfem/2019,
editor = {Yamine A{\"{\i}}t Ameur and
Shengchao Qin},
title = {Formal Methods and Software Engineering - 21st International Conference
on Formal Engineering Methods, {ICFEM} 2019, Shenzhen, China, November
5-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11852},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32409-4},
doi = {10.1007/978-3-030-32409-4},
isbn = {978-3-030-32408-7},
timestamp = {Mon, 28 Oct 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/OubelliABKCL18,
author = {Lynda Ait Oubelli and
Yamine A{\"{\i}}t Ameur and
Judica{\"{e}}l Bedouet and
Romain Kervarc and
Benoit Chausserie{-}Lapree and
B{\'{e}}atrice Larzul},
title = {A scalable model based approach for data model evolution: Application
to space missions data models},
journal = {Comput. Lang. Syst. Struct.},
volume = {54},
pages = {358--385},
year = {2018},
url = {https://doi.org/10.1016/j.cl.2018.08.001},
doi = {10.1016/J.CL.2018.08.001},
timestamp = {Tue, 16 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cl/OubelliABKCL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fcsc/ChebiebA18,
author = {Abdelkrim Chebieb and
Yamine A{\"{\i}}t Ameur},
title = {A formal model for plastic human computer interfaces},
journal = {Frontiers Comput. Sci.},
volume = {12},
number = {2},
pages = {351--375},
year = {2018},
url = {https://doi.org/10.1007/s11704-016-5460-3},
doi = {10.1007/S11704-016-5460-3},
timestamp = {Tue, 03 Apr 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fcsc/ChebiebA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/DupontAPS18,
author = {Guillaume Dupont and
Yamine A{\"{\i}}t Ameur and
Marc Pantel and
Neeraj Kumar Singh},
editor = {Michael J. Butler and
Alexander Raschke and
Thai Son Hoang and
Klaus Reichl},
title = {Proof-Based Approach to Hybrid Systems Development: Dynamic Logic
and Event-B},
booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 6th International
Conference, {ABZ} 2018, Southampton, UK, June 5-8, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10817},
pages = {155--170},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-91271-4\_11},
doi = {10.1007/978-3-319-91271-4\_11},
timestamp = {Thu, 10 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asm/DupontAPS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/AmeurACGHKMMSV18,
author = {Yamine A{\"{\i}}t Ameur and
Idir A{\"{\i}}t{-}Sadoune and
P. Casteran and
J. Paul Gibson and
Kahina Hacid and
Souad Kherroubi and
Dominique M{\'{e}}ry and
Linda Mohand{-}Oussa{\"{\i}}d and
Neeraj Kumar Singh and
Laurent Voisin},
editor = {Michael J. Butler and
Alexander Raschke and
Thai Son Hoang and
Klaus Reichl},
title = {On the Importance of Explicit Domain Modelling in Refinement-Based
Modelling Design. Experiments with Event-B},
booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 6th International
Conference, {ABZ} 2018, Southampton, UK, June 5-8, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10817},
pages = {425--430},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-91271-4\_35},
doi = {10.1007/978-3-319-91271-4\_35},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/AmeurACGHKMMSV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/SinghAM18,
author = {Neeraj Kumar Singh and
Yamine A{\"{\i}}t Ameur and
Dominique M{\'{e}}ry},
title = {Formal Ontology Driven Model Refactoring},
booktitle = {23rd International Conference on Engineering of Complex Computer Systems,
{ICECCS} 2018, Melbourne, Australia, December 12-14, 2018},
pages = {136--145},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/ICECCS2018.2018.00022},
doi = {10.1109/ICECCS2018.2018.00022},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/SinghAM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/Benyagoub18,
author = {Sarah Benyagoub and
Yamine A{\"{\i}}t Ameur and
Meriem Ouederni and
Atif Mashkoor},
title = {Scalable Correct-by-Construction Conversation Protocols with Event-B:
Validation, Experiments and Benchmarks},
booktitle = {23rd International Conference on Engineering of Complex Computer Systems,
{ICECCS} 2018, Melbourne, Australia, December 12-14, 2018},
pages = {209--212},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/ICECCS2018.2018.00034},
doi = {10.1109/ICECCS2018.2018.00034},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/Benyagoub18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/DupontAPS18,
author = {Guillaume Dupont and
Yamine A{\"{\i}}t Ameur and
Marc Pantel and
Neeraj Kumar Singh},
editor = {El Hassan Abdelwahed and
Ladjel Bellatreche and
Djamal Benslimane and
Matteo Golfarelli and
St{\'{e}}phane Jean and
Dominique M{\'{e}}ry and
Kazumi Nakamatsu and
Carlos Ordonez},
title = {Hybrid Systems and Event-B: {A} Formal Approach to Signalised Left-Turn
Assist},
booktitle = {New Trends in Model and Data Engineering - {MEDI} 2018 International
Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October
24-26, 2018, Proceedings},
series = {Communications in Computer and Information Science},
volume = {929},
pages = {153--158},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02852-7\_14},
doi = {10.1007/978-3-030-02852-7\_14},
timestamp = {Thu, 10 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/medi/DupontAPS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/BenyagoubAOM18,
author = {Sarah Benyagoub and
Yamine A{\"{\i}}t Ameur and
Meriem Ouederni and
Atif Mashkoor},
editor = {El Hassan Abdelwahed and
Ladjel Bellatreche and
Djamal Benslimane and
Matteo Golfarelli and
St{\'{e}}phane Jean and
Dominique M{\'{e}}ry and
Kazumi Nakamatsu and
Carlos Ordonez},
title = {Handling Reparation in Incremental Construction of Realizable Conversation
Protocols},
booktitle = {New Trends in Model and Data Engineering - {MEDI} 2018 International
Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October
24-26, 2018, Proceedings},
series = {Communications in Computer and Information Science},
volume = {929},
pages = {159--166},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02852-7\_15},
doi = {10.1007/978-3-030-02852-7\_15},
timestamp = {Thu, 18 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/medi/BenyagoubAOM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/BenyagoubOAM18,
author = {Sarah Benyagoub and
Meriem Ouederni and
Yamine A{\"{\i}}t Ameur and
Atif Mashkoor},
editor = {Aaron Dutle and
C{\'{e}}sar A. Mu{\~{n}}oz and
Anthony Narkawicz},
title = {Incremental Construction of Realizable Choreographies},
booktitle = {{NASA} Formal Methods - 10th International Symposium, {NFM} 2018,
Newport News, VA, USA, April 17-19, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10811},
pages = {1--19},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-77935-5\_1},
doi = {10.1007/978-3-319-77935-5\_1},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/nfm/BenyagoubOAM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/HacidA17,
author = {Kahina Hacid and
Yamine A{\"{\i}}t Ameur},
title = {Handling Domain Knowledge in Design and Analysis of Engineering Models},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {74},
year = {2017},
url = {https://doi.org/10.14279/tuj.eceasst.74.1045},
doi = {10.14279/TUJ.ECEASST.74.1045},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/HacidA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/BellatrecheAP17,
author = {Ladjel Bellatreche and
Yamine A{\"{\i}}t Ameur and
George Angelos Papadopoulos},
title = {Models and data engineering},
journal = {Future Gener. Comput. Syst.},
volume = {68},
pages = {442--444},
year = {2017},
url = {https://doi.org/10.1016/j.future.2016.11.017},
doi = {10.1016/J.FUTURE.2016.11.017},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fgcs/BellatrecheAP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/BellatrecheAP17a,
author = {Ladjel Bellatreche and
Yamine A{\"{\i}}t Ameur and
George Angelos Papadopoulos},
title = {Models and data engineering},
journal = {Future Gener. Comput. Syst.},
volume = {70},
pages = {1--3},
year = {2017},
url = {https://doi.org/10.1016/j.future.2016.11.019},
doi = {10.1016/J.FUTURE.2016.11.019},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fgcs/BellatrecheAP17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/soco/AmeurBBJS17,
author = {Yamine A{\"{\i}}t Ameur and
Micka{\"{e}}l Baron and
Ladjel Bellatreche and
St{\'{e}}phane Jean and
Eric Sardet},
title = {Ontologies in engineering: the OntoDB/OntoQL platform},
journal = {Soft Comput.},
volume = {21},
number = {2},
pages = {369--389},
year = {2017},
url = {https://doi.org/10.1007/s00500-015-1633-5},
doi = {10.1007/S00500-015-1633-5},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/soco/AmeurBBJS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BoniolWAS17,
author = {Fr{\'{e}}d{\'{e}}ric Boniol and
Virginie Wiels and
Yamine A{\"{\i}}t Ameur and
Klaus{-}Dieter Schewe},
title = {The landing gear case study: challenges and experiments},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {19},
number = {2},
pages = {133--140},
year = {2017},
url = {https://doi.org/10.1007/s10009-016-0431-4},
doi = {10.1007/S10009-016-0431-4},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BoniolWAS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/ZoubeyrAOT17,
author = {Farah Zoubeyr and
Yamine A{\"{\i}}t Ameur and
Meriem Ouederni and
Abdelkamel Tari},
title = {A correct-by-construction model for asynchronously communicating systems},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {19},
number = {4},
pages = {465--485},
year = {2017},
url = {https://doi.org/10.1007/s10009-016-0421-6},
doi = {10.1007/S10009-016-0421-6},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/ZoubeyrAOT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsc/BabinAP17,
author = {Guillaume Babin and
Yamine A{\"{\i}}t Ameur and
Marc Pantel},
title = {Web Service Compensation at Runtime: Formal Modeling and Verification
Using the Event-B Refinement and Proof Based Formal Method},
journal = {{IEEE} Trans. Serv. Comput.},
volume = {10},
number = {1},
pages = {107--120},
year = {2017},
url = {https://doi.org/10.1109/TSC.2016.2594782},
doi = {10.1109/TSC.2016.2594782},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsc/BabinAP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interact/FayollasMPA17,
author = {Camille Fayollas and
C{\'{e}}lia Martinie and
Philippe A. Palanque and
Yamine A{\"{\i}}t Ameur},
editor = {Torkil Clemmensen and
Venkatesh Rajamanickam and
Peter Dannenmann and
Helen Petrie and
Marco Winckler},
title = {{QBP} Notation for Explicit Representation of Properties, Their Refinement
and Their Potential Conflicts: Application to Interactive Systems},
booktitle = {Global Thoughts, Local Designs - {INTERACT} 2017 {IFIP} {TC} 13 Workshops,
Mumbai, India, September 25-27, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10774},
pages = {91--105},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-92081-8\_9},
doi = {10.1007/978-3-319-92081-8\_9},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/interact/FayollasMPA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/OubelliABCL17,
author = {Lynda Ait Oubelli and
Yamine A{\"{\i}}t Ameur and
Judica{\"{e}}l Bedouet and
Beno{\^{\i}}t Chausserie{-}Lapree and
B{\'{e}}atrice Larzul},
editor = {Yassine Ouhammou and
Mirjana Ivanovic and
Alberto Abell{\'{o}} and
Ladjel Bellatreche},
title = {Automating the Evolution of Data Models for Space Missions. {A} Model-Based
Approach},
booktitle = {Model and Data Engineering - 7th International Conference, {MEDI}
2017, Barcelona, Spain, October 4-6, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10563},
pages = {340--354},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66854-3\_26},
doi = {10.1007/978-3-319-66854-3\_26},
timestamp = {Thu, 23 Jun 2022 19:57:36 +0200},
biburl = {https://dblp.org/rec/conf/medi/OubelliABCL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/HalchinFSAO17,
author = {Alexandra Halchin and
Abderrahmane Feliachi and
Neeraj Kumar Singh and
Yamine A{\"{\i}}t Ameur and
Julien Ordioni},
editor = {Alessandro Fantechi and
Thierry Lecomte and
Alexander B. Romanovsky},
title = {B-PERFect - Applying the {PERF} Approach to {B} Based System Developments},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - Second International Conference,
RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10598},
pages = {160--172},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68499-4\_11},
doi = {10.1007/978-3-319-68499-4\_11},
timestamp = {Thu, 10 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rssrail/HalchinFSAO17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/GeDJdA17,
author = {Ning Ge and
Arnaud Dieumegard and
Eric Jenn and
Bruno d'Ausbourg and
Yamine A{\"{\i}}t Ameur},
editor = {Fr{\'{e}}d{\'{e}}ric Mallet and
Min Zhang and
Eric Madelaine},
title = {Formal development process of safety-critical embedded human machine
interface systems},
booktitle = {11th International Symposium on Theoretical Aspects of Software Engineering,
{TASE} 2017, Sophia Antipolis, France, September 13-15, 2017},
pages = {1--8},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/TASE.2017.8285636},
doi = {10.1109/TASE.2017.8285636},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/GeDJdA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1805-05518,
author = {Yamine A{\"{\i}}t Ameur and
Idir A{\"{\i}}t{-}Sadoune and
Kahina Hacid and
Linda Mohand{-}Oussa{\"{\i}}d},
editor = {R{\'{e}}gine Laleau and
Dominique M{\'{e}}ry and
Shin Nakajima and
Elena Troubitsyna},
title = {Formal Modelling of Ontologies : An Event-B based Approach Using the
Rodin Platform},
booktitle = {Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge
in formal system development {(IMPEX)} and Formal and Model-Driven
Techniques for Developing Trustworthy Systems (FM{\&}MDD), IMPEX/FM{\&}MDD
2017, Xi'an, China, 16th November 2017},
series = {{EPTCS}},
volume = {271},
pages = {24--33},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.271.2},
doi = {10.4204/EPTCS.271.2},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-05518.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/AmeurM16,
author = {Yamine A{\"{\i}}t Ameur and
Dominique M{\'{e}}ry},
title = {Making explicit domain knowledge in formal system development},
journal = {Sci. Comput. Program.},
volume = {121},
pages = {100--127},
year = {2016},
url = {https://doi.org/10.1016/j.scico.2015.12.004},
doi = {10.1016/J.SCICO.2015.12.004},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/AmeurM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/AmeurS16,
author = {Yamine A{\"{\i}}t Ameur and
Klaus{-}Dieter Schewe},
title = {Introduction to the {ABZ} 2014 special issue},
journal = {Sci. Comput. Program.},
volume = {131},
pages = {1--2},
year = {2016},
url = {https://doi.org/10.1016/j.scico.2016.09.001},
doi = {10.1016/J.SCICO.2016.09.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/AmeurS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/BabinASP16,
author = {Guillaume Babin and
Yamine A{\"{\i}}t Ameur and
Neeraj Kumar Singh and
Marc Pantel},
editor = {Michael J. Butler and
Klaus{-}Dieter Schewe and
Atif Mashkoor and
Mikl{\'{o}}s Bir{\'{o}}},
title = {Handling Continuous Functions in Hybrid Systems Reconfigurations:
{A} Formal Event-B Development},
booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 5th International
Conference, {ABZ} 2016, Linz, Austria, May 23-27, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9675},
pages = {290--296},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-33600-8\_23},
doi = {10.1007/978-3-319-33600-8\_23},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/BabinASP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/BabinAP16,
author = {Guillaume Babin and
Yamine A{\"{\i}}t Ameur and
Marc Pantel},
editor = {Radu F. Babiceanu and
H{\'{e}}l{\`{e}}ne Waeselynck and
Raymond A. Paul and
Bojan Cukic and
Jie Xu},
title = {Correct Instantiation of a System Reconfiguration Pattern: {A} Proof
and Refinement-Based Approach},
booktitle = {17th {IEEE} International Symposium on High Assurance Systems Engineering,
{HASE} 2016, Orlando, FL, USA, January 7-9, 2016},
pages = {31--38},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/HASE.2016.47},
doi = {10.1109/HASE.2016.47},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hase/BabinAP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/SinghAPDJ16,
author = {Neeraj Kumar Singh and
Yamine A{\"{\i}}t Ameur and
Marc Pantel and
Arnaud Dieumegard and
Eric Jenn},
editor = {Hai Wang and
Mounir Mokhtari},
title = {Stepwise Formal Modeling and Verification of Self-Adaptive Systems
with Event-B. The Automatic Rover Protection Case Study},
booktitle = {21st International Conference on Engineering of Complex Computer Systems,
{ICECCS} 2016, Dubai, United Arab Emirates, November 6-8, 2016},
pages = {43--52},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/ICECCS.2016.015},
doi = {10.1109/ICECCS.2016.015},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/SinghAPDJ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/BabinASP16,
author = {Guillaume Babin and
Yamine A{\"{\i}}t Ameur and
Neeraj Kumar Singh and
Marc Pantel},
editor = {Kazuhiro Ogata and
Mark Lawford and
Shaoying Liu},
title = {A System Substitution Mechanism for Hybrid Systems in Event-B},
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 = {106--121},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47846-3\_8},
doi = {10.1007/978-3-319-47846-3\_8},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/BabinASP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/HacidA16,
author = {Kahina Hacid and
Yamine A{\"{\i}}t Ameur},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Strengthening {MDE} and Formal Design Models by References to Domain
Ontologies. {A} Model Annotation Based Approach},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Foundational Techniques - 7th International Symposium, ISoLA 2016,
Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {9952},
pages = {340--357},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47166-2\_24},
doi = {10.1007/978-3-319-47166-2\_24},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/isola/HacidA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/HacidA16,
author = {Kahina Hacid and
Yamine A{\"{\i}}t Ameur},
editor = {Ladjel Bellatreche and
Oscar Pastor and
Jes{\'{u}}s Manuel Almendros{-}Jim{\'{e}}nez and
Yamine A{\"{\i}}t Ameur},
title = {Annotation of Engineering Models by References to Domain Ontologies},
booktitle = {Model and Data Engineering - 6th International Conference, {MEDI}
2016, Almer{\'{\i}}a, Spain, September 21-23, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9893},
pages = {234--244},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45547-1\_19},
doi = {10.1007/978-3-319-45547-1\_19},
timestamp = {Mon, 18 Jan 2021 08:56:36 +0100},
biburl = {https://dblp.org/rec/conf/medi/HacidA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/BenyagoubOSA16,
author = {Sarah Benyagoub and
Meriem Ouederni and
Neeraj Kumar Singh and
Yamine A{\"{\i}}t Ameur},
editor = {Ladjel Bellatreche and
Oscar Pastor and
Jes{\'{u}}s Manuel Almendros{-}Jim{\'{e}}nez and
Yamine A{\"{\i}}t Ameur},
title = {Correct-by-Construction Evolution of Realisable Conversation Protocols},
booktitle = {Model and Data Engineering - 6th International Conference, {MEDI}
2016, Almer{\'{\i}}a, Spain, September 21-23, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9893},
pages = {260--273},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45547-1\_21},
doi = {10.1007/978-3-319-45547-1\_21},
timestamp = {Thu, 10 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/medi/BenyagoubOSA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/BenyagoubOA16,
author = {Sarah Benyagoub and
Meriem Ouederni and
Yamine A{\"{\i}}t Ameur},
editor = {Mohamed Ghazel and
Mohamed Jmaiel},
title = {Towards correct Evolution of Conversation Protocols},
booktitle = {Proceedings of the 10th Workshop on Verification and Evaluation of
Computer and Communication System, VECoS 2016, Tunis, Tunisia, October
6-7, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1689},
pages = {193--201},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1689/paper16.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:15 +0100},
biburl = {https://dblp.org/rec/conf/vecos/BenyagoubOA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/medi/2016,
editor = {Ladjel Bellatreche and
Oscar Pastor and
Jes{\'{u}}s Manuel Almendros{-}Jim{\'{e}}nez and
Yamine A{\"{\i}}t Ameur},
title = {Model and Data Engineering - 6th International Conference, {MEDI}
2016, Almer{\'{\i}}a, Spain, September 21-23, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9893},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45547-1},
doi = {10.1007/978-3-319-45547-1},
isbn = {978-3-319-45546-4},
timestamp = {Mon, 18 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/medi/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/AmeurNM16,
author = {Yamine A{\"{\i}}t Ameur and
Shin Nakajima and
Dominique M{\'{e}}ry},
title = {Implicit and explicit semantics integration in proof based developments
of discrete systems {(NII} Shonan Meeting 2016-16)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2016},
year = {2016},
url = {https://shonan.nii.ac.jp/seminars/090/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/AmeurNM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computing/Mohand-OussaidA15,
author = {Linda Mohand{-}Oussa{\"{\i}}d and
Idir A{\"{\i}}t{-}Sadoune and
Yamine A{\"{\i}}t Ameur and
Mohamed Ahmed{-}Nacer},
title = {A formal model for output multimodal {HCI} - An Event-B formalization},
journal = {Computing},
volume = {97},
number = {7},
pages = {713--740},
year = {2015},
url = {https://doi.org/10.1007/s00607-015-0460-y},
doi = {10.1007/S00607-015-0460-Y},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computing/Mohand-OussaidA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsc/JeanAP15,
author = {St{\'{e}}phane Jean and
Yamine A{\"{\i}}t Ameur and
Guy Pierra},
title = {OntoQL: An Alternative to Semantic Web Query Languages},
journal = {Int. J. Semantic Comput.},
volume = {9},
number = {1},
pages = {105},
year = {2015},
url = {https://doi.org/10.1142/S1793351X1550004X},
doi = {10.1142/S1793351X1550004X},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsc/JeanAP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsi/Mohand-OussaidA15,
author = {Linda Mohand{-}Oussa{\"{\i}}d and
Idir A{\"{\i}}t{-}Sadoune and
Yamine A{\"{\i}}t Ameur and
Mohamed Ahmed{-}Nacer},
title = {Mod{\'{e}}lisation formelle d'IHM multimodales en sortie avec
{B} {\'{E}}v{\'{e}}nementiel. Approche par g{\'{e}}n{\'{e}}ralisation
et instanciation},
journal = {Tech. Sci. Informatiques},
volume = {34},
number = {5},
pages = {523--548},
year = {2015},
url = {https://doi.org/10.3166/TSI.34.523-548},
doi = {10.3166/TSI.34.523-548},
timestamp = {Wed, 24 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsi/Mohand-OussaidA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEscc/BabinAP15,
author = {Guillaume Babin and
Yamine A{\"{\i}}t Ameur and
Marc Pantel},
title = {Formal Verification of Runtime Compensation of Web Service Compositions:
{A} Refinement and Proof Based Proposal with Event-B},
booktitle = {2015 {IEEE} International Conference on Services Computing, {SCC}
2015, New York City, NY, USA, June 27 - July 2, 2015},
pages = {98--105},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/SCC.2015.23},
doi = {10.1109/SCC.2015.23},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/IEEEscc/BabinAP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/BabinANP15,
author = {Guillaume Babin and
Yamine A{\"{\i}}t Ameur and
Shin Nakajima and
Marc Pantel},
editor = {Xuandong Li and
Zhiming Liu and
Wang Yi},
title = {Refinement and Proof Based Development of Systems Characterized by
Continuous Functions},
booktitle = {Dependable Software Engineering: Theories, Tools, and Applications
- First International Symposium, {SETTA} 2015, Nanjing, China, November
4-6, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9409},
pages = {55--70},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25942-0\_4},
doi = {10.1007/978-3-319-25942-0\_4},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/BabinANP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/ChebiebA15,
author = {Abdelkrim Chebieb and
Yamine A{\"{\i}}t Ameur},
title = {Formal Verification of Plastic User Interfaces Exploiting Domain Ontologies},
booktitle = {2015 International Symposium on Theoretical Aspects of Software Engineering,
{TASE} 2015, Nanjing, China, September 12-14, 2015},
pages = {79--86},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/TASE.2015.25},
doi = {10.1109/TASE.2015.25},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/ChebiebA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/15/Ait-SadouneA15,
author = {Idir A{\"{\i}}t{-}Sadoune and
Yamine A{\"{\i}}t Ameur},
editor = {Bernhard Thalheim and
Klaus{-}Dieter Schewe and
Andreas Prinz and
Bruno Buchberger},
title = {Formal Modelling and Verification of Transactional Web Service Composition:
{A} Refinement and Proof Approach with Event-B},
booktitle = {Correct Software in Web Applications and Web Services},
series = {Texts and monographs in symbolic computation},
pages = {1--27},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-17112-8\_1},
doi = {10.1007/978-3-319-17112-8\_1},
timestamp = {Wed, 25 Sep 2019 17:41:11 +0200},
biburl = {https://dblp.org/rec/books/sp/15/Ait-SadouneA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cii/BellatrecheAMS14,
author = {Ladjel Bellatreche and
Yamine A{\"{\i}}t Ameur and
Anne Monceaux and
Eric Sardet},
title = {Editorial},
journal = {Comput. Ind.},
volume = {65},
number = {9},
pages = {1215--1217},
year = {2014},
url = {https://doi.org/10.1016/j.compind.2014.09.001},
doi = {10.1016/J.COMPIND.2014.09.001},
timestamp = {Tue, 18 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cii/BellatrecheAMS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/Mohand-OussaidA14,
author = {Linda Mohand{-}Oussa{\"{\i}}d and
Idir A{\"{\i}}t{-}Sadoune and
Yamine A{\"{\i}}t Ameur and
Mohamed Ahmed{-}Nacer},
title = {Formal Modelling of Output Multi-Modal {HCI} in Event-B: Modalities
and Media Allocation},
booktitle = {2014 {AAAI} Spring Symposia, Stanford University, Palo Alto, California,
USA, March 24-26, 2014},
publisher = {{AAAI} Press},
year = {2014},
url = {http://www.aaai.org/ocs/index.php/SSS/SSS14/paper/view/7737},
timestamp = {Wed, 14 Nov 2018 14:23:12 +0100},
biburl = {https://dblp.org/rec/conf/aaaiss/Mohand-OussaidA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/KhouriBJA14,
author = {Selma Khouri and
Ladjel Bellatreche and
St{\'{e}}phane Jean and
Yamine A{\"{\i}}t Ameur},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Requirements Driven Data Warehouse Design: We Can Go Further},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
pages = {588--603},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8\_49},
doi = {10.1007/978-3-662-45231-8\_49},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/isola/KhouriBJA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/AmeurGM14,
author = {Yamine A{\"{\i}}t Ameur and
J. Paul Gibson and
Dominique M{\'{e}}ry},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {On Implicit and Explicit Semantics: Integration Issues in Proof-Based
Development of Systems - Version to Read},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
pages = {604--618},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8\_50},
doi = {10.1007/978-3-662-45231-8\_50},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/AmeurGM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/asm/2014cst,
editor = {Fr{\'{e}}d{\'{e}}ric Boniol and
Virginie Wiels and
Yamine A{\"{\i}}t Ameur and
Klaus{-}Dieter Schewe},
title = {{ABZ} 2014: The Landing Gear Case Study - Case Study Track, Held at
the 4th International Conference on Abstract State Machines, Alloy,
B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014. Proceedings},
series = {Communications in Computer and Information Science},
volume = {433},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07512-9},
doi = {10.1007/978-3-319-07512-9},
isbn = {978-3-319-07511-2},
timestamp = {Tue, 07 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/2014cst.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/asm/2014,
editor = {Yamine A{\"{\i}}t Ameur and
Klaus{-}Dieter Schewe},
title = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 4th International
Conference, {ABZ} 2014, Toulouse, France, June 2-6, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8477},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-43652-3},
doi = {10.1007/978-3-662-43652-3},
isbn = {978-3-662-43651-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/medi/2014,
editor = {Yamine A{\"{\i}}t Ameur and
Ladjel Bellatreche and
George A. Papadopoulos},
title = {Model and Data Engineering - 4th International Conference, {MEDI}
2014, Larnaca, Cyprus, September 24-26, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8748},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11587-0},
doi = {10.1007/978-3-319-11587-0},
isbn = {978-3-319-11586-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/medi/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tlsdkcs/Ait-SadouneA13,
author = {Idir A{\"{\i}}t{-}Sadoune and
Yamine A{\"{\i}}t Ameur},
title = {Stepwise Development of Formal Models for Web Services Compositions:
Modelling and Property Verification},
journal = {Trans. Large Scale Data Knowl. Centered Syst.},
volume = {10},
pages = {1--33},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41221-9\_1},
doi = {10.1007/978-3-642-41221-9\_1},
timestamp = {Tue, 19 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tlsdkcs/Ait-SadouneA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adbis/AmeurABCCCGGKKKLNPPRV13,
author = {Yamine A{\"{\i}}t Ameur and
Witold Andrzejewski and
Ladjel Bellatreche and
Barbara Catania and
Tania Cerquitelli and
Silvia Chiusano and
Matteo Golfarelli and
Giovanna Guerrini and
Krzysztof Kaczmarski and
Mirko K{\"{a}}mpf and
Alfons Kemper and
Tobias Lauer and
Boris Novikov and
Themis Palpanas and
Jaroslav Pokorn{\'{y}} and
Stefano Rizzi and
Athena Vakali},
editor = {Barbara Catania and
Tania Cerquitelli and
Silvia Chiusano and
Giovanna Guerrini and
Mirko K{\"{a}}mpf and
Alfons Kemper and
Boris Novikov and
Themis Palpanas and
Jaroslav Pokorn{\'{y}} and
Athena Vakali},
title = {New Trends in Databases and Information Systems: Contributions from
{ADBIS} 2013},
booktitle = {New Trends in Databases and Information Systems, 17th East European
Conference on Advances in Databases and Information Systems, {ADBIS}
2013, Genoa, Italy, September 1-4, 2013. Proceedings {II}},
series = {Advances in Intelligent Systems and Computing},
volume = {241},
pages = {1--13},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-01863-8\_1},
doi = {10.1007/978-3-319-01863-8\_1},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adbis/AmeurABCCCGGKKKLNPPRV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/BazharOAGJ13,
author = {Youness Bazhar and
Yassine Ouhammou and
Yamine A{\"{\i}}t Ameur and
Emmanuel Grolleau and
St{\'{e}}phane Jean},
editor = {Alfredo Cuzzocrea and
Sofian Maabout},
title = {Persistent Meta-Modeling Systems as Heterogeneous Model Repositories},
booktitle = {Model and Data Engineering - Third International Conference, {MEDI}
2013, Amantea, Italy, September 25-27, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8216},
pages = {25--37},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41366-7\_3},
doi = {10.1007/978-3-642-41366-7\_3},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/medi/BazharOAGJ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcis/ChakrounBABJ13,
author = {Chedlia Chakroun and
Ladjel Bellatreche and
Yamine A{\"{\i}}t Ameur and
Nabila Berkani and
St{\'{e}}phane Jean},
editor = {Roel J. Wieringa and
Selmin Nurcan and
Colette Rolland and
Jean{-}Louis Cavarero},
title = {Be careful when designing semantic databases: Data and concepts redundancy},
booktitle = {{IEEE} 7th International Conference on Research Challenges in Information
Science, {RCIS} 2013, Paris, France, May 29-31, 2013},
pages = {1--12},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/RCIS.2013.6577692},
doi = {10.1109/RCIS.2013.6577692},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/rcis/ChakrounBABJ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/BazharAJ13,
author = {Youness Bazhar and
Yamine A{\"{\i}}t Ameur and
St{\'{e}}phane Jean},
title = {BeMoRe: a Repository for Handling Models Behaviors},
booktitle = {The 25th International Conference on Software Engineering and Knowledge
Engineering, Boston, MA, USA, June 27-29, 2013},
pages = {262--267},
publisher = {Knowledge Systems Institute Graduate School},
year = {2013},
timestamp = {Thu, 12 Mar 2020 11:30:49 +0100},
biburl = {https://dblp.org/rec/conf/seke/BazharAJ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/webist/ChakrounBA13,
author = {Chedlia Chakroun and
Ladjel Bellatreche and
Yamine A{\"{\i}}t Ameur},
editor = {Karl{-}Heinz Krempels and
Alexander Stocker},
title = {It is Time to propose a Complete Methodology for Designing Semantic
Databases},
booktitle = {{WEBIST} 2013 - Proceedings of the 9th International Conference on
Web Information Systems and Technologies, Aachen, Germany, 8-10 May,
2013},
pages = {160--164},
publisher = {SciTePress},
year = {2013},
timestamp = {Wed, 02 Oct 2013 15:28:41 +0200},
biburl = {https://dblp.org/rec/conf/webist/ChakrounBA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/sci/Ait-AmeurC13,
author = {Yamine A{\"{\i}}t Ameur and
Abdelkrim Chebieb},
editor = {Abdelmalek Amine and
Otmane A{\"{\i}}t Mohamed and
Ladjel Bellatreche},
title = {Checking System Substitutability: An Application to Interactive Systems},
booktitle = {Modeling Approaches and Algorithms for Advanced Computer Applications},
series = {Studies in Computational Intelligence},
volume = {488},
pages = {3},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-00560-7\_2},
doi = {10.1007/978-3-319-00560-7\_2},
timestamp = {Tue, 16 May 2017 14:24:32 +0200},
biburl = {https://dblp.org/rec/series/sci/Ait-AmeurC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijwgs/BakhtouchiBJA12,
author = {Abdelghani Bakhtouchi and
Ladjel Bellatreche and
St{\'{e}}phane Jean and
Yamine A{\"{\i}}t Ameur},
title = {{MIRSOFT:} mediator for integrating and reconciling sources using
ontological functional dependencies},
journal = {Int. J. Web Grid Serv.},
volume = {8},
number = {1},
pages = {72--110},
year = {2012},
url = {https://doi.org/10.1504/IJWGS.2012.046731},
doi = {10.1504/IJWGS.2012.046731},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijwgs/BakhtouchiBJA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsi/Ait-Ameur12,
author = {Yamine A{\"{\i}}t Ameur},
title = {{\'{E}}ditorial},
journal = {Tech. Sci. Informatiques},
volume = {31},
number = {6},
pages = {711--712},
year = {2012},
url = {http://tsi.revuesonline.com/article.jsp?articleId=17758},
timestamp = {Wed, 24 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsi/Ait-Ameur12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dexa/AmeurA12,
author = {Yamine A{\"{\i}}t Ameur and
Idir A{\"{\i}}t{-}Sadoune},
editor = {Stephen W. Liddle and
Klaus{-}Dieter Schewe and
A Min Tjoa and
Xiaofang Zhou},
title = {Stepwise Development of Formal Models for Web Services Compositions:
Modelling and Property Verification},
booktitle = {Database and Expert Systems Applications - 23rd International Conference,
{DEXA} 2012, Vienna, Austria, September 3-6, 2012. Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {7446},
pages = {9},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32600-4\_2},
doi = {10.1007/978-3-642-32600-4\_2},
timestamp = {Wed, 20 Nov 2019 16:52:45 +0100},
biburl = {https://dblp.org/rec/conf/dexa/AmeurA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/TeguiakAJS12,
author = {Henry Val{\'{e}}ry T{\'{e}}guiak and
Yamine A{\"{\i}}t Ameur and
St{\'{e}}phane Jean and
{\'{E}}ric Sardet},
editor = {Leszek A. Maciaszek and
Alfredo Cuzzocrea and
Jos{\'{e}} Cordeiro},
title = {{MQL:} {A} Mapping Management Language for Model-based Databases},
booktitle = {{ICEIS} 2012 - Proceedings of the 14th International Conference on
Enterprise Information Systems, Volume 1, Wroclaw, Poland, 28 June
- 1 July, 2012},
pages = {145--150},
publisher = {SciTePress},
year = {2012},
timestamp = {Wed, 22 Aug 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iceis/TeguiakAJS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/AmeurM12,
author = {Yamine A{\"{\i}}t Ameur and
Dominique M{\'{e}}ry},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Handling Heterogeneity in Formal Developments of Hardware and Software
Systems},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Applications and Case Studies - 5th International Symposium, ISoLA
2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {7610},
pages = {327--328},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34032-1\_33},
doi = {10.1007/978-3-642-34032-1\_33},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/isola/AmeurM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/MaitrehenryMAB12,
author = {S{\'{e}}bastien Ma{\^{\i}}trehenry and
Sylvain Metge and
Yamine A{\"{\i}}t Ameur and
Pierre Bieber},
editor = {Alberto Abell{\'{o}} and
Ladjel Bellatreche and
Boualem Benatallah},
title = {An MDE-Based Synthesis of Aircraft Safety Models},
booktitle = {Model and Data Engineering - 2nd International Conference, {MEDI}
2012, Poitiers, France, October 3-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7602},
pages = {43--54},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33609-6\_6},
doi = {10.1007/978-3-642-33609-6\_6},
timestamp = {Thu, 23 Jun 2022 19:57:36 +0200},
biburl = {https://dblp.org/rec/conf/medi/MaitrehenryMAB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/BazharCABJ12,
author = {Youness Bazhar and
Chedlia Chakroun and
Yamine A{\"{\i}}t Ameur and
Ladjel Bellatreche and
St{\'{e}}phane Jean},
editor = {Robert Meersman and
Herv{\'{e}} Panetto and
Tharam S. Dillon and
Stefanie Rinderle{-}Ma and
Peter Dadam and
Xiaofang Zhou and
Siani Pearson and
Alois Ferscha and
Sonia Bergamaschi and
Isabel F. Cruz},
title = {Extending Ontology-Based Databases with Behavioral Semantics},
booktitle = {On the Move to Meaningful Internet Systems: {OTM} 2012, Confederated
International Conferences: CoopIS, DOA-SVI, and {ODBASE} 2012, Rome,
Italy, September 10-14, 2012. Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {7566},
pages = {879--896},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33615-7\_31},
doi = {10.1007/978-3-642-33615-7\_31},
timestamp = {Sat, 08 Feb 2020 13:16:20 +0100},
biburl = {https://dblp.org/rec/conf/otm/BazharCABJ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcis/BakhtouchiBJA12,
author = {Abdelghani Bakhtouchi and
Ladjel Bellatreche and
St{\'{e}}phane Jean and
Yamine A{\"{\i}}t Ameur},
editor = {Colette Rolland and
Jaelson Castro and
Oscar Pastor},
title = {Ontologies as a solution for simultaneously integrating and reconciliating
data sources},
booktitle = {Sixth International Conference on Research Challenges in Information
Science, {RCIS} 2012, Valencia, Spain, May 16-18 2012},
pages = {1--12},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/RCIS.2012.6240431},
doi = {10.1109/RCIS.2012.6240431},
timestamp = {Mon, 18 Jan 2021 08:56:35 +0100},
biburl = {https://dblp.org/rec/conf/rcis/BakhtouchiBJA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/webist/BazharAJB12,
author = {Youness Bazhar and
Yamine A{\"{\i}}t Ameur and
St{\'{e}}phane Jean and
Micka{\"{e}}l Baron},
editor = {Karl{-}Heinz Krempels and
Jos{\'{e}} Cordeiro},
title = {A Flexible Support of Non Canonical Concepts in Ontology-based Databases},
booktitle = {{WEBIST} 2012 - Proceedings of the 8th International Conference on
Web Information Systems and Technologies, Porto, Portugal, 18 - 21
April, 2012},
pages = {393--398},
publisher = {SciTePress},
year = {2012},
timestamp = {Fri, 25 May 2012 12:31:27 +0200},
biburl = {https://dblp.org/rec/conf/webist/BazharAJB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/BellatrecheAC11,
author = {Ladjel Bellatreche and
Yamine A{\"{\i}}t Ameur and
Chedlia Chakroun},
title = {A design methodology of ontology based database applications},
journal = {Log. J. {IGPL}},
volume = {19},
number = {5},
pages = {648--665},
year = {2011},
url = {https://doi.org/10.1093/jigpal/jzq017},
doi = {10.1093/JIGPAL/JZQ017},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/BellatrecheAC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijebm/BelaidJAR11,
author = {Nabil Belaid and
St{\'{e}}phane Jean and
Yamine A{\"{\i}}t Ameur and
Jean{-}Fran{\c{c}}ois Rainaud},
title = {An Ontology and Indexation based Management of Services and Workflows
Application to Geological Modeling},
journal = {Int. J. Electron. Bus. Manag.},
volume = {9},
number = {4},
pages = {296--309},
year = {2011},
url = {http://ijebm.ie.nthu.edu.tw/IJEBM\_Web/IJEBM\_static/Paper-V9\_N4/A02.pdf},
timestamp = {Mon, 28 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijebm/BelaidJAR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/er/BakhtouchiBA11,
author = {Abdelghani Bakhtouchi and
Ladjel Bellatreche and
Yamine A{\"{\i}}t Ameur},
editor = {Olga De Troyer and
Claudia Bauzer Medeiros and
Roland Billen and
Pierre Hallot and
Alkis Simitsis and
Hans Van Mingroot},
title = {Ontologies and Functional Dependencies for Data Integration and Reconciliation},
booktitle = {Advances in Conceptual Modeling. Recent Developments and New Directions
- {ER} 2011 Workshops FP-UML, MoRE-BI, Onto-CoM, SeCoGIS, Variability@ER,
WISM, Brussels, Belgium, October 31 - November 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6999},
pages = {98--107},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24574-9\_13},
doi = {10.1007/978-3-642-24574-9\_13},
timestamp = {Sun, 25 Oct 2020 22:58:49 +0100},
biburl = {https://dblp.org/rec/conf/er/BakhtouchiBA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/Mohand-OussaidAA11,
author = {Linda Mohand{-}Oussa{\"{\i}}d and
Idir A{\"{\i}}t{-}Sadoune and
Yamine A{\"{\i}}t Ameur},
editor = {Ladjel Bellatreche and
Filipe Mota Pinto},
title = {Modelling Information Fission in Output Multi-modal Interactive Systems
Using Event-B},
booktitle = {Model and Data Engineering - First International Conference, {MEDI}
2011, {\'{O}}bidos, Portugal, September 28-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6918},
pages = {200--213},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24443-8\_22},
doi = {10.1007/978-3-642-24443-8\_22},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/medi/Mohand-OussaidAA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/ChakrounBA11,
author = {Chedlia Chakroun and
Ladjel Bellatreche and
Yamine A{\"{\i}}t Ameur},
editor = {Robert Meersman and
Tharam S. Dillon and
Pilar Herrero},
title = {The Role of Class Dependencies in Designing Ontology-Based Databases},
booktitle = {On the Move to Meaningful Internet Systems: {OTM} 2011 Workshops -
Confederated International Workshops and Posters: {EI2N+NSF} ICE,
ICSP+INBAST, ISDE, ORM, OTMA, SWWS+MONET+SeDeS, and {VADER} 2011,
Hersonissos, Crete, Greece, October 17-21, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7046},
pages = {444--453},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-25126-9\_56},
doi = {10.1007/978-3-642-25126-9\_56},
timestamp = {Thu, 14 Oct 2021 10:28:26 +0200},
biburl = {https://dblp.org/rec/conf/otm/ChakrounBA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dke/BellatrecheAP10,
author = {Ladjel Bellatreche and
Yamine A{\"{\i}}t Ameur and
Guy Pierra},
title = {Special issue on contribution of ontologies in designing advanced
information systems},
journal = {Data Knowl. Eng.},
volume = {69},
number = {11},
pages = {1081--1083},
year = {2010},
url = {https://doi.org/10.1016/j.datak.2010.08.002},
doi = {10.1016/J.DATAK.2010.08.002},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dke/BellatrecheAP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/AmeurBW10,
author = {Yamine A{\"{\i}}t Ameur and
Fr{\'{e}}d{\'{e}}ric Boniol and
Virginie Wiels},
title = {Toward a wider use of formal methods for aerospace systems design
and verification},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {12},
number = {1},
pages = {1--7},
year = {2010},
url = {https://doi.org/10.1007/s10009-009-0131-4},
doi = {10.1007/S10009-009-0131-4},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/AmeurBW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adbis/JeanAP10,
author = {St{\'{e}}phane Jean and
Yamine A{\"{\i}}t Ameur and
Guy Pierra},
editor = {Barbara Catania and
Mirjana Ivanovic and
Bernhard Thalheim},
title = {A Language for Ontology-Based Metamodeling Systems},
booktitle = {Advances in Databases and Information Systems - 14th East European
Conference, {ADBIS} 2010, Novi Sad, Serbia, September 20-24, 2010.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6295},
pages = {247--261},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15576-5\_20},
doi = {10.1007/978-3-642-15576-5\_20},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/adbis/JeanAP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/Ait-SadouneA10,
author = {Idir A{\"{\i}}t{-}Sadoune and
Yamine A{\"{\i}}t Ameur},
editor = {Marc Frappier and
Uwe Gl{\"{a}}sser and
Sarfraz Khurshid and
R{\'{e}}gine Laleau and
Steve Reeves},
title = {A Proof Based Approach for Formal Verification of Transactional {BPEL}
Web Services},
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 = {405--406},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11811-1\_39},
doi = {10.1007/978-3-642-11811-1\_39},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/asm/Ait-SadouneA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic3k/TeguiakAJS10,
author = {Henry Val{\'{e}}ry T{\'{e}}guiak and
Yamine A{\"{\i}}t Ameur and
St{\'{e}}phane Jean and
Eric Sardet},
editor = {Joaquim Filipe and
Jan L. G. Dietz},
title = {Incremental Design of Ontologies - {A} Model Transformation-based
Approach},
booktitle = {{KEOD} 2010 - Proceedings of the International Conference on Knowledge
Engineering and Ontology Development, Valencia, Spain, October 25-28,
2010},
pages = {94--103},
publisher = {SciTePress},
year = {2010},
timestamp = {Thu, 27 Oct 2011 12:42:36 +0200},
biburl = {https://dblp.org/rec/conf/ic3k/TeguiakAJS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic3k/BelaidAJR10,
author = {Nabil Belaid and
Yamine A{\"{\i}}t Ameur and
St{\'{e}}phane Jean and
Jean{-}Fran{\c{c}}ois Rainaud},
editor = {Joaquim Filipe and
Jan L. G. Dietz},
title = {Toward a Semantic Management of Geological Modeling Workflows},
booktitle = {{KEOD} 2010 - Proceedings of the International Conference on Knowledge
Engineering and Ontology Development, Valencia, Spain, October 25-28,
2010},
pages = {282--287},
publisher = {SciTePress},
year = {2010},
timestamp = {Thu, 27 Oct 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ic3k/BelaidAJR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/ZayasMA10,
author = {David Simon Zayas and
Anne Monceaux and
Yamine A{\"{\i}}t Ameur},
editor = {Radu Calinescu and
Richard F. Paige and
Marta Z. Kwiatkowska},
title = {Knowledge Models to Reduce the Gap between Heterogeneous Models: Application
to Aircraft Systems Engineering},
booktitle = {15th {IEEE} International Conference on Engineering of Complex Computer
Systems, {ICECCS} 2010, Oxford, United Kingdom, 22-26 March 2010},
pages = {355--360},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ICECCS.2010.35},
doi = {10.1109/ICECCS.2010.35},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/ZayasMA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/AmeurBMW10,
author = {Yamine A{\"{\i}}t Ameur and
Fr{\'{e}}d{\'{e}}ric Boniol and
Dominique M{\'{e}}ry and
Virginie Wiels},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Thematic Track: Formal Languages and Methods for Designing and Verifying
Complex Embedded Systems},
booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation
- 4th International Symposium on Leveraging Applications, ISoLA 2010,
Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {6415},
pages = {58--59},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16558-0\_7},
doi = {10.1007/978-3-642-16558-0\_7},
timestamp = {Sun, 02 Jun 2019 21:11:28 +0200},
biburl = {https://dblp.org/rec/conf/isola/AmeurBMW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sera/Ait-SadouneA10,
author = {Idir A{\"{\i}}t{-}Sadoune and
Yamine A{\"{\i}}t Ameur},
editor = {Roger Y. Lee and
Olga Ormandjieva and
Alain Abran and
Constantinos Constantinides},
title = {Stepwise Design of {BPEL} Web Services Compositions: An Event{\_}B
Refinement Based Approach},
booktitle = {Software Engineering Research, Management and Applications 2010 [selected
papers from the 8th {ACIS} International Conference on Software Engineering
Research, Management and Applications, {SERA} 2010, Montreal, Canada,
May 24-26, 2010]},
series = {Studies in Computational Intelligence},
volume = {296},
pages = {51--68},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13273-5\_4},
doi = {10.1007/978-3-642-13273-5\_4},
timestamp = {Fri, 19 May 2017 01:26:31 +0200},
biburl = {https://dblp.org/rec/conf/sera/Ait-SadouneA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/AmeurBKM09,
author = {Yamine A{\"{\i}}t Ameur and
Micka{\"{e}}l Baron and
Nadjet Kamel and
Jean{-}Marc Mota},
title = {Encoding a process algebra using the Event {B} method},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {11},
number = {3},
pages = {239--253},
year = {2009},
url = {https://doi.org/10.1007/s10009-009-0109-2},
doi = {10.1007/S10009-009-0109-2},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/AmeurBKM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsi/FankamBHAP09,
author = {Chim{\`{e}}ne Fankam and
Ladjel Bellatreche and
Hondjack Dehainsala and
Yamine A{\"{\i}}t Ameur and
Guy Pierra},
title = {SISRO, conception de bases de donn{\'{e}}es {\`{a}} partir d'ontologies
de domaine},
journal = {Tech. Sci. Informatiques},
volume = {28},
number = {10},
pages = {1233--1261},
year = {2009},
url = {https://doi.org/10.3166/tsi.28.1233-1261},
doi = {10.3166/TSI.28.1233-1261},
timestamp = {Wed, 24 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsi/FankamBHAP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bncod/MastellaAJPR09,
author = {Laura S. Mastella and
Yamine A{\"{\i}}t Ameur and
St{\'{e}}phane Jean and
Michel Perrin and
Jean{-}Fran{\c{c}}ois Rainaud},
editor = {Alan P. Sexton},
title = {Semantic Exploitation of Engineering Models: An Application to Oilfield
Models},
booktitle = {Dataspace: The Final Frontier, 26th British National Conference on
Databases, {BNCOD} 26, Birmingham, UK, July 7-9, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5588},
pages = {203--207},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02843-4\_22},
doi = {10.1007/978-3-642-02843-4\_22},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/bncod/MastellaAJPR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbkda/FankamJPBA09,
author = {Chim{\`{e}}ne Fankam and
St{\'{e}}phane Jean and
Guy Pierra and
Ladjel Bellatreche and
Yamine A{\"{\i}}t Ameur},
editor = {Qiming Chen and
Alfredo Cuzzocrea and
Takahiro Hara and
Ela Hunt and
Manuela Popescu},
title = {Towards Connecting Database Applications to Ontologies},
booktitle = {The First International Conference on Advances in Databases, Knowledge,
and Data Applications, {DBKDS} 2009, Gosier, Guadeloupe, France, 1-6
March 2009},
pages = {131--137},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/DBKDA.2009.22},
doi = {10.1109/DBKDA.2009.22},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dbkda/FankamJPBA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/Ait-SadouneA09,
author = {Idir A{\"{\i}}t{-}Sadoune and
Yamine A{\"{\i}}t Ameur},
title = {A Proof Based Approach for Modelling and VerifyingWeb Services Compositions},
booktitle = {14th {IEEE} International Conference on Engineering of Complex Computer
Systems, {ICECCS} 2009, Potsdam, Germany, 2-4 June 2009},
pages = {1--10},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICECCS.2009.48},
doi = {10.1109/ICECCS.2009.48},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/Ait-SadouneA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/TapucuAJU09,
author = {Dilek Tapucu and
Yamine A{\"{\i}}t Ameur and
St{\'{e}}phane Jean and
Murat Osman {\"{U}}nalir},
editor = {Jos{\'{e}} Cordeiro and
Joaquim Filipe},
title = {An Extension of Ontology based Databases to Handle Preferences},
booktitle = {{ICEIS} 2009 - Proceedings of the 11th International Conference on
Enterprise Information Systems, Volume DISI, Milan, Italy, May 6-10,
2009},
pages = {208--213},
year = {2009},
timestamp = {Thu, 10 Sep 2009 09:32:44 +0200},
biburl = {https://dblp.org/rec/conf/iceis/TapucuAJU09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/BelaidAR09,
author = {Nabil Belaid and
Yamine A{\"{\i}}t Ameur and
Jean{-}Fran{\c{c}}ois Rainaud},
title = {A Semantic Repository for Geological Modeling Workflows},
booktitle = {{IEEE} International Conference on Web Services, {ICWS} 2009, Los
Angeles, CA, USA, 6-10 July 2009},
pages = {1030--1031},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICWS.2009.134},
doi = {10.1109/ICWS.2009.134},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icws/BelaidAR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medes/BelaidAR09,
author = {Nabil Belaid and
Yamine A{\"{\i}}t Ameur and
Jean{-}Fran{\c{c}}ois Rainaud},
editor = {Richard Chbeir and
Youakim Badr and
Epaminondas Kapetanios and
Agma J. M. Traina},
title = {A semantic handling of geological modeling workflows},
booktitle = {{MEDES} '09: International {ACM} Conference on Management of Emergent
Digital EcoSystems, Lyon, France, October 27-30, 2009},
pages = {83--90},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1643823.1643840},
doi = {10.1145/1643823.1643840},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/medes/BelaidAR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcis/MastellaAJPR09,
author = {Laura S. Mastella and
Yamine A{\"{\i}}t Ameur and
St{\'{e}}phane Jean and
Michel Perrin and
Jean{-}Fran{\c{c}}ois Rainaud},
editor = {Andr{\'{e}} Flory and
Martine Collard},
title = {Semantic exploitation of persistent metadata in engineering models:
application to geological models},
booktitle = {Proceedings of the Third {IEEE} International Conference on Research
Challenges in Information Science, {RCIS} 2009, F{\`{e}}s, Morocco,
22-24 April 2009},
pages = {129--138},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/RCIS.2009.5089276},
doi = {10.1109/RCIS.2009.5089276},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/rcis/MastellaAJPR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/services/Ameur09,
author = {Yamine A{\"{\i}}t Ameur},
title = {A Semantic Repository for Adaptive Services},
booktitle = {2009 {IEEE} Congress on Services, Part I, {SERVICES} {I} 2009, Los
Angeles, CA, USA, July 6-10, 2009},
pages = {211--218},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/SERVICES-I.2009.41},
doi = {10.1109/SERVICES-I.2009.41},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/services/Ameur09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/webist/BelaidAR09,
author = {Nabil Belaid and
Yamine A{\"{\i}}t Ameur and
Jean{-}Fran{\c{c}}ois Rainaud},
editor = {Joaquim Filipe and
Jos{\'{e}} Cordeiro},
title = {{SWAPT} - Semantic Workflow Architecture for Petroleum Techniques},
booktitle = {{WEBIST} 2009 - Proceedings of the Fifth International Conference
on Web Information Systems and Technologies, Lisbon, Portugal, March
23-26, 2009},
pages = {101--104},
publisher = {{INSTICC} Press},
year = {2009},
timestamp = {Tue, 19 May 2009 14:33:41 +0200},
biburl = {https://dblp.org/rec/conf/webist/BelaidAR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isi/AmeurABM08,
author = {Yamine A{\"{\i}}t Ameur and
Idir A{\"{\i}}t{-}Sadoune and
Micka{\"{e}}l Baron and
Jean{-}Marc Mota},
title = {D{\'{e}}veloppements formels d'interfaces multimodales fond{\'{e}}s
sur la preuve et le raffinement. Sc{\'{e}}narios de d{\'{e}}veloppement},
journal = {Ing{\'{e}}nierie des Syst{\`{e}}mes d Inf.},
volume = {13},
number = {2},
pages = {127--154},
year = {2008},
url = {https://doi.org/10.3166/isi.13.2.127-154},
doi = {10.3166/ISI.13.2.127-154},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/isi/AmeurABM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ambisys/KamelASH08,
author = {Nadjet Kamel and
Yamine A{\"{\i}}t Ameur and
Sid{-}Ahmed Selouani and
Habib Hamam},
editor = {Ben Liang and
Roger M. Whitaker},
title = {A formal model to handle the adaptability of multimodal user interfaces},
booktitle = {1st International {ICST} Conference on Ambient Media and Systems,
{AMBI-SYS} 2008, Quebec, Canada, February 11-13, 2008},
pages = {3},
publisher = {{ICST}},
year = {2008},
url = {https://doi.org/10.4108/ICST.AMBISYS2008.2882},
doi = {10.4108/ICST.AMBISYS2008.2882},
timestamp = {Wed, 14 Dec 2022 11:41:06 +0100},
biburl = {https://dblp.org/rec/conf/ambisys/KamelASH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/Ait-SadouneA08,
author = {Idir A{\"{\i}}t{-}Sadoune and
Yamine A{\"{\i}}t Ameur},
editor = {Egon B{\"{o}}rger and
Michael J. Butler and
Jonathan P. Bowen and
Paul Boca},
title = {Verification and Validation of Web Service Composition Using Event
{B} Method},
booktitle = {Abstract State Machines, {B} and Z, First International Conference,
{ABZ} 2008, London, UK, September 16-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5238},
pages = {339--340},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87603-8\_28},
doi = {10.1007/978-3-540-87603-8\_28},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/asm/Ait-SadouneA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsa/FankamJBA08,
author = {Chim{\`{e}}ne Fankam and
St{\'{e}}phane Jean and
Ladjel Bellatreche and
Yamine A{\"{\i}}t Ameur},
editor = {Ronald Morrison and
Dharini Balasubramaniam and
Katrina Falkner},
title = {Extending the {ANSI/SPARC} Architecture Database with Explicit Data
Semantics: An Ontology-Based Approach},
booktitle = {Software Architecture, Second European Conference, {ECSA} 2008, Paphos,
Cyprus, September 29 - October 1, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5292},
pages = {318--321},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88030-1\_27},
doi = {10.1007/978-3-540-88030-1\_27},
timestamp = {Mon, 17 Jul 2023 13:04:30 +0200},
biburl = {https://dblp.org/rec/conf/ecsa/FankamJBA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esws/AmeurBBCDDDFGGGGGHJLLMMPPRASTV08,
author = {Yamine A{\"{\i}}t Ameur and
Nabil Belaid and
Mohammed Bennis and
Olivier Corby and
Rose Dieng{-}Kuntz and
J{\'{e}}r{\'{e}}mie Doucy and
Priscille Durville and
Chim{\`{e}}ne Fankam and
Fabien Gandon and
Alain Giboin and
Patrick Giroux and
Sandrine Grataloup and
Bruno Grilh{\`{e}}res and
Florian Husson and
St{\'{e}}phane Jean and
Jo{\"{e}}l Langlois and
Phuc{-}Hiep Luong and
Laura S. Mastella and
Olivier Morel and
Michel Perrin and
Guy Pierra and
Jean{-}Fran{\c{c}}ois Rainaud and
Idir A{\"{\i}}t{-}Sadoune and
Eric Sardet and
Francois Tertre and
Jo{\~{a}}o Francisco Valiati},
editor = {Khalid Belhajjame and
Mathieu d'Aquin and
Peter Haase and
Paolo Missier},
title = {Semantic Hubs for Geological Projects},
booktitle = {First International Workshop on Semantic Metadata Management and Applications,
SeMMA 2008, Located at the Fifth European Semantic Web Conference
{(ESWC} 2008), Tenerife, Spain, June 2nd, 2008. Proceedings},
series = {{CEUR} Workshop Proceedings},
volume = {346},
pages = {3--17},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-346/1.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:13 +0100},
biburl = {https://dblp.org/rec/conf/esws/AmeurBBCDDDFGGGGGHJLLMMPPRASTV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Ait-SadouneA08,
author = {Idir A{\"{\i}}t{-}Sadoune and
Yamine A{\"{\i}}t Ameur},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Animating Event {B} Models by Formal Data Models},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {37--55},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_4},
doi = {10.1007/978-3-540-88479-8\_4},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/Ait-SadouneA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/webist/MastellaAPR08,
author = {Laura S. Mastella and
Yamine A{\"{\i}}t Ameur and
Michel Perrin and
Jean{-}Fran{\c{c}}ois Rainaud},
editor = {Jos{\'{e}} Cordeiro and
Joaquim Filipe and
Slimane Hammoudi},
title = {Ontology-Based Model Annotation of Heterogeneous Geological Representations},
booktitle = {{WEBIST} 2008, Proceedings of the Fourth International Conference
on Web Information Systems and Technologies, Volume 2, Funchal, Madeira,
Portugal, May 4-7, 2008},
pages = {290--293},
publisher = {{INSTICC} Press},
year = {2008},
timestamp = {Mon, 18 Aug 2008 10:48:49 +0200},
biburl = {https://dblp.org/rec/conf/webist/MastellaAPR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cal/2008,
editor = {Yamine A{\"{\i}}t Ameur},
title = {2{\`{e}}me Conf{\'{e}}rence Francophone sur les Architectures
Logicielles {(CAL} 2008), 3-7 Mars 2008, Montr{\'{e}}al, Qu{\'{e}}bec,
Canada},
series = {Revue des Nouvelles Technologies de l'Information},
volume = {{RNTI-L-2}},
publisher = {C{\'{e}}padu{\`{e}}s-{\'{E}}ditions},
year = {2008},
url = {http://editions-rnti.fr/?procid=100073},
timestamp = {Thu, 24 Apr 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cal/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adbis/JeanAP07,
author = {St{\'{e}}phane Jean and
Yamine A{\"{\i}}t Ameur and
Guy Pierra},
editor = {Yannis E. Ioannidis and
Boris Novikov and
Boris Rachev},
title = {An Object-Oriented Based Algebra for Ontologies and Their Instances},
booktitle = {Advances in Databases and Information Systems, 11th East European
Conference, {ADBIS} 2007, Varna, Bulgaria, September 29-October 3,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4690},
pages = {141--156},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75185-4\_12},
doi = {10.1007/978-3-540-75185-4\_12},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/adbis/JeanAP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dasfaa/JeanHXPBA07,
author = {St{\'{e}}phane Jean and
Hondjack Dehainsala and
Dung Nguyen Xuan and
Guy Pierra and
Ladjel Bellatreche and
Yamine A{\"{\i}}t Ameur},
editor = {Kotagiri Ramamohanarao and
P. Radha Krishna and
Mukesh K. Mohania and
Ekawit Nantajeewarawat},
title = {OntoDB: It Is Time to Embed Your Domain Ontology in Your Database},
booktitle = {Advances in Databases: Concepts, Systems and Applications, 12th International
Conference on Database Systems for Advanced Applications, {DASFAA}
2007, Bangkok, Thailand, April 9-12, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4443},
pages = {1119--1122},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71703-4\_113},
doi = {10.1007/978-3-540-71703-4\_113},
timestamp = {Wed, 26 May 2021 08:40:06 +0200},
biburl = {https://dblp.org/rec/conf/dasfaa/JeanHXPBA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hci/CortierdA07,
author = {Alexandre Cortier and
Bruno d'Ausbourg and
Yamine A{\"{\i}}t Ameur},
editor = {Julie A. Jacko},
title = {Formal Validation of Java/Swing User Interfaces with the Event {B}
Method},
booktitle = {Human-Computer Interaction. Interaction Design and Usability, 12th
International Conference, {HCI} International 2007, Beijing, China,
July 22-27, 2007, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {4550},
pages = {1062--1071},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73105-4\_116},
doi = {10.1007/978-3-540-73105-4\_116},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/hci/CortierdA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icps/CherrierMFAH07,
author = {Pascal Cherrier and
Holger M{\"{u}}gge and
Andres Fortier and
Yamine A{\"{\i}}t Ameur and
Robert Hirschfeld},
title = {Software Engineering of Pervasive Services},
booktitle = {Proceedings of the {IEEE} International Conference on Pervasive Services,
{ICPS} 2007, 15-20 July, 2007, Istanbul, Turkey},
pages = {283},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/PERSER.2007.4283927},
doi = {10.1109/PERSER.2007.4283927},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icps/CherrierMFAH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icps/KamelA07,
author = {Nadjet Kamel and
Yamine A{\"{\i}}t Ameur},
title = {A Formal Model for {CARE} Usability Properties Verification in Multimodal
{HCI}},
booktitle = {Proceedings of the {IEEE} International Conference on Pervasive Services,
{ICPS} 2007, 15-20 July, 2007, Istanbul, Turkey},
pages = {341--348},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/PERSER.2007.4283937},
doi = {10.1109/PERSER.2007.4283937},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icps/KamelA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inforsid/JeanAP07,
author = {St{\'{e}}phane Jean and
Yamine A{\"{\i}}t Ameur and
Guy Pierra},
title = {Une approche langage pour la gestion de donn{\`{e}}es dans les syst{\`{e}}mes
de m{\'{e}}ta-mod{\'{e}}lisation},
booktitle = {Actes du XXV{\`{e}}me Congr{\`{e}}s INFORSID, Perros-Guirec, France,
22 au 25 mai 2007},
pages = {171--188},
year = {2007},
timestamp = {Tue, 10 Feb 2009 14:34:18 +0100},
biburl = {https://dblp.org/rec/conf/inforsid/JeanAP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/webist/FankamAP07,
author = {Chim{\`{e}}ne Fankam and
Yamine A{\"{\i}}t Ameur and
Guy Pierra},
editor = {Joaquim Filipe and
Jos{\'{e}} Cordeiro and
Bruno Encarna{\c{c}}{\~{a}}o and
Vitor Pedrosa},
title = {Exploitation of Ontology Languages for Both Persistence and Reasoning
Purposes - Mapping PLIB, {OWL} and Flight Ontology Models},
booktitle = {{WEBIST} 2007 - Proceedings of the Third International Conference
on Web Information Systems and Technologies, Volume WIA, Barcelona,
Spain, March 3-6, 2007},
pages = {254--262},
publisher = {{INSTICC} Press},
year = {2007},
timestamp = {Fri, 26 Oct 2012 18:37:05 +0200},
biburl = {https://dblp.org/rec/conf/webist/FankamAP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isola/2007,
editor = {Yamine A{\"{\i}}t Ameur and
Fr{\'{e}}d{\'{e}}ric Boniol and
Virginie Wiels},
title = {ISoLA 2007, Workshop On Leveraging Applications of Formal Methods,
Verification and Validation, Poitiers-Futuroscope, France, December
12-14, 2007},
series = {Revue des Nouvelles Technologies de l'Information},
volume = {{RNTI-SM-1}},
publisher = {C{\'{e}}padu{\`{e}}s-{\'{E}}ditions},
year = {2007},
url = {http://editions-rnti.fr/?procid=100068},
isbn = {978-2-85428-814-8},
timestamp = {Thu, 24 Apr 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/AmeurB06,
author = {Yamine A{\"{\i}}t Ameur and
Micka{\"{e}}l Baron},
title = {Formal and experimental validation approaches in {HCI} systems design
based on a shared event {B} model},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {8},
number = {6},
pages = {547--563},
year = {2006},
url = {https://doi.org/10.1007/s10009-006-0008-8},
doi = {10.1007/S10009-006-0008-8},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/AmeurB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsi/AmeurDW06,
author = {Yamine A{\"{\i}}t Ameur and
Remi Delmas and
Virginie Wiels},
title = {Un cadre formel pour la sp{\'{e}}cification multivue de syst{\`{e}}mes
avioniques},
journal = {Tech. Sci. Informatiques},
volume = {25},
number = {1},
pages = {43--72},
year = {2006},
url = {https://doi.org/10.3166/tsi.25.43-72},
doi = {10.3166/TSI.25.43-72},
timestamp = {Wed, 24 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsi/AmeurDW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ihm/AmeurAMB06,
author = {Yamine A{\"{\i}}t Ameur and
Idir A{\"{\i}}t{-}Sadoune and
Jean{-}Marc Mota and
Micka{\"{e}}l Baron},
editor = {Jean{-}Marc Robert and
Bertrand David},
title = {Validation et v{\'{e}}rification formelles de syst{\`{e}}mes
interactifs multi-modaux fond{\'{e}}es sur la preuve},
booktitle = {Proceedings of the 18th International Conference of the Association
Francophone d'Interaction Homme-Machine, Montreal, Quebec, Canada,
18-21 April 2006},
series = {{ACM} International Conference Proceeding Series},
volume = {133},
pages = {123--130},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1132736.1132752},
doi = {10.1145/1132736.1132752},
timestamp = {Tue, 08 Mar 2022 08:19:42 +0100},
biburl = {https://dblp.org/rec/conf/ihm/AmeurAMB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/AmeurDCW06,
author = {Yamine A{\"{\i}}t Ameur and
Remi Delmas and
Alexandre Cortier and
Virginie Wiels},
title = {Formal Modelling of Avionics Systems. An Approach Based on Category
Theory and the {EXPRESS} Modelling Language},
booktitle = {Leveraging Applications of Formal Methods, Second International Symposium,
ISoLA 2006, Paphos, Cyprus, 15-19 November 2006},
pages = {36--44},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ISoLA.2006.11},
doi = {10.1109/ISOLA.2006.11},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/AmeurDCW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/JeanAP06,
author = {St{\'{e}}phane Jean and
Yamine A{\"{\i}}t Ameur and
Guy Pierra},
editor = {Robert Meersman and
Zahir Tari},
title = {Querying Ontology Based Database Using OntoQL (An Ontology Query Language)},
booktitle = {On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA,
and ODBASE, {OTM} Confederated International Conferences, CoopIS,
DOA, GADA, and {ODBASE} 2006, Montpellier, France, October 29 - November
3, 2006. Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {4275},
pages = {704--721},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11914853\_43},
doi = {10.1007/11914853\_43},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/otm/JeanAP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/JeanAP06,
author = {St{\'{e}}phane Jean and
Yamine A{\"{\i}}t Ameur and
Guy Pierra},
editor = {Kang Zhang and
George Spanoudakis and
Giuseppe Visaggio},
title = {Querying Ontology Based Databases - The OntoQL Proposal},
booktitle = {Proceedings of the Eighteenth International Conference on Software
Engineering {\&} Knowledge Engineering (SEKE'2006), San Francisco,
CA, USA, July 5-7, 2006},
pages = {166--171},
year = {2006},
timestamp = {Thu, 15 Aug 2024 07:54:35 +0200},
biburl = {https://dblp.org/rec/conf/seke/JeanAP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/webist/JeanPA06a,
author = {St{\'{e}}phane Jean and
Guy Pierra and
Yamine A{\"{\i}}t Ameur},
editor = {Joaquim Filipe and
Jos{\'{e}} Cordeiro and
Vitor Pedrosa},
title = {Domain Ontologies: {A} Database-Oriented Analysis},
booktitle = {Web Information Systems and Technologies, International Conferences,
{WEBIST} 2005 and {WEBIST} 2006. Revised Selected Papers},
series = {Lecture Notes in Business Information Processing},
volume = {1},
pages = {238--254},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-74063-6\_19},
doi = {10.1007/978-3-540-74063-6\_19},
timestamp = {Tue, 16 Aug 2022 23:04:36 +0200},
biburl = {https://dblp.org/rec/conf/webist/JeanPA06a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/webist/JeanPA06,
author = {St{\'{e}}phane Jean and
Guy Pierra and
Yamine A{\"{\i}}t Ameur},
editor = {Jos{\'{e}} A. Moinhos Cordeiro and
Vitor Pedrosa and
Bruno Encarna{\c{c}}{\~{a}}o and
Joaquim Filipe},
title = {Domain Ontologies: {A} Database-Oriented Analysis},
booktitle = {{WEBIST} 2006, Proceedings of the Second International Conference
on Web Information Systems and Technologies: Internet Technology /
Web Interface and Applications, Set{\'{u}}bal, Portugal, April
11-13, 2006},
pages = {341--351},
publisher = {{INSTICC} Press},
year = {2006},
timestamp = {Mon, 18 Sep 2006 11:02:42 +0200},
biburl = {https://dblp.org/rec/conf/webist/JeanPA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isi/PierraHAB05,
author = {Guy Pierra and
Hondjack Dehainsala and
Yamine A{\"{\i}}t Ameur and
Ladjel Bellatreche},
title = {Bases de donn{\'{e}}es {\`{a}} base ontologique. Principe et
mise en oeuvre},
journal = {Ing{\'{e}}nierie des Syst{\`{e}}mes d Inf.},
volume = {10},
number = {2},
pages = {91--115},
year = {2005},
url = {https://doi.org/10.3166/isi.10.2.91-115},
doi = {10.3166/ISI.10.2.91-115},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/isi/PierraHAB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jitsr/AkloufPAD05,
author = {Youcef Aklouf and
Guy Pierra and
Yamine A{\"{\i}}t Ameur and
Habiba Drias},
title = {{PLIB} Ontology: {A} Mature Solution for Products Characterization
in {B2B} Electronic Commerce},
journal = {Int. J. {IT} Stand. Stand. Res.},
volume = {3},
number = {2},
pages = {66--81},
year = {2005},
url = {https://doi.org/10.4018/jitsr.2005070106},
doi = {10.4018/JITSR.2005070106},
timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jitsr/AkloufPAD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bda/PierraHABCM04,
author = {Guy Pierra and
Hondjack Dehainsala and
Yamine A{\"{\i}}t Ameur and
Ladjel Bellatreche and
J{\'{e}}r{\^{o}}me Chochon and
Mourad El{-}Hadj Mimoune},
editor = {Jacques Le Maitre},
title = {Base de donn{\'{e}}es {\`{a}} base ontologique: le mod{\`{e}}le
OntoDB},
booktitle = {20{\`{e}}mes Journ{\'{e}}es Bases de Donn{\'{e}}es Avanc{\'{e}}es,
{BDA} '04, Montpellier, France, 19 - 22 octobre 2004, Actes (Informal
Proceedings)},
pages = {263--286},
year = {2004},
timestamp = {Fri, 22 Jun 2018 07:13:04 +0200},
biburl = {https://dblp.org/rec/conf/bda/PierraHABCM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dexa/BellatrechePXHA04,
author = {Ladjel Bellatreche and
Guy Pierra and
Dung Nguyen Xuan and
Hondjack Dehainsala and
Yamine A{\"{\i}}t Ameur},
editor = {Fernando Galindo and
Makoto Takizawa and
Roland Traunm{\"{u}}ller},
title = {An a Priori Approach for Automatic Integration of Heterogeneous and
Autonomous Databases},
booktitle = {Database and Expert Systems Applications, 15th International Conference,
{DEXA} 2004 Zaragoza, Spain, August 30-September 3, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3180},
pages = {475--485},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30075-5\_46},
doi = {10.1007/978-3-540-30075-5\_46},
timestamp = {Sat, 30 Sep 2023 09:38:52 +0200},
biburl = {https://dblp.org/rec/conf/dexa/BellatrechePXHA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Ameur04,
author = {Yamine A{\"{\i}}t Ameur},
editor = {Ren{\'{e}} Jacquart},
title = {Representation of procedural knowledge and its use to compute a form
of subsumption},
booktitle = {Building the Information Society, {IFIP} 18th World Computer Congress,
Topical Sessions, 22-27 August 2004, Toulouse, France},
series = {{IFIP}},
volume = {156},
pages = {31--36},
publisher = {Kluwer/Springer},
year = {2004},
url = {https://doi.org/10.1007/978-1-4020-8157-6\_5},
doi = {10.1007/978-1-4020-8157-6\_5},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Ameur04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/AmeurK04,
author = {Yamine A{\"{\i}}t Ameur and
Nadjet Kamel},
editor = {Ren{\'{e}} Jacquart},
title = {A generic formal specification of fusion of modalities in a multimodal
{HCI}},
booktitle = {Building the Information Society, {IFIP} 18th World Computer Congress,
Topical Sessions, 22-27 August 2004, Toulouse, France},
series = {{IFIP}},
volume = {156},
pages = {415--420},
publisher = {Kluwer/Springer},
year = {2004},
url = {https://doi.org/10.1007/978-1-4020-8157-6\_34},
doi = {10.1007/978-1-4020-8157-6\_34},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/AmeurK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip13/AmeurBGGJ04,
author = {Yamine A{\"{\i}}t Ameur and
Benoit Brehol{\'{e}}e and
Patrick Girard and
Laurent Guittet and
Francis Jambon},
editor = {Chris W. Johnson and
Philippe A. Palanque},
title = {Formal Verification and Validation of Interactive Systems Specifications
- From Informal Specifications to Formal Validation},
booktitle = {Human Error, Safety and Systems Development, {IFIP} 18th World Computer
Congress, {TC13} / {WG13.5} 7th Working Conference on Human Error,
Safety and Systems Development, 22-27 August 2004, Toulouse, France},
series = {{IFIP}},
volume = {152},
pages = {61--76},
publisher = {Kluwer/Springer},
year = {2004},
url = {https://doi.org/10.1007/1-4020-8153-7\_5},
doi = {10.1007/1-4020-8153-7\_5},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip13/AmeurBGGJ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/AmeurB04,
author = {Yamine A{\"{\i}}t Ameur and
Micka{\"{e}}l Baron},
editor = {Tiziana Margaria and
Bernhard Steffen and
Anna Philippou and
Manfred Reitenspie{\ss}},
title = {Bridging the gap between formal and experimental validation approaches
in {HCI} systems design: use of the event {B} proof based technique},
booktitle = {International Symposium on Leveraging Applications of Formal Methods,
ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary
proceedings},
series = {Technical Report},
volume = {{TR-2004-6}},
pages = {74--80},
publisher = {Department of Computer Science, University of Cyprus},
year = {2004},
timestamp = {Thu, 11 Sep 2008 12:07:39 +0200},
biburl = {https://dblp.org/rec/conf/isola/AmeurB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/AmeurDW04,
author = {Yamine A{\"{\i}}t Ameur and
Remi Delmas and
Virginie Wiels},
title = {A framework for heterogeneous formal modeling and compositional verification
of avionics systems},
booktitle = {2nd {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2004), 23-25 June 2004, San Diego,
California, USA, Proceedings},
pages = {223--232},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/MEMCOD.2004.1459858},
doi = {10.1109/MEMCOD.2004.1459858},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/AmeurDW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/MimounePA03,
author = {Mourad El{-}Hadj Mimoune and
Guy Pierra and
Yamine A{\"{\i}}t Ameur},
title = {An Ontology-Based Approach for Exchanging Data Between Heterogeneous
Database Systems},
booktitle = {{ICEIS} 2003, Proceedings of the 5th International Conference on Enterprise
Information Systems, Angers, France, April 22-26, 2003},
pages = {512--524},
year = {2003},
timestamp = {Thu, 02 Feb 2017 12:57:29 +0100},
biburl = {https://dblp.org/rec/conf/iceis/MimounePA03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispe/AkloufPAD03,
author = {Youcef Aklouf and
Guy Pierra and
Yamine A{\"{\i}}t Ameur and
Habiba Drias},
editor = {Ricardo Jardim{-}Gon{\c{c}}alves and
Jianzhong Cha and
Adolfo Steiger{-}Gar{\c{c}}{\~{a}}o},
title = {{PLIB} ontology for {B2B} electronic commerce},
booktitle = {Enhanced Interoperable Systems. Proceedings of the 10th {ISPE} International
Conference on Concurrent Engineering {(ISPE} {CE} 2003), July 26-30,
2003, Madeira, Portugal},
pages = {269--278},
publisher = {A. A. Balkema Publishers},
year = {2003},
timestamp = {Thu, 21 Sep 2023 11:30:06 +0200},
biburl = {https://dblp.org/rec/conf/ispe/AkloufPAD03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispe/ChochonAPP03,
author = {J{\'{e}}r{\^{o}}me Chochon and
Yamine A{\"{\i}}t Ameur and
Guy Pierra and
Jean{-}Claude Potier},
editor = {Ricardo Jardim{-}Gon{\c{c}}alves and
Jianzhong Cha and
Adolfo Steiger{-}Gar{\c{c}}{\~{a}}o},
title = {Reducing parts diversity in product design: a data centered approach},
booktitle = {Enhanced Interoperable Systems. Proceedings of the 10th {ISPE} International
Conference on Concurrent Engineering {(ISPE} {CE} 2003), July 26-30,
2003, Madeira, Portugal},
pages = {311--318},
publisher = {A. A. Balkema Publishers},
year = {2003},
timestamp = {Thu, 21 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ispe/ChochonAPP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfla/AmeurBPW03,
author = {Yamine A{\"{\i}}t Ameur and
Fr{\'{e}}d{\'{e}}ric Boniol and
S. Pairault and
Virginie Wiels},
editor = {Jean{-}Christophe Filli{\^{a}}tre},
title = {Analyse de robustesse de syst{\`{e}}mes avioniques},
booktitle = {Journ{\'{e}}es francophones des langages applicatifs (JFLA'03),
Chamrousse, France, Janvier 2003},
series = {Collection Didactique},
pages = {111--124},
publisher = {{INRIA}},
year = {2003},
timestamp = {Wed, 08 Feb 2006 14:52:54 +0100},
biburl = {https://dblp.org/rec/conf/jfla/AmeurBPW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lctrts/AmeurBBPW03,
author = {Yamine A{\"{\i}}t Ameur and
G{\'{e}}rard Bel and
Fr{\'{e}}d{\'{e}}ric Boniol and
S. Pairault and
Virginie Wiels},
editor = {Frank Mueller and
Ulrich Kremer},
title = {Robustness analysis of avionics embedded systems},
booktitle = {Proceedings of the 2003 Conference on Languages, Compilers, and Tools
for Embedded Systems (LCTES'03). San Diego, California, USA, June
11-13, 2003},
pages = {123--132},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/780732.780750},
doi = {10.1145/780732.780750},
timestamp = {Fri, 25 Jun 2021 17:17:37 +0200},
biburl = {https://dblp.org/rec/conf/lctrts/AmeurBBPW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serp/AmeurBG03,
author = {Yamine A{\"{\i}}t Ameur and
Micka{\"{e}}l Baron and
Patrick Girard},
editor = {Ban Al{-}Ani and
Hamid R. Arabnia and
Youngsong Mun},
title = {Formal Validation of {HCI} User Tasks},
booktitle = {Proceedings of the International Conference on Software Engineering
Research and Practice, {SERP} '03, June 23 - 26, 2003, Las Vegas,
Nevada, USA, Volume 2},
pages = {732--738},
publisher = {{CSREA} Press},
year = {2003},
timestamp = {Tue, 06 Sep 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serp/AmeurBG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ehci/JambonGA01,
author = {Francis Jambon and
Patrick Girard and
Yamine A{\"{\i}}t Ameur},
editor = {Murray Reed Little and
Laurence Nigay},
title = {Interactive System Safety and Usability Enforced with the Development
Process},
booktitle = {Engineering for Human-Computer Interaction, 8th {IFIP} International
Conference, {EHCI} 2001, Toronto, Canada, May 11-13, 2001, Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {2254},
pages = {39--56},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45348-2\_8},
doi = {10.1007/3-540-45348-2\_8},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/ehci/JambonGA01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/Ameur00,
author = {Yamine A{\"{\i}}t Ameur},
editor = {Wolfgang Grieskamp and
Thomas Santen and
Bill Stoddart},
title = {Cooperation of Formal Methods in an Engineering Based Software Development
Process},
booktitle = {Integrated Formal Methods, Second International Conference, {IFM}
2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1945},
pages = {136--155},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40911-4\_9},
doi = {10.1007/3-540-40911-4\_9},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/Ameur00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oois/AmeurS00,
author = {Yamine A{\"{\i}}t Ameur and
Eric Sardet},
editor = {Dilip Patel and
Islam Choudhury and
Shushma Patel and
Sergio de Cesare},
title = {An object oriented approach to represent behavioural knowledge in
heterogeneous information systems},
booktitle = {6th International Conference on Object Oriented Information Systems,
{OOIS} 2000, London, UK, December 18-20, 2000. Proceedings},
pages = {315--335},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/978-1-4471-0299-1\_27},
doi = {10.1007/978-1-4471-0299-1\_27},
timestamp = {Tue, 25 Jun 2019 12:25:42 +0200},
biburl = {https://dblp.org/rec/conf/oois/AmeurS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Ameur99,
author = {Yamine A{\"{\i}}t Ameur},
title = {Refinement of Rational End-Points Real Numbers by Means of Floating-Point
Numbers},
journal = {Sci. Comput. Program.},
volume = {33},
number = {2},
pages = {133--162},
year = {1999},
url = {https://doi.org/10.1016/S0167-6423(98)00008-2},
doi = {10.1016/S0167-6423(98)00008-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Ameur99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/AmeurGJ98,
author = {Yamine A{\"{\i}}t Ameur and
Patrick Girard and
Francis Jambon},
editor = {Panos Markopoulos and
Peter Johnson},
title = {A Uniform Approach for Specification and Design of Interactive Systems:
the {B} Method},
booktitle = {Design, Specification and Verification of Interactive Systems'98,
Supplementary Proceedings of the Fifth International Eurographics
Workshop, June 3-5, 1998, Abingdon, United Kingdom},
volume = {2},
pages = {51--67},
publisher = {Eurographics Association},
year = {1998},
timestamp = {Wed, 01 Jul 2020 21:28:45 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/AmeurGJ98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ehci/AmeurGJ98,
author = {Yamine A{\"{\i}}t Ameur and
Patrick Girard and
Francis Jambon},
editor = {St{\'{e}}phane Chatty and
Prasun Dewan},
title = {Using the {B} Formal Approach for Incremental Specification Design
of Interactiv Systems},
booktitle = {Engineering for Human-Computer Interaction, {IFIP} {TC2/TC13} {WG2.7/WG13.4}
Seventh Working Conference on Engineering for Human-Computer Interaction,
September 14-18, 1998, Heraklion, Crete, Greece},
series = {{IFIP} Conference Proceedings},
volume = {150},
pages = {91--109},
publisher = {Kluwer},
year = {1998},
timestamp = {Tue, 06 Sep 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ehci/AmeurGJ98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Ameur97,
author = {Yamine A{\"{\i}}t Ameur},
title = {A Contribution to Program Comprehension by Program Analysis: Application
to Numerical Programs},
booktitle = {1997 International Conference on Automated Software Engineering, {ASE}
1997, Lake Tahoe, CA, USA, November 2-5, 1997},
pages = {134--142},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ASE.1997.632833},
doi = {10.1109/ASE.1997.632833},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/Ameur97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijseke/Ameur95,
author = {Yamine A{\"{\i}}t Ameur},
title = {Formal Transformational Program Developments Directed by Operational
Properties Evaluations},
journal = {Int. J. Softw. Eng. Knowl. Eng.},
volume = {5},
number = {2},
pages = {271--297},
year = {1995},
url = {https://doi.org/10.1142/S0218194095000149},
doi = {10.1142/S0218194095000149},
timestamp = {Wed, 22 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijseke/Ameur95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/Ait-AmeurBGPP95,
author = {Yamine A{\"{\i}}t Ameur and
Frederic Besnard and
Patrick Girard and
Guy Pierra and
Jean{-}Claude Potier},
title = {Formal Specification and Metaprogramming in the {EXPRESS} Language},
booktitle = {SEKE'95, The 7th International Conference on Software Engineering
and Knowledge Engineering, June 22-24, 1995, Rockville, Maryland,
USA, Proceedings},
pages = {181--188},
publisher = {Knowledge Systems Institute},
year = {1995},
timestamp = {Tue, 06 Sep 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/seke/Ait-AmeurBGPP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/Ameur93,
author = {Yamine A{\"{\i}}t Ameur},
editor = {Jack C. Wileden and
Martin S. Feather and
Axel van Lamsweerde},
title = {Predicting Operational Behaviour of Abstract Programs During Formal
Developments},
booktitle = {Proceedings of the 7th International Workshop on Software Specification
and Design, Redondo Beach, CA, USA, December 6-7, 1993},
pages = {172--181},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://dl.acm.org/doi/10.5555/951807.951834},
doi = {10.5555/951807.951834},
timestamp = {Fri, 13 May 2022 15:10:38 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/Ameur93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/Ameur93,
author = {Yamine A{\"{\i}}t Ameur},
title = {Formal Program Development by Transformation and Non-Functional Properties
Evaluations. An Application to Numerical Programs},
booktitle = {SEKE'93, The 5th International Conference on Software Engineering
and Knowledge Engineering, Tutorials, June 14-15, 1993, Technical
Program, June 16-18, 1993, Hotel Sofitel, San Francisco Bay, {USA}},
pages = {703--710},
publisher = {Knowledge Systems Institute},
year = {1993},
timestamp = {Wed, 21 Feb 2007 11:27:24 +0100},
biburl = {https://dblp.org/rec/conf/seke/Ameur93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/AmeurCFG92,
author = {Yamine A{\"{\i}}t Ameur and
Patrice Cros and
Juan Jos{\'{e}} Falc{\'{o}}n and
Alicia G{\'{o}}mez},
editor = {Michel Billaud and
Pierre Cast{\'{e}}ran and
Marc{-}Michel Corsini and
Kaninda Musumbu and
Antoine Rauzy},
title = {An Application of Abstract Interpretation to Floating Point Arithmetic},
booktitle = {Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September
1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI),
Proceedings},
series = {Series Bigre},
volume = {81-82},
pages = {205--212},
publisher = {Atelier Irisa, IRISA, Campus de Beaulieu},
year = {1992},
timestamp = {Tue, 24 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/AmeurCFG92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/Ameur92,
author = {Yamine A{\"{\i}}t Ameur},
title = {Formal Program Developments Directed by Operational Properties Evaluation},
booktitle = {SEKE'92, The 4th International Conference on Software Engineering
and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
pages = {1--8},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/SEKE.1992.227955},
doi = {10.1109/SEKE.1992.227955},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/Ameur92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Ameur91,
author = {Yamine A{\"{\i}}t Ameur},
editor = {Timothy Paul Clement and
Kung{-}Kiu Lau},
title = {Program Transformations Directed by the Evaluation of non Functional
Properties (Extended Abstract)},
booktitle = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR}
91, International Workshop on Logic Program Synthesis and Transformation,
University of Manchester, UK, 4-5 July 1991},
series = {Workshops in Computing},
pages = {297--299},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/978-1-4471-3494-7\_21},
doi = {10.1007/978-1-4471-3494-7\_21},
timestamp = {Fri, 21 Jun 2019 13:08:59 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/Ameur91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Ameur91,
author = {Yamine A{\"{\i}}t Ameur},
editor = {Michel Billaud and
Pierre Cast{\'{e}}ran and
Marc{-}Michel Corsini and
Kaninda Musumbu and
Antoine Rauzy},
title = {Non Functional Properties Can Guide Program Developments},
booktitle = {Actes JTASPEFL'91 (Bordeaux, France), October 1991, Laboratoire Bordelais
de Recherche en Informatique (LaBRI), Proceedings},
series = {Series Bigre},
volume = {74},
pages = {189--196},
publisher = {Atelier Irisa, IRISA, Campus de Beaulieu},
year = {1991},
timestamp = {Thu, 12 Jul 2018 08:27:32 +0200},
biburl = {https://dblp.org/rec/conf/sas/Ameur91.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.
last updated on 2024-08-05 21:17 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:
