Casandra HOLOTESCU
Scurtă biografie
Casandra Holotescu a absolvit Liceul de Informatica Grigore Moisil in 2003. A urmat apoi Facultatea de Automatica si Calculatoare din cadrul Universitatii Politehnica din Timisoara, pe care a absolvit-o in anul 2008, cu o lucrare de diploma in domeniul analizei dinamice a programelor. In anul 2008 a inceput studiile doctorale in cadrul Universitatii Politehnica din Timisoara, ca doctorand cu frecventa, beneficiind de o bursa POSDRU.
A participat in anul 2009 la cunoscuta scoala de vara din domeniul verificarii formale cu tema „Logics and Languages for Reliability and Security”, Marktoberdorf, organizata sub egida NATO, in 2010 la scoala de vara “CASE Summer School on Applied Software Engineering – Empirical Analysis of Software Processes and Products”, Bolzano, Italia, iar in 2011 la grupul de studiu “PhD Working Groups”, eveniment conex al conferintei Foundations of Software Engineering.
A participat la doua proiecte europene FP7, AVANTSSAR (Automated Validation of Trust and Security of Service-oriented Architectures) si SpaCIoS (Secure Provision and Consumption in the Internet of Service), ambele proiecte de cercetare in domeniul arhitecturilor orientate pe servicii, si la actiunea COST IC0701 – “Formal Verification of Object-Oriented Software”.
Cercetare
- 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
- Inference of Safe Approximate Models for System Composition, 2013. Supervizor: Dr. Ing. Horia CIOCÂRLIE
Selecţie publicaţii
Casandra Holotescu, Local Model Learning for Asynchronous Services, Proceedings of the 4th International Workshop on Principles of Engineering Service-Oriented Systems (PESOS 2012) colocated with the 34th International Conference on Software Engineering (ICSE 2012), June 2012, Zurich, Switzerland
Casandra Holotescu, Asynchronous Learning for Service Composition, 7th International Workshop on Engineering Service-Oriented Applications (WESOA 2011) colocated with the 9th International Conference on Service Oriented Computing (ICSOC 2011), December 2011, Paphos, Cyprus, Lecture Notes in Computer Science, Springer-Verlag
Casandra Holotescu, Controlling the Unknown, Preproceedings of the First International Conference on Verification of Object Oriented Systems (FoVeOOS 2010), June 2010, Paris, France
Casandra Holotescu, Error-avoiding Adaptors for Black box Software Components, Doctoral Symposium of the 25th ACM/IEEE International Conference on Automated Software Engineering (ASE 2010), September 2010, Antwerp, Belgium
Casandra Holotescu, Black Box Composition: a Dynamic Approach, 9th International Workshop on Specification and Verification of Component Based Systems (SAVCBS 2010) colocated with the 18th International Symposium on the Foundations of Software Engineering (FSE 2010), November 2010, Santa Fe, New Mexico, United States of America