Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Jules Desharnais
@article{DBLP:journals/corr/abs-2401-16888,
author = {Ed Voermans and
Jules Desharnais and
Roland Carl Backhouse},
title = {The Thins Ordering on Relations},
journal = {CoRR},
volume = {abs/2401.16888},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.16888},
doi = {10.48550/ARXIV.2401.16888},
eprinttype = {arXiv},
eprint = {2401.16888},
timestamp = {Tue, 06 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-16888.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/DesharnaisM20,
author = {Jules Desharnais and
Bernhard M{\"{o}}ller},
editor = {Uli Fahrenberg and
Peter Jipsen and
Michael Winter},
title = {The {\texttheta}-Join as a Join with {\texttheta}},
booktitle = {Relational and Algebraic Methods in Computer Science - 18th International
Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, Proceedings
[postponed]},
series = {Lecture Notes in Computer Science},
volume = {12062},
pages = {47--64},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-43520-2\_4},
doi = {10.1007/978-3-030-43520-2\_4},
timestamp = {Wed, 01 Apr 2020 16:27:12 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/DesharnaisM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/DialloGDM18,
author = {Nafi Diallo and
Wided Ghardallou and
Jules Desharnais and
Ali Mili},
title = {Convergence: Integrating termination and abort-freedom},
journal = {J. Log. Algebraic Methods Program.},
volume = {97},
pages = {1--29},
year = {2018},
url = {https://doi.org/10.1016/j.jlamp.2018.02.001},
doi = {10.1016/J.JLAMP.2018.02.001},
timestamp = {Wed, 31 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/DialloGDM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/RelMiCS/2018,
editor = {Jules Desharnais and
Walter Guttmann and
Stef Joosten},
title = {Relational and Algebraic Methods in Computer Science - 17th International
Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 -
November 1, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11194},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02149-8},
doi = {10.1007/978-3-030-02149-8},
isbn = {978-3-030-02148-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/DialloGDFJM17,
author = {Nafi Diallo and
Wided Ghardallou and
Jules Desharnais and
Marcelo F. Frias and
Ali Jaoua and
Ali Mili},
title = {What is a fault? and why does it matter?},
journal = {Innov. Syst. Softw. Eng.},
volume = {13},
number = {2-3},
pages = {219--239},
year = {2017},
url = {https://doi.org/10.1007/s11334-017-0300-7},
doi = {10.1007/S11334-017-0300-7},
timestamp = {Wed, 31 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/isse/DialloGDFJM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/DesharnaisDGM17,
author = {Jules Desharnais and
Nafi Diallo and
Wided Ghardallou and
Ali Mili},
title = {Projecting programs on specifications: Definition and implications},
journal = {Sci. Comput. Program.},
volume = {138},
pages = {26--48},
year = {2017},
url = {https://doi.org/10.1016/j.scico.2016.11.006},
doi = {10.1016/J.SCICO.2016.11.006},
timestamp = {Wed, 31 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/DesharnaisDGM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/AlainD17,
author = {Mathieu Alain and
Jules Desharnais},
editor = {Peter H{\"{o}}fner and
Damien Pous and
Georg Struth},
title = {Relations as Images},
booktitle = {Relational and Algebraic Methods in Computer Science - 16th International
Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10226},
pages = {43--59},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-57418-9\_3},
doi = {10.1007/978-3-319-57418-9\_3},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/AlainD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/DesharnaisM17,
author = {Jules Desharnais and
Bernhard M{\"{o}}ller},
editor = {Peter H{\"{o}}fner and
Damien Pous and
Georg Struth},
title = {Non-associative Kleene Algebra and Temporal Logics},
booktitle = {Relational and Algebraic Methods in Computer Science - 16th International
Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10226},
pages = {93--108},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-57418-9\_6},
doi = {10.1007/978-3-319-57418-9\_6},
timestamp = {Tue, 09 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/DesharnaisM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/HuynhFMLD16,
author = {Nghi Huynh and
Marc Frappier and
Amel Mammar and
R{\'{e}}gine Laleau and
Jules Desharnais},
title = {A formal validation of the {RBAC} {ANSI} 2012 standard using {B}},
journal = {Sci. Comput. Program.},
volume = {131},
pages = {76--93},
year = {2016},
url = {https://doi.org/10.1016/j.scico.2016.04.011},
doi = {10.1016/J.SCICO.2016.04.011},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/HuynhFMLD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/DesharnaisDGFJM15,
author = {Jules Desharnais and
Nafi Diallo and
Wided Ghardallou and
Marcelo F. Frias and
Ali Jaoua and
Ali Mili},
editor = {Wolfram Kahl and
Michael Winter and
Jos{\'{e}} Nuno Oliveira},
title = {Relational Mathematics for Relative Correctness},
booktitle = {Relational and Algebraic Methods in Computer Science - 15th International
Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1,
2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9348},
pages = {191--208},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24704-5\_12},
doi = {10.1007/978-3-319-24704-5\_12},
timestamp = {Wed, 31 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/DesharnaisDGFJM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/DialloGDM16,
author = {Nafi Diallo and
Wided Ghardallou and
Jules Desharnais and
Ali Mili},
editor = {John Derrick and
Eerke A. Boiten and
Steve Reeves},
title = {Program Derivation by Correctness Enhacements},
booktitle = {Proceedings 17th International Workshop on Refinement, Refine@FM 2015,
Oslo, Norway, 22nd June 2015},
series = {{EPTCS}},
volume = {209},
pages = {57--70},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.209.5},
doi = {10.4204/EPTCS.209.5},
timestamp = {Wed, 31 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/DialloGDM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/DesharnaisGM14,
author = {Jules Desharnais and
Anastasiya Grinenko and
Bernhard M{\"{o}}ller},
title = {Relational style laws and constructs of linear algebra},
journal = {J. Log. Algebraic Methods Program.},
volume = {83},
number = {2},
pages = {154--168},
year = {2014},
url = {https://doi.org/10.1016/j.jlap.2014.02.005},
doi = {10.1016/J.JLAP.2014.02.005},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/DesharnaisGM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/DesharnaisM14,
author = {Jules Desharnais and
Bernhard M{\"{o}}ller},
editor = {Peter H{\"{o}}fner and
Peter Jipsen and
Wolfram Kahl and
Martin Eric M{\"{u}}ller},
title = {Fuzzifying Modal Algebra},
booktitle = {Relational and Algebraic Methods in Computer Science - 14th International
Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8428},
pages = {395--411},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06251-8\_24},
doi = {10.1007/978-3-319-06251-8\_24},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/DesharnaisM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/HuynhFMLD14,
author = {Nghi Huynh and
Marc Frappier and
Amel Mammar and
R{\'{e}}gine Laleau and
Jules Desharnais},
editor = {Yamine A{\"{\i}}t Ameur and
Klaus{-}Dieter Schewe},
title = {Validating the {RBAC} {ANSI} 2012 Standard Using {B}},
booktitle = {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},
pages = {255--270},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-43652-3\_22},
doi = {10.1007/978-3-662-43652-3\_22},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/asm/HuynhFMLD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/MraihiLJDM13,
author = {Olfa Mraihi and
Asma Louhichi and
Lamia Labed Jilani and
Jules Desharnais and
Ali Mili},
title = {Invariant assertions, invariant relations, and invariant functions},
journal = {Sci. Comput. Program.},
volume = {78},
number = {9},
pages = {1212--1239},
year = {2013},
url = {https://doi.org/10.1016/j.scico.2012.05.006},
doi = {10.1016/J.SCICO.2012.05.006},
timestamp = {Wed, 31 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/MraihiLJDM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Desharnais13,
author = {Jules Desharnais},
title = {Mathematics of Program Construction (selected papers from {MPC} 2010)},
journal = {Sci. Comput. Program.},
volume = {78},
number = {11},
pages = {2027--2028},
year = {2013},
url = {https://doi.org/10.1016/j.scico.2012.07.006},
doi = {10.1016/J.SCICO.2012.07.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Desharnais13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1012-5803,
author = {Jules Desharnais and
Bernhard M{\"{o}}ller and
Georg Struth},
title = {Algebraic Notions of Termination},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {1},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(1:1)2011},
doi = {10.2168/LMCS-7(1:1)2011},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1012-5803.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/DesharnaisS11,
author = {Jules Desharnais and
Georg Struth},
title = {Internal axioms for domain semirings},
journal = {Sci. Comput. Program.},
volume = {76},
number = {3},
pages = {181--203},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2010.05.007},
doi = {10.1016/J.SCICO.2010.05.007},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/DesharnaisS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/CarufelD10,
author = {Jean{-}Lou De Carufel and
Jules Desharnais},
title = {Abstract representation theorems for demonic refinement algebras},
journal = {J. Log. Algebraic Methods Program.},
volume = {79},
number = {8},
pages = {740--767},
year = {2010},
url = {https://doi.org/10.1016/j.jlap.2010.07.014},
doi = {10.1016/J.JLAP.2010.07.014},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/CarufelD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/deds/BhererDS09,
author = {Hans Bherer and
Jules Desharnais and
Richard St{-}Denis},
title = {Control of Parameterized Discrete Event Systems},
journal = {Discret. Event Dyn. Syst.},
volume = {19},
number = {2},
pages = {213--265},
year = {2009},
url = {https://doi.org/10.1007/s10626-008-0040-9},
doi = {10.1007/S10626-008-0040-9},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/deds/BhererDS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/DesharnaisJS09,
author = {Jules Desharnais and
Peter Jipsen and
Georg Struth},
editor = {Rudolf Berghammer and
Ali Jaoua and
Bernhard M{\"{o}}ller},
title = {Domain and Antidomain Semigroups},
booktitle = {Relations and Kleene Algebra in Computer Science, 11th International
Conference on Relational Methods in Computer Science, RelMiCS 2009,
and 6th International Conference on Applications of Kleene Algebra,
{AKA} 2009, Doha, Qatar, November 1-5, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5827},
pages = {73--87},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04639-1\_6},
doi = {10.1007/978-3-642-04639-1\_6},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/DesharnaisJS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/CarufelD08,
author = {Jean{-}Lou De Carufel and
Jules Desharnais},
editor = {Rudolf Berghammer and
Bernhard M{\"{o}}ller and
Georg Struth},
title = {Latest News about Demonic Algebra with Domain},
booktitle = {Relations and Kleene Algebra in Computer Science, 10th International
Conference on Relational Methods in Computer Science, and 5th International
Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenw{\"{o}}rth,
Germany, April 7-11, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4988},
pages = {54--68},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78913-0\_6},
doi = {10.1007/978-3-540-78913-0\_6},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/CarufelD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/CarufelD08a,
author = {Jean{-}Lou De Carufel and
Jules Desharnais},
editor = {Rudolf Berghammer and
Bernhard M{\"{o}}ller and
Georg Struth},
title = {On the Structure of Demonic Refinement Algebras with Enabledness and
Termination},
booktitle = {Relations and Kleene Algebra in Computer Science, 10th International
Conference on Relational Methods in Computer Science, and 5th International
Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenw{\"{o}}rth,
Germany, April 7-11, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4988},
pages = {69--83},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78913-0\_7},
doi = {10.1007/978-3-540-78913-0\_7},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/CarufelD08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/DesharnaisS08,
author = {Jules Desharnais and
Georg Struth},
editor = {Jos{\'{e}} Meseguer and
Grigore Rosu},
title = {Domain Axioms for a Family of Near-Semirings},
booktitle = {Algebraic Methodology and Software Technology, 12th International
Conference, {AMAST} 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5140},
pages = {330--345},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-79980-1\_25},
doi = {10.1007/978-3-540-79980-1\_25},
timestamp = {Thu, 21 Sep 2023 09:08:34 +0200},
biburl = {https://dblp.org/rec/conf/amast/DesharnaisS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/DesharnaisS08,
author = {Jules Desharnais and
Georg Struth},
editor = {Philippe Audebaud and
Christine Paulin{-}Mohring},
title = {Modal Semirings Revisited},
booktitle = {Mathematics of Program Construction, 9th International Conference,
{MPC} 2008, Marseille, France, July 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5133},
pages = {360--387},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70594-9\_19},
doi = {10.1007/978-3-540-70594-9\_19},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/mpc/DesharnaisS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/FernandesD07,
author = {Therrezinha Fernandes and
Jules Desharnais},
title = {Describing data flow analysis techniques with Kleene algebra},
journal = {Sci. Comput. Program.},
volume = {65},
number = {2},
pages = {173--194},
year = {2007},
url = {https://doi.org/10.1016/j.scico.2006.01.009},
doi = {10.1016/J.SCICO.2006.01.009},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/FernandesD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/DesharnaisMT06,
author = {Jules Desharnais and
Bernhard M{\"{o}}ller and
Fairouz Tchier},
title = {Kleene under a modal demonic star},
journal = {J. Log. Algebraic Methods Program.},
volume = {66},
number = {2},
pages = {127--160},
year = {2006},
url = {https://doi.org/10.1016/j.jlap.2005.04.006},
doi = {10.1016/J.JLAP.2005.04.006},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/DesharnaisMT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/DesharnaisMS06,
author = {Jules Desharnais and
Bernhard M{\"{o}}ller and
Georg Struth},
title = {Kleene algebra with domain},
journal = {{ACM} Trans. Comput. Log.},
volume = {7},
number = {4},
pages = {798--833},
year = {2006},
url = {https://doi.org/10.1145/1183278.1183285},
doi = {10.1145/1183278.1183285},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/DesharnaisMS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/CarufelD06,
author = {Jean{-}Lou De Carufel and
Jules Desharnais},
editor = {Renate A. Schmidt},
title = {Demonic Algebra with Domain},
booktitle = {Relations and Kleene Algebra in Computer Science, 9th International
Conference on Relational Methods in Computer Science and 4th International
Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester,
UK, August 29-September 2, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4136},
pages = {120--134},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11828563\_8},
doi = {10.1007/11828563\_8},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/CarufelD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiccsa/MiliWSSD06,
author = {Ali Mili and
Lan Wu and
Frederick T. Sheldon and
Mark Shereshevsky and
Jules Desharnais},
title = {Modeling Redundancy: Quantitative and Qualitative Models},
booktitle = {2006 {IEEE/ACS} International Conference on Computer Systems and Applications
{(AICCSA} 2006), March 8-11, Dubai/Sharjah, {UAE}},
pages = {1--8},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/AICCSA.2006.205060},
doi = {10.1109/AICCSA.2006.205060},
timestamp = {Wed, 31 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiccsa/MiliWSSD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/MiliSMD05,
author = {Ali Mili and
Frederick T. Sheldon and
Fatma Mili and
Jules Desharnais},
title = {Recoverability preservation: a measure of last resort},
journal = {Innov. Syst. Softw. Eng.},
volume = {1},
number = {1},
pages = {54--62},
year = {2005},
url = {https://doi.org/10.1007/s11334-005-0004-2},
doi = {10.1007/S11334-005-0004-2},
timestamp = {Wed, 31 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/isse/MiliSMD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/DesharnaisM05,
author = {Jules Desharnais and
Bernhard M{\"{o}}ller},
title = {Least Reflexive Points of Relations},
journal = {High. Order Symb. Comput.},
volume = {18},
number = {1-2},
pages = {51--77},
year = {2005},
url = {https://doi.org/10.1007/s10990-005-7006-5},
doi = {10.1007/S10990-005-7006-5},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/DesharnaisM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/CortellessaGSDM05,
author = {Vittorio Cortellessa and
Diego Del Gobbo and
Mark Shereshevsky and
Jules Desharnais and
Ali Mili},
title = {Relational characterizations of system fault tolerance},
journal = {Sci. Comput. Program.},
volume = {56},
number = {3},
pages = {343--361},
year = {2005},
url = {https://doi.org/10.1016/j.scico.2004.07.003},
doi = {10.1016/J.SCICO.2004.07.003},
timestamp = {Wed, 31 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/CortellessaGSDM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/MathieuD05,
author = {Vincent Mathieu and
Jules Desharnais},
editor = {Wendy MacCaull and
Michael Winter and
Ivo D{\"{u}}ntsch},
title = {Verification of Pushdown Systems Using Omega Algebra with Domain},
booktitle = {Relational Methods in Computer Science, 8th International Seminar
on Relational Methods in Computer Science, 3rd International Workshop
on Applications of Kleene Algebra, and Workshop of {COST} Action 274:
TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected
Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {3929},
pages = {188--199},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11734673\_15},
doi = {10.1007/11734673\_15},
timestamp = {Wed, 01 Apr 2020 16:14:32 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/MathieuD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/BhererDS05,
author = {Hans Bherer and
Jules Desharnais and
Richard St{-}Denis},
title = {Synthesis of State Feedback Controllers for Parameterized Discrete
Event Systems Under Partial Observation},
booktitle = {44th {IEEE} {IEEE} Conference on Decision and Control and 8th European
Control Conference Control, {CDC/ECC} 2005, Seville, Spain, 12-15
December, 2005},
pages = {3499--3506},
publisher = {{IEEE}},
year = {2005},
url = {https://doi.org/10.1109/CDC.2005.1582704},
doi = {10.1109/CDC.2005.1582704},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdc/BhererDS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/MiliSMSD05,
author = {Ali Mili and
Frederick T. Sheldon and
Fatma Mili and
Mark Shereshevsky and
Jules Desharnais},
title = {Perspectives on Redundancy: Applications to Software Certification},
booktitle = {38th Hawaii International Conference on System Sciences {(HICSS-38}
2005), {CD-ROM} / Abstracts Proceedings, 3-6 January 2005, Big Island,
HI, {USA}},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/HICSS.2005.492},
doi = {10.1109/HICSS.2005.492},
timestamp = {Wed, 31 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/MiliSMSD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/BhererDFS04,
author = {Hans Bherer and
Jules Desharnais and
Marc Frappier and
Richard St{-}Denis},
editor = {Farn Wang},
title = {Synthesis of State Feedback Controllers for Parameterized Discrete
Event Systems},
booktitle = {Automated Technology for Verification and Analysis: Second International
Conference, {ATVA} 2004, Taipei, Taiwan, ROC, October 31-November
3, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3299},
pages = {487--490},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30476-0\_42},
doi = {10.1007/978-3-540-30476-0\_42},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/BhererDFS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/DesharnaisMS04,
author = {Jules Desharnais and
Bernhard M{\"{o}}ller and
Georg Struth},
editor = {Jean{-}Jacques L{\'{e}}vy and
Ernst W. Mayr and
John C. Mitchell},
title = {Termination in Modal Kleene Algebra},
booktitle = {Exploring New Frontiers of Theoretical Informatics, {IFIP} 18th World
Computer Congress, {TC1} 3rd International Conference on Theoretical
Computer Science (TCS2004), 22-27 August 2004, Toulouse, France},
series = {{IFIP}},
volume = {155},
pages = {647--660},
publisher = {Kluwer/Springer},
year = {2004},
url = {https://doi.org/10.1007/1-4020-8141-3\_49},
doi = {10.1007/1-4020-8141-3\_49},
timestamp = {Fri, 27 Sep 2019 10:35:17 +0200},
biburl = {https://dblp.org/rec/conf/ifipTCS/DesharnaisMS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/FernandesD04,
author = {Therrezinha Fernandes and
Jules Desharnais},
editor = {Dexter Kozen and
Carron Shankland},
title = {Describing Gen/Kill Static Analysis Techniques with Kleene Algebra},
booktitle = {Mathematics of Program Construction, 7th International Conference,
{MPC} 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3125},
pages = {110--128},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27764-4\_7},
doi = {10.1007/978-3-540-27764-4\_7},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/mpc/FernandesD04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/Desharnais03,
author = {Jules Desharnais},
editor = {Rudolf Berghammer and
Bernhard M{\"{o}}ller and
Georg Struth},
title = {Kleene Algebra with Relations},
booktitle = {Relational and Kleene-Algebraic Methods in Computer Science: 7th International
Seminar on Relational Methods in Computer Science and 2nd International
Workshop on Applications of Kleene Algebra, Bad Malente, Germany,
May 12-17, 2003, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3051},
pages = {8--20},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24771-5\_2},
doi = {10.1007/978-3-540-24771-5\_2},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/Desharnais03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/BhererDFS03,
author = {Hans Bherer and
Jules Desharnais and
Marc Frappier and
Richard St{-}Denis},
editor = {Rudolf Berghammer and
Bernhard M{\"{o}}ller and
Georg Struth},
title = {Investigating Discrete Controllability with Kleene Algebra},
booktitle = {Relational and Kleene-Algebraic Methods in Computer Science: 7th International
Seminar on Relational Methods in Computer Science and 2nd International
Workshop on Applications of Kleene Algebra, Bad Malente, Germany,
May 12-17, 2003, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3051},
pages = {74--85},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24771-5\_7},
doi = {10.1007/978-3-540-24771-5\_7},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/BhererDFS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0310054,
author = {Jules Desharnais and
Bernhard M{\"{o}}ller and
Georg Struth},
title = {Kleene algebra with domain},
journal = {CoRR},
volume = {cs.LO/0310054},
year = {2003},
url = {http://arxiv.org/abs/cs/0310054},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0310054.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/DesharnaisFJM01,
author = {Jules Desharnais and
Marc Frappier and
Ali Jaoua and
Wendy MacCaull},
title = {Relational methods in computer science - Preface},
journal = {Inf. Sci.},
volume = {139},
number = {3-4},
pages = {165--166},
year = {2001},
url = {https://doi.org/10.1016/S0020-0255(01)00162-1},
doi = {10.1016/S0020-0255(01)00162-1},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/isci/DesharnaisFJM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/DesharnaisM01,
author = {Jules Desharnais and
Bernhard M{\"{o}}ller},
title = {Characterizing determinacy in Kleene algebras},
journal = {Inf. Sci.},
volume = {139},
number = {3-4},
pages = {253--273},
year = {2001},
url = {https://doi.org/10.1016/S0020-0255(01)00168-2},
doi = {10.1016/S0020-0255(01)00168-2},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isci/DesharnaisM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/JilaniDM01,
author = {Lamia Labed Jilani and
Jules Desharnais and
Ali Mili},
title = {Defining and Applying Measures of Distance Between Specifications},
journal = {{IEEE} Trans. Software Eng.},
volume = {27},
number = {8},
pages = {673--703},
year = {2001},
url = {https://doi.org/10.1109/32.940565},
doi = {10.1109/32.940565},
timestamp = {Wed, 31 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/JilaniDM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/AyedDFM00,
author = {Rahma Ben Ayed and
Jules Desharnais and
Marc Frappier and
Ali Mili},
title = {A calculus of program adaptation and its applications},
journal = {Sci. Comput. Program.},
volume = {38},
number = {1-3},
pages = {73--124},
year = {2000},
url = {https://doi.org/10.1016/S0167-6423(99)00046-5},
doi = {10.1016/S0167-6423(99)00046-5},
timestamp = {Wed, 31 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/AyedDFM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MiliDFM00,
author = {Rym Mili and
Jules Desharnais and
Marc Frappier and
Ali Mili},
title = {Semantic distance between specifications},
journal = {Theor. Comput. Sci.},
volume = {247},
number = {1-2},
pages = {257--276},
year = {2000},
url = {https://doi.org/10.1016/S0304-3975(99)00085-7},
doi = {10.1016/S0304-3975(99)00085-7},
timestamp = {Wed, 31 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MiliDFM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/DesharnaisM00,
author = {Jules Desharnais and
Bernhard M{\"{o}}ller},
editor = {Jules Desharnais},
title = {Characterizing Functions in Kleene Algebras},
booktitle = {Participants Copies of Fifth International Seminar on Relational Methods
in Computer Science,January 9-14, 2000, Valcartier (Quebec), Canada},
pages = {55--64},
year = {2000},
timestamp = {Thu, 03 Jan 2002 12:07:55 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/DesharnaisM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/DesharnaisMT00,
author = {Jules Desharnais and
Bernhard M{\"{o}}ller and
Fairouz Tchier},
editor = {Teodor Rus},
title = {Kleene under a Demonic Star},
booktitle = {Algebraic Methodology and Software Technology. 8th International Conference,
{AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1816},
pages = {355--370},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45499-3\_26},
doi = {10.1007/3-540-45499-3\_26},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/amast/DesharnaisMT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/RelMiCS/2000,
editor = {Jules Desharnais},
title = {Participants Copies of Fifth International Seminar on Relational Methods
in Computer Science,January 9-14, 2000, Valcartier (Quebec), Canada},
year = {2000},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/2000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/Desharnais99,
author = {Jules Desharnais},
title = {Monomorphic Characterization of n-ary Direct Products},
journal = {Inf. Sci.},
volume = {119},
number = {3-4},
pages = {275--288},
year = {1999},
url = {https://doi.org/10.1016/S0020-0255(99)00020-1},
doi = {10.1016/S0020-0255(99)00020-1},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isci/Desharnais99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/FrappierMD98,
author = {Marc Frappier and
Ali Mili and
Jules Desharnais},
title = {Unifying Program Construction and Modification},
journal = {Log. J. {IGPL}},
volume = {6},
number = {2},
pages = {317--340},
year = {1998},
url = {https://doi.org/10.1093/jigpal/6.2.317},
doi = {10.1093/JIGPAL/6.2.317},
timestamp = {Wed, 31 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/FrappierMD98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijmms/Chaib-DraaD98,
author = {Brahim Chaib{-}draa and
Jules Desharnais},
title = {A relational model of cognitive maps},
journal = {Int. J. Hum. Comput. Stud.},
volume = {49},
number = {2},
pages = {181--200},
year = {1998},
url = {https://doi.org/10.1006/ijhc.1998.0201},
doi = {10.1006/IJHC.1998.0201},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijmms/Chaib-DraaD98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/DesharnaisFKM98,
author = {Jules Desharnais and
Marc Frappier and
Ridha Kh{\'{e}}dri and
Ali Mili},
title = {Integration of Sequential Scenarios},
journal = {{IEEE} Trans. Software Eng.},
volume = {24},
number = {9},
pages = {695--708},
year = {1998},
url = {https://doi.org/10.1109/32.713325},
doi = {10.1109/32.713325},
timestamp = {Wed, 31 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/DesharnaisFKM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/DesharnaisKM98,
author = {Jules Desharnais and
Ridha Kh{\'{e}}dri and
Ali Mili},
editor = {Ewa Orlowska and
Andrzej Szalas},
title = {Towards a uniform relational semantics for tabular expressions},
booktitle = {Participants Copies for Relational Methods in Logic, Algebra and Computer
Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber
14-20, 1998},
pages = {53--57},
year = {1998},
timestamp = {Wed, 31 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/DesharnaisKM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/AyedDFM98,
author = {Rahma Ben Ayed and
Jules Desharnais and
Marc Frappier and
Ali Mili},
editor = {Pierre Flener},
title = {Mathematical Foundations for Program Transformations},
booktitle = {Logic Programming Synthesis and Transformation, 8th International
Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1559},
pages = {319--321},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-48958-4\_21},
doi = {10.1007/3-540-48958-4\_21},
timestamp = {Wed, 31 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lopstr/AyedDFM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/Desharnais97,
author = {Jules Desharnais},
title = {Monomorphic Characterization of n-ary direct products},
booktitle = {Participants Copies of Third International Seminar on the Use of Relational
Methods in Computer Science, January 6-10, 1997, Hammamet, Tunisia},
pages = {359--368},
year = {1997},
timestamp = {Thu, 03 Jan 2002 12:07:55 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/Desharnais97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alc/FrappierMD97,
author = {Marc Frappier and
Ali Mili and
Jules Desharnais},
editor = {Richard S. Bird and
Lambert G. L. T. Meertens},
title = {Defining and detecting feature interactions},
booktitle = {Algorithmic Languages and Calculi, {IFIP} {TC2} {WG2.1} International
Workshop on Algorithmic Languages and Calculi, 17-22 February 1997,
Alsace, France},
series = {{IFIP} Conference Proceedings},
volume = {95},
pages = {212--239},
publisher = {Chapman {\&} Hall},
year = {1997},
timestamp = {Wed, 31 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/alc/FrappierMD97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esec/DesharnaisFKM98,
author = {Jules Desharnais and
Marc Frappier and
Ridha Kh{\'{e}}dri and
Ali Mili},
editor = {Mehdi Jazayeri and
Helmut Schauer},
title = {Integration of Sequential Scenarios},
booktitle = {Software Engineering - {ESEC/FSE} '97, 6th European Software Engineering
Conference Held Jointly with the 5th {ACM} {SIGSOFT} Symposium on
Foundations of Software Engineering, Zurich, Switzerland, September
22-25, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1301},
pages = {310--326},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63531-9\_22},
doi = {10.1007/3-540-63531-9\_22},
timestamp = {Wed, 31 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esec/DesharnaisFKM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fiw/FrappierMD97,
author = {Marc Frappier and
Ali Mili and
Jules Desharnais},
editor = {Petre Dini and
Raouf Boutaba and
Luigi Logrippo},
title = {Detecting Feature Interactions on Relational Specifications},
booktitle = {Feature Interactions in Telecommunications Networks IV, June 17-19,
1997, Montr{\'{e}}al, Canada},
pages = {123--137},
publisher = {{IOS} Press},
year = {1997},
timestamp = {Wed, 31 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fiw/FrappierMD97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/JilaniDFMM97,
author = {Lamia Labed Jilani and
Jules Desharnais and
Marc Frappier and
Rym Mili and
Ali Mili},
title = {Retrieving Software Components that Minimize Adaptation Effort},
booktitle = {1997 International Conference on Automated Software Engineering, {ASE}
1997, Lake Tahoe, CA, USA, November 2-5, 1997},
pages = {255},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ASE.1997.632846},
doi = {10.1109/ASE.1997.632846},
timestamp = {Wed, 31 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/JilaniDFMM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssr/MiliFDM97,
author = {Rym Mili and
Marc Frappier and
Jules Desharnais and
Ali Mili},
editor = {Lori A. Clarke and
Guillermo Arango and
Mehdi T. Harandi},
title = {A Calculus of Program Modifications},
booktitle = {Proceedings of the 1997 {ACM} {SIGSOFT} Symposium on Symposium on
Software Reusability, {SSR} 1997, May 17-19, 1997, Boston, MA, {USA}},
pages = {157--168},
publisher = {{ACM}},
year = {1997},
url = {https://doi.org/10.1145/258366.258415},
doi = {10.1145/258366.258415},
timestamp = {Wed, 31 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ssr/MiliFDM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/97/DesharnaisHM97,
author = {Jules Desharnais and
Bernard Hodgson and
John Mullins},
editor = {Chris Brink and
Wolfram Kahl and
Gunther Schmidt},
title = {Linear Logic},
booktitle = {Relational Methods in Computer Science},
series = {Advances in computing science},
pages = {106--114},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/978-3-7091-6510-2\_7},
doi = {10.1007/978-3-7091-6510-2\_7},
timestamp = {Wed, 26 Jun 2019 17:54:44 +0200},
biburl = {https://dblp.org/rec/books/sp/97/DesharnaisHM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/97/DesharnaisMN97,
author = {Jules Desharnais and
Ali Mili and
Thanh Tung Nguyen},
editor = {Chris Brink and
Wolfram Kahl and
Gunther Schmidt},
title = {Refinement and Demonic Semantics},
booktitle = {Relational Methods in Computer Science},
series = {Advances in computing science},
pages = {166--183},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/978-3-7091-6510-2\_11},
doi = {10.1007/978-3-7091-6510-2\_11},
timestamp = {Wed, 31 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/sp/97/DesharnaisMN97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/FrappierMD96,
author = {Marc Frappier and
Ali Mili and
Jules Desharnais},
title = {A Relational Calculus for Program Construction by Parts},
journal = {Sci. Comput. Program.},
volume = {26},
number = {1-3},
pages = {237--254},
year = {1996},
url = {https://doi.org/10.1016/0167-6423(95)00028-3},
doi = {10.1016/0167-6423(95)00028-3},
timestamp = {Wed, 31 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/FrappierMD96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DesharnaisBSTJMZ95,
author = {Jules Desharnais and
Nadir Belkhiter and
Salah Ben Mohamed Sghaier and
Fairouz Tchier and
Ali Jaoua and
Ali Mili and
Nejib Zaguia},
title = {Embedding a Demonic Semilattice in a Relational Algebra},
journal = {Theor. Comput. Sci.},
volume = {149},
number = {2},
pages = {333--360},
year = {1995},
url = {https://doi.org/10.1016/0304-3975(94)00271-J},
doi = {10.1016/0304-3975(94)00271-J},
timestamp = {Wed, 31 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DesharnaisBSTJMZ95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/FrappierMD95,
author = {Marc Frappier and
Ali Mili and
Jules Desharnais},
editor = {Bernhard M{\"{o}}ller},
title = {Program Construction by Parts},
booktitle = {Mathematics of Program Construction, MPC'95, Kloster Irsee, Germany,
July 17-21, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {947},
pages = {257--281},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60117-1\_15},
doi = {10.1007/3-540-60117-1\_15},
timestamp = {Wed, 31 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mpc/FrappierMD95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/DesharnaisMM93,
author = {Jules Desharnais and
Ali Mili and
Fatma Mili},
title = {On the Mathematics of Sequential Decompositions},
journal = {Sci. Comput. Program.},
volume = {20},
number = {3},
pages = {253--289},
year = {1993},
url = {https://doi.org/10.1016/0167-6423(93)90016-I},
doi = {10.1016/0167-6423(93)90016-I},
timestamp = {Wed, 31 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/DesharnaisMM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DesharnaisJMBM93,
author = {Jules Desharnais and
Ali Jaoua and
Fatma Mili and
Noureddine Boudriga and
Ali Mili},
title = {A Relation Division Operator: The Conjugate Kernel},
journal = {Theor. Comput. Sci.},
volume = {114},
number = {2},
pages = {247--272},
year = {1993},
url = {https://doi.org/10.1016/0304-3975(93)90074-4},
doi = {10.1016/0304-3975(93)90074-4},
timestamp = {Wed, 31 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DesharnaisJMBM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip2/DesharnaisM90,
author = {Jules Desharnais and
Nazim H. Madhavji},
editor = {Manfred Broy and
Cliff B. Jones},
title = {Abstract Relational Specifications},
booktitle = {Programming concepts and methods: Proceedings of the {IFIP} Working
Group 2.2, 2.3 Working Conference on Programming Concepts and Methods,
Sea of Galilee, Israel, 2-5 April, 1990},
pages = {267--284},
publisher = {North-Holland},
year = {1990},
timestamp = {Sat, 26 Dec 2020 18:17:05 +0100},
biburl = {https://dblp.org/rec/conf/ifip2/DesharnaisM90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/DesharnaisM88,
author = {Jules Desharnais and
Nazim H. Madhavji},
editor = {Kesav V. Nori and
Sanjeev Kumar},
title = {Relation Level Semantics},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
Eighth Conference, Pune, India, December 21-23, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {338},
pages = {304--328},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50517-2\_88},
doi = {10.1007/3-540-50517-2\_88},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/DesharnaisM88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccl/MadhavjiDPT88,
author = {Nazim H. Madhavji and
Jules Desharnais and
Luc Pinsonneault and
Kamel Toubache},
title = {Adapting modules to an integrated programming environment},
booktitle = {1988 Internation Conference on Computer Languages, October 9-13, 1988,
Miami, Florida, {USA}},
pages = {364--371},
publisher = {{IEEE} Computer Society},
year = {1988},
url = {https://doi.org/10.1109/ICCL.1988.13085},
doi = {10.1109/ICCL.1988.13085},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccl/MadhavjiDPT88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/MiliDM87,
author = {Ali Mili and
Jules Desharnais and
Fatma Mili},
title = {Relational Heuristics for the Design of Deterministic Programs},
journal = {Acta Informatica},
volume = {24},
number = {3},
pages = {239--276},
year = {1987},
url = {https://doi.org/10.1007/BF00265990},
doi = {10.1007/BF00265990},
timestamp = {Wed, 31 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/acta/MiliDM87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/MiliD86,
author = {Ali Mili and
Jules Desharnais and
Jean{-}Raynomd Gagn{\'{e}}},
title = {Formal Models of Stepwise Refinement of Programs},
journal = {{ACM} Comput. Surv.},
volume = {18},
number = {3},
pages = {231--276},
year = {1986},
url = {https://doi.org/10.1145/27632.28054},
doi = {10.1145/27632.28054},
timestamp = {Wed, 31 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/MiliD86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/MiliDG85,
author = {Ali Mili and
Jules Desharnais and
Jean{-}Raymond Gagn{\'{e}}},
title = {Strongest Invariant Functions: Their Use in the Systematic Analysis
of While Statements},
journal = {Acta Informatica},
volume = {22},
number = {1},
pages = {47--66},
year = {1985},
url = {https://doi.org/10.1007/BF00290145},
doi = {10.1007/BF00290145},
timestamp = {Wed, 31 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/acta/MiliDG85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MiliD84,
author = {Ali Mili and
Jules Desharnais},
editor = {Terry A. Straeter and
William E. Howden and
Jean{-}Claude Rault},
title = {A System for Classifying Program Verification Methods: Assigning Meanings
to Program Verification Methods},
booktitle = {Proceedings, 7th International Conference on Software Engineering,
Orlando, Florida, USA, March 26-29, 1984},
pages = {499--509},
publisher = {{IEEE} Computer Society},
year = {1984},
url = {http://dl.acm.org/citation.cfm?id=802010},
timestamp = {Wed, 31 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/MiliD84.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 02:08 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:
