Sensemaking with Interactive Data Visualization
Alina Bărbulescu, Florin Stoica, Laura Florentina Stoica, Sensemaking with Interactive Data Visualization, 28th International Business Information Management Association (IBIMA) Conference, Seville, Spain, 9-10 November 2016
Volume: ISBN: 978-0-9860419-8-3, pp. 3213-3228, PDF
Studies on Time Series Applications in Environmental Sciences
Alina Bărbulescu, Studies on Time Series Applications in Environmental Sciences, Springer International Publishing, ISBN 978-3-319-30434-2, 187 pages, DOI 10.1007/978-3-319-30436-6, 2016, SpringerFormal Verification of Business Processes using Model Checking
Florin Stoica, Formal Verification of Business Processes using Model Checking, 27th International Business Information Management Association (IBIMA) Conference, Milan, Italy, 4-5 May 2016
Volume: ISBN: 978-0-9860419-6-9, pp. 2563-2575, PDF
Verification of JADE Agents Using ATL Model Checking
Laura Florentina Stoica, Florin Stoica, Florian Mircea Boian, Verification of JADE Agents Using ATL Model Checking, International Journal of Computers Communications & Control, 10(5):718-731, ISSN 1841-9836, DOI: http://dx.doi.org/10.15837/ijccc.2015.5.803, October, 2015, PDF
ATL model checking in the cloud
Florin Stoica, Laura Florentina Stoica, ATL model checking in the cloud, Internet Technologies and Applications (ITA), Proceedings of the Sixth International Conference, Wrexham, United Kingdom, pp. 192 – 199, ISBN 978-1-4799-8036-9, DOI: 10.1109/ITechA.2015.7317394, 8-11 Sept, 2015, IEEE Xplore