Jules Desharnais

78 papers A* 2B 4C 9Journal 36Unranked 24

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Counting Specific Classes of Relations Regarding Fixed Points and Reflexive Points. CoRR Rudolf Berghammer, Jules Desharnais, Michael Winter
2024	—	`conf`	Some Uses of Modal Semirings. WADT Bernhard Möller, Jules Desharnais
2024	J	`jnl`	The Thins Ordering on Relations. CoRR Ed Voermans, Jules Desharnais, Roland Carl Backhouse
2020	C	`conf`	The θ-Join as a Join with θ. RAMiCS Jules Desharnais, Bernhard Möller
2018	J	`jnl`	Convergence: Integrating termination and abort-freedom. J. Log. Algebraic Methods Program. Nafi Diallo, Wided Ghardallou, Jules Desharnais, Ali Mili
2018	C	`ed.`	Relational and Algebraic Methods in Computer Science - 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings RAMiCS Jules Desharnais, Walter Guttmann, Stef Joosten
2017	C	`conf`	Non-associative Kleene Algebra and Temporal Logics. RAMiCS Jules Desharnais, Bernhard Möller
2017	J	`jnl`	Projecting programs on specifications: Definition and implications. Sci. Comput. Program. Jules Desharnais, Nafi Diallo, Wided Ghardallou, Ali Mili
2017	C	`conf`	Relations as Images. RAMiCS Mathieu Alain, Jules Desharnais
2017	J	`jnl`	What is a fault? and why does it matter? Innov. Syst. Softw. Eng. Nafi Diallo, Wided Ghardallou, Jules Desharnais, Marcelo F. Frias, Ali Jaoua, Ali Mili
2016	J	`jnl`	A formal validation of the RBAC ANSI 2012 standard using B. Sci. Comput. Program. Nghi Huynh, Marc Frappier, Amel Mammar, Régine Laleau, Jules Desharnais
2015	—	`conf`	Program Derivation by Correctness Enhacements. Refine@FM Nafi Diallo, Wided Ghardallou, Jules Desharnais, Ali Mili
2015	C	`conf`	Relational Mathematics for Relative Correctness. RAMiCS Jules Desharnais, Nafi Diallo, Wided Ghardallou, Marcelo F. Frias, Ali Jaoua, Ali Mili
2014	C	`conf`	Fuzzifying Modal Algebra. RAMiCS Jules Desharnais, Bernhard Möller
2014	J	`jnl`	Relational style laws and constructs of linear algebra. J. Log. Algebraic Methods Program. Jules Desharnais, Anastasiya Grinenko, Bernhard Möller
2014	C	`conf`	Validating the RBAC ANSI 2012 Standard Using B. ABZ Nghi Huynh, Marc Frappier, Amel Mammar, Régine Laleau, Jules Desharnais
2013	J	`jnl`	Invariant assertions, invariant relations, and invariant functions. Sci. Comput. Program. Olfa Mraihi, Asma Louhichi, Lamia Labed Jilani, Jules Desharnais, Ali Mili
2013	J	`jnl`	Mathematics of Program Construction (selected papers from MPC 2010). Sci. Comput. Program. Jules Desharnais
2011	J	`jnl`	Algebraic Notions of Termination Log. Methods Comput. Sci. Jules Desharnais, Bernhard Möller, Georg Struth
2011	J	`jnl`	Internal axioms for domain semirings. Sci. Comput. Program. Jules Desharnais, Georg Struth
2010	J	`jnl`	Abstract representation theorems for demonic refinement algebras. J. Log. Algebraic Methods Program. Jean-Lou De Carufel, Jules Desharnais
2009	J	`jnl`	Control of Parameterized Discrete Event Systems. Discret. Event Dyn. Syst. Hans Bherer, Jules Desharnais, Richard St-Denis
2009	—	`conf`	Domain and Antidomain Semigroups. RelMiCS Jules Desharnais, Peter Jipsen, Georg Struth
2008	—	`conf`	Domain Axioms for a Family of Near-Semirings. AMAST Jules Desharnais, Georg Struth
2008	—	`conf`	Latest News about Demonic Algebra with Domain. RelMiCS Jean-Lou De Carufel, Jules Desharnais
2008	B	`conf`	Modal Semirings Revisited. MPC Jules Desharnais, Georg Struth
2008	—	`conf`	On the Structure of Demonic Refinement Algebras with Enabledness and Termination. RelMiCS Jean-Lou De Carufel, Jules Desharnais
2007	J	`jnl`	Describing data flow analysis techniques with Kleene algebra. Sci. Comput. Program. Therrezinha Fernandes, Jules Desharnais
2006	—	`conf`	Demonic Algebra with Domain. RelMiCS Jean-Lou De Carufel, Jules Desharnais
2006	J	`jnl`	Kleene algebra with domain. ACM Trans. Comput. Log. Jules Desharnais, Bernhard Möller, Georg Struth
2006	J	`jnl`	Kleene under a modal demonic star. J. Log. Algebraic Methods Program. Jules Desharnais, Bernhard Möller, Fairouz Tchier
2006	C	`conf`	Modeling Redundancy: Quantitative and Qualitative Models. AICCSA Ali Mili, Lan Wu, Frederick T. Sheldon, Mark Shereshevsky, Jules Desharnais
2005	J	`jnl`	Least Reflexive Points of Relations. High. Order Symb. Comput. Jules Desharnais, Bernhard Möller
2005	—	`conf`	Perspectives on Redundancy: Applications to Software Certification. HICSS Ali Mili, Frederick T. Sheldon, Fatma Mili, Mark Shereshevsky, Jules Desharnais
2005	J	`jnl`	Recoverability preservation: a measure of last resort. Innov. Syst. Softw. Eng. Ali Mili, Frederick T. Sheldon, Fatma Mili, Jules Desharnais
2005	J	`jnl`	Relational characterizations of system fault tolerance. Sci. Comput. Program. Vittorio Cortellessa, Diego Del Gobbo, Mark Shereshevsky, Jules Desharnais, Ali Mili
2005	—	`conf`	Synthesis of State Feedback Controllers for Parameterized Discrete Event Systems Under Partial Observation. CDC/ECC Hans Bherer, Jules Desharnais, Richard St-Denis
2005	—	`conf`	Verification of Pushdown Systems Using Omega Algebra with Domain. RelMiCS Vincent Mathieu, Jules Desharnais
2004	B	`conf`	Describing Gen/Kill Static Analysis Techniques with Kleene Algebra. MPC Therrezinha Fernandes, Jules Desharnais
2004	B	`conf`	Synthesis of State Feedback Controllers for Parameterized Discrete Event Systems. ATVA Hans Bherer, Jules Desharnais, Marc Frappier, Richard St-Denis
2004	—	`conf`	Termination in Modal Kleene Algebra. IFIP TCS Jules Desharnais, Bernhard Möller, Georg Struth
2003	—	`conf`	Investigating Discrete Controllability with Kleene Algebra. RelMiCS Hans Bherer, Jules Desharnais, Marc Frappier, Richard St-Denis
2003	—	`conf`	Kleene Algebra with Relations. RelMiCS Jules Desharnais
2003	J	`jnl`	Kleene algebra with domain CoRR Jules Desharnais, Bernhard Möller, Georg Struth
2001	J	`jnl`	Characterizing determinacy in Kleene algebras. Inf. Sci. Jules Desharnais, Bernhard Möller
2001	J	`jnl`	Defining and Applying Measures of Distance Between Specifications. IEEE Trans. Software Eng. Lamia Labed Jilani, Jules Desharnais, Ali Mili
2001	J	`jnl`	Relational methods in computer science - Preface. Inf. Sci. Jules Desharnais, Marc Frappier, Ali Jaoua, Wendy MacCaull
2000	J	`jnl`	A calculus of program adaptation and its applications. Sci. Comput. Program. Rahma Ben Ayed, Jules Desharnais, Marc Frappier, Ali Mili
2000	—	`conf`	Characterizing Functions in Kleene Algebras. RelMiCS Jules Desharnais, Bernhard Möller
2000	—	`conf`	Kleene under a Demonic Star. AMAST Jules Desharnais, Bernhard Möller, Fairouz Tchier
2000	—	`ed.`	Participants Copies of Fifth International Seminar on Relational Methods in Computer Science,January 9-14, 2000, Valcartier (Quebec), Canada RelMiCS Jules Desharnais
2000	J	`jnl`	Semantic distance between specifications. Theor. Comput. Sci. Rym Mili, Jules Desharnais, Marc Frappier, Ali Mili
1999	J	`jnl`	Monomorphic Characterization of n-ary Direct Products. Inf. Sci. Jules Desharnais
1998	J	`jnl`	A relational model of cognitive maps. Int. J. Hum. Comput. Stud. Brahim Chaib-draa, Jules Desharnais
1998	J	`jnl`	Integration of Sequential Scenarios. IEEE Trans. Software Eng. Jules Desharnais, Marc Frappier, Ridha Khédri, Ali Mili
1998	C	`conf`	Mathematical Foundations for Program Transformations. LOPSTR Rahma Ben Ayed, Jules Desharnais, Marc Frappier, Ali Mili
1998	—	`conf`	Towards a uniform relational semantics for tabular expressions. RelMiCS Jules Desharnais, Ridha Khédri, Ali Mili
1998	J	`jnl`	Unifying Program Construction and Modification. Log. J. IGPL Marc Frappier, Ali Mili, Jules Desharnais
1997	—	`conf`	A Calculus of Program Modifications. SSR Rym Mili, Marc Frappier, Jules Desharnais, Ali Mili
1997	—	`conf`	Defining and detecting feature interactions. Algorithmic Languages and Calculi Marc Frappier, Ali Mili, Jules Desharnais
1997	—	`conf`	Detecting Feature Interactions on Relational Specifications. FIW Marc Frappier, Ali Mili, Jules Desharnais
1997	—	`conf`	Integration of Sequential Scenarios. ESEC / SIGSOFT FSE Jules Desharnais, Marc Frappier, Ridha Khédri, Ali Mili
1997	—	`ch.`	Linear Logic. Relational Methods in Computer Science Jules Desharnais, Bernard Hodgson, John Mullins
1997	—	`conf`	Monomorphic Characterization of n-ary direct products. RelMiCS Jules Desharnais
1997	—	`ch.`	Refinement and Demonic Semantics. Relational Methods in Computer Science Jules Desharnais, Ali Mili, Thanh Tung Nguyen
1997	A*	`conf`	Retrieving Software Components that Minimize Adaptation Effort. ASE Lamia Labed Jilani, Jules Desharnais, Marc Frappier, Rym Mili, Ali Mili
1996	J	`jnl`	A Relational Calculus for Program Construction by Parts. Sci. Comput. Program. Marc Frappier, Ali Mili, Jules Desharnais
1995	J	`jnl`	Embedding a Demonic Semilattice in a Relational Algebra. Theor. Comput. Sci. Jules Desharnais, Nadir Belkhiter, Salah Ben Mohamed Sghaier, Fairouz Tchier, Ali Jaoua, Ali Mili, Nejib Zaguia
1995	B	`conf`	Program Construction by Parts. MPC Marc Frappier, Ali Mili, Jules Desharnais
1993	J	`jnl`	A Relation Division Operator: The Conjugate Kernel. Theor. Comput. Sci. Jules Desharnais, Ali Jaoua, Fatma Mili, Noureddine Boudriga, Ali Mili
1993	J	`jnl`	On the Mathematics of Sequential Decompositions. Sci. Comput. Program. Jules Desharnais, Ali Mili, Fatma Mili
1990	—	`conf`	Abstract Relational Specifications. Programming Concepts and Methods Jules Desharnais, Nazim H. Madhavji
1988	—	`conf`	Adapting modules to an integrated programming environment. ICCL Nazim H. Madhavji, Jules Desharnais, Luc Pinsonneault, Kamel Toubache
1988	—	`conf`	Relation Level Semantics. FSTTCS Jules Desharnais, Nazim H. Madhavji
1987	J	`jnl`	Relational Heuristics for the Design of Deterministic Programs. Acta Informatica Ali Mili, Jules Desharnais, Fatma Mili
1986	J	`jnl`	Formal Models of Stepwise Refinement of Programs. ACM Comput. Surv. Ali Mili, Jules Desharnais, Jean-Raynomd Gagné
1985	J	`jnl`	Strongest Invariant Functions: Their Use in the Systematic Analysis of While Statements. Acta Informatica Ali Mili, Jules Desharnais, Jean-Raymond Gagné
1984	A*	`conf`	A System for Classifying Program Verification Methods: Assigning Meanings to Program Verification Methods. ICSE Ali Mili, Jules Desharnais