I agree that this site is using cookies. You can find further informations here.
X
Kanso, Bilal
31  results:
Search for persons X
?
1

A compositional automata-based semantics and preserving tra..:

Taha, Safouan ; Julliand, Jacques ; Dadeau, Frédéric..
Formal Aspects of Computing.  27 (2015)  4 - p. 641-664 , 2015
Link: https://doi.org/10.1007/..
 
?
2

Specification of temporal properties with OCL:

Kanso, Bilal ; Taha, Safouan
Science of Computer Programming.  96 (2014)  - p. 527-551 , 2014
Link: https://doi.org/10.1016/..
 
?
3

A formal abstract framework for modelling and testing compl..:

Aiguier, Marc ; Boulanger, Frédéric ; Kanso, Bilal
Theoretical Computer Science.  455 (2012)  - p. 66-97 , 2012
Link: https://doi.org/10.1016/..
 
?
4

Estimation of the shelf-life of halloumi cheese using survi..:

KAMLEH, Rabih ; TOUFEILI, Imad ; AJIB, Rola..
Czech Journal of Food Sciences.  30 (2012)  6 - p. 512-519 , 2012
Link: https://doi.org/10.17221..
 
?
5

A logic for complex computing systems: Properties preservat..:

Aiguier, Marc ; Kanso, Bilal
info:eu-repo/semantics/altIdentifier/doi/10.7561/sacs.2014.1.1.  , 2014
Link: https://hal-centralesupe..
 
?
6

A logic for complex computing systems: Properties preservat..:

Aiguier, Marc ; Kanso, Bilal
info:eu-repo/semantics/altIdentifier/doi/10.7561/sacs.2014.1.1.  , 2014
Link: https://centralesupelec...
 
?
7

A logic for complex computing systems: Properties preservat..:

Aiguier, Marc ; Kanso, Bilal
info:eu-repo/semantics/altIdentifier/doi/10.7561/sacs.2014.1.1.  , 2014
Link: https://hal-ecp.archives..
 
?
8

Compositional Testing For FSM-Based Models:

Kanso, Bilal ; Chebaro, Omar
http://arxiv.org/abs/1406.2808.  , 2014
Link: http://arxiv.org/abs/140..
 
?
9

A Compositional Automata-based Semantics for Property Patte..:

Cabrera Castillos, Kalou ; Dadeau, Frédéric ; Julliand, Jacques..
hal-00931093.  , 2013
Link: https://hal.archives-ouv..
 
?
10

A Compositional Automata-based Semantics for Property Patte..:

Cabrera Castillos, Kalou ; Dadeau, Frédéric ; Julliand, Jacques..
hal-00931093.  , 2013
Link: https://hal.science/hal-..
 
?
11

A Compositional Automata-based Semantics for Property Patte..:

Cabrera Castillos, Kalou ; Dadeau, Frédéric ; Julliand, Jacques..
hal-00931093.  , 2013
Link: https://hal.science/hal-..
 
?
12

A formal abstract framework for modelling and testing compl..:

Aiguier, Marc ; Boulanger, Frédéric ; Kanso, Bilal
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.tcs.2011.12.072.  , 2012
Link: https://hal-centralesupe..
 
?
13

A formal abstract framework for modelling and testing compl..:

Aiguier, Marc ; Boulanger, Frédéric ; Kanso, Bilal
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.tcs.2011.12.072.  , 2012
Link: https://centralesupelec...
 
?
14

Testing of component-based systems:

Aiguier, Marc ; Kanso, Bilal ; Boulanger, Frédéric.
hal-00782889.  , 2012
Link: https://hal-centralesupe..
 
?
15

Testing of component-based systems:

Aiguier, Marc ; Kanso, Bilal ; Boulanger, Frédéric.
hal-00782889.  , 2012
Link: https://hal-ecp.archives..
 
1-15