I agree that this site is using cookies. You can find further informations here.
X
Cabrera Castillos, Kalou
29  results:
Search for persons X
?
1

Burst c-VEP Based BCI: Optimizing stimulus design for enhan..:

Cabrera Castillos, Kalou ; Ladouce, Simon ; Darmet, Ludovic.
NeuroImage.  284 (2023)  - p. 120446 , 2023
Link: https://doi.org/10.1016/..
 
?
2

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/..
 
?
3

Scenario‐based testing using symbolic animation of B models:

Dadeau, Frédéric ; Castillos, Kalou Cabrera ; Tissot, Régis
Software Testing, Verification and Reliability.  22 (2012)  6 - p. 407-434 , 2012
Link: https://doi.org/10.1002/..
 
?
4

Scenario-based testing from UML/OCL behavioral models: Appl..:

Castillos, Kalou Cabrera ; Dadeau, Frédéric ; Julliand, Jacques
International Journal on Software Tools for Technology Transfer.  13 (2011)  5 - p. 431-448 , 2011
Link: https://doi.org/10.1007/..
 
?
5

Outil logiciel HAZOP-UML - Document des cas d'utilisation:

Larré, Jean-Marc ; Cabrera Castillos, Kalou ; Guiochet, Jérémie
hal-01613787.  , 2017
Link: https://laas.hal.science..
 
?
6

Outil logiciel HAZOP-UML - Document des cas d'utilisation:

Larré, Jean-Marc ; Cabrera Castillos, Kalou ; Guiochet, Jérémie
hal-01613787.  , 2017
Link: https://laas.hal.science..
 
?
7

Show Me New Counterexamples: A Path-Based Approach:

Cabrera Castillos, Kalou ; Waeselynck, Hélène ; Wiels, Virginie
info:eu-repo/semantics/altIdentifier/doi/10.1109/ICST.2015.7102606.  , 2015
Link: https://hal.science/hal-..
 
?
8

Show Me New Counterexamples: A Path-Based Approach:

Cabrera Castillos, Kalou ; Waeselynck, Hélène ; Wiels, Virginie
info:eu-repo/semantics/altIdentifier/doi/10.1109/ICST.2015.7102606.  , 2015
Link: https://hal.science/hal-..
 
?
9

Show Me New Counterexamples: A Path-Based Approach:

Cabrera Castillos, Kalou ; Waeselynck, Hélène ; Wiels, Virginie
info:eu-repo/semantics/altIdentifier/doi/10.1109/ICST.2015.7102606.  , 2015
Link: https://hal.science/hal-..
 
?
10

Show Me New Counterexamples: A Path-Based Approach:

Cabrera Castillos, Kalou ; Waeselynck, Hélène ; WIELS, Virginie
info:eu-repo/semantics/altIdentifier/doi/10.1109/ICST.2015.7102606.  , 2015
Link: https://hal.archives-ouv..
 
?
11

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..
 
?
12

Automated test scenario generation from termporal propertie..:

Cabrera Castillos, Kalou
tel-00924485.  , 2013
Link: https://theses.hal.scien..
 
?
13

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-..
 
?
14

Test Generation and Evaluation from High-Level Properties f..:

Dadeau, Frédéric ; Cabrera Castillos, Kalou ; Ledru, Yves...
hal-00931649.  , 2013
Link: https://hal.archives-ouv..
 
?
15

Automated test scenario generation from termporal propertie..:

Cabrera Castillos, Kalou
tel-00924485.  , 2013
Link: https://theses.hal.scien..
 
1-15