Cresterea imunitatii la atacuri Zero-Day prin analiza statica (IZA)IZA
Coordinators: Unknown, Dorel Lucanu
Members: Unknown, Dorel Lucanu, Andrei Arusoaie, Stefan Ciobaca, Vlad Craciun
Verificare Automata Prin Circularitati (CIRC)CIRC
Coordinators: Dorel Lucanu
Members: Dorel Lucanu, Eugen Goriac, Georgiana Caltais, Gheorghe Grigoras
An Executable Semantic Framework for Rigorous Design, Analysis and Testing of Systems (DAK)DAK
Coordinators: Grigore Rosu, Dorel Lucanu
Members: Dorel Lucanu, Irina Asavoae, Mihail Asavoae, Gheorghe Grigoras, Grigore Rosu, Andrei Arusoaie, Radu Mereuta, Traian Serbanuta, Raluca Necula, Unknown, Stefan Ciobaca, Denis Bogdanas