Jules Desharnais

According to our database, Jules Desharnais authored at least 71 papers between 1984 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

The Thins Ordering on Relations.

Ed Voermans, Jules Desharnais, Roland Carl Backhouse

CoRR, 2024

2020

The θ-Join as a Join with θ.

Jules Desharnais, Bernhard Möller

Proceedings of the Relational and Algebraic Methods in Computer Science, 2020

2018

Convergence: Integrating termination and abort-freedom.

Nafi Diallo, Wided Ghardallou, Jules Desharnais, Ali Mili

J. Log. Algebraic Methods Program., 2018

2017

Projecting programs on specifications: Definition and implications.

Jules Desharnais, Nafi Diallo, Wided Ghardallou, Ali Mili

Sci. Comput. Program., 2017

What is a fault? and why does it matter?

Nafi Diallo, Wided Ghardallou, Jules Desharnais, Marcelo F. Frias, Ali Jaoua, Ali Mili

Innov. Syst. Softw. Eng., 2017

Non-associative Kleene Algebra and Temporal Logics.

Jules Desharnais, Bernhard Möller

Proceedings of the Relational and Algebraic Methods in Computer Science, 2017

Relations as Images.

Mathieu Alain, Jules Desharnais

Proceedings of the Relational and Algebraic Methods in Computer Science, 2017

2016

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

2015

Program Derivation by Correctness Enhacements.

Nafi Diallo, Wided Ghardallou, Jules Desharnais, Ali Mili

Proceedings of the Proceedings 17th International Workshop on Refinement, 2015

Relational Mathematics for Relative Correctness.

Jules Desharnais, Nafi Diallo, Wided Ghardallou, Marcelo F. Frias, Ali Jaoua, Ali Mili

Proceedings of the Relational and Algebraic Methods in Computer Science, 2015

2014

Relational style laws and constructs of linear algebra.

Jules Desharnais, Anastasiya Grinenko, Bernhard Möller

J. Log. Algebraic Methods Program., 2014

Validating the RBAC ANSI 2012 Standard Using B.

Nghi Huynh, Marc Frappier, Amel Mammar, Régine Laleau, Jules Desharnais

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014

Fuzzifying Modal Algebra.

Jules Desharnais, Bernhard Möller

Proceedings of the Relational and Algebraic Methods in Computer Science, 2014

2013

Invariant assertions, invariant relations, and invariant functions.

Olfa Mraihi, Asma Louhichi, Lamia Labed Jilani, Jules Desharnais, Ali Mili

Sci. Comput. Program., 2013

Mathematics of Program Construction (selected papers from MPC 2010).

Jules Desharnais

Sci. Comput. Program., 2013

2011

Internal axioms for domain semirings.

Jules Desharnais, Georg Struth

Sci. Comput. Program., 2011

Algebraic Notions of Termination

Jules Desharnais, Bernhard Möller, Georg Struth

Log. Methods Comput. Sci., 2011

2010

Abstract representation theorems for demonic refinement algebras.

Jean-Lou De Carufel, Jules Desharnais

J. Log. Algebraic Methods Program., 2010

2009

Control of Parameterized Discrete Event Systems.

Hans Bherer, Jules Desharnais, Richard St-Denis

Discret. Event Dyn. Syst., 2009

Domain and Antidomain Semigroups.

Jules Desharnais, Peter Jipsen, Georg Struth

Proceedings of the Relations and Kleene Algebra in Computer Science, 2009

2008

Modal Semirings Revisited.

Jules Desharnais, Georg Struth

Proceedings of the Mathematics of Program Construction, 9th International Conference, 2008

Domain Axioms for a Family of Near-Semirings.

Jules Desharnais, Georg Struth

Proceedings of the Algebraic Methodology and Software Technology, 2008

On the Structure of Demonic Refinement Algebras with Enabledness and Termination.

Jean-Lou De Carufel, Jules Desharnais

Proceedings of the Relations and Kleene Algebra in Computer Science, 2008

Latest News about Demonic Algebra with Domain.

Jean-Lou De Carufel, Jules Desharnais

Proceedings of the Relations and Kleene Algebra in Computer Science, 2008

2007

Describing data flow analysis techniques with Kleene algebra.

Therrezinha Fernandes, Jules Desharnais

Sci. Comput. Program., 2007

2006

Kleene algebra with domain.

Jules Desharnais, Bernhard Möller, Georg Struth

ACM Trans. Comput. Log., 2006

Kleene under a modal demonic star.

Jules Desharnais, Bernhard Möller, Fairouz Tchier

J. Log. Algebraic Methods Program., 2006

Modeling Redundancy: Quantitative and Qualitative Models.

Ali Mili, Lan Wu, Frederick T. Sheldon, Mark Shereshevsky, Jules Desharnais

Proceedings of the 2006 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA 2006), 2006

Demonic Algebra with Domain.

Jean-Lou De Carufel, Jules Desharnais

Proceedings of the Relations and Kleene Algebra in Computer Science, 2006

2005

Relational characterizations of system fault tolerance.

Vittorio Cortellessa, Diego Del Gobbo, Mark Shereshevsky, Jules Desharnais, Ali Mili

Sci. Comput. Program., 2005

Least Reflexive Points of Relations.

Jules Desharnais, Bernhard Möller

High. Order Symb. Comput., 2005

Recoverability preservation: a measure of last resort.

Ali Mili, Frederick T. Sheldon, Fatma Mili, Jules Desharnais

Innov. Syst. Softw. Eng., 2005

Perspectives on Redundancy: Applications to Software Certification.

Ali Mili, Frederick T. Sheldon, Fatma Mili, Mark Shereshevsky, Jules Desharnais

Proceedings of the 38th Hawaii International Conference on System Sciences (HICSS-38 2005), 2005

Synthesis of State Feedback Controllers for Parameterized Discrete Event Systems Under Partial Observation.

Hans Bherer, Jules Desharnais, Richard St-Denis

Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

Verification of Pushdown Systems Using Omega Algebra with Domain.

Vincent Mathieu, Jules Desharnais

Proceedings of the Relational Methods in Computer Science, 2005

2004

Describing Gen/Kill Static Analysis Techniques with Kleene Algebra.

Therrezinha Fernandes, Jules Desharnais

Proceedings of the Mathematics of Program Construction, 7th International Conference, 2004

Termination in Modal Kleene Algebra.

Jules Desharnais, Bernhard Möller, Georg Struth

Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004

Synthesis of State Feedback Controllers for Parameterized Discrete Event Systems.

Hans Bherer, Jules Desharnais, Marc Frappier, Richard St-Denis

Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004

2003

Kleene Algebra with Relations.

Jules Desharnais

Proceedings of the 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, 2003

Investigating Discrete Controllability with Kleene Algebra.

Hans Bherer, Jules Desharnais, Marc Frappier, Richard St-Denis

Proceedings of the 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, 2003

2001

Defining and Applying Measures of Distance Between Specifications.

Lamia Labed Jilani, Jules Desharnais, Ali Mili

IEEE Trans. Software Eng., 2001

Characterizing determinacy in Kleene algebras.

Jules Desharnais, Bernhard Möller

Inf. Sci., 2001

Relational methods in computer science - Preface.

Jules Desharnais, Marc Frappier, Ali Jaoua, Wendy MacCaull

Inf. Sci., 2001

2000

Semantic distance between specifications.

Rym Mili, Jules Desharnais, Marc Frappier, Ali Mili

Theor. Comput. Sci., 2000

A calculus of program adaptation and its applications.

Rahma Ben Ayed, Jules Desharnais, Marc Frappier, Ali Mili

Sci. Comput. Program., 2000

Kleene under a Demonic Star.

Jules Desharnais, Bernhard Möller, Fairouz Tchier

Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000

Characterizing Functions in Kleene Algebras.

Jules Desharnais, Bernhard Möller

Proceedings of the Participants Copies of Fifth International Seminar on Relational Methods in Computer Science, 2000

1999

Monomorphic Characterization of n-ary Direct Products.

Jules Desharnais

Inf. Sci., 1999

1998

Integration of Sequential Scenarios.

Jules Desharnais, Marc Frappier, Ridha Khédri, Ali Mili

IEEE Trans. Software Eng., 1998

A relational model of cognitive maps.

Brahim Chaib-draa, Jules Desharnais

Int. J. Hum. Comput. Stud., 1998

Unifying Program Construction and Modification.

Marc Frappier, Ali Mili, Jules Desharnais

Log. J. IGPL, 1998

Mathematical Foundations for Program Transformations.

Rahma Ben Ayed, Jules Desharnais, Marc Frappier, Ali Mili

Proceedings of the Logic Programming Synthesis and Transformation, 1998

Towards a uniform relational semantics for tabular expressions.

Jules Desharnais, Ridha Khédri, Ali Mili

Proceedings of the Participants Copies for Relational Methods in Logic, 1998

1997

A Calculus of Program Modifications.

Rym Mili, Marc Frappier, Jules Desharnais, Ali Mili

Proceedings of the 1997 ACM SIGSOFT Symposium on Symposium on Software Reusability, 1997

Retrieving Software Components that Minimize Adaptation Effort.

Lamia Labed Jilani, Jules Desharnais, Marc Frappier, Rym Mili, Ali Mili

Proceedings of the 1997 International Conference on Automated Software Engineering, 1997

Detecting Feature Interactions on Relational Specifications.

Marc Frappier, Ali Mili, Jules Desharnais

Proceedings of the Feature Interactions in Telecommunications Networks IV, 1997

Defining and detecting feature interactions.

Marc Frappier, Ali Mili, Jules Desharnais

Proceedings of the Algorithmic Languages and Calculi, 1997

Refinement and Demonic Semantics.

Jules Desharnais, Ali Mili, Thanh Tung Nguyen

Proceedings of the Relational Methods in Computer Science., 1997

Linear Logic.

Jules Desharnais, Bernard Hodgson, John Mullins

Proceedings of the Relational Methods in Computer Science., 1997

1996

A Relational Calculus for Program Construction by Parts.

Marc Frappier, Ali Mili, Jules Desharnais

Sci. Comput. Program., 1996

1995

Embedding a Demonic Semilattice in a Relational Algebra.

Jules Desharnais, Nadir Belkhiter, Salah Ben Mohamed Sghaier, Fairouz Tchier, Ali Jaoua, Ali Mili, Nejib Zaguia

Theor. Comput. Sci., 1995

Program Construction by Parts.

Marc Frappier, Ali Mili, Jules Desharnais

Proceedings of the Mathematics of Program Construction, 1995

1993

A Relation Division Operator: The Conjugate Kernel.

Jules Desharnais, Ali Jaoua, Fatma Mili, Noureddine Boudriga, Ali Mili

Theor. Comput. Sci., 1993

On the Mathematics of Sequential Decompositions.

Jules Desharnais, Ali Mili, Fatma Mili

Sci. Comput. Program., 1993

1990

Abstract Relational Specifications.

Jules Desharnais, Nazim H. Madhavji

Proceedings of the Programming concepts and methods: Proceedings of the IFIP Working Group 2.2, 1990

1988

Adapting modules to an integrated programming environment.

Nazim H. Madhavji, Jules Desharnais, Luc Pinsonneault, Kamel Toubache

Proceedings of the 1988 Internation Conference on Computer Languages, 1988

Relation Level Semantics.

Jules Desharnais, Nazim H. Madhavji

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1988

1987

Relational Heuristics for the Design of Deterministic Programs.

Ali Mili, Jules Desharnais, Fatma Mili

Acta Informatica, 1987

1986

Formal Models of Stepwise Refinement of Programs.

Ali Mili, Jules Desharnais, Jean-Raynomd Gagné

ACM Comput. Surv., 1986

1985

Strongest Invariant Functions: Their Use in the Systematic Analysis of While Statements.

Ali Mili, Jules Desharnais, Jean-Raymond Gagné

Acta Informatica, 1985

1984

A System for Classifying Program Verification Methods: Assigning Meanings to Program Verification Methods.

Ali Mili, Jules Desharnais

Proceedings of the Proceedings, 1984