Jules Desharnais

According to our database1, Jules Desharnais
  • authored at least 69 papers between 1984 and 2017.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
Projecting programs on specifications: Definition and implications.
Sci. Comput. Program., 2017

What is a fault? and why does it matter?
ISSE, 2017

Non-associative Kleene Algebra and Temporal Logics.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2017

Relations as Images.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2017

2016
A formal validation of the RBAC ANSI 2012 standard using B.
Sci. Comput. Program., 2016

2015
Program Derivation by Correctness Enhacements.
Proceedings of the Proceedings 17th International Workshop on Refinement, 2015

Relational Mathematics for Relative Correctness.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2015

2014
Relational style laws and constructs of linear algebra.
J. Log. Algebr. Meth. Program., 2014

Validating the RBAC ANSI 2012 Standard Using B.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014

Fuzzifying Modal Algebra.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2014

2013
Invariant assertions, invariant relations, and invariant functions.
Sci. Comput. Program., 2013

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

2011
Internal axioms for domain semirings.
Sci. Comput. Program., 2011

Algebraic Notions of Termination
Logical Methods in Computer Science, 2011

2010
Abstract representation theorems for demonic refinement algebras.
J. Log. Algebr. Program., 2010

2009
Control of Parameterized Discrete Event Systems.
Discrete Event Dynamic Systems, 2009

Domain and Antidomain Semigroups.
Proceedings of the Relations and Kleene Algebra in Computer Science, 2009

2008
Modal Semirings Revisited.
Proceedings of the Mathematics of Program Construction, 9th International Conference, 2008

Domain Axioms for a Family of Near-Semirings.
Proceedings of the Algebraic Methodology and Software Technology, 2008

On the Structure of Demonic Refinement Algebras with Enabledness and Termination.
Proceedings of the Relations and Kleene Algebra in Computer Science, 2008

Latest News about Demonic Algebra with Domain.
Proceedings of the Relations and Kleene Algebra in Computer Science, 2008

2007
Describing data flow analysis techniques with Kleene algebra.
Sci. Comput. Program., 2007

2006
Kleene algebra with domain.
ACM Trans. Comput. Log., 2006

Kleene under a modal demonic star.
J. Log. Algebr. Program., 2006

Modeling Redundancy: Quantitative and Qualitative Models.
Proceedings of the 2006 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA 2006), 2006

Demonic Algebra with Domain.
Proceedings of the Relations and Kleene Algebra in Computer Science, 2006

2005
Relational characterizations of system fault tolerance.
Sci. Comput. Program., 2005

Least Reflexive Points of Relations.
Higher-Order and Symbolic Computation, 2005

Recoverability preservation: a measure of last resort.
ISSE, 2005

Perspectives on Redundancy: Applications to Software Certification.
Proceedings of the 38th Hawaii International Conference on System Sciences (HICSS-38 2005), 2005

Verification of Pushdown Systems Using Omega Algebra with Domain.
Proceedings of the Relational Methods in Computer Science, 2005

Static Analysis of Programs Using Omega Algebra with Tests.
Proceedings of the Relational Methods in Computer Science, 2005

2004
Describing Gen/Kill Static Analysis Techniques with Kleene Algebra.
Proceedings of the Mathematics of Program Construction, 7th International Conference, 2004

Termination in Modal Kleene Algebra.
Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004

Synthesis of State Feedback Controllers for Parameterized Discrete Event Systems.
Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004

2003
Kleene algebra with domain
CoRR, 2003

Kleene Algebra with Relations.
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.
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

2002
Secure Self-certified Code for Java.
Proceedings of the Formal Aspects of Security, First International Conference, 2002

2001
Defining and Applying Measures of Distance Between Specifications.
IEEE Trans. Software Eng., 2001

Characterizing determinacy in Kleene algebras.
Inf. Sci., 2001

Relational methods in computer science - Preface.
Inf. Sci., 2001

2000
Semantic distance between specifications.
Theor. Comput. Sci., 2000

A calculus of program adaptation and its applications.
Sci. Comput. Program., 2000

Kleene under a Demonic Star.
Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000

Characterizing Functions in Kleene Algebras.
Proceedings of the Participants Copies of Fifth International Seminar on Relational Methods in Computer Science, 2000

1999
Monomorphic Characterization of n-ary Direct Products.
Inf. Sci., 1999

1998
Integration of Sequential Scenarios.
IEEE Trans. Software Eng., 1998

A relational model of cognitive maps.
Int. J. Hum.-Comput. Stud., 1998

Unifying Program Construction and Modification.
Logic Journal of the IGPL, 1998

Mathematical Foundations for Program Transformations.
Proceedings of the Logic Programming Synthesis and Transformation, 1998

Towards a uniform relational semantics for tabular expressions.
Proceedings of the Participants Copies for Relational Methods in Logic, 1998

1997
A Calculus of Program Modifications.
SSR, 1997

Retrieving Software Components that Minimize Adaptation Effort.
Proceedings of the 1997 International Conference on Automated Software Engineering, 1997

Detecting Feature Interactions on Relational Specifications.
Proceedings of the Feature Interactions in Telecommunications Networks IV, 1997

Integration of Sequential Scenarios.
Proceedings of the Software Engineering, 1997

Defining and detecting feature interactions.
Proceedings of the Algorithmic Languages and Calculi, 1997

Monomorphic Characterization of n-ary direct products.
Proceedings of the Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, 1997

1996
A Relational Calculus for Program Construction by Parts.
Sci. Comput. Program., 1996

1995
Embedding a Demonic Semilattice in a Relational Algebra.
Theor. Comput. Sci., 1995

Program Construction by Parts.
Proceedings of the Mathematics of Program Construction, 1995

1993
A Relation Division Operator: The Conjugate Kernel.
Theor. Comput. Sci., 1993

On the Mathematics of Sequential Decompositions.
Sci. Comput. Program., 1993

1988
Adapting modules to an integrated programming environment.
Proceedings of the 1988 Internation Conference on Computer Languages, 1988

Relation Level Semantics.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1988

1987
Relational Heuristics for the Design of Deterministic Programs.
Acta Inf., 1987

1986
Formal Models of Stepwise Refinement of Programs.
ACM Comput. Surv., 1986

1985
Strongest Invariant Functions: Their Use in the Systematic Analysis of While Statements.
Acta Inf., 1985

1984
A System for Classifying Program Verification Methods: Assigning Meanings to Program Verification Methods.
Proceedings of the Proceedings, 1984


  Loading...