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, Springer

studies_on_time_series

Formal 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