Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Pascal André
@article{DBLP:journals/cii/KaiserMHAL23,
author = {Jan Kaiser and
Duncan C. McFarlane and
Gregory Hawkridge and
Pascal Andr{\'{e}} and
Paulo Leit{\~{a}}o},
title = {A review of reference architectures for digital manufacturing: Classification,
applicability and open issues},
journal = {Comput. Ind.},
volume = {149},
pages = {103923},
year = {2023},
url = {https://doi.org/10.1016/j.compind.2023.103923},
doi = {10.1016/J.COMPIND.2023.103923},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cii/KaiserMHAL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dasc/TebibAGA23,
author = {Mohammed El Amin Tebib and
Pascal Andr{\'{e}} and
Mariem Graa and
Oum{-}El{-}Kheir Aktouf},
title = {PrivDroid: Android Security Code Smells Tool for Privilege Escalation
Prevention},
booktitle = {{IEEE} Intl Conf on Dependable, Autonomic and Secure Computing, Intl
Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and
Big Data Computing, Intl Conf on Cyber Science and Technology Congress,
DASC/PiCom/CBDCom/CyberSciTech 2023, Abu Dhabi, United Arab Emirates,
November 14-17, 2023},
pages = {1024--1031},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/DASC/PiCom/CBDCom/Cy59711.2023.10361431},
doi = {10.1109/DASC/PICOM/CBDCOM/CY59711.2023.10361431},
timestamp = {Tue, 23 Jan 2024 20:30:56 +0100},
biburl = {https://dblp.org/rec/conf/dasc/TebibAGA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/BaheuxATGAL23,
author = {Ivan Baheux and
Oum{-}El{-}Kheir Aktouf and
Mohammed El Amin Tebib and
Mariem Graa and
Pascal Andr{\'{e}} and
Yves Ledru},
title = {DroidSecTester: Towards context-driven modelling and detection of
Android application vulnerabilities},
booktitle = {34th {IEEE} International Symposium on Software Reliability Engineering,
{ISSRE} 2023 - Workshops, Florence, Italy, October 9-12, 2023},
pages = {136--141},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ISSREW60843.2023.00063},
doi = {10.1109/ISSREW60843.2023.00063},
timestamp = {Tue, 14 Nov 2023 16:09:48 +0100},
biburl = {https://dblp.org/rec/conf/issre/BaheuxATGAL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sohoma/AndreG23,
author = {Pascal Andr{\'{e}} and
Virginie Goepp},
editor = {Theodor Borangiu and
Damien Trentesaux and
Paulo Leit{\~{a}}o and
Lamia Berrah and
Jose{-}Fernando Jimenez},
title = {A Framework for Defining Customised {KPI} in Manufacturing Systems},
booktitle = {Service Oriented, Holonic and Multi-Agent Manufacturing Systems for
Industry of the Future - Proceedings of {SOHOMA} 2023, Annecy, France,
28-29 September 2023},
series = {Studies in Computational Intelligence},
volume = {1136},
pages = {309--320},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-53445-4\_26},
doi = {10.1007/978-3-031-53445-4\_26},
timestamp = {Thu, 08 Feb 2024 13:26:36 +0100},
biburl = {https://dblp.org/rec/conf/sohoma/AndreG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sohoma/AndreC23,
author = {Pascal Andr{\'{e}} and
Olivier Cardin},
editor = {Theodor Borangiu and
Damien Trentesaux and
Paulo Leit{\~{a}}o and
Lamia Berrah and
Jose{-}Fernando Jimenez},
title = {A Core Reference Model for Applicable Reconfigurable Manufacturing
Systems},
booktitle = {Service Oriented, Holonic and Multi-Agent Manufacturing Systems for
Industry of the Future - Proceedings of {SOHOMA} 2023, Annecy, France,
28-29 September 2023},
series = {Studies in Computational Intelligence},
volume = {1136},
pages = {507--519},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-53445-4\_42},
doi = {10.1007/978-3-031-53445-4\_42},
timestamp = {Thu, 08 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sohoma/AndreC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sohoma/DerigentDAC22,
author = {William Derigent and
Micha{\"{e}}l David and
Pascal Andr{\'{e}} and
Olivier Cardin},
editor = {Theodor Borangiu and
Damien Trentesaux and
Paulo Leit{\~{a}}o},
title = {Generic Aggregation Model for Reconfigurable Holonic Control Architecture
- The {GARCIA} Framework},
booktitle = {Service Oriented, Holonic and Multi-Agent Manufacturing Systems for
Industry of the Future - Proceedings of {SOHOMA} 2022, Bucharest,
Romania, 22-23 September 2022},
series = {Studies in Computational Intelligence},
volume = {1083},
pages = {407--422},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-24291-5\_32},
doi = {10.1007/978-3-031-24291-5\_32},
timestamp = {Thu, 11 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sohoma/DerigentDAC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/TebibAAG21,
author = {Mohammed El Amin Tebib and
Pascal Andr{\'{e}} and
Oum{-}El{-}Kheir Aktouf and
Mariem Graa},
editor = {Rasmus Adler and
Amel Bennaceur and
Simon Burton and
Amleto Di Salle and
Nicola Nostro and
Rasmus L{\o}venstein Olsen and
Selma Saidi and
Philipp Schleiss and
Daniel Schneider and
Hans{-}Peter Schwefel},
title = {Assisting Developers in Preventing Permissions Related Security Issues
in Android Applications},
booktitle = {Dependable Computing - {EDCC} 2021 Workshops - DREAMS, DSOGRI, {SERENE}
2021, Munich, Germany, September 13, 2021, Proceedings},
series = {Communications in Computer and Information Science},
volume = {1462},
pages = {132--143},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-86507-8\_13},
doi = {10.1007/978-3-030-86507-8\_13},
timestamp = {Sun, 25 Dec 2022 19:02:10 +0100},
biburl = {https://dblp.org/rec/conf/edcc/TebibAAG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/AndreT21,
author = {Pascal Andr{\'{e}} and
Mohammed El Amin Tebib},
editor = {J. Christian Attiogb{\'{e}} and
Sadok Ben Yahia},
title = {More Automation in Model Driven Development},
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 = {75--83},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-78428-7\_7},
doi = {10.1007/978-3-030-78428-7\_7},
timestamp = {Tue, 15 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/medi/AndreT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sohoma/AndreC21,
author = {Pascal Andr{\'{e}} and
Olivier Cardin},
editor = {Theodor Borangiu and
Damien Trentesaux and
Paulo Leit{\~{a}}o and
Olivier Cardin and
Laurent Joblot},
title = {Aggregation Patterns in Holonic Manufacturing Systems},
booktitle = {Service Oriented, Holonic and Multi-agent Manufacturing Systems for
Industry of the Future - Proceedings of {SOHOMA} 2021, Cluny, France,
18-19 November 2021},
series = {Studies in Computational Intelligence},
volume = {1034},
pages = {3--15},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-99108-1\_1},
doi = {10.1007/978-3-030-99108-1\_1},
timestamp = {Thu, 21 Mar 2024 22:25:32 +0100},
biburl = {https://dblp.org/rec/conf/sohoma/AndreC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/arima/BahAAK20,
author = {Abdramane Bah and
Pascal Andr{\'{e}} and
J. Christian Attiogb{\'{e}} and
Jacqueline Konat{\'{e}}},
title = {Service Promotion in a Federation of Security Domains},
journal = {{ARIMA} J.},
volume = {34},
pages = {5},
year = {2020},
url = {https://doi.org/10.46298/arima.6757},
doi = {10.46298/ARIMA.6757},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/arima/BahAAK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comsis/AndreAL20,
author = {Pascal Andr{\'{e}} and
J. Christian Attiogb{\'{e}} and
Arnaud Lanoix},
title = {A tool-assisted method for the systematic construction of critical
embedded systems using Event-B},
journal = {Comput. Sci. Inf. Syst.},
volume = {17},
number = {1},
pages = {315--338},
year = {2020},
url = {https://doi.org/10.2298/CSIS190501042A},
doi = {10.2298/CSIS190501042A},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/comsis/AndreAL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/AndreT20,
author = {Pascal Andr{\'{e}} and
Mohammed El Amin Tebib},
editor = {Slimane Hammoudi and
Lu{\'{\i}}s Ferreira Pires and
Bran Selic},
title = {Refining Automation System Control with {MDE}},
booktitle = {Proceedings of the 8th International Conference on Model-Driven Engineering
and Software Development, {MODELSWARD} 2020, Valletta, Malta, February
25-27, 2020},
pages = {425--432},
publisher = {{SCITEPRESS}},
year = {2020},
url = {https://doi.org/10.5220/0009147804250432},
doi = {10.5220/0009147804250432},
timestamp = {Tue, 06 Jun 2023 14:58:00 +0200},
biburl = {https://dblp.org/rec/conf/modelsward/AndreT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sohoma/AndreCA20,
author = {Pascal Andr{\'{e}} and
Olivier Cardin and
Fawzi Azzi},
editor = {Theodor Borangiu and
Damien Trentesaux and
Paulo Leit{\~{a}}o and
Olivier Cardin and
Samir Lamouri},
title = {Multi-protocol Communication Tool for Virtualized Cyber Manufacturing
Systems},
booktitle = {Service Oriented, Holonic and Multi-Agent Manufacturing Systems for
Industry of the Future - Proceedings of {SOHOMA} 2020, Paris, France,
1-2 October 2020},
series = {Studies in Computational Intelligence},
volume = {952},
pages = {385--397},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-69373-2\_27},
doi = {10.1007/978-3-030-69373-2\_27},
timestamp = {Mon, 03 Jan 2022 22:36:11 +0100},
biburl = {https://dblp.org/rec/conf/sohoma/AndreCA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issa/BahAAK19,
author = {Abdramane Bah and
Pascal Andr{\'{e}} and
J. Christian Attiogb{\'{e}} and
Jacqueline Konat{\'{e}}},
editor = {Hein S. Venter and
Marianne Loock and
Marijke Coetzee and
Mariki M. Eloff and
Jan H. P. Eloff},
title = {Federation of Services from Autonomous Domains with Heterogeneous
Access Control Models},
booktitle = {Information and Cyber Security - 18th International Conference, {ISSA}
2019, Johannesburg, South Africa, August 15, 2019, Proceedings},
series = {Communications in Computer and Information Science},
volume = {1166},
pages = {83--98},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-43276-8\_7},
doi = {10.1007/978-3-030-43276-8\_7},
timestamp = {Thu, 19 Mar 2020 14:43:24 +0100},
biburl = {https://dblp.org/rec/conf/issa/BahAAK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/MottuACB19,
author = {Jean{-}Marie Mottu and
Pascal Andr{\'{e}} and
Maxence Coutant and
Tom Le Berre},
editor = {Loli Burgue{\~{n}}o and
Alexander Pretschner and
Sebastian Voss and
Michel Chaudron and
J{\"{o}}rg Kienzle and
Markus V{\"{o}}lter and
S{\'{e}}bastien G{\'{e}}rard and
Mansooreh Zahedi and
Erwan Bousse and
Arend Rensink and
Fiona Polack and
Gregor Engels and
Gerti Kappel},
title = {Shall We Test Service-Based Models or Generated Code?},
booktitle = {22nd {ACM/IEEE} International Conference on Model Driven Engineering
Languages and Systems Companion, {MODELS} Companion 2019, Munich,
Germany, September 15-20, 2019},
pages = {493--502},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/MODELS-C.2019.00078},
doi = {10.1109/MODELS-C.2019.00078},
timestamp = {Wed, 23 Feb 2022 12:16:49 +0100},
biburl = {https://dblp.org/rec/conf/models/MottuACB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/Andre19,
author = {Pascal Andr{\'{e}}},
editor = {Slimane Hammoudi and
Lu{\'{\i}}s Ferreira Pires and
Bran Selic},
title = {Case Studies in Model-Driven Reverse Engineering},
booktitle = {Proceedings of the 7th International Conference on Model-Driven Engineering
and Software Development, {MODELSWARD} 2019, Prague, Czech Republic,
February 20-22, 2019},
pages = {256--263},
publisher = {SciTePress},
year = {2019},
url = {https://doi.org/10.5220/0007312502580265},
doi = {10.5220/0007312502580265},
timestamp = {Tue, 06 Jun 2023 14:58:00 +0200},
biburl = {https://dblp.org/rec/conf/modelsward/Andre19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sohoma/AndreAC19,
author = {Pascal Andr{\'{e}} and
Fawzi Azzi and
Olivier Cardin},
editor = {Theodor Borangiu and
Damien Trentesaux and
Paulo Leit{\~{a}}o and
Adriana Giret Boggino and
Vicente J. Botti},
title = {Heterogeneous Communication Middleware for Digital Twin Based Cyber
Manufacturing Systems},
booktitle = {Proceedings of the 9th Workshop on Service Oriented, Holonic and Multi-agent
Manufacturing Systems for Industry of the Future, {SOHOMA} 2019, Valencia,
Spain, October 3-4, 2019},
series = {Studies in Computational Intelligence},
volume = {853},
pages = {146--157},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-27477-1\_11},
doi = {10.1007/978-3-030-27477-1\_11},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sohoma/AndreAC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inforsid/PepinAAB18,
author = {Jonathan Pepin and
Pascal Andr{\'{e}} and
J. Christian Attiogb{\'{e}} and
Erwan Breton},
title = {Alignement des points de vue du syst{\`{e}}me d'information, une approche
pragmatique},
booktitle = {Actes du XXXVI{\`{e}}me Congr{\`{e}}s INFORSID, Nantes, France, May
28-31, 2018},
pages = {125--140},
year = {2018},
url = {http://inforsid.fr/actes/2018/INFORSID2018Pepin.pdf},
timestamp = {Mon, 01 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/inforsid/PepinAAB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/AndreAL18,
author = {Pascal Andr{\'{e}} and
J. Christian Attiogb{\'{e}} and
Arnaud Lanoix},
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 = {Systematic Construction of Critical Embedded Systems Using Event-B},
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 = {200--216},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02852-7\_18},
doi = {10.1007/978-3-030-02852-7\_18},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/medi/AndreAL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/PepinAAB18,
author = {Jonathan Pepin and
Pascal Andr{\'{e}} and
J. Christian Attiogb{\'{e}} and
Erwan Breton},
editor = {Slimane Hammoudi and
Lu{\'{\i}}s Ferreira Pires and
Bran Selic},
title = {Virtual Extension of Meta-models with Facet Tools},
booktitle = {Proceedings of the 6th International Conference on Model-Driven Engineering
and Software Development, {MODELSWARD} 2018, Funchal, Madeira - Portugal,
January 22-24, 2018},
pages = {59--70},
publisher = {SciTePress},
year = {2018},
url = {https://doi.org/10.5220/0006547100590070},
doi = {10.5220/0006547100590070},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/modelsward/PepinAAB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/PepinAAB18a,
author = {Jonathan Pepin and
Pascal Andr{\'{e}} and
J. Christian Attiogb{\'{e}} and
Erwan Breton},
editor = {Slimane Hammoudi and
Lu{\'{\i}}s Ferreira Pires and
Bran Selic},
title = {Definition and Visualization of Virtual Meta-model Extensions with
a Facet Framework},
booktitle = {Model-Driven Engineering and Software Development - 6th International
Conference, {MODELSWARD} 2018, Funchal, Madeira, Portugal, January
22-24, 2018, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {991},
pages = {106--133},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-11030-7\_6},
doi = {10.1007/978-3-030-11030-7\_6},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/modelsward/PepinAAB18a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sohoma/TebibAC18,
author = {Mohammed El Amin Tebib and
Pascal Andr{\'{e}} and
Olivier Cardin},
editor = {Theodor Borangiu and
Damien Trentesaux and
Andr{\'{e}} Thomas and
Sergio Cavalieri},
title = {A Model Driven Approach for Automated Generation of Service-Oriented
Holonic Manufacturing Systems},
booktitle = {Service Orientation in Holonic and Multi-Agent Manufacturing - Proceedings
of {SOHOMA} 2018, Bergamo, Italy, June 11-12, 2018},
series = {Studies in Computational Intelligence},
volume = {803},
pages = {183--196},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03003-2\_14},
doi = {10.1007/978-3-030-03003-2\_14},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sohoma/TebibAC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-05647,
author = {Pascal Andr{\'{e}} and
J. Christian Attiogb{\'{e}} and
Arnaud Lanoix},
title = {Modelling and Analysing the Landing Gear System: a Solution with Event-B/Rodin},
journal = {CoRR},
volume = {abs/1803.05647},
year = {2018},
url = {http://arxiv.org/abs/1803.05647},
eprinttype = {arXiv},
eprint = {1803.05647},
timestamp = {Fri, 31 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-05647.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/AndreAM17,
author = {Pascal Andr{\'{e}} and
J. Christian Attiogb{\'{e}} and
Jean{-}Marie Mottu},
editor = {Lu{\'{\i}}s Ferreira Pires and
Slimane Hammoudi and
Bran Selic},
title = {Combining Techniques to Verify Service-based Components},
booktitle = {Proceedings of the 5th International Conference on Model-Driven Engineering
and Software Development, {MODELSWARD} 2017, Porto, Portugal, February
19-21, 2017},
pages = {645--656},
publisher = {SciTePress},
year = {2017},
url = {https://doi.org/10.5220/0006212106450656},
doi = {10.5220/0006212106450656},
timestamp = {Fri, 31 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/modelsward/AndreAM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sohoma/AndreC17,
author = {Pascal Andr{\'{e}} and
Olivier Cardin},
editor = {Theodor Borangiu and
Damien Trentesaux and
Andr{\'{e}} Thomas and
Olivier Cardin},
title = {Trusted Services for Cyber Manufacturing Systems},
booktitle = {Service Orientation in Holonic and Multi-Agent Manufacturing - Proceedings
of {SOHOMA} 2017, Nantes, France, October 19-20, 2017},
series = {Studies in Computational Intelligence},
volume = {762},
pages = {359--370},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-73751-5\_27},
doi = {10.1007/978-3-319-73751-5\_27},
timestamp = {Mon, 03 Jan 2022 22:36:11 +0100},
biburl = {https://dblp.org/rec/conf/sohoma/AndreC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csimq/PepinAAB16,
author = {Jonathan Pepin and
Pascal Andr{\'{e}} and
J. Christian Attiogb{\'{e}} and
Erwan Breton},
title = {An Improved Model Facet Method to Support {EA} Alignment},
journal = {Complex Syst. Informatics Model. Q.},
volume = {9},
pages = {1--27},
year = {2016},
url = {https://doi.org/10.7250/csimq.2016-9.01},
doi = {10.7250/CSIMQ.2016-9.01},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csimq/PepinAAB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/PepinAAB16,
author = {Jonathan Pepin and
Pascal Andr{\'{e}} and
J. Christian Attiogb{\'{e}} and
Erwan Breton},
editor = {Sergio Espa{\~{n}}a and
Mirjana Ivanovic and
Milos Savic},
title = {A Facet-based Model Mapping Method for {EA} Alignment and Evolution},
booktitle = {Proceedings of the CAiSE'16 Forum, at the 28th International Conference
on Advanced Information Systems Engineering (CAiSE 2016), Ljubljana,
Slovenia, June 13-17, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1612},
pages = {153--160},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1612/paper20.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:35 +0100},
biburl = {https://dblp.org/rec/conf/caise/PepinAAB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/AndreMS16,
author = {Pascal Andr{\'{e}} and
Jean{-}Marie Mottu and
Gerson Suny{\'{e}}},
editor = {Andreas Zeller and
Abhik Roychoudhury},
title = {COSTOTest: a tool for building and running test harness for service-based
component models (demo)},
booktitle = {Proceedings of the 25th International Symposium on Software Testing
and Analysis, {ISSTA} 2016, Saarbr{\"{u}}cken, Germany, July
18-20, 2016},
pages = {437--440},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2931037.2948704},
doi = {10.1145/2931037.2948704},
timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
biburl = {https://dblp.org/rec/conf/issta/AndreMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/PepinAAB15,
author = {Jonathan Pepin and
Pascal Andr{\'{e}} and
J. Christian Attiogb{\'{e}} and
Erwan Breton},
editor = {Slimane Hammoudi and
Leszek A. Maciaszek and
Ernest Teniente},
title = {A Method for Business-IT Alignment of Legacy Systems},
booktitle = {{ICEIS} 2015 - Proceedings of the 17th International Conference on
Enterprise Information Systems, Volume 3, Barcelona, Spain, 27-30
April, 2015},
pages = {229--237},
publisher = {SciTePress},
year = {2015},
url = {https://doi.org/10.5220/0005351502290237},
doi = {10.5220/0005351502290237},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iceis/PepinAAB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/AndreMA13,
author = {Pascal Andr{\'{e}} and
Jean{-}Marie Mottu and
Gilles Ardourel},
editor = {Fr{\'{e}}d{\'{e}}ric Boulanger and
Michalis Famelis and
Daniel Ratiu},
title = {Building Test Harness From Service-based Component Models},
booktitle = {Proceedings of the 10th International Workshop on Model Driven Engineering,
Verification and Validation MoDeVVa 2013, co-located with 16th International
Conference on Model Driven Engineering Languages and Systems (MoDELS
2013), Miami, Florida, USA, October 1st, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1069},
pages = {11--20},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1069/04-paper.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/AndreMA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsi/AndreAA11,
author = {Pascal Andr{\'{e}} and
Gilles Ardourel and
J. Christian Attiogb{\'{e}}},
title = {Kmelia, un mod{\`{e}}le abstrait et formel pour la description et
la composition de composants et de services},
journal = {Tech. Sci. Informatiques},
volume = {30},
number = {6},
pages = {627--658},
year = {2011},
url = {https://doi.org/10.3166/tsi.30.627-658},
doi = {10.3166/TSI.30.627-658},
timestamp = {Wed, 24 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsi/AndreAA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/AndreAAL10,
author = {Pascal Andr{\'{e}} and
Gilles Ardourel and
J. Christian Attiogb{\'{e}} and
Arnaud Lanoix},
editor = {Marc Frappier and
Uwe Gl{\"{a}}sser and
Sarfraz Khurshid and
R{\'{e}}gine Laleau and
Steve Reeves},
title = {Using Event-B to Verify the Kmelia Components and Their Assemblies},
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 = {410},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11811-1\_43},
doi = {10.1007/978-3-642-11811-1\_43},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/AndreAAL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cal/MessabihiAA10,
author = {Mohamed Messabihi and
Pascal Andr{\'{e}} and
J. Christian Attiogb{\'{e}}},
editor = {Khalil Drira},
title = {Preuve de coh{\'{e}}rence de composants Kmelia {\`{a}} l'aide
de la m{\'{e}}thode {B}},
booktitle = {4e Conf{\'{e}}rence francophone sur les Architectures Logicielles,
{CAL} 2010, Pau, France, 9-11 mars 2010},
series = {Revue des Nouvelles Technologies de l'Information},
volume = {{L-5}},
pages = {105--117},
publisher = {C{\'{e}}padu{\`{e}}s-{\'{E}}ditions},
year = {2010},
url = {http://editions-rnti.fr/?inprocid=1000902},
timestamp = {Fri, 31 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cal/MessabihiAA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/AndreAM10,
author = {Pascal Andr{\'{e}} and
Gilles Ardourel and
Mohamed Messabihi},
editor = {Lu{\'{\i}}s Soares Barbosa and
Markus Lumpe},
title = {Component Service Promotion: Contracts, Mechanisms and Safety},
booktitle = {Formal Aspects of Component Software - 7th International Workshop,
{FACS} 2010, Guimar{\~{a}}es, Portugal, October 14-16, 2010, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6921},
pages = {145--162},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-27269-1\_9},
doi = {10.1007/978-3-642-27269-1\_9},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/facs2/AndreAM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1010-2827,
author = {Mohamed Messabihi and
Pascal Andr{\'{e}} and
J. Christian Attiogb{\'{e}}},
editor = {Javier C{\'{a}}mara and
Carlos Canal and
Gwen Sala{\"{u}}n},
title = {Multilevel Contracts for Trusted Components},
booktitle = {Proceedings International Workshop on Component and Service Interoperability,
{WCSI} 2010, M{\'{a}}laga, Spain, 29th June 2010},
series = {{EPTCS}},
volume = {37},
pages = {71--85},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.37.6},
doi = {10.4204/EPTCS.37.6},
timestamp = {Fri, 31 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1010-2827.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cal/AndreAM09,
author = {Pascal Andr{\'{e}} and
J. Christian Attiogb{\'{e}} and
Mohamed Messabihi},
editor = {Olivier Zendra and
Antoine Beugnard},
title = {Correction d'assemblages de composants impliquant des interfaces param{\'{e}}tr{\'{e}}es},
booktitle = {3e Conf{\'{e}}rence francophone sur les Architectures Logicielles,
{CAL} 2009, Nancy, France, 24-25 Mars, 2009},
series = {Revue des Nouvelles Technologies de l'Information},
volume = {{L-4}},
pages = {33--46},
publisher = {C{\'{e}}padu{\`{e}}s-{\'{E}}ditions},
year = {2009},
url = {http://editions-rnti.fr/?inprocid=1000835},
timestamp = {Fri, 31 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cal/AndreAM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/AnquetilRAAHPPP99a,
author = {Nicolas Anquetil and
Jean{-}Claude Royer and
Pascal Andr{\'{e}} and
Gilles Ardourel and
Petr Hnetynka and
Tom{\'{a}}s Poch and
Dragos Petrascu and
Vladiela Petrascu},
editor = {Andy Zaidman and
Giuliano Antoniol and
St{\'{e}}phane Ducasse},
title = {JavaCompExt: Extracting Architectural Elements from Java Source Code},
booktitle = {16th Working Conference on Reverse Engineering, {WCRE} 2009, 13-16
October 2009, Lille, France},
pages = {317--318},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/WCRE.2009.53},
doi = {10.1109/WCRE.2009.53},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wcre/AnquetilRAAHPPP99a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AndreAAL10,
author = {Pascal Andr{\'{e}} and
Gilles Ardourel and
J. Christian Attiogb{\'{e}} and
Arnaud Lanoix},
editor = {Sun Meng and
Bernhard Sch{\"{a}}tz},
title = {Using Assertions to Enhance the Correctness of Kmelia Components and
their Assemblies},
booktitle = {Proceedings of the 6th International Workshop on Formal Aspects of
Component Software, FACS@FMWeek 2009, Eindhoven, The Netherlands,
November 2-3, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {263},
pages = {5--30},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2010.05.002},
doi = {10.1016/J.ENTCS.2010.05.002},
timestamp = {Thu, 09 Mar 2023 15:49:54 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AndreAAL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/Lobjet/AndreA08,
author = {Pascal Andr{\'{e}} and
J. Christian Attiogb{\'{e}}},
title = {{\'{E}}ditorial},
journal = {Obj. Logiciel Base donn{\'{e}}es R{\'{e}}seaux},
volume = {14},
number = {4},
pages = {7--10},
year = {2008},
url = {http://objet.revuesonline.com/article.jsp?articleId=12710},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/Lobjet/AndreA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soco/AndreAA08,
author = {Pascal Andr{\'{e}} and
Gilles Ardourel and
J. Christian Attiogb{\'{e}}},
editor = {Cesare Pautasso and
{\'{E}}ric Tanter},
title = {Composing Components with Shared Services in the KmeliaModel},
booktitle = {Software Composition - 7th International Symposium, SC@ETAPS 2008,
Budapest, Hungary, March 29-30, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4954},
pages = {125--140},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78789-1\_9},
doi = {10.1007/978-3-540-78789-1\_9},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/soco/AndreAA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lmo/AndreAA07,
author = {Pascal Andr{\'{e}} and
Gilles Ardourel and
J. Christian Attiogb{\'{e}}},
editor = {Isabelle Borne and
Xavier Cr{\'{e}}gut and
Sophie Ebersold and
Fr{\'{e}}d{\'{e}}ric Migeon},
title = {Protocoles d'utilisation de composants : sp{\'{e}}cification
et analyse en Kmelia},
booktitle = {Actes des journ{\'{e}}es Langages et Mod{\`{e}}les {\`{a}} Objets,
LMO'07. Toulouse, France, 27-29 mars},
pages = {19--34},
publisher = {Herm{\`{e}}s Lavoisier},
year = {2007},
timestamp = {Fri, 31 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lmo/AndreAA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soco/AndreAA07,
author = {Pascal Andr{\'{e}} and
Gilles Ardourel and
J. Christian Attiogb{\'{e}}},
editor = {Markus Lumpe and
Wim Vanderperren},
title = {Defining Component Protocols with Service Composition: Illustration
with the Kmelia Model},
booktitle = {Software Composition - 6th International Symposium, SC@ETAPS 2007,
Braga, Portugal, March 24-25, 2007, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4829},
pages = {2--17},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77351-1\_2},
doi = {10.1007/978-3-540-77351-1\_2},
timestamp = {Thu, 25 Jun 2020 18:19:16 +0200},
biburl = {https://dblp.org/rec/conf/soco/AndreAA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cal/AndreAA06,
author = {Pascal Andr{\'{e}} and
Gilles Ardourel and
J. Christian Attiogb{\'{e}}},
editor = {Mourad Chabane Oussalah and
Fl{\'{a}}vio Oquendo and
Dalila Tamzalit and
Tahar Khammaci},
title = {Sp{\'{e}}cification d'architectures en Kmelia : hi{\'{e}}rarchie
de connexion et composition},
booktitle = {1er Conf{\'{e}}rence francophone sur les Architectures Logicielles
{(CAL} 2006), 4-6 September 2006, Nantes, France},
pages = {101--118},
publisher = {Hermes Science},
year = {2006},
timestamp = {Fri, 31 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cal/AndreAA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soco/AttiogbeAA06,
author = {J. Christian Attiogb{\'{e}} and
Pascal Andr{\'{e}} and
Gilles Ardourel},
editor = {Welf L{\"{o}}we and
Mario S{\"{u}}dholt},
title = {Checking Component Composability},
booktitle = {Software Composition - 5th International Symposium, SC@ETAPS 2006,
Vienna, Austria, March 25-26, 2006, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {4089},
pages = {18--33},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11821946\_2},
doi = {10.1007/11821946\_2},
timestamp = {Thu, 25 Jun 2020 18:19:17 +0200},
biburl = {https://dblp.org/rec/conf/soco/AttiogbeAA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AndreAA07,
author = {Pascal Andr{\'{e}} and
Gilles Ardourel and
J. Christian Attiogb{\'{e}}},
editor = {Steffen Becker and
Carlos Canal and
Nikolay Diakov and
Juan Manuel Murillo and
Pascal Poizat and
Massimo Tivoli},
title = {Adaptation for Hierarchical Components and Services},
booktitle = {Proceedings of the Third International Workshop on Coordination and
Adaption Techniques for Software Entities, WCAT@ECOOP 2006, Nantes,
France, July 4, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {189},
pages = {5--20},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.05.045},
doi = {10.1016/J.ENTCS.2007.05.045},
timestamp = {Tue, 31 Jan 2023 15:57:24 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AndreAA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iasse/AndreAS04,
author = {Pascal Andr{\'{e}} and
Gilles Ardourel and
Gerson Suny{\'{e}}},
title = {The Bosco Project - {A} JMI-Compliant Template-based Code Generator},
booktitle = {Proceedings of the {ISCA} 13th International Conference on Intelligent
and Adaptive Systems and Software Engineering, Nice, France, July
1-3, 2004},
pages = {157--162},
publisher = {{ISCA}},
year = {2004},
timestamp = {Thu, 31 Aug 2006 12:18:12 +0200},
biburl = {https://dblp.org/rec/conf/iasse/AndreAS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inforsid/HabriasA04,
author = {Henri Habrias and
Pascal Andr{\'{e}}},
title = {Pr{\'{e}}condition et invariant - l'{\'{e}}criture de contraintes
mal adapt{\'{e}}es {\`{a}} un paradigme de sp{\'{e}}cification},
booktitle = {Actes du XXII{\`{e}}me Congr{\`{e}}s INFORSID, Biarritz, France, 25-28
mai, 2004},
pages = {387--403},
year = {2004},
timestamp = {Tue, 03 May 2005 14:47:16 +0200},
biburl = {https://dblp.org/rec/conf/inforsid/HabriasA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lmo/AndreRRV00,
author = {Pascal Andr{\'{e}} and
Annya Romanczuk and
Jean{-}Claude Royer and
Aline Vasconcelos},
editor = {Christophe Dony and
Houari A. Sahraoui},
title = {An algebraic view of {UML} class diagrams},
booktitle = {Actes des journ{\'{e}}es Langages et Mod{\`{e}}les {\`{a}} Objets,
LMO'2000. Mont Saint-Hilaire, Qu{\'{e}}bec, Canada, 25-28 janvier},
pages = {261--276},
publisher = {Herm{\`{e}}s},
year = {2000},
timestamp = {Thu, 05 Jul 2018 08:01:55 +0200},
biburl = {https://dblp.org/rec/conf/lmo/AndreRRV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/room/AndreRR00,
author = {Pascal Andr{\'{e}} and
Annya Romanczuk and
Jean{-}Claude Royer},
title = {Checking the Consistency of {UML} Class Diagrams Using Larch Prover},
booktitle = {Rigorous Object-Oriented Methods, {ROOM} 2000, York, UK, 17 January
2000},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2000},
url = {http://ewic.bcs.org/content/ConWebDoc/4207},
timestamp = {Wed, 11 Jun 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/room/AndreRR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lmo/Andre96,
author = {Pascal Andr{\'{e}}},
editor = {Yves Dennebouy},
title = {Vers un mod{\`{e}}le formel en analyse {\`{a}} objets},
booktitle = {Actes des journ{\'{e}}ees Langages et Mod{\`{e}}les {\`{a}} Objets,
LMO'96. Leysin, Suisse, 16-18 octobre},
pages = {62--78},
publisher = {Ecole Polytechnique F{\'{e}}d{\'{e}}rale de Lausanne, {CH}},
year = {1996},
timestamp = {Thu, 05 Jul 2018 08:01:06 +0200},
biburl = {https://dblp.org/rec/conf/lmo/Andre96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Andre95,
author = {Pascal Andr{\'{e}}},
title = {M{\'{e}}thodes formelles et {\`{a}} objets pour le d{\'{e}}veloppement
du logiciel : Etudes et propositions. (Object-Oriented Formal Methods
for Software Development: study and proposals)},
school = {University of Rennes 1, France},
year = {1995},
url = {https://tel.archives-ouvertes.fr/tel-00006148},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/hal/Andre95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/DuboisABC93,
author = {Olivier Dubois and
Pascal Andr{\'{e}} and
Yacine Boufkhad and
Jacques Carlier},
editor = {David S. Johnson and
Michael A. Trick},
title = {{SAT} versus {UNSAT}},
booktitle = {Cliques, Coloring, and Satisfiability, Proceedings of a {DIMACS} Workshop,
New Brunswick, New Jersey, USA, October 11-13, 1993},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {26},
pages = {415--436},
publisher = {{DIMACS/AMS}},
year = {1993},
url = {https://doi.org/10.1090/dimacs/026/20},
doi = {10.1090/DIMACS/026/20},
timestamp = {Mon, 22 May 2023 16:07:35 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/DuboisABC93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/AndreR92,
author = {Pascal Andr{\'{e}} and
Jean{-}Claude Royer},
editor = {John R. Pugh},
title = {Optimizing Method Search with Lookup Caches and Incremental Coloring},
booktitle = {Proceedings of the Seventh Annual Conference on Object-Oriented Programming
Systems, Languages, and Applications, {OOPSLA} 1992, Vancouver, British
Columbia, Canada, October 18-22, 1992},
pages = {110--126},
publisher = {{ACM}},
year = {1992},
url = {https://doi.org/10.1145/141936.141947},
doi = {10.1145/141936.141947},
timestamp = {Fri, 13 May 2022 10:38:22 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/AndreR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:58 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:
