Personal

Dr. Ing.

Casandra HOLOTESCU

Şef lucrări
Contact birou
  Sala B514
 
(0256 40) 3262
  casandra.holotescu (at) cs.upt.ro
Domenii şi interese de cercetare
Sisteme bazate pe componente; Modelare, verificare formală şi testare;
Modelare, verificare formala si testare: invatare de modele black-box si white-box, generare automata de teste bazata pe modele, modelare si verificare a protocoalelor de securitate
Sisteme bazate pe componente: verificare formala bazata pe componente cu un accent pe aspectele de controlabilitate ale acestora, depanarea sistemelor bazate pe componente