default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJules Desharnais
Person information
- affiliation: Laval University, Québec City, Canada
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2018
[j33]Nafi Diallo, Wided Ghardallou, Jules Desharnais, Ali Mili
:
Convergence: Integrating termination and abort-freedom. J. Log. Algebraic Methods Program. 97: 1-29 (2018)- 2017
- [j32]Nafi Diallo, Wided Ghardallou, Jules Desharnais, Marcelo F. Frias, Ali Jaoua, Ali Mili:
What is a fault? and why does it matter? Innov. Syst. Softw. Eng. 13(2-3): 219-239 (2017) - [j31]Jules Desharnais, Nafi Diallo, Wided Ghardallou, Ali Mili:
Projecting programs on specifications: Definition and implications. Sci. Comput. Program. 138: 26-48 (2017) - 2016
- [j30]Nghi Huynh, Marc Frappier, Amel Mammar, Régine Laleau, Jules Desharnais:
A formal validation of the RBAC ANSI 2012 standard using B. Sci. Comput. Program. 131: 76-93 (2016) - 2014
- [j29]Jules Desharnais, Anastasiya Grinenko, Bernhard Möller:
Relational style laws and constructs of linear algebra. J. Log. Algebraic Methods Program. 83(2): 154-168 (2014) - 2013
- [j28]Olfa Mraihi, Asma Louhichi, Lamia Labed Jilani, Jules Desharnais, Ali Mili:
Invariant assertions, invariant relations, and invariant functions. Sci. Comput. Program. 78(9): 1212-1239 (2013) - [j27]Jules Desharnais:
Mathematics of Program Construction (selected papers from MPC 2010). Sci. Comput. Program. 78(11): 2027-2028 (2013) - 2011
- [j26]Jules Desharnais, Bernhard Möller, Georg Struth:
Algebraic Notions of Termination. Log. Methods Comput. Sci. 7(1) (2011) - [j25]Jules Desharnais, Georg Struth:
Internal axioms for domain semirings. Sci. Comput. Program. 76(3): 181-203 (2011) - 2010
- [j24]Jean-Lou De Carufel, Jules Desharnais:
Abstract representation theorems for demonic refinement algebras. J. Log. Algebraic Methods Program. 79(8): 740-767 (2010) - 2009
- [j23]Hans Bherer, Jules Desharnais, Richard St-Denis:
Control of Parameterized Discrete Event Systems. Discret. Event Dyn. Syst. 19(2): 213-265 (2009) - 2007
- [j22]Therrezinha Fernandes, Jules Desharnais:
Describing data flow analysis techniques with Kleene algebra. Sci. Comput. Program. 65(2): 173-194 (2007) - 2006
- [j21]Jules Desharnais, Bernhard Möller, Fairouz Tchier:
Kleene under a modal demonic star. J. Log. Algebraic Methods Program. 66(2): 127-160 (2006) - [j20]Jules Desharnais, Bernhard Möller, Georg Struth:
Kleene algebra with domain. ACM Trans. Comput. Log. 7(4): 798-833 (2006) - 2005
- [j19]Ali Mili, Frederick T. Sheldon, Fatma Mili, Jules Desharnais:
Recoverability preservation: a measure of last resort. Innov. Syst. Softw. Eng. 1(1): 54-62 (2005) - [j18]Jules Desharnais, Bernhard Möller:
Least Reflexive Points of Relations. High. Order Symb. Comput. 18(1-2): 51-77 (2005) - [j17]Vittorio Cortellessa, Diego Del Gobbo, Mark Shereshevsky, Jules Desharnais, Ali Mili:
Relational characterizations of system fault tolerance. Sci. Comput. Program. 56(3): 343-361 (2005) - 2001
- [j16]Jules Desharnais, Marc Frappier, Ali Jaoua, Wendy MacCaull:
Relational methods in computer science - Preface. Inf. Sci. 139(3-4): 165-166 (2001) - [j15]Jules Desharnais, Bernhard Möller:
Characterizing determinacy in Kleene algebras. Inf. Sci. 139(3-4): 253-273 (2001) - [j14]Lamia Labed Jilani, Jules Desharnais, Ali Mili:
Defining and Applying Measures of Distance Between Specifications. IEEE Trans. Software Eng. 27(8): 673-703 (2001) - 2000
- [j13]Rahma Ben Ayed, Jules Desharnais, Marc Frappier, Ali Mili:
A calculus of program adaptation and its applications. Sci. Comput. Program. 38(1-3): 73-124 (2000) - [j12]Rym Mili, Jules Desharnais, Marc Frappier, Ali Mili:
Semantic distance between specifications. Theor. Comput. Sci. 247(1-2): 257-276 (2000) - 1999
- [j11]Jules Desharnais:
Monomorphic Characterization of n-ary Direct Products. Inf. Sci. 119(3-4): 275-288 (1999) - 1998
- [j10]Marc Frappier, Ali Mili, Jules Desharnais:
Unifying Program Construction and Modification. Log. J. IGPL 6(2): 317-340 (1998) - [j9]Brahim Chaib-draa, Jules Desharnais:
A relational model of cognitive maps. Int. J. Hum. Comput. Stud. 49(2): 181-200 (1998) - [j8]Jules Desharnais, Marc Frappier, Ridha Khédri, Ali Mili:
Integration of Sequential Scenarios. IEEE Trans. Software Eng. 24(9): 695-708 (1998) - 1996
- [j7]Marc Frappier, Ali Mili, Jules Desharnais:
A Relational Calculus for Program Construction by Parts. Sci. Comput. Program. 26(1-3): 237-254 (1996) - 1995
- [j6]Jules Desharnais, Nadir Belkhiter, Salah Ben Mohamed Sghaier, Fairouz Tchier, Ali Jaoua, Ali Mili, Nejib Zaguia:
Embedding a Demonic Semilattice in a Relational Algebra. Theor. Comput. Sci. 149(2): 333-360 (1995) - 1993
- [j5]Jules Desharnais, Ali Mili, Fatma Mili:
On the Mathematics of Sequential Decompositions. Sci. Comput. Program. 20(3): 253-289 (1993) - [j4]Jules Desharnais, Ali Jaoua, Fatma Mili, Noureddine Boudriga, Ali Mili:
A Relation Division Operator: The Conjugate Kernel. Theor. Comput. Sci. 114(2): 247-272 (1993) - 1987
- [j3]Ali Mili, Jules Desharnais, Fatma Mili:
Relational Heuristics for the Design of Deterministic Programs. Acta Informatica 24(3): 239-276 (1987) - 1986
- [j2]Ali Mili, Jules Desharnais, Jean-Raynomd Gagné:
Formal Models of Stepwise Refinement of Programs. ACM Comput. Surv. 18(3): 231-276 (1986) - 1985
- [j1]Ali Mili, Jules Desharnais, Jean-Raymond Gagné:
Strongest Invariant Functions: Their Use in the Systematic Analysis of While Statements. Acta Informatica 22(1): 47-66 (1985)
Conference and Workshop Papers
- 2020
- [c37]Jules Desharnais, Bernhard Möller:
The θ-Join as a Join with θ. RAMiCS 2020: 47-64 - 2017
- [c36]Mathieu Alain, Jules Desharnais:
Relations as Images. RAMiCS 2017: 43-59 - [c35]Jules Desharnais, Bernhard Möller:
Non-associative Kleene Algebra and Temporal Logics. RAMiCS 2017: 93-108 - 2015
- [c34]Jules Desharnais, Nafi Diallo, Wided Ghardallou, Marcelo F. Frias, Ali Jaoua, Ali Mili:
Relational Mathematics for Relative Correctness. RAMiCS 2015: 191-208 - [c33]Nafi Diallo, Wided Ghardallou, Jules Desharnais, Ali Mili:
Program Derivation by Correctness Enhacements. Refine@FM 2015: 57-70 - 2014
- [c32]Jules Desharnais, Bernhard Möller:
Fuzzifying Modal Algebra. RAMiCS 2014: 395-411 - [c31]Nghi Huynh, Marc Frappier, Amel Mammar, Régine Laleau, Jules Desharnais:
Validating the RBAC ANSI 2012 Standard Using B. ABZ 2014: 255-270 - 2009
- [c30]Jules Desharnais, Peter Jipsen, Georg Struth:
Domain and Antidomain Semigroups. RelMiCS 2009: 73-87 - 2008
- [c29]Jean-Lou De Carufel, Jules Desharnais:
Latest News about Demonic Algebra with Domain. RelMiCS 2008: 54-68 - [c28]Jean-Lou De Carufel, Jules Desharnais:
On the Structure of Demonic Refinement Algebras with Enabledness and Termination. RelMiCS 2008: 69-83 - [c27]Jules Desharnais, Georg Struth:
Domain Axioms for a Family of Near-Semirings. AMAST 2008: 330-345 - [c26]Jules Desharnais, Georg Struth:
Modal Semirings Revisited. MPC 2008: 360-387 - 2006
- [c25]Jean-Lou De Carufel, Jules Desharnais:
Demonic Algebra with Domain. RelMiCS 2006: 120-134 - [c24]Ali Mili, Lan Wu, Frederick T. Sheldon, Mark Shereshevsky, Jules Desharnais:
Modeling Redundancy: Quantitative and Qualitative Models. AICCSA 2006: 1-8 - 2005
- [c23]Vincent Mathieu, Jules Desharnais:
Verification of Pushdown Systems Using Omega Algebra with Domain. RelMiCS 2005: 188-199 - [c22]Hans Bherer, Jules Desharnais, Richard St-Denis:
Synthesis of State Feedback Controllers for Parameterized Discrete Event Systems Under Partial Observation. CDC/ECC 2005: 3499-3506 - [c21]Ali Mili, Frederick T. Sheldon, Fatma Mili, Mark Shereshevsky, Jules Desharnais:
Perspectives on Redundancy: Applications to Software Certification. HICSS 2005 - 2004
- [c20]Hans Bherer, Jules Desharnais, Marc Frappier, Richard St-Denis:
Synthesis of State Feedback Controllers for Parameterized Discrete Event Systems. ATVA 2004: 487-490 - [c19]Jules Desharnais, Bernhard Möller, Georg Struth:
Termination in Modal Kleene Algebra. IFIP TCS 2004: 647-660 - [c18]Therrezinha Fernandes, Jules Desharnais:
Describing Gen/Kill Static Analysis Techniques with Kleene Algebra. MPC 2004: 110-128 - 2003
- [c17]Jules Desharnais:
Kleene Algebra with Relations. RelMiCS 2003: 8-20 - [c16]Hans Bherer, Jules Desharnais, Marc Frappier, Richard St-Denis:
Investigating Discrete Controllability with Kleene Algebra. RelMiCS 2003: 74-85 - 2000
- [c15]Jules Desharnais, Bernhard Möller:
Characterizing Functions in Kleene Algebras. RelMiCS 2000: 55-64 - [c14]Jules Desharnais, Bernhard Möller, Fairouz Tchier:
Kleene under a Demonic Star. AMAST 2000: 355-370 - 1998
- [c13]Jules Desharnais, Ridha Khédri, Ali Mili:
Towards a uniform relational semantics for tabular expressions. RelMiCS 1998: 53-57 - [c12]Rahma Ben Ayed, Jules Desharnais, Marc Frappier, Ali Mili:
Mathematical Foundations for Program Transformations. LOPSTR 1998: 319-321 - 1997
- [c11]Jules Desharnais:
Monomorphic Characterization of n-ary direct products. RelMiCS 1997: 359-368 - [c10]Marc Frappier, Ali Mili, Jules Desharnais:
Defining and detecting feature interactions. Algorithmic Languages and Calculi 1997: 212-239 - [c9]Jules Desharnais, Marc Frappier, Ridha Khédri, Ali Mili:
Integration of Sequential Scenarios. ESEC / SIGSOFT FSE 1997: 310-326 - [c8]Marc Frappier, Ali Mili, Jules Desharnais:
Detecting Feature Interactions on Relational Specifications. FIW 1997: 123-137 - [c7]Lamia Labed Jilani, Jules Desharnais, Marc Frappier, Rym Mili, Ali Mili:
Retrieving Software Components that Minimize Adaptation Effort. ASE 1997: 255- - [c6]Rym Mili, Marc Frappier, Jules Desharnais, Ali Mili:
A Calculus of Program Modifications. SSR 1997: 157-168 - 1995
- [c5]Marc Frappier, Ali Mili, Jules Desharnais:
Program Construction by Parts. MPC 1995: 257-281 - 1990
- [c4]Jules Desharnais, Nazim H. Madhavji:
Abstract Relational Specifications. Programming Concepts and Methods 1990: 267-284 - 1988
- [c3]Jules Desharnais, Nazim H. Madhavji:
Relation Level Semantics. FSTTCS 1988: 304-328 - [c2]Nazim H. Madhavji, Jules Desharnais, Luc Pinsonneault, Kamel Toubache:
Adapting modules to an integrated programming environment. ICCL 1988: 364-371 - 1984
- [c1]Ali Mili, Jules Desharnais:
A System for Classifying Program Verification Methods: Assigning Meanings to Program Verification Methods. ICSE 1984: 499-509
Parts in Books or Collections
- 1997
- [p2]Jules Desharnais, Bernard Hodgson, John Mullins:
Linear Logic. Relational Methods in Computer Science 1997: 106-114 - [p1]Jules Desharnais, Ali Mili, Thanh Tung Nguyen:
Refinement and Demonic Semantics. Relational Methods in Computer Science 1997: 166-183
Editorship
- 2018
- [e2]Jules Desharnais, Walter Guttmann, Stef Joosten:
Relational and Algebraic Methods in Computer Science - 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings. Lecture Notes in Computer Science 11194, Springer 2018, ISBN 978-3-030-02148-1 [contents] - 2000
- [e1]Jules Desharnais:
Participants Copies of Fifth International Seminar on Relational Methods in Computer Science,January 9-14, 2000, Valcartier (Quebec), Canada. 2000 [contents]
Informal and Other Publications
- 2024
- [i2]Ed Voermans, Jules Desharnais, Roland Carl Backhouse:
The Thins Ordering on Relations. CoRR abs/2401.16888 (2024) - 2003
- [i1]Jules Desharnais, Bernhard Möller, Georg Struth:
Kleene algebra with domain. CoRR cs.LO/0310054 (2003)
Coauthor Index
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.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-02 21:48 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:
