Publications 2012

Books/Chapter in books

• D. Petcu, Research Challenges of Cloud Computing, chapter 6, Calin Enachescu, Florin Gheorghe Filip, Barna Iantovics (Eds.), Advanced computational technologies, Romanian Academy Publishing House, 2012, Bucharest , ISBN 978-973-27-2256-5, 89-98
• M. Rak, M. Ficco, J. Luna, H. Ghani, N. Suri, S. Panica, D. Petcu Security Issues in Cloud Federation, In Achieving Federated and Self-Manageable Cloud Infrastructures: Theory and Practice, eds. Massimo Villari, Ivona Brandic, Francesco Tusa, IGI Global, 2012, pp. 176-194, DOI: 10.4018/978-1-4666-1631-8.ch010, ISBN: 978-1-4666-16318
• D. Petcu, Invitation to a Journey in the ERA of Cloud Computing, in D.Petcu, J.L. Vazquez-Poletti (eds), European Research Activities in Cloud Computing, Cambridge Scholars Publishing, UK, January 2012, 1-18

Journal papers

• I. Dramnesc, T. Jebelean, Systematic Exploration of List Theory in Theorema, Scientific Bulletin of The "Politehnica" University of Timisoara, Romania, Transactions on Automatic Control and Computer Science, 2012, ISSN 1224-600X.
• T. Kutsia, M. Marin. Solving, Reasoning, and Programming in Common Logic. In Procs. of SYNASC 2012. IEEE Computer Society pages 119-126. Timisoara, Romania. 2012
• G. Istrate, M. V. Marathe and S. S. Ravi. Adversarial scheduling in discrete models of social dynamics. Mathematical Structures in Computer Science, 22(5), pp. 788-815, 2012.

• C. Mîndruţă, V. I. Munteanu, V. Negru, Multi-Agent Architecture in Semantic Services Environment, Scalable Computing:Practice and Experience. 01/2012; 13(1)

• D. Petcu, S. Panica, M. Frincu, M. Neagul, D. Zaharie, G. Macariu, Dorian Gorgan, T. Stefanut, Experiences in building a Grid-based platform to serve Earth observation training activities, Computers Standards & Interfaces 34 (2012), 493-508, DOI: http://dx.doi.org/10.1016/j.csi.2011.10.010 (Impact factor: 0.978, Citations: 1)

• N.M. Calcavecchia, B.A.Caprarescu, E. Di Nitto, D. J. Dubois, D. Petcu, DEPAS: A Decentralized Probabilistic Algorithm for Auto-Scaling, Computing, Springer, 0010-485X (Print), 1436-5057 (Online), DOI: 10.1007/s00607-012-0198-8, vol. 94, issue 8-10, 701-730, (preliminary: Technical Report 2012.5, Politecnico di Milano arXiv:1202. 2509v1 [cs.DC], http://arxiv.org/abs/1202.2509; http://arxiv.org/pdf/1202.2509v1) (Impact factor: 0.807, Citations: 2)

• D. Petcu, A Panorama of Cloud Services, Scalable Computing: Practice and Experience, vol 13, no. 4, 2012, 303-314
• A. Bessani, R. Kapitza, D. Petcu, P. Romano, S.V. Gogouvitis, D. Kyriazis, R.G. Cascella, A look to the old-world sky: EUfunded dependability cloud computing research, SIGOPS Oper. Syst. Rev. 46, 2 2012, 43-56, doi: 10.1145/2331576.2331584
• Dana Petcu, Daniela Zaharie, Experience in Running a Computer Science Masters Programme in English. First Steps towards Internationalization. Quality Assurance Review for Higher Education, Vol. 4, Nr. 1, 2012, pp. 5 - 13
• L. Donath, D. Petcu, D. Zaharie, M. Boldea, P. Craciun, E. Feker, The internal evaluation of international master. The case of West University of Timisoara, Quality Assurance Review for Higher Education, Vol. 4, Nr. 2, 2012, pp. 41 - 51

Conference papers

• I. Dramnesc, T. Jebelean, Theory Exploration in Theorema: Case Study on Lists, In: Proceedings of SACI 2012: the 7th IEEE International Symposium on Applied Computational Intelligence and Informatics, pp. 421-426, 24-26 May 2012, IEEE Xplore, ISBN 978-1-4673-1013-0, http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6226926.

• I. Dramnesc, T. Jebelean, Discovery of Inductive Algorithms through Automated Reasoning: A Case Study on Sorting, In: Proceedings of SISY 2012: the IEEE 10th Jubilee International Symposium on Intelligent Systems and Informatics, pp. 293-298, 20-22 September 2012, IEEE Xplore, ISBN 978-1-4673-4751-8, http://ieeexplore.ieee.org/ xpl/mostRecentIssue.jsp?punumber=6330717.

• I. Dramnesc, T. Jebelean, Automated Synthesis of Some Algorithms on Finite Sets, In: Proceedings of SYNASC 2012: the 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, D. Wang, V. Negru, T. Ida, T. Jebelean, D. Petcu, S. Watt and D. Zaharie (ed.), 26-29 September 2012, IEEE Computer Society.
• V. I. Munteanu, C. Mindruta, and T.F. Fortis. Service Brokering in Cloud Governance. In Proceedings of the 2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC '12). IEEE Computer Society, Washington, DC, USA, 497-504. DOI=10.1109/SYNASC.2012.50

• D. Petcu, How to build a reliable mOSAIC of multiple cloud services. In Proceedings of the 1st EuropeanWorkshop on Dependable Cloud Computing (EWDCC '12). ACM, New York, NY, USA, Article 4 , 2012. doi: 10.1145/2365316.2365320

• D. Petcu, C. Sandru, Towards Component-based Software Engineering of Cloud applications, Procs. WICSA/ECSA 2012 Companion Volume, ICPS - published by ACM, 80-81, 2012, doi: 10.1145/2361999.2362013
• D. Petcu, S. Panica, C. Sandru, C. Craciun, M. Neagul, Experiences in Building an Event-Driven and Deployable Platform as a Service, In X.S. Wang et al. (Eds.): WISE 2012, LNCS 7651, pp. 666-672, 2012.
• K. Wasielewska, M.Drozdowicz, P. Szmeja, M. Ganzha, M. Paprzycki, I. Lirkov, D. Petcu, C. Badica, Agents in Grid System Design and Implementation, LSSC 2011, I. Lirkov, S. Margenov, and J. Wansiewski (Eds.): LNCS 7116, 2012, Springer, pp. 662-669
• D. Petcu, Challenges of Future e-Infrastructure Governance, M. Alexander et al. (Eds.): Euro-Par 2011 Workshops, Part II, LNCS 7156, pp. 86-95, 2012.
• C. Sandru, D. Petcu, V. Munteanu, Building an Open-source Platform-as-a-Service with Intelligent Management of Multiple Cloud Resources, Procs. UCC 2012, 333-338. doi: 10.1109/UCC.2012.54 (citations: 2)
• V. Stankovski, J. Juzna, D. Petcu, Enabling Legacy Engineering Applications for Cloud computing: Experience with the mOSAIC API and Platform, Procs. EIDWT 2012, 2012 Third International Conference on Emerging Intelligent Data and Web Technologies, 281-286 doi: 10.1109/EIDWT.2012.49
• D. Petcu, M.E. Frincu, S. Panica, M. Neagul Towards Programmatic Management of Services from Multiple Clouds, Procs. InCoS 2012, 2012 Fourth International Conference on Intelligent Networking and Collaborative Systems, 487-488, doi:10.1109/iNCoS.2012.77 (citations: 1)
• S. Panica, D. Petcu, I. Lazkanotegi Larrate, T. Mahr, Sky Computing Platform for Legacy Distributed Application, Procs 2012 11th International Symposium on Parallel and Distributed Computing (ISPDC'12), 293-300, doi: 10.1109/ISPDC.2012.47
• D. Petcu, V. Stankovski, Towards Cloud-enabled Business Process Management based on Patterns, Rules and Multiple Models, Procs. ISPA 2012, 10th IEEE International Symposium on Parallel and Distributed Processing with Applications, 454-459, doi: 10.1109/ISPA.2012.66
• D. Ardagna, E. Di Nitto, G. Casale, D. Petcu, P. Mohagheghi, S. Mosser, P.Matthews, A. Gericke, C. Ballagny, F.D'Andria, C.S. Nechifor, C. Sheridan, MODACLOUDS: A Model-Driven Approach for the Design and Execution of Applications on Multiple Clouds, Procs. MISE/ICSE 2012, 50-56. (citations: 12)

• D. Petcu, Cloudware Support for Scientic Applications, Procs. RO-LCG 2012, ISBN 978-973-662-701-1, Cluj-Napoca, Oct. 2012, pp. 70-73, http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6528249&isnumber=6528224

• A. Toma, S. Panica, D. Zaharie, D. Petcu, Computational Challenges in Processing Large Hyperspectral Images, Procs. RO-LCG 2012, ISBN 978-973-662-701-1, Cluj-Napoca, Oct. 2012, pp. 111-114, http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6528260&isnumber=6528224

• D. Petcu, Towards Programmable Infrastructures: the Steps made by Cloud Computing and their Technical Support, Procs.WoSS-4, CLASS Conference, Slovenia, Oct 2012, pp. 19-21

• B. A. Caprarescu, D. Petcu. Decentralized Probabilistic Auto-Scaling for Heterogeneous Systems, Procs. ADAPTIVE 2012, ISBN: 978-1-61208-219-6, 7-12 (preliminary version at arXiv:1203.3885v1 [cs.DC], available at http://arxiv.org/abs/1203.3885) (citations: 1)