Jules Desharnais

Jules Desharnais, Bernhard Möller, Georg Struth: Algebraic Notions of Termination. Logical Methods in Computer Science 7(1) (2011)

Jules Desharnais, Georg Struth: Internal axioms for domain semirings. Sci. Comput. Program. 76(3): 181-203 (2011)

Jean-Lou De Carufel, Jules Desharnais: Abstract representation theorems for demonic refinement algebras. J. Log. Algebr. Program. 79(8): 740-767 (2010)

Claude Bolduc, Jules Desharnais, Béchir Ktari (Eds.): Mathematics of Program Construction, 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings. Lecture Notes in Computer Science 6120, Springer 2010, isbn 978-3-642-13320-6

Hans Bherer, Jules Desharnais, Richard St.-Denis: Control of Parameterized Discrete Event Systems. Discrete Event Dynamic Systems 19(2): 213-265 (2009)

Jules Desharnais, Peter Jipsen, Georg Struth: Domain and Antidomain Semigroups. RelMiCS 2009: 73-87

Jean-Lou De Carufel, Jules Desharnais: Latest News about Demonic Algebra with Domain. RelMiCS 2008: 54-68

Jean-Lou De Carufel, Jules Desharnais: On the Structure of Demonic Refinement Algebras with Enabledness and Termination. RelMiCS 2008: 69-83

Jules Desharnais, Georg Struth: Domain Axioms for a Family of Near-Semirings. AMAST 2008: 330-345

Jules Desharnais, Georg Struth: Modal Semirings Revisited. MPC 2008: 360-387

Therrezinha Fernandes, Jules Desharnais: Describing data flow analysis techniques with Kleene algebra. Sci. Comput. Program. 65(2): 173-194 (2007)

Jules Desharnais, Bernhard Möller, Fairouz Tchier: Kleene under a modal demonic star. J. Log. Algebr. Program. 66(2): 127-160 (2006)

Jules Desharnais, Bernhard Möller, Georg Struth: Kleene algebra with domain. ACM Trans. Comput. Log. 7(4): 798-833 (2006)

Jean-Lou De Carufel, Jules Desharnais: Demonic Algebra with Domain. RelMiCS 2006: 120-134

Ali Mili, Lan Wu, Frederick T. Sheldon, Mark Shereshevsky, Jules Desharnais: Modeling Redundancy: Quantitative and Qualitative Models. AICCSA 2006: 1-8

Ali Mili, Frederick T. Sheldon, Fatma Mili, Jules Desharnais: Recoverability preservation: a measure of last resort. ISSE 1(1): 54-62 (2005)

Jules Desharnais, Bernhard Möller: Least Reflexive Points of Relations. Higher-Order and Symbolic Computation 18(1-2): 51-77 (2005)

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)

Claude Bolduc, Jules Desharnais: Static Analysis of Programs Using Omega Algebra with Tests. RelMiCS 2005: 60-72

Vincent Mathieu, Jules Desharnais: Verification of Pushdown Systems Using Omega Algebra with Domain. RelMiCS 2005: 188-199

Ali Mili, Frederick T. Sheldon, Fatma Mili, Mark Shereshevsky, Jules Desharnais: Perspectives on Redundancy: Applications to Software Certification. HICSS 2005

Hans Bherer, Jules Desharnais, Marc Frappier, Richard St.-Denis: Synthesis of State Feedback Controllers for Parameterized Discrete Event Systems. ATVA 2004: 487-490

Jules Desharnais, Bernhard Möller, Georg Struth: Termination in Modal Kleene Algebra. IFIP TCS 2004: 647-660

Therrezinha Fernandes, Jules Desharnais: Describing Gen/Kill Static Analysis Techniques with Kleene Algebra. MPC 2004: 110-128

Jules Desharnais: Kleene Algebra with Relations. RelMiCS 2003: 8-20

Hans Bherer, Jules Desharnais, Marc Frappier, Richard St.-Denis: Investigating Discrete Controllability with Kleene Algebra. RelMiCS 2003: 74-85

Jules Desharnais, Bernhard Möller, Georg Struth: Kleene algebra with domain. CoRR cs.LO/0310054 (2003)

Mourad Debbabi, Jules Desharnais, M. Fourati, E. Menif, Frédéric Painchaud, Nadia Tawbi: Secure Self-certified Code for Java. FASec 2002: 133-151

Jules Desharnais, Marc Frappier, Ali Jaoua, Wendy MacCaull: Relational methods in computer science - Preface. Inf. Sci. 139(3-4): 165-166 (2001)

Jules Desharnais, Bernhard Möller: Characterizing determinacy in Kleene algebras. Inf. Sci. 139(3-4): 253-273 (2001)

Lamia Labed Jilani, Jules Desharnais, Ali Mili: Defining and Applying Measures of Distance Between Specifications. IEEE Trans. Software Eng. 27(8): 673-703 (2001)

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)

Rym Mili, Jules Desharnais, Marc Frappier, Ali Mili: Semantic distance between specifications. Theor. Comput. Sci. 247(1-2): 257-276 (2000)

Jules Desharnais, Bernhard Möller: Characterizing Functions in Kleene Algebras. RelMiCS 2000: 55-64

Jules Desharnais, Bernhard Möller, Fairouz Tchier: Kleene under a Demonic Star. AMAST 2000: 355-370

Jules Desharnais (Ed.): Participants Copies of Fifth International Seminar on Relational Methods in Computer Science,January 9-14, 2000, Valcartier (Quebec), Canada. 2000

Jules Desharnais: Monomorphic Characterization of n-ary Direct Products. Inf. Sci. 119(3-4): 275-288 (1999)

Marc Frappier, Ali Mili, Jules Desharnais: Unifying Program Construction and Modification. Logic Journal of the IGPL 6(2): 317-340 (1998)

Brahim Chaib-draa, Jules Desharnais: A relational model of cognitive maps. Int. J. Hum.-Comput. Stud. 49(2): 181-200 (1998)

Jules Desharnais, Marc Frappier, Ridha Khédri, Ali Mili: Integration of Sequential Scenarios. IEEE Trans. Software Eng. 24(9): 695-708 (1998)

Jules Desharnais, Ridha Khédri, Ali Mili: Towards a uniform relational semantics for tabular expressions. RelMiCS 1998: 53-57

Rahma Ben Ayed, Jules Desharnais, Marc Frappier, Ali Mili: Mathematical Foundations for Program Transformations. LOPSTR 1998: 319-321

Jules Desharnais: Monomorphic Characterization of n-ary direct products. RelMiCS 1997: 359-368

Marc Frappier, Ali Mili, Jules Desharnais: Defining and detecting feature interactions. Algorithmic Languages and Calculi 1997: 212-239

Jules Desharnais, Marc Frappier, Ridha Khédri, Ali Mili: Integration of Sequential Scenarios. ESEC / SIGSOFT FSE 1997: 310-326

Marc Frappier, Ali Mili, Jules Desharnais: Detecting Feature Interactions on Relational Specifications. FIW 1997: 123-137

Lamia Labed Jilani, Jules Desharnais, Marc Frappier, Rym Mili, Ali Mili: Retrieving Software Components that Minimize Adaptation Effort. ASE 1997: 255-

Rym Mili, Marc Frappier, Jules Desharnais, Ali Mili: A Calculus of Program Modifications. SSR 1997: 157-168

Marc Frappier, Ali Mili, Jules Desharnais: A Relational Calculus for Program Construction by Parts. Sci. Comput. Program. 26(1-3): 237-254 (1996)

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)

Marc Frappier, Ali Mili, Jules Desharnais: Program Construction by Parts. MPC 1995: 257-281

Jules Desharnais, Ali Mili, Fatma Mili: On the Mathematics of Sequential Decompositions. Sci. Comput. Program. 20(3): 253-289 (1993)

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)

Jules Desharnais, Nazim H. Madhavji: Relation Level Semantics. FSTTCS 1988: 304-328

Nazim H. Madhavji, Jules Desharnais, L. Pinsonneault, Kamel Toubache: Adapting modules to an integrated programming environment. ICCL 1988: 364-371

Ali Mili, Jules Desharnais, Fatma Mili: Relational Heuristics for the Design of Deterministic Programs. Acta Inf. 24(3): 239-276 (1987)

Ali Mili, Jules Desharnais: Formal Models of Stepwise Refinement of Programs. ACM Comput. Surv. 18(3): 231-276 (1986)

Ali Mili, Jules Desharnais, Jean-Raymond Gagné: Strongest Invariant Functions: Their Use in the Systematic Analysis of While Statements. Acta Inf. 22(1): 47-66 (1985)

Ali Mili, Jules Desharnais: A System for Classifying Program Verification Methods: Assigning Meanings to Program Verification Methods. ICSE 1984: 499-509