Publications of Project Developing Data-Intensive Cloud Applications with Iterative Quality Enhancements (DICE - H2020-ICT-2014-1)

49 publications

Title Authors Publication Year DOI Permanent Identifier Publication type Journal Project Name (GA Number) Access Mode
Compact Markov-modulated models for multiclass trace fitting Casale, Giuliano; Sansottera, Andrea; Cremonesi, Paolo 2016-12-01 10.1016/j.ejor.2016.06.005 http://dx.doi.org/10.1016/j.ejor.2016.06.005 Article 833822 DICE(644869) OPEN
Palladio Optimization Suite: QoS optimization for component-based Cloud applications Ciavotta, Michele; Ardagna, Michele; Koziolek, Anne 2016-01-01 10.4108/eai.14-12-2015.2262562 http://dx.doi.org/10.4108/eai.14-12-2015.2262562 Conference object Proceedings of the 9th EAI International Conference on Performance Evaluation Methodologies and Tools DICE(644869) OPEN
A systematic approach for performance evaluation using process mining: the POSIDONIA operations case study Bernardi, Simona; Requeno, José Ignacio; Joubert, Christophe; Romeu, Alberto 2016-01-01 10.1145/2945408.2945413 http://dx.doi.org/10.1145/2945408.2945413 Conference object Proceedings of the 2nd International Workshop on Quality-Aware DevOps - QUDOS 2016 DICE(644869) UNKNOWN
Towards DevOps for Privacy-by-Design in Data-Intensive Applications Guerriero, Michele; Tamburri, Damian A.; Ridene, Youssef; Marconi, Francesco; Bersani, Marcello M.; Artac, Matej 2017-01-01 10.1145/3053600.3053631 http://dx.doi.org/10.1145/3053600.3053631 Conference object Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering Companion - ICPE '17 Companion DICE(644869) UNKNOWN
Architecture of a Scalable Platform for Monitoring Multiple Big Data Frameworks Iuhasz, Gabriel; Pop, Daniel; Dragan, Ioan 2016-10-11 10.12694/scpe.v17i4.1203 http://dx.doi.org/10.12694/scpe.v17i4.1203 Article DICE(644869) UNKNOWN
A methodology for model-based verification of safety contracts and performance requirements Gomez-Martinez, E.; Rodriguez, R. J.; Benac-Earle, C.; Etxeberria, L.; Illarramendi, M. 2016-09-30 10.1177/1748006X16667328 http://dx.doi.org/10.1177/1748006X16667328 Article DICE(644869) UNKNOWN
Performance Analysis of Apache Storm Applications Using Stochastic Petri Nets Requeno, Jose-Ignacio; Merseguer, Jose; Bernardi, Simona 2017-08-01 10.1109/iri.2017.64 http://dx.doi.org/10.1109/iri.2017.64 Conference object 2017 IEEE International Conference on Information Reuse and Integration (IRI) DICE(644869) UNKNOWN
Towards a UML profile for data intensive applications Gómez, Abel; Merseguer, José; Di Nitto, Elisabetta; Tamburri, Damian A. 2016-01-01 10.1145/2945408.2945412 http://dx.doi.org/10.1145/2945408.2945412 Conference object Proceedings of the 2nd International Workshop on Quality-Aware DevOps - QUDOS 2016 DICE(644869) UNKNOWN
Optimal Map Reduce Job Capacity Allocation in Cloud Systems Malekimajd, Marzieh; Ardagna, Danilo; Ciavotta, Michele; Rizzi, Alessandro Maria; Passacantando, Mauro 2015-06-02 10.1145/2788402.2788410 http://hdl.handle.net/11311/938579 Article DICE(644869) OPEN
Formal verification of storm topologies through D-VerT Marconi, Francesco; Bersani, Marcello M.; Rossi, Matteo 2017-01-01 10.1145/3019612.3019769 http://dx.doi.org/10.1145/3019612.3019769 Conference object Proceedings of the Symposium on Applied Computing - SAC '17 DICE(644869) OPEN
Efficient Large-scale Trace Checking Using MapReduce Bersani, Marcello M.; Bianculli, Domenico; Ghezzi, Carlo; Krstic, Srdan; Pietro, Pierluigi San 2015-08-26 10.1145/2884781.2884832 http://dx.doi.org/10.1145/2884781.2884832 Conference object Proceedings of the 38th International Conference on Software Engineering - ICSE '16 DICE(644869) OPEN
QD-AMVA: Evaluating systems with queue-dependent service requirements Casale, Giuliano; Pérez, Juan F.; Wang, Weikun 2015-09-01 10.1016/j.peva.2015.06.006 http://dx.doi.org/10.1016/j.peva.2015.06.006 Article 8098 DICE(644869) OPEN
Maximum Likelihood Estimation of Closed Queueing Network Demands from Queue Length Data Wang, Weikun; Casale, Giuliano 2015-09-16 10.1145/2825236.2825255 http://dx.doi.org/10.1145/2825236.2825255 Article The Workshop on MAthematical performance Modeling and Analysis, MAMA, 2015 DICE(644869) OPEN
DevOps: Introducing Infrastructure-as-Code Artac, Matej; Borovssak, Tadej; Di Nitto, Elisabetta; Guerriero, Michele; Tamburri, Damian Andrew 2017-05-01 10.1109/icse-c.2017.162 http://dx.doi.org/10.1109/icse-c.2017.162 Conference object 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C) DICE(644869) UNKNOWN
An Overview of Monitoring Tools for Big Data and Cloud Applications Iuhasz, Gabriel; Dragan, Ioan 2015-09-01 10.1109/SYNASC.2015.62 http://dx.doi.org/10.1109/SYNASC.2015.62 Conference object 2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) DICE(644869) UNKNOWN
A model-driven approach to survivability requirement assessment for critical systems Bernardi, Simona; Dranca, Lacramioara; Merseguer, José 2016-10-01 10.1177/1748006X15626017 http://dx.doi.org/10.1177/1748006X15626017 Article DICE(644869) UNKNOWN
Modeling and Analysis of High Availability Techniques in a Virtualized System Chang, Xiaolin; Wang, Tianju; Rodríguez, Ricardo J.; Zhang, Zhenjiang 2017-06-08 10.1093/comjnl/bxx049 http://dx.doi.org/10.1093/comjnl/bxx049 Article DICE(644869) UNKNOWN
DICE fault injection tool Sheridan, Craig; Whigham, Darren; Artač, Matej 2016-01-01 10.1145/2945408.2945415 http://dx.doi.org/10.1145/2945408.2945415 Conference object Proceedings of the 2nd International Workshop on Quality-Aware DevOps - QUDOS 2016 DICE(644869) OPEN
A software architecture framework for quality-aware DevOps Di Nitto, Elisabetta; Jamshidi, Pooyan; Guerriero, Michele; Spais, Ilias; Tamburri, Damian A. 2016-01-01 10.1145/2945408.2945411 http://dx.doi.org/10.1145/2945408.2945411 Conference object Proceedings of the 2nd International Workshop on Quality-Aware DevOps - QUDOS 2016 DICE(644869) UNKNOWN
Evaluating approaches to resource demand estimation Spinner, Simon; Casale, Giuliano; Brosig, Fabian; Kounev, Samuel 2015-10-01 10.1016/j.peva.2015.07.005 http://dx.doi.org/10.1016/j.peva.2015.07.005 Article 7151 DICE(644869) OPEN
Combining Quantitative and Qualitative Studies in Empirical Software Engineering Research Di Penta, Massimiliano; Tamburri, Damian Andrew 2017-05-01 10.1109/icse-c.2017.163 http://dx.doi.org/10.1109/icse-c.2017.163 Conference object 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C) DICE(644869) UNKNOWN
Towards a model-driven design tool for big data architectures Guerriero, Michele; Tajfar, Saeed; Tamburri, Damian A.; Di Nitto, Elisabetta 2016-01-01 10.1145/2896825.2896835 http://dx.doi.org/10.1145/2896825.2896835 Conference object Proceedings of the 2nd International Workshop on BIG Data Software Engineering - BIGDSE '16 DICE(644869) UNKNOWN
On Throughput Approximation of Resource-Allocation Systems by Bottleneck Regrowing Rodriguez, Ricardo J.; Campos, Javier 2017-01-01 10.1109/TCST.2017.2768512 http://dx.doi.org/10.1109/TCST.2017.2768512 Article DICE(644869) UNKNOWN
How bit-vector logic can help improve the verification of LTL specifications over infinite domains Baresi, Luciano; Kallehbasti, Mohammad Mehdi Pourhashem; Rossi, Matteo 2016-01-01 10.1145/2851613.2851833 http://dx.doi.org/10.1145/2851613.2851833 Conference object Proceedings of the 31st Annual ACM Symposium on Applied Computing - SAC '16 DICE(644869) OPEN
Formal verification of data-intensive applications through model checking modulo theories Bersani, Marcello M.; Marconi, Francesco; Rossi, Matteo; Erascu, Madalina; Ghilardi, Silvio 2017-01-01 10.1145/3092282.3092300 http://dx.doi.org/10.1145/3092282.3092300 Conference object Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software - SPIN 2017 DICE(644869) UNKNOWN
Model-driven Engineering IDE for Quality Assessment of Data-intensive Applications Gil, Marc; Joubert, Christophe; Torres, Ismael 2017-07-19 10.1145/3053600.3053633 http://dx.doi.org/10.1145/3053600.3053633 Conference object Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering Companion - ICPE '17 Companion DICE(644869) OPEN
Using Process Mining and Model-Driven Engineering to Enhance Security of Web Information Systems Bernardi, Simona; Alastuey, Raul Piraces; Trillo-Lado, Raquel 2017-04-01 10.1109/EuroSPW.2017.66 http://dx.doi.org/10.1109/EuroSPW.2017.66 Conference object 2017 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW) DICE(644869) UNKNOWN
A Petri net tool for software performance estimation based on upper throughput bounds Rodríguez, Ricardo J. 2017-03-01 10.1007/s10515-015-0186-2 http://dx.doi.org/10.1007/s10515-015-0186-2 Article DICE(644869) UNKNOWN
Filling the gap: a tool to automate parameter estimation for software performance models Wang, Weikun; Pérez, Juan F.; Casale, Giuliano 2015-01-01 10.1145/2804371.2804379 http://dx.doi.org/10.1145/2804371.2804379 Conference object Proceedings of the 1st International Workshop on Quality-Aware DevOps - QUDOS 20151ST INTERNATIONAL WORKSHOP ON QUALITY-AWARE DEVOPS (QUDOS) DICE(644869) OPEN
SPACE4Cloud: a DevOps environment for multi-cloud applications Guerriero, Michele; Ciavotta, Michele; Gibilisco, Giovanni Paolo; Ardagna, Danilo 2015-01-01 10.1145/2804371.2804378 http://dx.doi.org/10.1145/2804371.2804378 Conference object Proceedings of the 1st International Workshop on Quality-Aware DevOps - QUDOS 2015 DICE(644869) OPEN
Towards the formal verification of data-intensive applications through metric temporal logic Marconi, Francesco; Bersani, Marcello M; Erascu, Madalina; Rossi, Matteo 2016-01-01 10.1007/978-3-319-47846-3_13 http://hdl.handle.net/11311/1005783 Conference object Lecture Notes in Computer Science - Formal Methods and Software Engineeringeisbn: 978-3-319-47846-3eissn: 1611-3349issn: 0302-9743isbn: 978-3-319-47845-6 DICE(644869) RESTRICTED
A tool for verification of big-data applications Bersani, Marcello M.; Marconi, Francesco; Rossi, Matteo; Erascu, Madalina 2016-01-01 10.1145/2945408.2945419 http://dx.doi.org/10.1145/2945408.2945419 Conference object Proceedings of the 2nd International Workshop on Quality-Aware DevOps - QUDOS 2016 DICE(644869) OPEN
Model-Driven Application Refactoring to Minimize Deployment Costs in Preemptible Cloud Resources Dubois, Daniel J.; Trubiani, Catia; Casale, Giuliano 2016-06-01 10.1109/cloud.2016.0052 http://dx.doi.org/10.1109/cloud.2016.0052 Conference object CLOUD 20162016 IEEE 9th International Conference on Cloud Computing (CLOUD) DICE(644869) OPEN
Validation of UML-to-Petri net transformations for Apache Storm profiled UML models JOSÉ IGNACIO REQUENO; JOSÉ MERSEGUER; SIMONA BERNARDI 2018-01-10 10.5281/zenodo.114398210.5281/zenodo.1143983 https://zenodo.org/record/1143983 Conference object DICE(644869) OPEN
Guest Editorial: Automation in Software Performance Engineering Merseguer, José; Binder, Walter; Murphy, John 2017-03-01 10.1007/s10515-016-0201-2 http://dx.doi.org/10.1007/s10515-016-0201-2 Article DICE(644869) UNKNOWN
Accurate modeling and efficient QoS analysis of scalable adaptive systems under bursty workload Perez-Palacin, Diego; Mirandola, Raffaela; Merseguer, José 2017-08-01 10.1016/j.jss.2017.05.022 http://dx.doi.org/10.1016/j.jss.2017.05.022 Article DICE(644869) UNKNOWN
Support Services for Applications Execution in Multi-clouds Environments Pop, Daniel; Iuhasz, Gabriel; Craciun, Ciprian; Panica, Silviu 2016-07-01 10.1109/icac.2016.19 http://dx.doi.org/10.1109/icac.2016.19 Conference object 2016 IEEE International Conference on Autonomic Computing (ICAC) DICE(644869) UNKNOWN
A model driven approach for assessing survivability requirements of critical infrastructures Gentile, Ugo; Bernardi, Simona; Marrone, Stefano; Merseguer, José; Vittorini, Valeria 2017-04-12 10.3233/JHS-170564 http://dx.doi.org/10.3233/jhs-170564 Article DICE(644869) UNKNOWN
Quality Assessment in DevOps Perez-Palacin, Diego; Ridene, Youssef; Merseguer, José 2017-01-01 10.1145/3053600.3053632 http://dx.doi.org/10.1145/3053600.3053632 Conference object Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering Companion - ICPE '17 Companion DICE(644869) UNKNOWN
Providing big data applications with fault-tolerant data migration across heterogeneous NoSQL databases Scavuzzo, Marco; Tamburri, Damian A.; Di Nitto, Elisabetta 2016-01-01 10.1145/2896825.2896831 http://dx.doi.org/10.1145/2896825.2896831 Conference object Proceedings of the 2nd International Workshop on BIG Data Software Engineering - BIGDSE '16 DICE(644869) UNKNOWN
Efficient Memory Occupancy Models for In-memory Databases Molka, Karsten; Casale, Giuliano 2016-09-01 10.1109/MASCOTS.2016.56 http://dx.doi.org/10.1109/MASCOTS.2016.56 Conference object 2016 IEEE 24th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS) DICE(644869) UNKNOWN
D-SPACE4Cloud: A Design Tool for Big Data Applications Ciavotta, Michele; Gianniti, Eugenio; Ardagna, Danilo 2016-01-01 10.1007/978-3-319-49583-5_48 http://dx.doi.org/10.1007/978-3-319-49583-5_48 Part of book or chapter of book isbn: 978-3-319-49582-8Lecture Notes in Computer Science - Algorithms and Architectures for Parallel Processingeissn: 1611-3349issn: 0302-9743eisbn: 978-3-319-49583-5 DICE(644869) OPEN
Continuous Architecting of Stream-Based Systems Bersani, Marcello M.; Marconi, Francesco; Tamburri, Damian A.; Jamshidi, Pooyan; Nodari, Andrea 2016-04-01 10.1109/wicsa.2016.26 http://dx.doi.org/10.1109/wicsa.2016.26 Conference object 2016 13th Working IEEE/IFIP Conference on Software Architecture (WICSA) DICE(644869) UNKNOWN
Current and Future Challenges of Software Engineering for Services and Applications Casale, Giuliano; Chesta, Cristina; Deussen, Peter; Di Nitto, Elisabetta; Gouvas, Panagiotis; Koussouris, Sotiris; Stankovski, Vlado; Symeonidis, Andreas; Vlassiou, Vlassis; Zafeiropoulos, Anastasios; Zhao, Zhiming 2016-08-02 10.5281/zenodo.5926010.1016/j.procs.2016.08.27810.1016/j.procs.2015.09.22010.5281/zenodo.59258 http://dx.doi.org/10.1016/j.procs.2016.08.278 Article urn:issn:1877-0509VOLUME=97;ISSN=1877-0509;TITLE=Procedia Computer ScienceProcedia Computer Science, 97 DICE(644869); SWITCH(643963) OPEN
Fast multiplication for skew polynomials Caruso , Xavier; Le Borgne , Jérémy 2017-02-06 10.1145/2961111.296259310.1145/3078505.307851410.1145/123510.1145/2897336.2897342 https://hal.inria.fr/hal-01386237/file/TR-LGG-2016-08-30.pdf Report ACM-GECCO'16https://hal.inria.fr/hal-01399026https://hal.archives-ouvertes.fr/hal-01563373Proceedings of MediaEval 2016: "Verfiying Multimedia Use" taskhttps://hal.archives-ouvertes.fr/hal-01394785ACM SIGMETRICSInternational Symposium on Symbolic and Algebraic Computationhttps://hal.inria.fr/hal-01406727The ACM/IEEE 10th International Symposium on Empirical Software Engineering and MeasurementMediaEval 2016: "Verfiying Multimedia Use" task, Oct 2016, Hilversum, Netherlands. Proceedings of MediaEval 2016: "Verfiying Multimedia Use" task, 〈10.1145/1235〉https://hal.archives-ouvertes.fr/hal-01457808https://hal.inria.fr/hal-0125232110th European Lisp Symposium (ELS 2017), Apr 2017, Bruxelles, Belgium. ACM, 10th European Lisp Symposium (ELS 2017), 2017, 〈https://www.european-lisp-symposium.org/2017/index.html〉. 〈10.1145/1235〉International Symposium on Symbolic and Algebraic Computation, Jul 2017, Kaiserslautern, Germany. Association for Computing Machinery, ISSAC'17-Proceedings of the 2017 ACM International Symposium on Symbolic and Algebraic Computation, pp.77-84, 2017, 〈10.1145/1235〉10th European Lisp Symposium (ELS 2017)[Research Report] LIPN-Galileo Institute-University Paris XIII. 2016European Lisp Symposium 2017https://hal.inria.fr/hal-013862376th International Workshop on Mobile Entity Localization, Tracking and Analysis (MELT), Oct 2016, San Francisco, United States. 2016, 〈https://sites.google.com/site/meltworks/home〉. 〈10.1145/1235〉[Research Report] Université Rennes 1. 20162017-16. 201718th International Conference on Distributed Computing and Networking (ICDCN 2017), Jan 2017, Hyderabad, India. 〈10.1145/1235〉https://hal.inria.fr/hal-01241374https://hal.archives-ouvertes.fr/hal-01267134https://hal.inria.fr/hal-01378622https://hal.inria.fr/hal-01374140ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM), Sep 2016, Ciudad Real, Spain. The ACM/IEEE 10th International Symposium on Empirical Software Engineering and Measurement 2016, International Symposium on Empirical Software Engineering and Measurement 〈http://alarcos.esi.uclm.es/eseiw2016/esem〉. 〈10.1145/1235〉Rajan , A , Noureddine , A & Stratis , P 2016 , A Study on the Influence of Software and Hardware Features on Program Energy . in ESEM '16 Proceedings of the 10th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement . , 37 , ACM . DOI: 10.1145/2961111.2962593Software Product Lines Conference (SPLC)https://sites.google.com/site/meltworks/homeSoftware Product Lines Conference (SPLC), Sep 2016, Beijing, China. 〈10.1145/1235〉MediaEval 2016: "Verfiying Multimedia Use" taskInternational Conference on Scientific and Statistical Database Management (SSDBM '16), Jul 2016, Budapest, Hungary. Proceedings of the 28th International Conference on Scientific and Statistical Database Management. 〈10.1145/1235〉https://hal.archives-ouvertes.fr/hal-01639566https://hal.archives-ouvertes.fr/hal-013677336th International Workshop on Mobile Entity Localization, Tracking and Analysis (MELT)18th International Conference on Distributed Computing and Networking (ICDCN 2017)European MPI Users' Group Meeting , Sep 2015, Bordeaux, France. EuroMPI '15 The 22nd European MPI Users' Group Meeting 〈10.1145/1235〉Proceedings of the 2017 ACM SIGMETRICS / International Conference on Measurement and Modeling of Computer Systems - SIGMETRICS '17 AbstractsACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM)https://www.european-lisp-symposium.org/2017/index.htmlInternational Conference on Scientific and Statistical Database Management (SSDBM '16)Proceedings of the 27th Symposium on the Implementation and Application of Functional Programming Languages - IFL '15https://hal.archives-ouvertes.fr/hal-012665372016-11. 2016European MPI Users' Group MeetingISSAC'17-Proceedings of the 2017 ACM International Symposium on Symbolic and Algebraic Computation2015European Lisp Symposium 2017, Apr 2017, Brussels, Belgium. Proceedings of the European Lisp Symposium 2017. 〈10.1145/1235〉https://hal.inria.fr/hal-01426375T. Friedrich and F. Neumann. ACM-GECCO'16, Jul 2016, Denver, United States. pp.35-36, Poster in GECCO'16 Companion. 〈10.1145/1235〉http://alarcos.esi.uclm.es/eseiw2016/esem CGV: Small: Making Sense out of Large Graphs - Bridging HCI with Data Mining(1217559); EINS(288021); DICE(644869); GRACeFUL(640954); TWC: Small: Collaborative: Cracking Down Online Deception Ecosystems(1526254); TC: Large:Self Protecting Electronic Medical Records(1010928) OPEN