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
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
Efficient large-scale trace checking using mapreduce Bersani, Marcello M.; Bianculli, Domenico; Ghezzi, Carlo; Krstić, Srđan; Pietro, Pierluigi San 2016-01-01 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
Modelling multi-tier enterprise applications behaviour with design of experiments technique Ustinova, Tatiana; Jamshidi, Pooyan 2015-01-01 10.1145/2804371.2804374 http://dx.doi.org/10.1145/2804371.2804374 Conference object QUDOS'15: 1st International Workshop on Quality-Aware DevOps13Proceedings of the 1st International Workshop on Quality-Aware DevOps - QUDOS 201518 DICE(644869) OPEN
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
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
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
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
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
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) UNKNOWN
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
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
Automated Parameterization of Performance Models from Measurements Casale, Giuliano; Spinner, Simon; Wang, Weikun 2016-01-01 10.1145/2851553.2858666 http://dx.doi.org/10.1145/2851553.2858666 Conference object Proceedings of the 7th ACM/SPEC on International Conference on Performance Engineering - ICPE '167th ACM/SPEC International Conference on Performance Engineering DICE(644869) OPEN
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
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
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
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
Accelerating Performance Inference over Closed Systems by Asymptotic Methods Casale, Giuliano 2017-01-01 10.1145/3078505.3078514 http://dx.doi.org/10.1145/3078505.3078514 Conference object Proceedings of the 2017 ACM SIGMETRICS / International Conference on Measurement and Modeling of Computer Systems - SIGMETRICS '17 Abstracts 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
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
DICE Fault Injection Tool Sheridan, Craig; Whigham, Darren; Artač, Matej 2017-07-20 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
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
Contention-Aware Workload Placement for In-Memory Databases in Cloud Environments Molka, Karsten; Casale, Giuliano 2016-09-14 10.1145/2961888 http://dx.doi.org/10.1145/2961888 Article ACM Transactions on Modeling and Performance Evaluation of Computing Systems 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
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
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
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
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
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
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
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
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.114398310.5281/zenodo.1143982 https://zenodo.org/record/1143983 Conference object DICE(644869) OPEN
D-SPACE4Cloud: A Design Tool for Big Data Applications Ciavotta, Michele; Gianniti, Eugenio; Ardagna, Danilo 2016-11-25 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
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
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
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
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
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
Model-driven Engineering IDE for Quality Assessment of Data-intensive Applications Gil, Marc; Joubert, Christophe; Torres, Ismael 2017-01-01 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) 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
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
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
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 2015-10-06 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 SWITCH(643963); DICE(644869) OPEN