Laura Florentina Stoica

Publication Activity (10 Years)

Years Active: 2013-2022
Publications (10 Years): 4

Top Topics

Pspace Complete

Epistemic Logic

Transition Systems

Top Venues

DCNET/ICE-B/OPTICS

Publications

Laura Florentina Stoica, Florin Stoica
ATLDesigner: ATL Model Checking Using An Attribute Grammar. Int. J. Softw. Eng. Knowl. Eng. 32 (8) (2022)
Florin Stoica, Laura Florentina Stoica
Integrated Tool for Assisted Predictive Analytics. MDIS (2020)
Florin Stoica, Laura Florentina Stoica
Generating an ATL Model Checker using an Attribute Grammar. CoRR (2018)
Laura Florentina Stoica, Florin Stoica, Florian Mircea Boian
Verification of JADE Agents Using ATL Model Checking. Int. J. Comput. Commun. Control 10 (5) (2015)
Florin Stoica, Laura Florentina Stoica
Implementing an ATL model checker tool using relational algebra concepts. SoftCOM (2014)
Florin Stoica, Laura Florentina Stoica
Building a new CTL model checker using Web services. SoftCOM (2013)
Laura Florentina Stoica, Florian Mircea Boian, Florin Stoica
A Distributed CTL Model Checker. DCNET/ICE-B/OPTICS (2013)