| 2008 |
|---|
| 52 | EE | Jules Desharnais,
Georg Struth:
Domain Axioms for a Family of Near-Semirings.
AMAST 2008: 330-345 |
| 51 | EE | Jules Desharnais,
Georg Struth:
Modal Semirings Revisited.
MPC 2008: 360-387 |
| 50 | EE | Jean-Lou De Carufel,
Jules Desharnais:
Latest News about Demonic Algebra with Domain.
RelMiCS 2008: 54-68 |
| 49 | EE | Jean-Lou De Carufel,
Jules Desharnais:
On the Structure of Demonic Refinement Algebras with Enabledness and Termination.
RelMiCS 2008: 69-83 |
| 2007 |
|---|
| 48 | EE | Therrezinha Fernandes,
Jules Desharnais:
Describing data flow analysis techniques with Kleene algebra.
Sci. Comput. Program. 65(2): 173-194 (2007) |
| 2006 |
|---|
| 47 | EE | Jean-Lou De Carufel,
Jules Desharnais:
Demonic Algebra with Domain.
RelMiCS 2006: 120-134 |
| 46 | EE | Jules Desharnais,
Bernhard Möller,
Georg Struth:
Kleene algebra with domain.
ACM Trans. Comput. Log. 7(4): 798-833 (2006) |
| 45 | EE | Jules Desharnais,
Bernhard Möller,
Fairouz Tchier:
Kleene under a modal demonic star.
J. Log. Algebr. Program. 66(2): 127-160 (2006) |
| 2005 |
|---|
| 44 | EE | Ali Mili,
Frederick T. Sheldon,
Fatma Mili,
Mark Shereshevsky,
Jules Desharnais:
Perspectives on Redundancy: Applications to Software Certification.
HICSS 2005 |
| 43 | EE | Vincent Mathieu,
Jules Desharnais:
Verification of Pushdown Systems Using Omega Algebra with Domain.
RelMiCS 2005: 188-199 |
| 42 | EE | Claude Bolduc,
Jules Desharnais:
Static Analysis of Programs Using Omega Algebra with Tests.
RelMiCS 2005: 60-72 |
| 41 | EE | Jules Desharnais,
Bernhard Möller:
Least Reflexive Points of Relations.
Higher-Order and Symbolic Computation 18(1-2): 51-77 (2005) |
| 40 | EE | Ali Mili,
Frederick T. Sheldon,
Fatma Mili,
Jules Desharnais:
Recoverability preservation: a measure of last resort.
ISSE 1(1): 54-62 (2005) |
| 39 | EE | 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) |
| 2004 |
|---|
| 38 | EE | Hans Bherer,
Jules Desharnais,
Marc Frappier,
Richard St.-Denis:
Synthesis of State Feedback Controllers for Parameterized Discrete Event Systems.
ATVA 2004: 487-490 |
| 37 | | Jules Desharnais,
Bernhard Möller,
Georg Struth:
Termination in Modal Kleene Algebra.
IFIP TCS 2004: 647-660 |
| 36 | EE | Therrezinha Fernandes,
Jules Desharnais:
Describing Gen/Kill Static Analysis Techniques with Kleene Algebra.
MPC 2004: 110-128 |
| 2003 |
|---|
| 35 | EE | Hans Bherer,
Jules Desharnais,
Marc Frappier,
Richard St.-Denis:
Investigating Discrete Controllability with Kleene Algebra.
RelMiCS 2003: 74-85 |
| 34 | EE | Jules Desharnais:
Kleene Algebra with Relations.
RelMiCS 2003: 8-20 |
| 33 | EE | Jules Desharnais,
Bernhard Möller,
Georg Struth:
Kleene algebra with domain
CoRR cs.LO/0310054: (2003) |
| 2002 |
|---|
| 32 | EE | Mourad Debbabi,
Jules Desharnais,
M. Fourati,
E. Menif,
Frédéric Painchaud,
Nadia Tawbi:
Secure Self-certified Code for Java.
FASec 2002: 133-151 |
| 2001 |
|---|
| 31 | EE | Lamia Labed Jilani,
Jules Desharnais,
Ali Mili:
Defining and Applying Measures of Distance Between Specifications.
IEEE Trans. Software Eng. 27(8): 673-703 (2001) |
| 30 | | Jules Desharnais,
Marc Frappier,
Ali Jaoua,
Wendy MacCaull:
Relational methods in computer science - Preface.
Inf. Sci. 139(3-4): 165-166 (2001) |
| 29 | | Jules Desharnais,
Bernhard Möller:
Characterizing determinacy in Kleene algebras.
Inf. Sci. 139(3-4): 253-273 (2001) |
| 2000 |
|---|
| 28 | | Jules Desharnais:
Participants Copies of Fifth International Seminar on Relational Methods in Computer Science,January 9-14, 2000, Valcartier (Quebec), Canada
RelMiCS 2000 |
| 27 | EE | Jules Desharnais,
Bernhard Möller,
Fairouz Tchier:
Kleene under a Demonic Star.
AMAST 2000: 355-370 |
| 26 | | Jules Desharnais,
Bernhard Möller:
Characterizing Functions in Kleene Algebras.
RelMiCS 2000: 55-64 |
| 25 | | 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) |
| 24 | EE | Rym Mili,
Jules Desharnais,
Marc Frappier,
Ali Mili:
Semantic distance between specifications.
Theor. Comput. Sci. 247(1-2): 257-276 (2000) |
| 1999 |
|---|
| 23 | | Jules Desharnais:
Monomorphic Characterization of n-ary Direct Products.
Inf. Sci. 119(3-4): 275-288 (1999) |
| 1998 |
|---|
| 22 | EE | Rahma Ben Ayed,
Jules Desharnais,
Marc Frappier,
Ali Mili:
Mathematical Foundations for Program Transformations.
LOPSTR 1998: 319-321 |
| 21 | | Jules Desharnais,
Ridha Khédri,
Ali Mili:
Towards a uniform relational semantics for tabular expressions.
RelMiCS 1998: 53-57 |
| 20 | EE | Jules Desharnais,
Marc Frappier,
Ridha Khédri,
Ali Mili:
Integration of Sequential Scenarios.
IEEE Trans. Software Eng. 24(9): 695-708 (1998) |
| 19 | EE | Brahim Chaib-draa,
Jules Desharnais:
A relational model of cognitive maps.
Int. J. Hum.-Comput. Stud. 49(2): 181-200 (1998) |
| 18 | EE | Marc Frappier,
Ali Mili,
Jules Desharnais:
Unifying Program Construction and Modification.
Logic Journal of the IGPL 6(2): 317-340 (1998) |
| 1997 |
|---|
| 17 | EE | Lamia Labed Jilani,
Jules Desharnais,
Marc Frappier,
Rym Mili,
Ali Mili:
Retrieving Software Components that Minimize Adaptation Effort.
ASE 1997: 255- |
| 16 | | Marc Frappier,
Ali Mili,
Jules Desharnais:
Defining and detecting feature interactions.
Algorithmic Languages and Calculi 1997: 212-239 |
| 15 | EE | Jules Desharnais,
Marc Frappier,
Ridha Khédri,
Ali Mili:
Integration of Sequential Scenarios.
ESEC / SIGSOFT FSE 1997: 310-326 |
| 14 | | Marc Frappier,
Ali Mili,
Jules Desharnais:
Detecting Feature Interactions on Relational Specifications.
FIW 1997: 123-137 |
| 13 | | Jules Desharnais:
Monomorphic Characterization of n-ary direct products.
RelMiCS 1997: 359-368 |
| 12 | EE | Rym Mili,
Marc Frappier,
Jules Desharnais,
Ali Mili:
A Calculus of Program Modifications.
SSR 1997: 157-168 |
| 1996 |
|---|
| 11 | | Marc Frappier,
Ali Mili,
Jules Desharnais:
A Relational Calculus for Program Construction by Parts.
Sci. Comput. Program. 26(1-3): 237-254 (1996) |
| 1995 |
|---|
| 10 | | Marc Frappier,
Ali Mili,
Jules Desharnais:
Program Construction by Parts.
MPC 1995: 257-281 |
| 9 | EE | 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) |
| 1993 |
|---|
| 8 | | Jules Desharnais,
Ali Mili,
Fatma Mili:
On the Mathematics of Sequential Decompositions.
Sci. Comput. Program. 20(3): 253-289 (1993) |
| 7 | | 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) |
| 1988 |
|---|
| 6 | | Jules Desharnais,
Nazim H. Madhavji:
Relation Level Semantics.
FSTTCS 1988: 304-328 |
| 5 | EE | Nazim H. Madhavji,
Jules Desharnais,
L. Pinsonneault,
Kamel Toubache:
Adapting modules to an integrated programming environment.
ICCL 1988: 364-371 |
| 1987 |
|---|
| 4 | | Ali Mili,
Jules Desharnais,
Fatma Mili:
Relational Heuristics for the Design of Deterministic Programs.
Acta Inf. 24(3): 239-276 (1987) |
| 1986 |
|---|
| 3 | EE | Ali Mili,
Jules Desharnais:
Formal Models of Stepwise Refinement of Programs.
ACM Comput. Surv. 18(3): 231-276 (1986) |
| 1985 |
|---|
| 2 | | 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) |
| 1984 |
|---|
| 1 | | Ali Mili,
Jules Desharnais:
A System for Classifying Program Verification Methods: Assigning Meanings to Program Verification Methods.
ICSE 1984: 499-509 |
