CORDIS - Forschungsergebnisse der EU
CORDIS

Developing Data-Intensive Cloud Applications with Iterative Quality Enhancements

Leistungen

Monitoring and data warehousing tools - Initial version

This deliverable will document the monitoring and data archival methodology developed in T4.1 and the related implementation.

DICE delivery tools - Initial version

Implementation and accompanying report on the algorithms and tools developed in T5.1 and T5.2.

DICE framework - Final version

Report and open source releases of the integrated solution of T1.3 at M24 and updated at M30.

DICE optimisation tools - Final version

This deliverable is the implementation (with an accompanying document) of the design space exploration tool for the cost minimisation of architecture and deployment plans, as developed in T3.4. Besides releasing code, it will feature a report documenting the implementation.

DICE verification tools - Intermediate version

This deliverable is the implementation (with an accompanying document) of the verification tool to evaluate safety of data-intensive applications, as developed in T3.3. Besides releasing code, it will feature a report documenting the implementation.

Iterative quality enhancement tools - Initial version

This deliverable will describe the methods and release the tool implementations developed in T4.3.

DICE testing tools - Final version

Implementation and accompanying report on the algorithms and testing framework developed in T5.3 and the fault injection tools in T5.4.

DICE testing tools - Initial version

Implementation and accompanying report on the algorithms and testing framework developed in T5.3 and the fault injection tools in T5.4.

DICE delivery tools - Final version

Implementation and accompanying report on the algorithms and tools developed in T5.1 and T5.2.

Quality anomaly detection and trace checking tools - Final version

This deliverable will give implementation and documentation for the techniques developed in T4.2.

Iterative quality enhancement tools - Final version

This deliverable will describe the methods and release the tool implementations developed in T4.3.

DICE delivery tools - Intermediate version

Implementation and accompanying report on the algorithms and tools developed in T5.1 and T5.2.

DICE verification tools - Final version

This deliverable is the implementation (with an accompanying document) of the verification tool to evaluate safety of data-intensive applications, as developed in T3.3. Besides releasing code, it will feature a report documenting the implementation.

DICE verification tools - Initial version

This deliverable is the implementation (with an accompanying document) of the verification tool to evaluate safety of data-intensive applications, as developed in T3.3. Besides releasing code, it will feature a report documenting the implementation.

DICE framework - Initial version

Report and open source releases of the integrated solution of T1.3 at M24 and updated at M30.

DICE simulation tools - Intermediate version

This deliverable is the implementation (with an accompanying document) of the verification tool to evaluate safety of data-intensive applications, as developed in T3.3. Besides releasing code, it will feature a report documenting the implementation.

DICE simulation tools - Final Version

This deliverable is the implementation (with an accompanying document) of the verification tool to evaluate safety of data-intensive applications, as developed in T3.3. Besides releasing code, it will feature a report documenting the implementation.

DICE optimisation tools - Initial version

This deliverable is the implementation (with an accompanying document) of the design space exploration tool for the cost minimisation of architecture and deployment plans, as developed in T3.4. Besides releasing code, it will feature a report documenting the implementation.

Monitoring and data warehousing tools - Final version

This deliverable will document the monitoring and data archival methodology developed in T4.1 and the related implementation.

DICE simulation tools - Initial version

This deliverable is the implementation (with an accompanying document) of the verification tool to evaluate safety of data-intensive applications, as developed in T3.3. Besides releasing code, it will feature a report documenting the implementation.

Quality anomaly detection and trace checking tools - Initial version

This deliverable will give implementation and documentation for the techniques developed in T4.2.

Architecture definition and integration plan - Initial version

Report on the architecture defined in T1.2 and its integration plan that will guide T1.3. The main version will be released at M9 and updated at M24.

Final assessment report and impact analysis

The final report summarising all the results of achieved in the demonstrators and the expected impact arising from these conclusions.

DICE methodology

This deliverable will summarise the DICE methodology and the design workflow developed within T2.4.

Deployment abstractions - Initial version

This deliverable will provide the specification of DICE DDSM meta-models and the TOSCA DSL extension for deployment of data-intensive applications in private and public clouds developed within T2.3.

Transformations to analysis models

This deliverable describes and implements the model transformation techniques to obtain simulation and verification models from the application models, as developed in T3.1.

Design and quality abstractions - Final version

This deliverable will provide the specification of the functional and quality modelling abstractions developed within T2.1 and T2.2.

Architecture definition and integration plan - Final version

Report on the architecture defined in T1.2 and its integration plan that will guide T1.3. The main version will be released at M9 and updated at M24.

Deployment abstractions - Final version

This deliverable will provide the specification of DICE DDSM meta-models and the TOSCA DSL extension for deployment of data-intensive applications in private and public clouds developed within T2.3.

Requirement specification

Report presenting the requirements defined in T1.1. The initial version will focus on the requirements of the technical work packages and outline the initial requirements of the use cases, which will be later extended at M16 in D6.1 for the demonstrators.

Demonstrators implementation plan

Stemming from the initial requirements in T1.1, this deliverable will define a concrete implementation plan for the demonstrators.

State of the art analysis

Document presenting the state of the art review performed in T1.1.

Design and quality abstractions - Initial version

This deliverable will provide the specification of the functional and quality modelling abstractions developed within T2.1 and T2.2.

Cloud testbed setup

Report on the testbed setup by FLEXI including a description of the fault-injection tools and techniques developed on top of this testbed. The DICE FDL plug-in developed by FLEXI will also be described in this deliverable. This deliverable will report the efforts by documenting the testbed developed in T5.4.

Software engineering book

Publish book on the new software engineering for Big Data applications.

Veröffentlichungen

On Throughput Approximation of Resource-Allocation Systems by Bottleneck Regrowing

Autoren: Ricardo J. Rodriguez, Javier Campos
Veröffentlicht in: IEEE Transactions on Control Systems Technology, Ausgabe Nov 2017, 2017, Seite(n) 1-8, ISSN 1063-6536
Herausgeber: Institute of Electrical and Electronics Engineers
DOI: 10.1109/TCST.2017.2768512

A Systematic Approach for Performance Assessment Using Process Mining

Autoren: S. Bernardi (ZAR), J. L. Domínguez (PRO), A.Gómez (ZAR), C. Joubert (PRO), J. Merseguer (ZAR), D. Perez-Palacin, (ZAR), J.I. Requeno (ZAR) and A. Romeu (PRO)
Veröffentlicht in: Empirical Software Engineering, 2018, Seite(n) 1-48, ISSN 1382-3256
Herausgeber: Kluwer Academic Publishers
DOI: 10.5281/zenodo.1010446

Towards a Model-Driven Engineering approach for the assessment of Non-Functional Properties using multiformalism

Autoren: Simona Bernardi (ZAR), Stefano Marrone, José Merseguer (ZAR), Roberto Nardone, Valeria Vittorini
Veröffentlicht in: Software and System Modeling, 2017, ISSN 1619-1366
Herausgeber: Springer Verlag
DOI: 10.1007/s10270-018-0663-8

Fluid Petri Nets for the Performance Evaluation of MapReduce and Spark Applications

Autoren: Eugenio Gianniti, Alessandro Maria Rizzi, Enrico Barbierato, Marco Gribaudo, Danilo Ardagna
Veröffentlicht in: ACM SIGMETRICS Performance Evaluation Review, Ausgabe 44/4, 2017, Seite(n) 23-36, ISSN 0163-5999
Herausgeber: ACM
DOI: 10.1145/3092819.3092824

Contention-Aware Workload Placement for In-Memory Databases in Cloud Environments

Autoren: Karsten Molka, Giuliano Casale
Veröffentlicht in: ACM Transactions on Modeling and Performance Evaluation of Computing Systems, Ausgabe 2/1, 2016, Seite(n) 1-29, ISSN 2376-3639
Herausgeber: ACM TOMPECS
DOI: 10.1145/2961888

Quantitative Analysis of Apache Storm Applications: The NewsAsset Case Study

Autoren: J.I. Requeno (ZAR), J. Merseguer (ZAR), S. Bernardi (ZAR), D. Perez-Palacin (ZAR), G. Giotis (ATC) and V. Papanikolaou (ATC)
Veröffentlicht in: Information System Frontiers, 2018, Seite(n) 1-20, ISSN 1387-3326
Herausgeber: Kluwer Academic Publishers

QD-AMVA: Evaluating systems with queue-dependent service requirements

Autoren: Giuliano Casale, Juan F. Pérez, Weikun Wang
Veröffentlicht in: Performance Evaluation, Ausgabe 91, 2015, Seite(n) 80-98, ISSN 0166-5316
Herausgeber: Elsevier BV
DOI: 10.1016/j.peva.2015.06.006

Evaluating approaches to resource demand estimation

Autoren: Simon Spinner, Giuliano Casale, Fabian Brosig, Samuel Kounev
Veröffentlicht in: Performance Evaluation, Ausgabe 92, 2015, Seite(n) 51-71, ISSN 0166-5316
Herausgeber: Elsevier BV
DOI: 10.1016/j.peva.2015.07.005

A Petri net tool for software performance estimation based on upper throughput bounds

Autoren: Ricardo J. Rodríguez
Veröffentlicht in: Automated Software Engineering, 2015, ISSN 0928-8910
Herausgeber: Kluwer Academic Publishers
DOI: 10.1007/s10515-015-0186-2

Maximum Likelihood Estimation of Closed Queueing Network Demands from Queue Length Data

Autoren: Weikun Wang, Giuliano Casale
Veröffentlicht in: ACM SIGMETRICS Performance Evaluation Review, Ausgabe 43/2, 2015, Seite(n) 45-47, ISSN 0163-5999
Herausgeber: ACM
DOI: 10.1145/2825236.2825255

A model-driven approach to survivability requirement assessment for critical systems

Autoren: S. Bernardi, L. Dranca, J. Merseguer
Veröffentlicht in: Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability, Ausgabe 230/5, 2016, Seite(n) 485-501, ISSN 1748-006X
Herausgeber: Professional Engineering Publishing Ltd.
DOI: 10.1177/1748006X15626017

Guest Editorial: Automation in Software Performance Engineering

Autoren: José Merseguer, Walter Binder, John Murphy
Veröffentlicht in: Automated Software Engineering, Ausgabe 24/1, 2017, Seite(n) 71-72, ISSN 0928-8910
Herausgeber: Kluwer Academic Publishers
DOI: 10.1007/s10515-016-0201-2

Compact Markov-modulated models for multiclass trace fitting

Autoren: Giuliano Casale, Andrea Sansottera, Paolo Cremonesi
Veröffentlicht in: European Journal of Operational Research, Ausgabe 255/3, 2016, Seite(n) 822-833, ISSN 0377-2217
Herausgeber: Elsevier BV
DOI: 10.1016/j.ejor.2016.06.005

Architecture of a Scalable Platform for Monitoring Multiple Big Data Frameworks

Autoren: Gabriel Iuhasz, Daniel Pop, Ioan Dragan
Veröffentlicht in: Scalable Computing: Practice and Experience, Ausgabe 17/4, 2016, Seite(n) 313-321, ISSN 1895-1767
Herausgeber: universitatea de vest
DOI: 10.12694/scpe.v17i4.1203

A methodology for model-based verification of safety contracts and performance requirements

Autoren: E. Gomez-Martinez, R. J. Rodriguez, C. Benac-Earle, L. Etxeberria, M. Illarramendi
Veröffentlicht in: Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability, Ausgabe Article first published online: September 30, 2016, 2016, Seite(n) 1-21, ISSN 1748-006X
Herausgeber: Professional Engineering Publishing Ltd.
DOI: 10.1177/1748006X16667328

Current and Future Challenges of Software Engineering for Services and Applications

Autoren: Giuliano Casale, Cristina Chesta, Peter Deussen, Elisabetta Di Nitto, Panagiotis Gouvas, Sotiris Koussouris, Vlado Stankovski, Andreas Symeonidis, Vlassis Vlassiou, Anastasios Zafeiropoulos, Zhiming Zhao
Veröffentlicht in: Procedia Computer Science, Ausgabe 97, 2016, Seite(n) 34-42, ISSN 1877-0509
Herausgeber: ScienceDirect Elsevier
DOI: 10.1016/j.procs.2016.08.278

Optimal Map Reduce Job Capacity Allocation in Cloud Systems

Autoren: Marzieh Malekimajd, Danilo Ardagna, Michele Ciavotta, Alessandro Maria Rizzi, Mauro Passacantando
Veröffentlicht in: ACM SIGMETRICS Performance Evaluation Review, Ausgabe 42/4, 2015, Seite(n) 51-61, ISSN 0163-5999
Herausgeber: ACM
DOI: 10.1145/2788402.2788410

A model driven approach for assessing survivability requirements of critical infrastructures

Autoren: Ugo Gentile, Simona Bernardi, Stefano Marrone, José Merseguer, Valeria Vittorini
Veröffentlicht in: Journal of High Speed Networks, Ausgabe 23/2, 2017, Seite(n) 175-186, ISSN 0926-6801
Herausgeber: IOS Press
DOI: 10.3233/JHS-170564

Modeling and Analysis of High Availability Techniques in a Virtualized System

Autoren: Xiaolin Chang, Tianju Wang, Ricardo J. Rodríguez, Zhenjiang Zhang
Veröffentlicht in: The Computer Journal, Ausgabe Jun 2017, 2017, Seite(n) 1-19, ISSN 0010-4620
Herausgeber: Oxford University Press
DOI: 10.1093/comjnl/bxx049

Accurate modeling and efficient QoS analysis of scalable adaptive systems under bursty workload

Autoren: Diego Perez-Palacin, Raffaela Mirandola, José Merseguer
Veröffentlicht in: Journal of Systems and Software, Ausgabe 130, 2017, Seite(n) 24-41, ISSN 0164-1212
Herausgeber: Elsevier BV
DOI: 10.1016/j.jss.2017.05.022

Analyzing replacement policies in list-based caches with non-uniform access costs

Autoren: G. Casale
Veröffentlicht in: IEEE INFOCOM, Ausgabe Yearly, 2018, Seite(n) 9
Herausgeber: IEEE

PAX: Partition-Aware Autoscaling for the Cassandra NoSQL Database

Autoren: Salvatore Dipietro, Rajkumar Buyya, Giuliano Casale
Veröffentlicht in: IEEE/IFIP NOMS, Ausgabe Yearly, 2018, Seite(n) 9 pages
Herausgeber: IEEE
DOI: 10.5281/zenodo.1136276

Performance Degradation and Cost Impact Evaluation of Privacy Preserving Mechanisms in Big Data Systems

Autoren: """Safia Kalwar (PMI), Eugenio Gianniti (PMI), Joas Yannick Kinouani (NETF), Youssef Ridene (NETF), Danilo Ardagna (PMI) """
Veröffentlicht in: Valuetools 2017 workshop proceedings, Ausgabe Yearly, 2018, Seite(n) 1-14
Herausgeber: Springer

On the Timed Analysis of Big-Data Applications

Autoren: Francesco Marconi (PMI), Giovanni Quattrocchi (PMI),Luciano Baresi (PMI), Marcello M. Bersani (PMI), Matteo Rossi (PMI)
Veröffentlicht in: NFM 2018 Proceedings, Ausgabe Yearly proceedings, 2018, Seite(n) 15
Herausgeber: Springer
DOI: 10.5281/zenodo.1162853

Towards the Performance Analysis of Apache Tez Applications

Autoren: Jose Ignacio Requeno (ZAR), ​Iñigo Gascón (​ZAR), José Merseguer (ZAR)
Veröffentlicht in: Proceedings of the ​4th​ Workshop on Quality Aware DevOps (QUDOS), Ausgabe yearly, 2018
Herausgeber: ACM

A software architecture framework for quality-aware DevOps

Autoren: Elisabetta Di Nitto, Pooyan Jamshidi, Michele Guerriero, Ilias Spais, Damian A. Tamburri
Veröffentlicht in: Proceedings of the 2nd International Workshop on Quality-Aware DevOps - QUDOS 2016, 2016, Seite(n) 12-17, ISBN 9781-450344111
Herausgeber: ACM Press
DOI: 10.1145/2945408.2945411

DICE: Quality-Driven Development of Data-Intensive Cloud Applications.

Autoren: G. Casale (IMP), D. Ardagna (PMI), M. Artac (XLAB), F. Barbier (NETF), E. Di Nitto (PMI), A. Henry (NETF), G. Iuhasz (IEAT), C. Joubert (PRO), J. Merseguer (ZAR), V. I. Munteanu (IEAT), J. F. Pérez (IMP), D. Petcu (IEAT), M. Rossi (PMI), C. Sheridan (FLEXI), I. Spais (ATC), D. Vladušič (XLAB).
Veröffentlicht in: MISE 2015 at ICSE 2015, Ausgabe May 16-17 2015, 2015, Seite(n) 6
Herausgeber: IEEE

Towards Quality-Aware Development of Big Data Applications with DICE

Autoren: Giuliano Casale (Imperial), Elisabetta di Nitto (Politecnico di Milano), Ilias Spais (ATC)
Veröffentlicht in: ESOCC, Ausgabe 15-17 September 2015, 2015, Seite(n) 2
Herausgeber: Springer LNCS

Filling the gap: a tool to automate parameter estimation for software performance models

Autoren: Weikun Wang, Juan F. Pérez, Giuliano Casale
Veröffentlicht in: Proceedings of the 1st International Workshop on Quality-Aware DevOps - QUDOS 2015, 2015, Seite(n) 31-32, ISBN 9781-450338172
Herausgeber: ACM Press
DOI: 10.1145/2804371.2804379

Modelling multi-tier enterprise applications behaviour with design of experiments technique

Autoren: Tatiana Ustinova, Pooyan Jamshidi
Veröffentlicht in: Proceedings of the 1st International Workshop on Quality-Aware DevOps - QUDOS 2015, 2015, Seite(n) 13-18, ISBN 9781-450338172
Herausgeber: ACM Press
DOI: 10.1145/2804371.2804374

Maximum Likelihood Estimation of Closed Queueing Network Demands from Queue Length Data

Autoren: Weikun Wang, Giuliano Casale (Imperial)
Veröffentlicht in: The Workshop on MAthematical performance Modeling and Analysis (MAMA 2015), Ausgabe 6/15/2015, 2015, Seite(n) 317 - 324
Herausgeber: ACM

SPACE4Cloud: a DevOps environment for multi-cloud applications

Autoren: Michele Guerriero, Michele Ciavotta, Giovanni Paolo Gibilisco, Danilo Ardagna
Veröffentlicht in: Proceedings of the 1st International Workshop on Quality-Aware DevOps - QUDOS 2015, 2015, Seite(n) 29-30, ISBN 9781-450338172
Herausgeber: ACM Press
DOI: 10.1145/2804371.2804378

An Overview of Monitoring Tools for Big Data and Cloud Applications

Autoren: Gabriel Iuhasz, Ioan Dragan
Veröffentlicht in: 2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2015, Seite(n) 363-366, ISBN 978-1-5090-0461-4
Herausgeber: IEEE
DOI: 10.1109/SYNASC.2015.62

Experiments or Simulation? A Characterization of Evaluation Methods for In-Memory Databases

Autoren: Karsten Molka, Giuliano Casale
Veröffentlicht in: IFIP/IEEE CNSM 2015 Proceedings, Ausgabe 9/11/2015, 2015, Seite(n) in print
Herausgeber: IFIP/IEEE CNSM 2015 Proceedings

Service Quality Assurance in Multi-Clouds

Autoren: Dana Petcu
Veröffentlicht in: GECON 2015 Proceedings, Ausgabe 14 Sept 2015, 2015, Seite(n) in print
Herausgeber: Springer, LNCS

Performance-oriented DevOps: A Research Agenda

Autoren: Andreas Brunnert, André van Hoorn, Felix Willnecker, Alexandru Danciu, Wilhelm Hasselbring, Christoph Heger, Nikolas Herbst, Pooyan Jamshidi, Reiner Jung, Joakim von Kistowski, Anne Koziolek, Johannes Kroß, Simon Spinner, Christian Vögele, Jürgen Walter, Alexander Wert.
Veröffentlicht in: Technical Report SPEC-RG-2015-01, Ausgabe 8/1/2015, 2015
Herausgeber: SPEC Research Group - DevOps Performance Working Group

Maximum Likelihood Estimation of Closed Queueing Network Demands from Queue Length Data

Autoren: Weikun Wang, Giuliano Casale, Ajay Kattepur, Manoj Nambiar
Veröffentlicht in: ACM/SPEC ICPE, Ausgabe 14/03/2016, 2016, Seite(n) 12
Herausgeber: ACM

Automated Parameterization of Performance Models from Measurements

Autoren: Giuliano Casale, Simon Spinner, Weikun Wang
Veröffentlicht in: ACM/SPEC ICPE, Ausgabe 14/03/2016, 2016
Herausgeber: ACM

How bit-vector logic can help improve the verification of LTL specifications over infinite domains

Autoren: Luciano Baresi, Mohammad Mehdi Pourhashem Kallehbasti, Matteo Rossi
Veröffentlicht in: Proceedings of the 31st Annual ACM Symposium on Applied Computing - SAC '16, 2016, Seite(n) 1666-1673, ISBN 9781-450337397
Herausgeber: ACM Press
DOI: 10.1145/2851613.2851833

Palladio Optimization Suite: QoS optimization for component-based Cloud applications

Autoren: Michele Ciavotta, Michele Ardagna, Anne Koziolek
Veröffentlicht in: Proceedings of the 9th EAI International Conference on Performance Evaluation Methodologies and Tools, Ausgabe 14-16 December, 2015, 2016, ISBN 978-1-63190-096-9
Herausgeber: ICST
DOI: 10.4108/eai.14-12-2015.2262562

Continuous Architecting of Stream-Based Systems

Autoren: Marcello M. Bersani (PoliMi), Francesco Marconi (PoliMi) and Damian A. Tamburri (PoliMi), Pooyan Jamshidi (Imperial), Andrea Nodari (Imperial)
Veröffentlicht in: The 13th Working IEEE/IFIP Conference on Software Architecture (WICSA), Ausgabe 5-8 April 2016, 2016
Herausgeber: IEEE

Towards a model-driven design tool for big data architectures

Autoren: Michele Guerriero, Saeed Tajfar, Damian A. Tamburri, Elisabetta Di Nitto
Veröffentlicht in: Proceedings of the 2nd International Workshop on BIG Data Software Engineering - BIGDSE '16, 2016, Seite(n) 37-43, ISBN 9781-450341523
Herausgeber: ACM Press
DOI: 10.1145/2896825.2896835

Providing big data applications with fault-tolerant data migration across heterogeneous NoSQL databases

Autoren: Marco Scavuzzo, Damian A. Tamburri, Elisabetta Di Nitto
Veröffentlicht in: Proceedings of the 2nd International Workshop on BIG Data Software Engineering - BIGDSE '16, 2016, Seite(n) 26-32, ISBN 9781-450341523
Herausgeber: ACM Press
DOI: 10.1145/2896825.2896831

Efficient Large-Scale Trace Checking Using MapReduce

Autoren: Marcello M. Bersani (Polimi), Domenico Bianculli, Carlo Ghezzi (Polimi), Srdjan Krstic (Polimi), Pierluigi San Pietro (Polimi)
Veröffentlicht in: The 38th International Conference on Software Engineering (ICSE), Ausgabe May 24-26, 2016, 2016
Herausgeber: IEEE/ACM

Support Services for Applications Execution in Multi-Clouds Environments

Autoren: Daniel Pop (UVT), Gabriel Iuhasz (UVT), Ciprian Craciun (IEAT), Silviu Panica (IEAT)
Veröffentlicht in: Proc. of the Workshop on Self Organizing Self Managing Clouds, collocated with IEEE International Conference on Autonomic Computing, Ausgabe 19/07/2016, 2016, Seite(n) 4
Herausgeber: IEEE

An Uncertainty-Aware Approach to Optimal Configuration of. Stream Processing Systems

Autoren: P. Jamshidi, G. Casale.
Veröffentlicht in: IEEE MASCOTS 2016, 2016
Herausgeber: IEEE

Model-driven Application Refactoring to Minimize Deployment Costs in Preemptible Cloud Resources

Autoren: Daniel Dubois (IMP), Catia Trubiani (GSSI), Giuliano Casale (IMP)
Veröffentlicht in: IEEE CLOUD 2016, Ausgabe June 27 - July 2 2016, 2016, Seite(n) 8
Herausgeber: IEEE

A tool for verification of big-data applications

Autoren: Marcello M. Bersani, Francesco Marconi, Matteo Rossi, Madalina Erascu
Veröffentlicht in: Proceedings of the 2nd International Workshop on Quality-Aware DevOps - QUDOS 2016, Ausgabe July 2016, 2016, Seite(n) 44-45, ISBN 9781-450344111
Herausgeber: ACM Press
DOI: 10.1145/2945408.2945419

Towards the formal verification of data-intensive applications through metric temporal logic

Autoren: Francesco Marconi (PMI), Marcello Maria Bersani (PMI), Madalina Erascu (IeAT), Matteo G. Rossi (PMI)
Veröffentlicht in: 18th International Conference on Formal Engineering Methods (ICFEM), Ausgabe 14-18 November 2016, 2016, Seite(n) 16
Herausgeber: Springer LNCS
DOI: 10.1007/978-3-319-47846-3_13

A systematic approach for performance evaluation using process mining: the POSIDONIA operations case study

Autoren: Simona Bernardi, José Ignacio Requeno, Christophe Joubert, Alberto Romeu
Veröffentlicht in: Proceedings of the 2nd International Workshop on Quality-Aware DevOps - QUDOS 2016, Ausgabe July 2016, 2016, Seite(n) 24-29, ISBN 9781-450344111
Herausgeber: ACM Press
DOI: 10.1145/2945408.2945413

Towards a UML profile for data intensive applications

Autoren: Abel Gómez, José Merseguer, Elisabetta Di Nitto, Damian A. Tamburri
Veröffentlicht in: Proceedings of the 2nd International Workshop on Quality-Aware DevOps - QUDOS 2016, Ausgabe July 2016, 2016, Seite(n) 18-23, ISBN 9781-450344111
Herausgeber: ACM Press
DOI: 10.1145/2945408.2945412

A Model Driven Approach for Assessing Survivability Requirements of Critical Infrastructures

Autoren: U. Gentile, S. Bernardi (ZAR), S. Marrone, J. Merseguer (ZAR), V. Vittorini
Veröffentlicht in: International Conference on Data Compression, Communication, Processing and Security (CCPS2016), Ausgabe 22-23 September, 2016, 2016, Seite(n) 6
Herausgeber: ACM

A Tool for Assessing Performance Requirements of Data-Intensive Applications

Autoren: A. Gómez-Llana (ZAR), C. Joubert (PRO), J. Merseguer (ZAR)
Veröffentlicht in: XXIV Jornadas de Concurrencia y Sistemas Distribuidos (JCSD 2016), Ausgabe 15/06/2016, 2016, Seite(n) 159-169
Herausgeber: Miguel J. Hornos Barranco

Modeling Performance of Hadoop Applications: A Journey from Queueing Networks to Stochastic Well Formed Nets

Autoren: Danilo Ardagna (PMI), Simona Bernardi (ZAR), Eugenio Gianniti (PMI), Soroush Karimian Aliabadi, Diego Perez-Palacin (PMI), and José Ignacio Requeno (ZAR)
Veröffentlicht in: ICA3PP: 16th International Conference on Algorithms and Architectures for Parallel Processing, 2016
Herausgeber: Springer LNCS
DOI: 10.5281/zenodo.58847

D-SPACE4Cloud: A Design Tool for Big Data Applications

Autoren: Michele Ciavotta, Eugenio Gianniti, Danilo Ardagna (PMI)
Veröffentlicht in: ICA3PP: 16th International Conference on Algorithms and Architectures for Parallel Processing, Ausgabe 14-16/12/2016, 2016
Herausgeber: Springer LNCS

Efficient Memory Occupancy Models for In-memory Databases

Autoren: Karsten Molka, Giuliano Casale
Veröffentlicht in: 2016 IEEE 24th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS), 2016, Seite(n) 430-432, ISBN 978-1-5090-3432-1
Herausgeber: IEEE
DOI: 10.1109/MASCOTS.2016.56

A Queueing Network Model for Performance Prediction of Apache Cassandra

Autoren: S. Dipietro, G. Casale, G. Serazzi
Veröffentlicht in: ICST VALUETOOLS, 2016
Herausgeber: IEEE
DOI: 10.5281/zenodo.153836

Performance Prediction for Burstable Clouds resources

Autoren: D. Dubois, G. Casale
Veröffentlicht in: ICST VALUETOOLS, 2016
Herausgeber: IEEE
DOI: 10.5281/zenodo.49068.

Efficient Resource Management in the Cloud

Autoren: Luciano Baresi, Sam Guinea, Giovanni Quattrocchi, and Damian A. Tamburri (PMI)
Veröffentlicht in: IEEE SmartCloud, Ausgabe 18-20/11/2016, 2016
Herausgeber: IEEE

Quality-Aware Development of Big Data Applications with DICE

Autoren: Giuliano Casale, Elisabetta Di Nitto, Pooyan Jamshidi, Damian A. Tamburri
Veröffentlicht in: Proceedings of The 5th European Conference on Service-Oriented and Cloud Computing, 5-7 September, Vienna (AU), 2016, Seite(n) 5-7/09/2016
Herausgeber: Springer LNCS

DICE fault injection tool

Autoren: Craig Sheridan, Darren Whigham, Matej Artač
Veröffentlicht in: Proceedings of the 2nd International Workshop on Quality-Aware DevOps - QUDOS 2016, 2016, Seite(n) 36-37, ISBN 9781-450344111
Herausgeber: ACM Press
DOI: 10.1145/2945408.2945415

Formal Verification of Storm Topologies through D-VerT

Autoren: Francesco Marconi (PMI), Marcello M. Bersani (PMI), Matteo G. Rossi (PMI)
Veröffentlicht in: Proceedings of the Symposium on Applied Computing (SAC) 2017, Ausgabe 3-7 April 2017, 2017, Seite(n) 7
Herausgeber: ACM

Accelerating Performance Inference over Closed Systems by Asymptotic Methods

Autoren: Giuliano Casale
Veröffentlicht in: Proceedings of the 2017 ACM SIGMETRICS / International Conference on Measurement and Modeling of Computer Systems - SIGMETRICS '17 Abstracts, Ausgabe Jun 17, 2017, Seite(n) 64-64, ISBN 9781-450350327
Herausgeber: ACM Press
DOI: 10.1145/3078505.3078514

DevOps: Introducing Infrastructure-as-Code

Autoren: Matej Artač, Tadej Borovšak, Elisabetta Di Nitto, Michele Guerriero, Damian Andrew Tamburri
Veröffentlicht in: ICSE 2017, Ausgabe May 20-28 2017, 2017, Seite(n) 2
Herausgeber: IEEE

Combining Quantitative and Qualitative Studies in Empirical Software Engineering Research

Autoren: Massimiliano Di Penta, Damian Andrew Tamburri
Veröffentlicht in: ICSE 2017, Ausgabe May 20-28 2017, 2017
Herausgeber: IEEE

Generalized Synchronizations and Capacity Constraints for Java Modelling Tools (Demonstration Paper)

Autoren: Giuliano Casale, Mattia Cazzoli, Shuai Jiang, Vitor Lopes, Giuseppe Serazzi and Lulai Zhu
Veröffentlicht in: ICPE 2017, Ausgabe April 17, 2017, Seite(n) 2
Herausgeber: ACM

Towards Omnia: a Monitoring Factory for Quality-Aware DevOps

Autoren: Marco Miglierina (PMI), Damian A. Tamburri (PMI)
Veröffentlicht in: Proceedings of the 3rd Workshop on Quality Aware DevOps (QUDOS), Ausgabe 27-04-2017, 2017
Herausgeber: ACM

DevOps Performance Engineering: A Quasi-Ethnographical Study

Autoren: Giuseppe Vergori (PMI), Damian A. Tamburri (PMI), Raffaela Mirandola (PMI), Diego Perez-Palacin (ZAR)
Veröffentlicht in: Proceedings of the 3rd Workshop on Quality Aware DevOps (QUDOS), Ausgabe 27-04-2017, 2017
Herausgeber: ACM

Quality Assessment in DevOps - Automated Analysis of a Tax Fraud Detection System

Autoren: Diego Perez-Palacin, Youssef Ridene, José Merseguer
Veröffentlicht in: Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering Companion - ICPE '17 Companion, Ausgabe 27-04-2017, 2017, Seite(n) 133-138, ISBN 9781-450348997
Herausgeber: ACM Press
DOI: 10.1145/3053600.3053632

Towards DevOps for Privacy-by-Design in Data-Intensive Applications - A Research Roadmap

Autoren: Michele Guerriero, Damian A. Tamburri, Youssef Ridene, Francesco Marconi, Marcello M. Bersani, Matej Artac
Veröffentlicht in: Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering Companion - ICPE '17 Companion, Ausgabe 27-04-2017, 2017, Seite(n) 139-144, ISBN 9781-450348997
Herausgeber: ACM Press
DOI: 10.1145/3053600.3053631

Performance Analysis of Apache Storm Applications using Stochastic Petri Nets

Autoren: José-Ignacio Requeno (ZAR), José Merseguer (ZAR), Simona Bernardi (ZAR)
Veröffentlicht in: Proceedings of the 5th IEEE International Workshop on Formal Methods Integration (FMi), Ausgabe 04-08-2017, 2017
Herausgeber: IEEE

Model-driven Engineering IDE for Quality Assessment of Data-intensive Applications

Autoren: Marc Gil, Christophe Joubert, Ismael Torres
Veröffentlicht in: Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering Companion - ICPE '17 Companion, 2017, Seite(n) 173-174, ISBN 9781-450348997
Herausgeber: ACM Press
DOI: 10.1145/3053600.3053633

Towards a Systematic Model-driven Approach for the Detection of Web Threats and Use Cases

Autoren: Simona Bernardi (ZAR), Raúl Piracés Alastuey (ZAR), Alejandro Solanas Bonilla (ZAR), Raquel Trillo-Lado (ZAR)
Veröffentlicht in: Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'17), Ausgabe 26/06/17, 2017, Seite(n) 229-230
Herausgeber: CEUR-WS.org

Using Process Mining and Model-Driven Engineering to Enhance Security of Web Information Systems

Autoren: Simona Bernardi, Raul Piraces Alastuey, Raquel Trillo-Lado
Veröffentlicht in: 2017 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW), Ausgabe 26-28/04/2017, 2017, Seite(n) 160-166, ISBN 978-1-5386-2244-5
Herausgeber: IEEE
DOI: 10.1109/EuroSPW.2017.66

Formal verification of data-intensive applications through model checking modulo theories

Autoren: Marcello M. Bersani, Francesco Marconi, Matteo Rossi, Madalina Erascu, Silvio Ghilardi
Veröffentlicht in: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software - SPIN 2017, 2017, Seite(n) 98-101, ISBN 9781-450350778
Herausgeber: ACM Press
DOI: 10.1145/3092282.3092300

Distributed Platforms and Cloud Services Enabling Machine Learning for Big Data. An Overview

Autoren: Daniel Pop (IEAT), Gabriel Iuhasz (IEAT), Dana Petcu (IEAT)
Veröffentlicht in: Data Science and Big Data Computing: Frameworks and Methodologies, Ausgabe 2016, 2016, Seite(n) tbc
Herausgeber: Springer Verlag

Towards a Software Architecture Framework for Model-Driven Big-Data Applications

Autoren: Mersedeh Sadeghi
Veröffentlicht in: Politecnico di Milano Master Thesis, Ausgabe 18/09/2015, 2015
Herausgeber: PMI

A Software Architecture Framework for Model-Driven Big-Data Applications

Autoren: Saeed Tajfar
Veröffentlicht in: Politecnico di Milano Master Thesis, Ausgabe 21/12/2015, 2015
Herausgeber: PMI

A design-time optimization framework for shared Hadoop Clusters

Autoren: Liliane Tueguem
Veröffentlicht in: Politecnico di Milano Master Thesis, Ausgabe 21/12/2015, 2015
Herausgeber: PMI

HyperSpark: A Framework for Parallel and Distributed Execution of Optimisation Algorithms over Spark

Autoren: Nemanja Stolic
Veröffentlicht in: Politecnico di Milano Master Thesis, Ausgabe 27/04/2016, 2016
Herausgeber: Politecnico di Milano

ParadisEO vs HyperSpark:Analysis and benchmarking of two frameworks for distributed metaheuristics

Autoren: Camilo Andres Martinez sarmiento
Veröffentlicht in: Politecnico di Milano Master Thesis, Ausgabe 27/04/2016, 2016
Herausgeber: Politecnico di Milano

Process Mining to improve Security in Web Information Systems

Autoren: Student: Raúl Piracés Alastuey (University of Zaragoza) Advisors: Simona Bernardi (University of Zaragoza) and Raquel Trillo Lado (University of Zaragoza)
Veröffentlicht in: Master Thesis, 2016
Herausgeber: University of Zaragoza

A Design-time Optimization Framework for Private Cloud Big Data Systems

Autoren: Jacopo Rigoli
Veröffentlicht in: Politecnico di Milano Master Thesis, Ausgabe 27/04/2016, 2016
Herausgeber: Politecnico di Milano

Combining Petri Nets and Queueing Network Models.

Autoren: Zhu, Lulai.
Veröffentlicht in: 2016
Herausgeber: Imperial College

Learning Software Performance Changes in Agile Development

Autoren: Carruthers, Lottie
Veröffentlicht in: 2016
Herausgeber: Imperial College

A DevOps Canary Testbed for Big Data Application Testing.

Autoren: Zhai, Yifan.
Veröffentlicht in: 2016
Herausgeber: Imperial College

A Tool Suite to Automate Hadoop Configuration: An Extension for BO4CO.

Autoren: Chen, Xidi.
Veröffentlicht in: 2016
Herausgeber: Imperial College

The Extension of Scheduling Management Algorithms into Java Modelling Tools.

Autoren: Phuangjaisri, Phumin
Veröffentlicht in: 2016
Herausgeber: Imperial College

Java Modelling Tools Extension

Autoren: Jiang Shuai
Veröffentlicht in: 2015
Herausgeber: Imperial College

Performance evaluation of data-intensive applications with Apache Tez

Autoren: Student: Iñigo Gascón Royo (University of Zaragoza) Advisors: José Ignacio Requeno (University of Zaragoza) and José Merseguer (University of Zaragoza)
Veröffentlicht in: 2017
Herausgeber: University of Zaragoza

Performance evaluation of data-intensive applications with Apache Spark

Autoren: Student: Andrés Malo Ascaso (University of Zaragoza) Advisors: José Ignacio Requeno (University of Zaragoza) and José Merseguer (University of Zaragoza)
Veröffentlicht in: 2017
Herausgeber: University of Zaragoza

Data Science and Big Data Computing

Autoren: Zaigham Mahmood
Veröffentlicht in: Data Science and Big Data Computing: Frameworks and MethodologDistributed Platforms and Cloud Services Enabling Machine Learning for Big Data. An Overviewies;, 2016, ISBN 978-3-319-31861-5
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-319-31861-5

Quality analysis and verification of data-intensive applications

Autoren: Francesco Marconi (PMI)
Veröffentlicht in: Proceedings of the Doctoral Symposium of Formal Methods 2016, Ausgabe 2/5/2016, 2016, ISSN 1613-0073
Herausgeber: CEUR-WS

Minería de procesos para la mejora de la seguridad de sistemas de información Web

Autoren: Raúl Piracés Alastuey, Simona Bernardi and Raquel Trillo Lado
Veröffentlicht in: Proceedings of the IV National Conference of Research and Development in Defence and Security (IV Congreso Nacional de I+D en defensa y seguridad (DESEi+d), 2016
Herausgeber: Centro Universitario de la Defensa de San Javier, 2016.

Acto de celebración del 15 aniversario del I3A (XV Anniversary of the Aragón Institute for Engineering Research (I3A) )

Autoren: José Merseguer (ZAR)
Veröffentlicht in: Ausgabe September 14th 2017. (From 9:00 to 14:00), 2017
Herausgeber: Zaragoza, Spain

Suche nach OpenAIRE-Daten ...

Bei der Suche nach OpenAIRE-Daten ist ein Fehler aufgetreten

Es liegen keine Ergebnisse vor