Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Jules Desharnais" ( http://dblp.L3S.de/Authors/Jules_Desharnais )

URL (Homepage):  http://www.ift.ulaval.ca/~desharnais/  Author page on DBLP  Author page in RDF  Community of Jules Desharnais in ASPL-2

Publication years (Num. hits)
1984-1997 (17) 1998-2002 (15) 2003-2006 (16) 2007-2011 (11)
Publication types (Num. hits)
article(27) inproceedings(30) proceedings(2)
Venues (Conferences, Journals, ...)
RelMiCS(12) Sci. Comput. Program.(6) MPC(4) Inf. Sci.(3) Theor. Comput. Sci.(3) Acta Inf.(2) AMAST(2) IEEE Trans. Software Eng.(2) J. Log. Algebr. Program.(2) ACM Comput. Surv.(1) ACM Trans. Comput. Log.(1) AICCSA(1) Algorithmic Languages and Calc...(1) ASE(1) ATVA(1) CoRR(1) More (+10 of total 32)
Authors
Jules Desharnais(59) Ali Mili(25) Marc Frappier(15) Bernhard Möller(9) Georg Struth(8) Fatma Mili(5) Jean-Lou De Carufel(4) Ali Jaoua(3) Fairouz Tchier(3) Frederick T. Sheldon(3) Hans Bherer(3) Mark Shereshevsky(3) Richard St.-Denis(3) Ridha Khédri(3) Rym Mili(3) Claude Bolduc(2) More (+10 of total 40)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 34 occurrences of 26 keywords
Results
Found 59 publication records. Showing 59 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Jules Desharnais, Georg Struth Internal axioms for domain semirings. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jules Desharnais, Bernhard Möller, Georg Struth Algebraic Notions of Termination Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jean-Lou De Carufel, Jules Desharnais Abstract representation theorems for demonic refinement algebras. Search on Bibsonomy J. Log. Algebr. Program. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Claude Bolduc, Jules Desharnais, Béchir Ktari (eds.) Mathematics of Program Construction, 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings Search on Bibsonomy MPC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Hans Bherer, Jules Desharnais, Richard St.-Denis Control of Parameterized Discrete Event Systems. Search on Bibsonomy Discrete Event Dynamic Systems The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Jules Desharnais, Peter Jipsen, Georg Struth Domain and Antidomain Semigroups. Search on Bibsonomy RelMiCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Jules Desharnais, Georg Struth Domain Axioms for a Family of Near-Semirings. Search on Bibsonomy AMAST The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Jean-Lou De Carufel, Jules Desharnais On the Structure of Demonic Refinement Algebras with Enabledness and Termination. Search on Bibsonomy RelMiCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Jean-Lou De Carufel, Jules Desharnais Latest News about Demonic Algebra with Domain. Search on Bibsonomy RelMiCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Jules Desharnais, Georg Struth Modal Semirings Revisited. Search on Bibsonomy MPC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Therrezinha Fernandes, Jules Desharnais Describing data flow analysis techniques with Kleene algebra. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Jules Desharnais, Bernhard Möller, Fairouz Tchier Kleene under a modal demonic star. Search on Bibsonomy J. Log. Algebr. Program. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Jules Desharnais, Bernhard Möller, Georg Struth Kleene algebra with domain. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Idempotent semiring, codomain, image and preimage operation, program development and analysis, domain, Kleene algebra, equational reasoning, state transition systems
1Jean-Lou De Carufel, Jules Desharnais Demonic Algebra with Domain. Search on Bibsonomy RelMiCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Ali Mili, Lan Wu, Frederick T. Sheldon, Mark Shereshevsky, Jules Desharnais Modeling Redundancy: Quantitative and Qualitative Models. Search on Bibsonomy AICCSA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Vittorio Cortellessa, Diego Del Gobbo, Mark Shereshevsky, Jules Desharnais, Ali Mili Relational characterizations of system fault tolerance. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Ali Mili, Frederick T. Sheldon, Fatma Mili, Jules Desharnais Recoverability preservation: a measure of last resort. Search on Bibsonomy ISSE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Programming calculi, Relational mathematics, System fault tolerance, Recoverability preservation, Recovery routine
1Jules Desharnais, Bernhard Möller Least Reflexive Points of Relations. Search on Bibsonomy Higher-Order and Symbolic Computation The full citation details ... 2005 DBLP  DOI  BibTeX  RDF least reflexive point, greatest reflexive point, inflationary relation, lattice, relation, partial order, fixed point
1Claude Bolduc, Jules Desharnais Static Analysis of Programs Using Omega Algebra with Tests. Search on Bibsonomy RelMiCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Vincent Mathieu, Jules Desharnais Verification of Pushdown Systems Using Omega Algebra with Domain. Search on Bibsonomy RelMiCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Ali Mili, Frederick T. Sheldon, Fatma Mili, Mark Shereshevsky, Jules Desharnais Perspectives on Redundancy: Applications to Software Certification. Search on Bibsonomy HICSS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Quantifying Redundancy, Qualifying Redundancy, Fault Tolerance, Redundancy, Error Detection, Error Recovery, Fault Tolerant Design
1Hans Bherer, Jules Desharnais, Marc Frappier, Richard St.-Denis Synthesis of State Feedback Controllers for Parameterized Discrete Event Systems. Search on Bibsonomy ATVA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Jules Desharnais, Bernhard Möller, Georg Struth Termination in Modal Kleene Algebra. Search on Bibsonomy IFIP TCS The full citation details ... 2004 DBLP  BibTeX  RDF
1Therrezinha Fernandes, Jules Desharnais Describing Gen/Kill Static Analysis Techniques with Kleene Algebra. Search on Bibsonomy MPC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Jules Desharnais, Bernhard Möller, Georg Struth Kleene algebra with domain Search on Bibsonomy CoRR The full citation details ... 2003 DBLP  BibTeX  RDF
1Jules Desharnais Kleene Algebra with Relations. Search on Bibsonomy RelMiCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Hans Bherer, Jules Desharnais, Marc Frappier, Richard St.-Denis Investigating Discrete Controllability with Kleene Algebra. Search on Bibsonomy RelMiCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Mourad Debbabi, Jules Desharnais, M. Fourati, E. Menif, Frédéric Painchaud, Nadia Tawbi Secure Self-certified Code for Java. Search on Bibsonomy FASec The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Lamia Labed Jilani, Jules Desharnais, Ali Mili Defining and Applying Measures of Distance Between Specifications. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF relational specifications, Formal specifications, lattices, relations, software libraries, distance metrics, software adaptation, COTS integration
1Jules Desharnais, Bernhard Möller Characterizing determinacy in Kleene algebras. Search on Bibsonomy Inf. Sci. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Jules Desharnais, Marc Frappier, Ali Jaoua, Wendy MacCaull Relational methods in computer science - Preface. Search on Bibsonomy Inf. Sci. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Rahma Ben Ayed, Jules Desharnais, Marc Frappier, Ali Mili A calculus of program adaptation and its applications. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Rym Mili, Jules Desharnais, Marc Frappier, Ali Mili Semantic distance between specifications. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Jules Desharnais, Bernhard Möller, Fairouz Tchier Kleene under a Demonic Star. Search on Bibsonomy AMAST The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Jules Desharnais, Bernhard Möller Characterizing Functions in Kleene Algebras. Search on Bibsonomy RelMiCS The full citation details ... 2000 DBLP  BibTeX  RDF
1Jules Desharnais (eds.) Participants Copies of Fifth International Seminar on Relational Methods in Computer Science,January 9-14, 2000, Valcartier (Quebec), Canada Search on Bibsonomy RelMiCS The full citation details ... 2000 DBLP  BibTeX  RDF
1Jules Desharnais Monomorphic Characterization of n-ary Direct Products. Search on Bibsonomy Inf. Sci. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Jules Desharnais, Marc Frappier, Ridha Khédri, Ali Mili Integration of Sequential Scenarios. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF relational approach, state-based approach, integration, Scenario, requirements elicitation, user-system interaction
1Brahim Chaib-draa, Jules Desharnais A relational model of cognitive maps. Search on Bibsonomy Int. J. Hum.-Comput. Stud. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Marc Frappier, Ali Mili, Jules Desharnais Unifying Program Construction and Modification. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Jules Desharnais, Ridha Khédri, Ali Mili Towards a uniform relational semantics for tabular expressions. Search on Bibsonomy RelMiCS The full citation details ... 1998 DBLP  BibTeX  RDF
1Rahma Ben Ayed, Jules Desharnais, Marc Frappier, Ali Mili Mathematical Foundations for Program Transformations. Search on Bibsonomy LOPSTR The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Lamia Labed Jilani, Jules Desharnais, Marc Frappier, Rym Mili, Ali Mili Retrieving Software Components that Minimize Adaptation Effort. (PDF / PS) Search on Bibsonomy ASE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF adaptation effort, retrieval procedures, approximate retrieval, library components, functional distance, formal specification, formal specifications, software components, software library
1Marc Frappier, Ali Mili, Jules Desharnais Detecting Feature Interactions on Relational Specifications. Search on Bibsonomy FIW The full citation details ... 1997 DBLP  BibTeX  RDF
1Marc Frappier, Ali Mili, Jules Desharnais Defining and detecting feature interactions. Search on Bibsonomy Algorithmic Languages and Calculi The full citation details ... 1997 DBLP  BibTeX  RDF
1Jules Desharnais Monomorphic Characterization of n-ary direct products. Search on Bibsonomy RelMiCS The full citation details ... 1997 DBLP  BibTeX  RDF
1Jules Desharnais, Marc Frappier, Ridha Khédri, Ali Mili Integration of Sequential Scenarios. Search on Bibsonomy ESEC / SIGSOFT FSE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF relational approach, state-based approach, integration, scenario, requirements elicitation, user-system interaction
1Rym Mili, Marc Frappier, Jules Desharnais, Ali Mili A Calculus of Program Modifications. Search on Bibsonomy SSR The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Marc Frappier, Ali Mili, Jules Desharnais A Relational Calculus for Program Construction by Parts. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Jules Desharnais, Nadir Belkhiter, Salah Ben Mohamed Sghaier, Fairouz Tchier, Ali Jaoua, Ali Mili, Nejib Zaguia Embedding a Demonic Semilattice in a Relational Algebra. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Marc Frappier, Ali Mili, Jules Desharnais Program Construction by Parts. Search on Bibsonomy MPC The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Jules Desharnais, Ali Mili, Fatma Mili On the Mathematics of Sequential Decompositions. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Jules Desharnais, Ali Jaoua, Fatma Mili, Noureddine Boudriga, Ali Mili A Relation Division Operator: The Conjugate Kernel. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Nazim H. Madhavji, Jules Desharnais, L. Pinsonneault, Kamel Toubache Adapting modules to an integrated programming environment. Search on Bibsonomy ICCL The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Jules Desharnais, Nazim H. Madhavji Relation Level Semantics. Search on Bibsonomy FSTTCS The full citation details ... 1988 DBLP  DOI  BibTeX  RDF CR Categories D.1.4 [Programming Techniques] Sequential Programming, D.3.1 [Programming Languages] Formal Definitions and Theory: Semantics, F.3.1 [Logics and Meanings of Programs] Specifying and Verifying and Reasoning about programs: Relations, F.3.2 [Logics and Meanings of Programs] Semantics of Programming Languages: Algebraic approaches to semantics, F.3.3 [Logics and Meanings of Programs] Studies of Program Constructs: Control Structures, Expressions, Denotational Semantics, Procedures
1Ali Mili, Jules Desharnais, Fatma Mili Relational Heuristics for the Design of Deterministic Programs. Search on Bibsonomy Acta Inf. The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Ali Mili, Jules Desharnais Formal Models of Stepwise Refinement of Programs. Search on Bibsonomy ACM Comput. Surv. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Ali Mili, Jules Desharnais, Jean-Raymond Gagné Strongest Invariant Functions: Their Use in the Systematic Analysis of While Statements. Search on Bibsonomy Acta Inf. The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Ali Mili, Jules Desharnais A System for Classifying Program Verification Methods: Assigning Meanings to Program Verification Methods. Search on Bibsonomy ICSE The full citation details ... 1984 DBLP  BibTeX  RDF
Displaying result #1 - #59 of 59 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.