Program Analysis and Verification
Publications
2022
Supporting Algorithm Analysis with Symbolic Execution in Alk.
Et al. and Alexandru Lungu and Xiaohong Chen and Diana Gratie and Alexandru Citea and Alin Vrabie and Raul Zaharia and Claudiu-Stefan Susan and Andrei Mogage and Radu Ometita and Dragos Gavrilut and Rodica Condurache and David Nowak and Vlad Craciun and Jose Meseguer and Joerg Endrullis and Dimitri Hendriks and Rena Bakhshi and Daniel Gaina and Kazuhiro Ogata and Kokichi Futatsugi and Feng Chen and Jurriann Rot and Frank de Boer and Brandon Moore and Andrei Stefanescu and Denis Bogdanas and Chucky Ellison and Stefan Ciobaca and Raluca Necula and Gheorghe Stefanescu and Y.F. Li and Jing Song Dong and Vlad Rusu and Mihai Danes and Oana Andrei and Gabriel Ciobanu and Jan Rutten and Marcello Bonsangue and Alexandra Silva and Traian Serbanuta and Elena Naum and Radu Mereuta and Andrei Arusoaie and Grigore Rosu and Gheorghe Grigoras and Georgiana Caltais and Mihail Asavoae and Eugen Goriac and Irina Asavoae and Dorel Lucanu