Search the dblp DataBase
Jules Desharnais :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Hans Bherer , Jules Desharnais , Marc Frappier , Richard St.-Denis Investigating Discrete Controllability with Kleene Algebra. [Citation Graph (0, 0)][DBLP ] RelMiCS, 2003, pp:74-85 [Conf ] Jules Desharnais Kleene Algebra with Relations. [Citation Graph (0, 0)][DBLP ] RelMiCS, 2003, pp:8-20 [Conf ] Jules Desharnais Monomorphic Characterization of n-ary direct products. [Citation Graph (0, 0)][DBLP ] RelMiCS, 1997, pp:359-368 [Conf ] Jules Desharnais , Ridha Khédri , Ali Mili Towards a uniform relational semantics for tabular expressions. [Citation Graph (0, 0)][DBLP ] RelMiCS, 1998, pp:53-57 [Conf ] Jules Desharnais , Bernhard Möller Characterizing Functions in Kleene Algebras. [Citation Graph (0, 0)][DBLP ] RelMiCS, 2000, pp:55-64 [Conf ] Jean-Lou De Carufel , Jules Desharnais Demonic Algebra with Domain. [Citation Graph (0, 0)][DBLP ] RelMiCS, 2006, pp:120-134 [Conf ] Claude Bolduc , Jules Desharnais Static Analysis of Programs Using Omega Algebra with Tests. [Citation Graph (0, 0)][DBLP ] RelMiCS, 2005, pp:60-72 [Conf ] Vincent Mathieu , Jules Desharnais Verification of Pushdown Systems Using Omega Algebra with Domain. [Citation Graph (0, 0)][DBLP ] RelMiCS, 2005, pp:188-199 [Conf ] Marc Frappier , Ali Mili , Jules Desharnais Defining and detecting feature interactions. [Citation Graph (0, 0)][DBLP ] Algorithmic Languages and Calculi, 1997, pp:212-239 [Conf ] Jules Desharnais , Bernhard Möller , Fairouz Tchier Kleene under a Demonic Star. [Citation Graph (0, 0)][DBLP ] AMAST, 2000, pp:355-370 [Conf ] Hans Bherer , Jules Desharnais , Marc Frappier , Richard St.-Denis Synthesis of State Feedback Controllers for Parameterized Discrete Event Systems. [Citation Graph (0, 0)][DBLP ] ATVA, 2004, pp:487-490 [Conf ] Jules Desharnais , Marc Frappier , Ridha Khédri , Ali Mili Integration of Sequential Scenarios. [Citation Graph (0, 0)][DBLP ] ESEC / SIGSOFT FSE, 1997, pp:310-326 [Conf ] Mourad Debbabi , Josee Desharnais , M. Fourati , E. Menif , Frédéric Painchaud , Nadia Tawbi Secure Self-certified Code for Java. [Citation Graph (0, 0)][DBLP ] FASec, 2002, pp:133-151 [Conf ] Marc Frappier , Ali Mili , Jules Desharnais Detecting Feature Interactions on Relational Specifications. [Citation Graph (0, 0)][DBLP ] FIW, 1997, pp:123-137 [Conf ] Jules Desharnais , Nazim H. Madhavji Relation Level Semantics. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1988, pp:304-328 [Conf ] Ali Mili , Frederick T. Sheldon , Fatma Mili , Mark Shereshevsky , Jules Desharnais Perspectives on Redundancy: Applications to Software Certification. [Citation Graph (0, 0)][DBLP ] HICSS, 2005, pp:- [Conf ] Nazim H. Madhavji , Jules Desharnais , L. Pinsonneault , Kamel Toubache Adapting modules to an integrated programming environment. [Citation Graph (0, 0)][DBLP ] ICCL, 1988, pp:364-371 [Conf ] Ali Mili , Jules Desharnais A System for Classifying Program Verification Methods: Assigning Meanings to Program Verification Methods. [Citation Graph (0, 0)][DBLP ] ICSE, 1984, pp:499-509 [Conf ] Jules Desharnais , Bernhard Möller , Georg Struth Termination in Modal Kleene Algebra. [Citation Graph (0, 0)][DBLP ] IFIP TCS, 2004, pp:647-660 [Conf ] Lamia Labed Jilani , Jules Desharnais , Marc Frappier , Rym Mili , Ali Mili Retrieving Software Components that Minimize Adaptation Effort. [Citation Graph (0, 0)][DBLP ] ASE, 1997, pp:255-0 [Conf ] Rahma Ben Ayed , Jules Desharnais , Marc Frappier , Ali Mili Mathematical Foundations for Program Transformations. [Citation Graph (0, 0)][DBLP ] LOPSTR, 1998, pp:319-321 [Conf ] Therrezinha Fernandes , Jules Desharnais Describing Gen/Kill Static Analysis Techniques with Kleene Algebra. [Citation Graph (0, 0)][DBLP ] MPC, 2004, pp:110-128 [Conf ] Marc Frappier , Ali Mili , Jules Desharnais Program Construction by Parts. [Citation Graph (0, 0)][DBLP ] MPC, 1995, pp:257-281 [Conf ] Rym Mili , Marc Frappier , Jules Desharnais , Ali Mili A Calculus of Program Modifications. [Citation Graph (0, 0)][DBLP ] SSR, 1997, pp:157-168 [Conf ] Ali Mili , Jules Desharnais , Jean-Raymond Gagné Strongest Invariant Functions: Their Use in the Systematic Analysis of While Statements. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1985, v:22, n:1, pp:47-66 [Journal ] Ali Mili , Jules Desharnais , Fatma Mili Relational Heuristics for the Design of Deterministic Programs. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1987, v:24, n:3, pp:239-276 [Journal ] Jules Desharnais , Bernhard Möller , Georg Struth Kleene algebra with domain [Citation Graph (0, 0)][DBLP ] CoRR, 2003, v:0, n:, pp:- [Journal ] Ali Mili , Jules Desharnais Formal Models of Stepwise Refinement of Programs. [Citation Graph (0, 0)][DBLP ] ACM Comput. Surv., 1986, v:18, n:3, pp:231-276 [Journal ] Marc Frappier , Ali Mili , Jules Desharnais Unifying Program Construction and Modification. [Citation Graph (0, 0)][DBLP ] Logic Journal of the IGPL, 1998, v:6, n:2, pp:317-340 [Journal ] Brahim Chaib-draa , Jules Desharnais A relational model of cognitive maps. [Citation Graph (0, 0)][DBLP ] Int. J. Hum.-Comput. Stud., 1998, v:49, n:2, pp:181-200 [Journal ] Jules Desharnais Monomorphic Characterization of n-ary Direct Products. [Citation Graph (0, 0)][DBLP ] Inf. Sci., 1999, v:119, n:3-4, pp:275-288 [Journal ] Jules Desharnais , Marc Frappier , Ali Jaoua , Wendy MacCaull Relational methods in computer science - Preface. [Citation Graph (0, 0)][DBLP ] Inf. Sci., 2001, v:139, n:3-4, pp:165-166 [Journal ] Jules Desharnais , Bernhard Möller Characterizing determinacy in Kleene algebras. [Citation Graph (0, 0)][DBLP ] Inf. Sci., 2001, v:139, n:3-4, pp:253-273 [Journal ] Jules Desharnais , Bernhard Möller , Fairouz Tchier Kleene under a modal demonic star. [Citation Graph (0, 0)][DBLP ] J. Log. Algebr. Program., 2006, v:66, n:2, pp:127-160 [Journal ] Jules Desharnais , Bernhard Möller Least Reflexive Points of Relations. [Citation Graph (0, 0)][DBLP ] Higher-Order and Symbolic Computation, 2005, v:18, n:1-2, pp:51-77 [Journal ] Rahma Ben Ayed , Jules Desharnais , Marc Frappier , Ali Mili A calculus of program adaptation and its applications. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 2000, v:38, n:1-3, pp:73-124 [Journal ] Vittorio Cortellessa , Diego Del Gobbo , Mark Shereshevsky , Jules Desharnais , Ali Mili Relational characterizations of system fault tolerance. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 2005, v:56, n:3, pp:343-361 [Journal ] Marc Frappier , Ali Mili , Jules Desharnais A Relational Calculus for Program Construction by Parts. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 1996, v:26, n:1-3, pp:237-254 [Journal ] Jules Desharnais , Ali Mili , Fatma Mili On the Mathematics of Sequential Decompositions. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 1993, v:20, n:3, pp:253-289 [Journal ] Therrezinha Fernandes , Jules Desharnais Describing data flow analysis techniques with Kleene algebra. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 2007, v:65, n:2, pp:173-194 [Journal ] Jules Desharnais , Nadir Belkhiter , Salah Ben Mohamed Sghaier , Fairouz Tchier , Ali Jaoua , Ali Mili , Nejib Zaguia Embedding a Demonic Semilattice in a Relational Algebra. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1995, v:149, n:2, pp:333-360 [Journal ] Jules Desharnais , Ali Jaoua , Fatma Mili , Noureddine Boudriga , Ali Mili A Relation Division Operator: The Conjugate Kernel. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1993, v:114, n:2, pp:247-272 [Journal ] Rym Mili , Jules Desharnais , Marc Frappier , Ali Mili Semantic distance between specifications. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2000, v:247, n:1-2, pp:257-276 [Journal ] Jules Desharnais , Bernhard Möller , Georg Struth Kleene algebra with domain. [Citation Graph (0, 0)][DBLP ] ACM Trans. Comput. Log., 2006, v:7, n:4, pp:798-833 [Journal ] Jules Desharnais , Marc Frappier , Ridha Khédri , Ali Mili Integration of Sequential Scenarios. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1998, v:24, n:9, pp:695-708 [Journal ] Lamia Labed Jilani , Jules Desharnais , Ali Mili Defining and Applying Measures of Distance Between Specifications. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 2001, v:27, n:8, pp:673-703 [Journal ] On the Structure of Demonic Refinement Algebras with Enabledness and Termination. [Citation Graph (, )][DBLP ] Latest News about Demonic Algebra with Domain. [Citation Graph (, )][DBLP ] Domain and Antidomain Semigroups. [Citation Graph (, )][DBLP ] Modeling Redundancy: Quantitative and Qualitative Models. [Citation Graph (, )][DBLP ] Domain Axioms for a Family of Near-Semirings. [Citation Graph (, )][DBLP ] Modal Semirings Revisited. [Citation Graph (, )][DBLP ] Search in 0.003secs, Finished in 0.323secs