Dr. Ing.
Şef lucrări
Contact birou
Sala B514
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