A Distributed CTL Model Checker. - Laura Florentina Stoica; Florian Mircea Boian; Florin Stoica (DCNET/ICE-B/OPTICS, 2013)

Building a new CTL model checker using Web services. - Florin Stoica; Laura Florentina Stoica (SoftCOM, 2013)

Implementing an ATL model checker tool using relational algebra concepts. - Florin Stoica; Laura Florentina Stoica (SoftCOM, 2014)

Verification of JADE Agents Using ATL Model Checking. - Laura Florentina Stoica; Florin Stoica; Florian Mircea Boian (Int. J. Comput. Commun. Control, 2015)

Generating an ATL Model Checker using an Attribute Grammar. - Florin Stoica; Laura Florentina Stoica (CoRR, 2018)

Integrated Tool for Assisted Predictive Analytics. - Florin Stoica; Laura Florentina Stoica (MDIS, 2020)

ATLDesigner: ATL Model Checking Using An Attribute Grammar. - Laura Florentina Stoica; Florin Stoica (Int. J. Softw. Eng. Knowl. Eng., 2022)