Jules Desharnais

	2011
59		Jules Desharnais, Bernhard Möller, Georg Struth: Algebraic Notions of Termination Logical Methods in Computer Science 7(1): (2011)
58		Jules Desharnais, Georg Struth: Internal axioms for domain semirings. Sci. Comput. Program. 76(3): 181-203 (2011)
	2010
57		Claude Bolduc, Jules Desharnais, Béchir Ktari: Mathematics of Program Construction, 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings Springer 2010
56		Jean-Lou De Carufel, Jules Desharnais: Abstract representation theorems for demonic refinement algebras. J. Log. Algebr. Program. 79(8): 740-767 (2010)
	2009
55		Jules Desharnais, Peter Jipsen, Georg Struth: Domain and Antidomain Semigroups. RelMiCS 2009: 73-87
54		Hans Bherer, Jules Desharnais, Richard St.-Denis: Control of Parameterized Discrete Event Systems. Discrete Event Dynamic Systems 19(2): 213-265 (2009)
	2008
53		Jules Desharnais, Georg Struth: Domain Axioms for a Family of Near-Semirings. AMAST 2008: 330-345
52		Jules Desharnais, Georg Struth: Modal Semirings Revisited. MPC 2008: 360-387
51		Jean-Lou De Carufel, Jules Desharnais: Latest News about Demonic Algebra with Domain. RelMiCS 2008: 54-68
50		Jean-Lou De Carufel, Jules Desharnais: On the Structure of Demonic Refinement Algebras with Enabledness and Termination. RelMiCS 2008: 69-83
	2007
49		Therrezinha Fernandes, Jules Desharnais: Describing data flow analysis techniques with Kleene algebra. Sci. Comput. Program. 65(2): 173-194 (2007)
	2006
48		Ali Mili, Lan Wu, Frederick T. Sheldon, Mark Shereshevsky, Jules Desharnais: Modeling Redundancy: Quantitative and Qualitative Models. AICCSA 2006: 1-8
47		Jean-Lou De Carufel, Jules Desharnais: Demonic Algebra with Domain. RelMiCS 2006: 120-134
46		Jules Desharnais, Bernhard Möller, Georg Struth: Kleene algebra with domain. ACM Trans. Comput. Log. 7(4): 798-833 (2006)
45		Jules Desharnais, Bernhard Möller, Fairouz Tchier: Kleene under a modal demonic star. J. Log. Algebr. Program. 66(2): 127-160 (2006)
	2005
44		Ali Mili, Frederick T. Sheldon, Fatma Mili, Mark Shereshevsky, Jules Desharnais: Perspectives on Redundancy: Applications to Software Certification. HICSS 2005
43		Vincent Mathieu, Jules Desharnais: Verification of Pushdown Systems Using Omega Algebra with Domain. RelMiCS 2005: 188-199
42		Claude Bolduc, Jules Desharnais: Static Analysis of Programs Using Omega Algebra with Tests. RelMiCS 2005: 60-72
41		Jules Desharnais, Bernhard Möller: Least Reflexive Points of Relations. Higher-Order and Symbolic Computation 18(1-2): 51-77 (2005)
40		Ali Mili, Frederick T. Sheldon, Fatma Mili, Jules Desharnais: Recoverability preservation: a measure of last resort. ISSE 1(1): 54-62 (2005)
39		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		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		Therrezinha Fernandes, Jules Desharnais: Describing Gen/Kill Static Analysis Techniques with Kleene Algebra. MPC 2004: 110-128
	2003
35		Hans Bherer, Jules Desharnais, Marc Frappier, Richard St.-Denis: Investigating Discrete Controllability with Kleene Algebra. RelMiCS 2003: 74-85
34		Jules Desharnais: Kleene Algebra with Relations. RelMiCS 2003: 8-20
33		Jules Desharnais, Bernhard Möller, Georg Struth: Kleene algebra with domain CoRR cs.LO/0310054: (2003)
	2002
32		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		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		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		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		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		Jules Desharnais, Marc Frappier, Ridha Khédri, Ali Mili: Integration of Sequential Scenarios. IEEE Trans. Software Eng. 24(9): 695-708 (1998)
19		Brahim Chaib-draa, Jules Desharnais: A relational model of cognitive maps. Int. J. Hum.-Comput. Stud. 49(2): 181-200 (1998)
18		Marc Frappier, Ali Mili, Jules Desharnais: Unifying Program Construction and Modification. Logic Journal of the IGPL 6(2): 317-340 (1998)
	1997
17		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		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		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		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		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		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

Coauthor Index

1	Rahma Ben Ayed	[22] [25]
2	Nadir Belkhiter	[9]
3	Hans Bherer	[35] [38] [54]
4	Claude Bolduc	[42] [57]
5	Noureddine Boudriga	[7]
6	Jean-Lou De Carufel	[47] [50] [51] [56]
7	Brahim Chaib-draa	[19]
8	Vittorio Cortellessa	[39]
9	Mourad Debbabi	[32]
10	Therrezinha Fernandes	[36] [49]
11	M. Fourati	[32]
12	Marc Frappier	[10] [11] [12] [14] [15] [16] [17] [18] [20] [22] [24] [25] [30] [35] [38]
13	Jean-Raymond Gagné	[2]
14	Diego Del Gobbo	[39]
15	Ali Jaoua	[7] [9] [30]
16	Lamia Labed Jilani	[17] [31]
17	Peter Jipsen	[55]
18	Ridha Khédri	[15] [20] [21]
19	Béchir Ktari	[57]
20	Wendy MacCaull	[30]
21	Nazim H. Madhavji	[5] [6]
22	Vincent Mathieu	[43]
23	E. Menif	[32]
24	Ali Mili	[1] [2] [3] [4] [7] [8] [9] [10] [11] [12] [14] [15] [16] [17] [18] [20] [21] [22] [24] [25] [31] [39] [40] [44] [48]
25	Fatma Mili	[4] [7] [8] [40] [44]
26	Rym Mili	[12] [17] [24]
27	Bernhard Möller	[26] [27] [29] [33] [37] [41] [45] [46] [59]
28	Frédéric Painchaud	[32]
29	L. Pinsonneault	[5]
30	Salah Ben Mohamed Sghaier	[9]
31	Frederick T. Sheldon	[40] [44] [48]
32	Mark Shereshevsky	[39] [44] [48]
33	Richard St.-Denis	[35] [38] [54]
34	Georg Struth	[33] [37] [46] [52] [53] [55] [58] [59]
35	Nadia Tawbi	[32]
36	Fairouz Tchier	[9] [27] [45]
37	Kamel Toubache	[5]
38	Lan Wu	[48]
39	Nejib Zaguia	[9]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page