Jules Desharnais

Publication Activity (10 Years)

Years Active: 1984-2024
Publications (10 Years): 8

Top Topics

Automatic Programming

Relational Algebra

Join Operations

Algebraic Geometry

Top Venues

J. Log. Algebraic Methods Program.

Sci. Comput. Program.

Publications

Ed Voermans, Jules Desharnais, Roland Carl Backhouse
The Thins Ordering on Relations. CoRR (2024)
Jules Desharnais, Bernhard Möller
The θ-Join as a Join with θ. RAMiCS (2020)
Nafi Diallo, Wided Ghardallou, Jules Desharnais, Ali Mili
Convergence: Integrating termination and abort-freedom. J. Log. Algebraic Methods Program. 97 (2018)
Mathieu Alain, Jules Desharnais
Relations as Images. RAMiCS (2017)
Jules Desharnais, Nafi Diallo, Wided Ghardallou, Ali Mili
Projecting programs on specifications: Definition and implications. Sci. Comput. Program. 138 (2017)
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) (2017)
Jules Desharnais, Bernhard Möller
Non-associative Kleene Algebra and Temporal Logics. RAMiCS (2017)
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 (2016)
Nafi Diallo, Wided Ghardallou, Jules Desharnais, Ali Mili
Program Derivation by Correctness Enhacements. Refine@FM (2015)
Jules Desharnais, Nafi Diallo, Wided Ghardallou, Marcelo F. Frias, Ali Jaoua, Ali Mili
Relational Mathematics for Relative Correctness. RAMiCS (2015)
Nghi Huynh, Marc Frappier, Amel Mammar, Régine Laleau, Jules Desharnais
Validating the RBAC ANSI 2012 Standard Using B. ABZ (2014)
Jules Desharnais, Bernhard Möller
Fuzzifying Modal Algebra. RAMiCS (2014)
Jules Desharnais, Anastasiya Grinenko, Bernhard Möller
Relational style laws and constructs of linear algebra. J. Log. Algebraic Methods Program. 83 (2) (2014)
Olfa Mraihi, Asma Louhichi, Lamia Labed Jilani, Jules Desharnais, Ali Mili
Invariant assertions, invariant relations, and invariant functions. Sci. Comput. Program. 78 (9) (2013)
Jules Desharnais
Mathematics of Program Construction (selected papers from MPC 2010). Sci. Comput. Program. 78 (11) (2013)
Jules Desharnais, Georg Struth
Internal axioms for domain semirings. Sci. Comput. Program. 76 (3) (2011)
Jules Desharnais, Bernhard Möller, Georg Struth
Algebraic Notions of Termination Log. Methods Comput. Sci. 7 (1) (2011)
Jean-Lou De Carufel, Jules Desharnais
Abstract representation theorems for demonic refinement algebras. J. Log. Algebraic Methods Program. 79 (8) (2010)
Hans Bherer, Jules Desharnais, Richard St-Denis
Control of Parameterized Discrete Event Systems. Discret. Event Dyn. Syst. 19 (2) (2009)
Jules Desharnais, Peter Jipsen, Georg Struth
Domain and Antidomain Semigroups. RelMiCS (2009)
Jules Desharnais, Georg Struth
Domain Axioms for a Family of Near-Semirings. AMAST (2008)
Jules Desharnais, Georg Struth
Modal Semirings Revisited. MPC (2008)
Jean-Lou De Carufel, Jules Desharnais
Latest News about Demonic Algebra with Domain. RelMiCS (2008)
Jean-Lou De Carufel, Jules Desharnais
On the Structure of Demonic Refinement Algebras with Enabledness and Termination. RelMiCS (2008)
Therrezinha Fernandes, Jules Desharnais
Describing data flow analysis techniques with Kleene algebra. Sci. Comput. Program. 65 (2) (2007)
Jean-Lou De Carufel, Jules Desharnais
Demonic Algebra with Domain. RelMiCS (2006)
Ali Mili, Lan Wu, Frederick T. Sheldon, Mark Shereshevsky, Jules Desharnais
Modeling Redundancy: Quantitative and Qualitative Models. AICCSA (2006)
Jules Desharnais, Bernhard Möller, Georg Struth
Kleene algebra with domain. ACM Trans. Comput. Log. 7 (4) (2006)
Jules Desharnais, Bernhard Möller, Fairouz Tchier
Kleene under a modal demonic star. J. Log. Algebraic Methods Program. 66 (2) (2006)
Ali Mili, Frederick T. Sheldon, Fatma Mili, Jules Desharnais
Recoverability preservation: a measure of last resort. Innov. Syst. Softw. Eng. 1 (1) (2005)
Vincent Mathieu, Jules Desharnais
Verification of Pushdown Systems Using Omega Algebra with Domain. RelMiCS (2005)
Vittorio Cortellessa, Diego Del Gobbo, Mark Shereshevsky, Jules Desharnais, Ali Mili
Relational characterizations of system fault tolerance. Sci. Comput. Program. 56 (3) (2005)
Hans Bherer, Jules Desharnais, Richard St-Denis
Synthesis of State Feedback Controllers for Parameterized Discrete Event Systems Under Partial Observation. CDC/ECC (2005)
Ali Mili, Frederick T. Sheldon, Fatma Mili, Mark Shereshevsky, Jules Desharnais
Perspectives on Redundancy: Applications to Software Certification. HICSS (2005)
Jules Desharnais, Bernhard Möller
Least Reflexive Points of Relations. High. Order Symb. Comput. 18 (1-2) (2005)
Jules Desharnais, Bernhard Möller, Georg Struth
Termination in Modal Kleene Algebra. IFIP TCS (2004)
Hans Bherer, Jules Desharnais, Marc Frappier, Richard St-Denis
Synthesis of State Feedback Controllers for Parameterized Discrete Event Systems. ATVA (2004)
Therrezinha Fernandes, Jules Desharnais
Describing Gen/Kill Static Analysis Techniques with Kleene Algebra. MPC (2004)
Hans Bherer, Jules Desharnais, Marc Frappier, Richard St-Denis
Investigating Discrete Controllability with Kleene Algebra. RelMiCS (2003)
Jules Desharnais
Kleene Algebra with Relations. RelMiCS (2003)
Jules Desharnais, Bernhard Möller, Georg Struth
Kleene algebra with domain CoRR (2003)
Jules Desharnais, Marc Frappier, Ali Jaoua, Wendy MacCaull
Relational methods in computer science - Preface. Inf. Sci. 139 (3-4) (2001)
Lamia Labed Jilani, Jules Desharnais, Ali Mili
Defining and Applying Measures of Distance Between Specifications. IEEE Trans. Software Eng. 27 (8) (2001)
Jules Desharnais, Bernhard Möller
Characterizing determinacy in Kleene algebras. Inf. Sci. 139 (3-4) (2001)
Jules Desharnais, Bernhard Möller
Characterizing Functions in Kleene Algebras. RelMiCS (2000)
Rym Mili, Jules Desharnais, Marc Frappier, Ali Mili
Semantic distance between specifications. Theor. Comput. Sci. 247 (1-2) (2000)
Rahma Ben Ayed, Jules Desharnais, Marc Frappier, Ali Mili
A calculus of program adaptation and its applications. Sci. Comput. Program. 38 (1-3) (2000)
Jules Desharnais, Bernhard Möller, Fairouz Tchier
Kleene under a Demonic Star. AMAST (2000)
Jules Desharnais
Monomorphic Characterization of n-ary Direct Products. Inf. Sci. 119 (3-4) (1999)
Brahim Chaib-draa, Jules Desharnais
A relational model of cognitive maps. Int. J. Hum. Comput. Stud. 49 (2) (1998)
Jules Desharnais, Marc Frappier, Ridha Khédri, Ali Mili
Integration of Sequential Scenarios. IEEE Trans. Software Eng. 24 (9) (1998)
Jules Desharnais, Ridha Khédri, Ali Mili
Towards a uniform relational semantics for tabular expressions. RelMiCS (1998)
Marc Frappier, Ali Mili, Jules Desharnais
Unifying Program Construction and Modification. Log. J. IGPL 6 (2) (1998)
Rahma Ben Ayed, Jules Desharnais, Marc Frappier, Ali Mili
Mathematical Foundations for Program Transformations. LOPSTR (1998)
Marc Frappier, Ali Mili, Jules Desharnais
Defining and detecting feature interactions. Algorithmic Languages and Calculi (1997)
Rym Mili, Marc Frappier, Jules Desharnais, Ali Mili
A Calculus of Program Modifications. SSR (1997)
Jules Desharnais, Marc Frappier, Ridha Khédri, Ali Mili
Integration of Sequential Scenarios. ESEC / SIGSOFT FSE (1997)
Lamia Labed Jilani, Jules Desharnais, Marc Frappier, Rym Mili, Ali Mili
Retrieving Software Components that Minimize Adaptation Effort. ASE (1997)
Marc Frappier, Ali Mili, Jules Desharnais
Detecting Feature Interactions on Relational Specifications. FIW (1997)
Jules Desharnais
Monomorphic Characterization of n-ary direct products. RelMiCS (1997)
Marc Frappier, Ali Mili, Jules Desharnais
A Relational Calculus for Program Construction by Parts. Sci. Comput. Program. 26 (1-3) (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) (1995)
Marc Frappier, Ali Mili, Jules Desharnais
Program Construction by Parts. MPC (1995)
Jules Desharnais, Ali Mili, Fatma Mili
On the Mathematics of Sequential Decompositions. Sci. Comput. Program. 20 (3) (1993)
Jules Desharnais, Ali Jaoua, Fatma Mili, Noureddine Boudriga, Ali Mili
A Relation Division Operator: The Conjugate Kernel. Theor. Comput. Sci. 114 (2) (1993)
Jules Desharnais, Nazim H. Madhavji
Abstract Relational Specifications. Programming Concepts and Methods (1990)
Jules Desharnais, Nazim H. Madhavji
Relation Level Semantics. FSTTCS (1988)
Nazim H. Madhavji, Jules Desharnais, Luc Pinsonneault, Kamel Toubache
Adapting modules to an integrated programming environment. ICCL (1988)
Ali Mili, Jules Desharnais, Fatma Mili
Relational Heuristics for the Design of Deterministic Programs. Acta Informatica 24 (3) (1987)
Ali Mili, Jules Desharnais, Jean-Raynomd Gagné
Formal Models of Stepwise Refinement of Programs. ACM Comput. Surv. 18 (3) (1986)
Ali Mili, Jules Desharnais, Jean-Raymond Gagné
Strongest Invariant Functions: Their Use in the Systematic Analysis of While Statements. Acta Informatica 22 (1) (1985)
Ali Mili, Jules Desharnais
A System for Classifying Program Verification Methods: Assigning Meanings to Program Verification Methods. ICSE (1984)