Dr. Ing.
Casandra HOLOTESCU
Şef lucrări
Domenii şi interese de cercetare
Modelare, verificare formală şi testare; Sisteme bazate pe componente;
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
