A System for Classifying Program Verification Methods: Assigning Meanings to Program Verification Methods. - Ali Mili 001; Jules Desharnais (ICSE, 1984)

Strongest Invariant Functions: Their Use in the Systematic Analysis of While Statements. - Ali Mili 001; Jules Desharnais; Jean-Raymond Gagné (Acta Informatica, 1985)

Formal Models of Stepwise Refinement of Programs. - Ali Mili 001; Jules Desharnais; Jean-Raynomd Gagné (ACM Comput. Surv., 1986)

Relational Heuristics for the Design of Deterministic Programs. - Ali Mili 001; Jules Desharnais; Fatma Mili (Acta Informatica, 1987)

Relation Level Semantics. - Jules Desharnais; Nazim H. Madhavji (FSTTCS, 1988)

Adapting modules to an integrated programming environment. - Nazim H. Madhavji; Jules Desharnais; Luc Pinsonneault; Kamel Toubache (ICCL, 1988)

Abstract Relational Specifications. - Jules Desharnais; Nazim H. Madhavji (Programming Concepts and Methods, 1990)

On the Mathematics of Sequential Decompositions. - Jules Desharnais; Ali Mili 001; Fatma Mili (Sci. Comput. Program., 1993)

A Relation Division Operator: The Conjugate Kernel. - Jules Desharnais; Ali Jaoua; Fatma Mili; Noureddine Boudriga; Ali Mili 001 (Theor. Comput. Sci., 1993)

Program Construction by Parts. - Marc Frappier; Ali Mili 001; Jules Desharnais (MPC, 1995)

Embedding a Demonic Semilattice in a Relational Algebra. - Jules Desharnais; Nadir Belkhiter; Salah Ben Mohamed Sghaier; Fairouz Tchier; Ali Jaoua; Ali Mili 001; Nejib Zaguia (Theor. Comput. Sci., 1995)

A Relational Calculus for Program Construction by Parts. - Marc Frappier; Ali Mili 001; Jules Desharnais (Sci. Comput. Program., 1996)

Linear Logic. - Jules Desharnais; Bernard Hodgson; John Mullins (Relational Methods in Computer Science, 1997)

Refinement and Demonic Semantics. - Jules Desharnais; Ali Mili 001; Thanh Tung Nguyen (Relational Methods in Computer Science, 1997)

Defining and detecting feature interactions. - Marc Frappier; Ali Mili 001; Jules Desharnais (Algorithmic Languages and Calculi, 1997)

Detecting Feature Interactions on Relational Specifications. - Marc Frappier; Ali Mili 001; Jules Desharnais (FIW, 1997)

Retrieving Software Components that Minimize Adaptation Effort. - Lamia Labed Jilani; Jules Desharnais; Marc Frappier; Rym Mili; Ali Mili 001 (ASE, 1997)

A Calculus of Program Modifications. - Rym Mili; Marc Frappier; Jules Desharnais; Ali Mili 001 (SSR, 1997)

Towards a uniform relational semantics for tabular expressions. - Jules Desharnais; Ridha Khédri; Ali Mili 001 (RelMiCS, 1998)

Mathematical Foundations for Program Transformations. - Rahma Ben Ayed; Jules Desharnais; Marc Frappier; Ali Mili 001 (LOPSTR, 1998)

Unifying Program Construction and Modification. - Marc Frappier; Ali Mili 001; Jules Desharnais (Log. J. IGPL, 1998)

A relational model of cognitive maps. - Brahim Chaib-draa; Jules Desharnais (Int. J. Hum. Comput. Stud., 1998)

Integration of Sequential Scenarios. - Jules Desharnais; Marc Frappier; Ridha Khédri; Ali Mili 001 (IEEE Trans. Software Eng., 1998)

Monomorphic Characterization of n-ary Direct Products. - Jules Desharnais (Inf. Sci., 1999)

Characterizing Functions in Kleene Algebras. - Jules Desharnais; Bernhard Möller (RelMiCS, 2000)

Kleene under a Demonic Star. - Jules Desharnais; Bernhard Möller; Fairouz Tchier (AMAST, 2000)

A calculus of program adaptation and its applications. - Rahma Ben Ayed; Jules Desharnais; Marc Frappier; Ali Mili 001 (Sci. Comput. Program., 2000)

Semantic distance between specifications. - Rym Mili; Jules Desharnais; Marc Frappier; Ali Mili 001 (Theor. Comput. Sci., 2000)

Relational methods in computer science - Preface. - Jules Desharnais; Marc Frappier; Ali Jaoua; Wendy MacCaull (Inf. Sci., 2001)

Characterizing determinacy in Kleene algebras. - Jules Desharnais; Bernhard Möller (Inf. Sci., 2001)

Defining and Applying Measures of Distance Between Specifications. - Lamia Labed Jilani; Jules Desharnais; Ali Mili 001 (IEEE Trans. Software Eng., 2001)

Investigating Discrete Controllability with Kleene Algebra. - Hans Bherer; Jules Desharnais; Marc Frappier; Richard St-Denis (RelMiCS, 2003)

Kleene Algebra with Relations. - Jules Desharnais (RelMiCS, 2003)

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

Termination in Modal Kleene Algebra. - Jules Desharnais; Bernhard Möller; Georg Struth (IFIP TCS, 2004)

Describing Gen/Kill Static Analysis Techniques with Kleene Algebra. - Therrezinha Fernandes; Jules Desharnais (MPC, 2004)

Verification of Pushdown Systems Using Omega Algebra with Domain. - Vincent Mathieu; Jules Desharnais (RelMiCS, 2005)

Synthesis of State Feedback Controllers for Parameterized Discrete Event Systems Under Partial Observation. - Hans Bherer; Jules Desharnais; Richard St-Denis (CDC/ECC, 2005)

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

Recoverability preservation: a measure of last resort. - Ali Mili 001; Frederick T. Sheldon; Fatma Mili; Jules Desharnais (Innov. Syst. Softw. Eng., 2005)

Least Reflexive Points of Relations. - Jules Desharnais; Bernhard Möller (High. Order Symb. Comput., 2005)

Relational characterizations of system fault tolerance. - Vittorio Cortellessa; Diego Del Gobbo; Mark Shereshevsky; Jules Desharnais; Ali Mili 001 (Sci. Comput. Program., 2005)

Demonic Algebra with Domain. - Jean-Lou De Carufel; Jules Desharnais (RelMiCS, 2006)

Modeling Redundancy: Quantitative and Qualitative Models. - Ali Mili 001; Lan Wu; Frederick T. Sheldon; Mark Shereshevsky; Jules Desharnais (AICCSA, 2006)

Kleene under a modal demonic star. - Jules Desharnais; Bernhard Möller; Fairouz Tchier (J. Log. Algebraic Methods Program., 2006)

Kleene algebra with domain. - Jules Desharnais; Bernhard Möller; Georg Struth (ACM Trans. Comput. Log., 2006)

Describing data flow analysis techniques with Kleene algebra. - Therrezinha Fernandes; Jules Desharnais (Sci. Comput. Program., 2007)

Latest News about Demonic Algebra with Domain. - Jean-Lou De Carufel; Jules Desharnais (RelMiCS, 2008)

On the Structure of Demonic Refinement Algebras with Enabledness and Termination. - Jean-Lou De Carufel; Jules Desharnais (RelMiCS, 2008)

Domain Axioms for a Family of Near-Semirings. - Jules Desharnais; Georg Struth (AMAST, 2008)

Modal Semirings Revisited. - Jules Desharnais; Georg Struth (MPC, 2008)

Domain and Antidomain Semigroups. - Jules Desharnais; Peter Jipsen; Georg Struth (RelMiCS, 2009)

Control of Parameterized Discrete Event Systems. - Hans Bherer; Jules Desharnais; Richard St-Denis (Discret. Event Dyn. Syst., 2009)

Abstract representation theorems for demonic refinement algebras. - Jean-Lou De Carufel; Jules Desharnais (J. Log. Algebraic Methods Program., 2010)

Algebraic Notions of Termination - Jules Desharnais; Bernhard Möller; Georg Struth (Log. Methods Comput. Sci., 2011)

Internal axioms for domain semirings. - Jules Desharnais; Georg Struth (Sci. Comput. Program., 2011)

Mathematics of Program Construction (selected papers from MPC 2010). - Jules Desharnais (Sci. Comput. Program., 2013)

Invariant assertions, invariant relations, and invariant functions. - Olfa Mraihi; Asma Louhichi; Lamia Labed Jilani; Jules Desharnais; Ali Mili 001 (Sci. Comput. Program., 2013)

Fuzzifying Modal Algebra. - Jules Desharnais; Bernhard Möller (RAMiCS, 2014)

Validating the RBAC ANSI 2012 Standard Using B. - Nghi Huynh; Marc Frappier; Amel Mammar; Régine Laleau; Jules Desharnais (ABZ, 2014)

Relational style laws and constructs of linear algebra. - Jules Desharnais; Anastasiya Grinenko; Bernhard Möller (J. Log. Algebraic Methods Program., 2014)

Relational Mathematics for Relative Correctness. - Jules Desharnais; Nafi Diallo; Wided Ghardallou; Marcelo F. Frias; Ali Jaoua; Ali Mili 001 (RAMiCS, 2015)

Program Derivation by Correctness Enhacements. - Nafi Diallo; Wided Ghardallou; Jules Desharnais; Ali Mili 001 (Refine@FM, 2015)

A formal validation of the RBAC ANSI 2012 standard using B. - Nghi Huynh; Marc Frappier; Amel Mammar; Régine Laleau; Jules Desharnais (Sci. Comput. Program., 2016)

Relations as Images. - Mathieu Alain; Jules Desharnais (RAMiCS, 2017)

Non-associative Kleene Algebra and Temporal Logics. - Jules Desharnais; Bernhard Möller (RAMiCS, 2017)

What is a fault? and why does it matter? - Nafi Diallo; Wided Ghardallou; Jules Desharnais; Marcelo F. Frias; Ali Jaoua; Ali Mili 001 (Innov. Syst. Softw. Eng., 2017)

Projecting programs on specifications: Definition and implications. - Jules Desharnais; Nafi Diallo; Wided Ghardallou; Ali Mili 001 (Sci. Comput. Program., 2017)

Convergence: Integrating termination and abort-freedom. - Nafi Diallo; Wided Ghardallou; Jules Desharnais; Ali Mili 001 (J. Log. Algebraic Methods Program., 2018)

The θ-Join as a Join with θ. - Jules Desharnais; Bernhard Möller (RAMiCS, 2020)

Some Uses of Modal Semirings. - Bernhard Möller; Jules Desharnais (WADT, 2024)

The Thins Ordering on Relations. - Ed Voermans; Jules Desharnais; Roland Carl Backhouse (CoRR, 2024)

Counting Specific Classes of Relations Regarding Fixed Points and Reflexive Points. - Rudolf Berghammer; Jules Desharnais; Michael Winter 001 (CoRR, 2025)