E-LIB Suche - Ergebnisse für: Desharnais, Jules

1

The $$\theta $$-Join as a Join with $$\theta $$:

, In: Relational and Algebraic Methods in Computer Science; Lecture Notes in Computer Science,

Desharnais, Jules ; Möller, Bernhard - p. 47-64 , 2020

2

Convergence: Integrating termination and abort-freedom:

Diallo, Nafi ; Ghardallou, Wided ; Desharnais, Jules.
Journal of Logical and Algebraic Methods in Programming. 97 (2018) - p. 1-29 , 2018

Link: https://doi.org/10.1016/..

3

What is a fault? and why does it matter?:

Diallo, Nafi ; Ghardallou, Wided ; Desharnais, Jules...
Innovations in Systems and Software Engineering. 13 (2017) 2-3 - p. 219-239 , 2017

Link: https://doi.org/10.1007/..

4

Projecting programs on specifications: Definition and impli..:

Desharnais, Jules ; Diallo, Nafi ; Ghardallou, Wided.
Science of Computer Programming. 138 (2017) - p. 26-48 , 2017

Link: https://doi.org/10.1016/..

5

A formal validation of the RBAC ANSI 2012 standard using B:

Huynh, Nghi ; Frappier, Marc ; Mammar, Amel..
Science of Computer Programming. 131 (2016) - p. 76-93 , 2016

Link: https://doi.org/10.1016/..

6

Relational style laws and constructs of linear algebra:

Desharnais, Jules ; Grinenko, Anastasiya ; Möller, Bernhard
Journal of Logical and Algebraic Methods in Programming. 83 (2014) 2 - p. 154-168 , 2014

Link: https://doi.org/10.1016/..

7

Invariant assertions, invariant relations, and invariant fu..:

Mraihi, Olfa ; Louhichi, Asma ; Jilani, Lamia Labed..
Science of Computer Programming. 78 (2013) 9 - p. 1212-1239 , 2013

Link: https://doi.org/10.1016/..

8

Mathematics of Program Construction (selected papers from M..:

Desharnais, Jules
Science of Computer Programming. 78 (2013) 11 - p. 2027-2028 , 2013

Link: https://doi.org/10.1016/..

9

Internal axioms for domain semirings:

Desharnais, Jules ; Struth, Georg
Science of Computer Programming. 76 (2011) 3 - p. 181-203 , 2011

Link: https://doi.org/10.1016/..

10

Mathematics of program construction

10th international conference, MPC 2010, Québec City, Cana... Lecture notes in computer science ; 6120

Bolduc, Claude ; Desharnais, Jules ; Ktari, Béchir , 2010

Link: http://dx.doi.org/10.100..

11

Abstract representation theorems for demonic refinement alg..:

De Carufel, Jean-Lou ; Desharnais, Jules
The Journal of Logic and Algebraic Programming. 79 (2010) 8 - p. 740-767 , 2010

Link: https://doi.org/10.1016/..

12

Least Reflexive Points of Relations:

, In: Automatic Program Development,

Desharnais, Jules ; Möller, Bernhard - p. 215-228 , 2008

Link: https://doi.org/10.1007/..

13

Control of Parameterized Discrete Event Systems:

Bherer, Hans ; Desharnais, Jules ; St-Denis, Richard
Discrete Event Dynamic Systems. 19 (2008) 2 - p. 213-265 , 2008

Link: https://doi.org/10.1007/..

14

Describing data flow analysis techniques with Kleene algebr:

Fernandes, Therrezinha ; Desharnais, Jules
Science of Computer Programming. 65 (2007) 2 - p. 173-194 , 2007

Link: https://doi.org/10.1016/..

15

Kleene algebra with domain:

Desharnais, Jules ; Möller, Bernhard ; Struth, Georg
ACM Transactions on Computational Logic. 7 (2006) 4 - p. 798-833 , 2006

Link: https://doi.org/10.1145/..