Laura Florentina Stoica

According to our database, Laura Florentina Stoica authored at least 7 papers between 2013 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

ATLDesigner: ATL Model Checking Using An Attribute Grammar.

Laura Florentina Stoica, Florin Stoica

Int. J. Softw. Eng. Knowl. Eng., 2022

2020

Integrated Tool for Assisted Predictive Analytics.

Florin Stoica, Laura Florentina Stoica

Proceedings of the Modelling and Development of Intelligent Systems, 2020

2018

Generating an ATL Model Checker using an Attribute Grammar.

Florin Stoica, Laura Florentina Stoica

CoRR, 2018

2015

Verification of JADE Agents Using ATL Model Checking.

Laura Florentina Stoica, Florin Stoica, Florian Mircea Boian

Int. J. Comput. Commun. Control, 2015

2014

Implementing an ATL model checker tool using relational algebra concepts.

Florin Stoica, Laura Florentina Stoica

Proceedings of the 22nd International Conference on Software, 2014

2013

Building a new CTL model checker using Web services.

Florin Stoica, Laura Florentina Stoica

Proceedings of the 21st International Conference on Software, 2013

A Distributed CTL Model Checker.

Laura Florentina Stoica, Florian Mircea Boian, Florin Stoica

Proceedings of the DCNET, ICE-B and OPTICS 2013 - Proceedings of the 4th International Conference on Data Communication Networking, 10th International Conference on e-Business and 4th International Conference on Optical Communication Systems, Reykjavík, Iceland, 29, 2013