Risultati finali
This deliverable will document the monitoring and data archival methodology developed in T4.1 and the related implementation.
DICE delivery tools - Initial versionImplementation and accompanying report on the algorithms and tools developed in T5.1 and T5.2.
DICE framework - Final versionReport and open source releases of the integrated solution of T1.3 at M24 and updated at M30.
DICE optimisation tools - Final versionThis 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 versionThis 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 versionThis deliverable will describe the methods and release the tool implementations developed in T4.3.
DICE testing tools - Final versionImplementation 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 versionImplementation 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 versionImplementation and accompanying report on the algorithms and tools developed in T5.1 and T5.2.
Quality anomaly detection and trace checking tools - Final versionThis deliverable will give implementation and documentation for the techniques developed in T4.2.
Iterative quality enhancement tools - Final versionThis deliverable will describe the methods and release the tool implementations developed in T4.3.
DICE delivery tools - Intermediate versionImplementation and accompanying report on the algorithms and tools developed in T5.1 and T5.2.
DICE verification tools - Final versionThis 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 versionThis 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 versionReport and open source releases of the integrated solution of T1.3 at M24 and updated at M30.
DICE simulation tools - Intermediate versionThis 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 VersionThis 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 versionThis 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 versionThis deliverable will document the monitoring and data archival methodology developed in T4.1 and the related implementation.
DICE simulation tools - Initial versionThis 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 versionThis deliverable will give implementation and documentation for the techniques developed in T4.2.
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 analysisThe final report summarising all the results of achieved in the demonstrators and the expected impact arising from these conclusions.
DICE methodologyThis deliverable will summarise the DICE methodology and the design workflow developed within T2.4.
Deployment abstractions - Initial versionThis 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 modelsThis 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 versionThis 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 versionReport 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 versionThis 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 specificationReport 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 planStemming from the initial requirements in T1.1, this deliverable will define a concrete implementation plan for the demonstrators.
State of the art analysisDocument presenting the state of the art review performed in T1.1.
Design and quality abstractions - Initial versionThis deliverable will provide the specification of the functional and quality modelling abstractions developed within T2.1 and T2.2.
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.
Publish book on the new software engineering for Big Data applications.
Pubblicazioni
Autori:
Ricardo J. Rodriguez, Javier Campos
Pubblicato in:
IEEE Transactions on Control Systems Technology, Numero Nov 2017, 2017, Pagina/e 1-8, ISSN 1063-6536
Editore:
Institute of Electrical and Electronics Engineers
DOI:
10.1109/TCST.2017.2768512
Autori:
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)
Pubblicato in:
Empirical Software Engineering, 2018, Pagina/e 1-48, ISSN 1382-3256
Editore:
Kluwer Academic Publishers
DOI:
10.5281/zenodo.1010446
Autori:
Simona Bernardi (ZAR), Stefano Marrone, José Merseguer (ZAR), Roberto Nardone, Valeria Vittorini
Pubblicato in:
Software and System Modeling, 2017, ISSN 1619-1366
Editore:
Springer Verlag
DOI:
10.1007/s10270-018-0663-8
Autori:
Eugenio Gianniti, Alessandro Maria Rizzi, Enrico Barbierato, Marco Gribaudo, Danilo Ardagna
Pubblicato in:
ACM SIGMETRICS Performance Evaluation Review, Numero 44/4, 2017, Pagina/e 23-36, ISSN 0163-5999
Editore:
ACM
DOI:
10.1145/3092819.3092824
Autori:
Karsten Molka, Giuliano Casale
Pubblicato in:
ACM Transactions on Modeling and Performance Evaluation of Computing Systems, Numero 2/1, 2016, Pagina/e 1-29, ISSN 2376-3639
Editore:
ACM TOMPECS
DOI:
10.1145/2961888
Autori:
J.I. Requeno (ZAR), J. Merseguer (ZAR), S. Bernardi (ZAR), D. Perez-Palacin (ZAR), G. Giotis (ATC) and V. Papanikolaou (ATC)
Pubblicato in:
Information System Frontiers, 2018, Pagina/e 1-20, ISSN 1387-3326
Editore:
Kluwer Academic Publishers
Autori:
Giuliano Casale, Juan F. Pérez, Weikun Wang
Pubblicato in:
Performance Evaluation, Numero 91, 2015, Pagina/e 80-98, ISSN 0166-5316
Editore:
Elsevier BV
DOI:
10.1016/j.peva.2015.06.006
Autori:
Simon Spinner, Giuliano Casale, Fabian Brosig, Samuel Kounev
Pubblicato in:
Performance Evaluation, Numero 92, 2015, Pagina/e 51-71, ISSN 0166-5316
Editore:
Elsevier BV
DOI:
10.1016/j.peva.2015.07.005
Autori:
Ricardo J. Rodríguez
Pubblicato in:
Automated Software Engineering, 2015, ISSN 0928-8910
Editore:
Kluwer Academic Publishers
DOI:
10.1007/s10515-015-0186-2
Autori:
Weikun Wang, Giuliano Casale
Pubblicato in:
ACM SIGMETRICS Performance Evaluation Review, Numero 43/2, 2015, Pagina/e 45-47, ISSN 0163-5999
Editore:
ACM
DOI:
10.1145/2825236.2825255
Autori:
S. Bernardi, L. Dranca, J. Merseguer
Pubblicato in:
Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability, Numero 230/5, 2016, Pagina/e 485-501, ISSN 1748-006X
Editore:
Professional Engineering Publishing Ltd.
DOI:
10.1177/1748006X15626017
Autori:
José Merseguer, Walter Binder, John Murphy
Pubblicato in:
Automated Software Engineering, Numero 24/1, 2017, Pagina/e 71-72, ISSN 0928-8910
Editore:
Kluwer Academic Publishers
DOI:
10.1007/s10515-016-0201-2
Autori:
Giuliano Casale, Andrea Sansottera, Paolo Cremonesi
Pubblicato in:
European Journal of Operational Research, Numero 255/3, 2016, Pagina/e 822-833, ISSN 0377-2217
Editore:
Elsevier BV
DOI:
10.1016/j.ejor.2016.06.005
Autori:
Gabriel Iuhasz, Daniel Pop, Ioan Dragan
Pubblicato in:
Scalable Computing: Practice and Experience, Numero 17/4, 2016, Pagina/e 313-321, ISSN 1895-1767
Editore:
universitatea de vest
DOI:
10.12694/scpe.v17i4.1203
Autori:
E. Gomez-Martinez, R. J. Rodriguez, C. Benac-Earle, L. Etxeberria, M. Illarramendi
Pubblicato in:
Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability, Numero Article first published online: September 30, 2016, 2016, Pagina/e 1-21, ISSN 1748-006X
Editore:
Professional Engineering Publishing Ltd.
DOI:
10.1177/1748006X16667328
Autori:
Giuliano Casale, Cristina Chesta, Peter Deussen, Elisabetta Di Nitto, Panagiotis Gouvas, Sotiris Koussouris, Vlado Stankovski, Andreas Symeonidis, Vlassis Vlassiou, Anastasios Zafeiropoulos, Zhiming Zhao
Pubblicato in:
Procedia Computer Science, Numero 97, 2016, Pagina/e 34-42, ISSN 1877-0509
Editore:
ScienceDirect Elsevier
DOI:
10.1016/j.procs.2016.08.278
Autori:
Marzieh Malekimajd, Danilo Ardagna, Michele Ciavotta, Alessandro Maria Rizzi, Mauro Passacantando
Pubblicato in:
ACM SIGMETRICS Performance Evaluation Review, Numero 42/4, 2015, Pagina/e 51-61, ISSN 0163-5999
Editore:
ACM
DOI:
10.1145/2788402.2788410
Autori:
Ugo Gentile, Simona Bernardi, Stefano Marrone, José Merseguer, Valeria Vittorini
Pubblicato in:
Journal of High Speed Networks, Numero 23/2, 2017, Pagina/e 175-186, ISSN 0926-6801
Editore:
IOS Press
DOI:
10.3233/JHS-170564
Autori:
Xiaolin Chang, Tianju Wang, Ricardo J. Rodríguez, Zhenjiang Zhang
Pubblicato in:
The Computer Journal, Numero Jun 2017, 2017, Pagina/e 1-19, ISSN 0010-4620
Editore:
Oxford University Press
DOI:
10.1093/comjnl/bxx049
Autori:
Diego Perez-Palacin, Raffaela Mirandola, José Merseguer
Pubblicato in:
Journal of Systems and Software, Numero 130, 2017, Pagina/e 24-41, ISSN 0164-1212
Editore:
Elsevier BV
DOI:
10.1016/j.jss.2017.05.022
Autori:
G. Casale
Pubblicato in:
IEEE INFOCOM, Numero Yearly, 2018, Pagina/e 9
Editore:
IEEE
Autori:
Salvatore Dipietro, Rajkumar Buyya, Giuliano Casale
Pubblicato in:
IEEE/IFIP NOMS, Numero Yearly, 2018, Pagina/e 9 pages
Editore:
IEEE
DOI:
10.5281/zenodo.1136276
Autori:
"""Safia Kalwar (PMI), Eugenio Gianniti (PMI), Joas Yannick Kinouani (NETF), Youssef Ridene (NETF), Danilo Ardagna (PMI)
"""
Pubblicato in:
Valuetools 2017 workshop proceedings, Numero Yearly, 2018, Pagina/e 1-14
Editore:
Springer
Autori:
Francesco Marconi (PMI), Giovanni Quattrocchi (PMI),Luciano Baresi (PMI), Marcello M. Bersani (PMI), Matteo Rossi (PMI)
Pubblicato in:
NFM 2018 Proceedings, Numero Yearly proceedings, 2018, Pagina/e 15
Editore:
Springer
DOI:
10.5281/zenodo.1162853
Autori:
Jose Ignacio Requeno (ZAR), Iñigo Gascón (ZAR), José Merseguer (ZAR)
Pubblicato in:
Proceedings of the 4th Workshop on Quality Aware DevOps (QUDOS), Numero yearly, 2018
Editore:
ACM
Autori:
Elisabetta Di Nitto, Pooyan Jamshidi, Michele Guerriero, Ilias Spais, Damian A. Tamburri
Pubblicato in:
Proceedings of the 2nd International Workshop on Quality-Aware DevOps - QUDOS 2016, 2016, Pagina/e 12-17, ISBN 9781-450344111
Editore:
ACM Press
DOI:
10.1145/2945408.2945411
Autori:
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).
Pubblicato in:
MISE 2015 at ICSE 2015, Numero May 16-17 2015, 2015, Pagina/e 6
Editore:
IEEE
Autori:
Giuliano Casale (Imperial), Elisabetta di Nitto (Politecnico di Milano), Ilias Spais (ATC)
Pubblicato in:
ESOCC, Numero 15-17 September 2015, 2015, Pagina/e 2
Editore:
Springer LNCS
Autori:
Weikun Wang, Juan F. Pérez, Giuliano Casale
Pubblicato in:
Proceedings of the 1st International Workshop on Quality-Aware DevOps - QUDOS 2015, 2015, Pagina/e 31-32, ISBN 9781-450338172
Editore:
ACM Press
DOI:
10.1145/2804371.2804379
Autori:
Tatiana Ustinova, Pooyan Jamshidi
Pubblicato in:
Proceedings of the 1st International Workshop on Quality-Aware DevOps - QUDOS 2015, 2015, Pagina/e 13-18, ISBN 9781-450338172
Editore:
ACM Press
DOI:
10.1145/2804371.2804374
Autori:
Weikun Wang, Giuliano Casale (Imperial)
Pubblicato in:
The Workshop on MAthematical performance Modeling and Analysis (MAMA 2015), Numero 6/15/2015, 2015, Pagina/e 317 - 324
Editore:
ACM
Autori:
Michele Guerriero, Michele Ciavotta, Giovanni Paolo Gibilisco, Danilo Ardagna
Pubblicato in:
Proceedings of the 1st International Workshop on Quality-Aware DevOps - QUDOS 2015, 2015, Pagina/e 29-30, ISBN 9781-450338172
Editore:
ACM Press
DOI:
10.1145/2804371.2804378
Autori:
Gabriel Iuhasz, Ioan Dragan
Pubblicato in:
2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2015, Pagina/e 363-366, ISBN 978-1-5090-0461-4
Editore:
IEEE
DOI:
10.1109/SYNASC.2015.62
Autori:
Karsten Molka, Giuliano Casale
Pubblicato in:
IFIP/IEEE CNSM 2015 Proceedings, Numero 9/11/2015, 2015, Pagina/e in print
Editore:
IFIP/IEEE CNSM 2015 Proceedings
Autori:
Dana Petcu
Pubblicato in:
GECON 2015 Proceedings, Numero 14 Sept 2015, 2015, Pagina/e in print
Editore:
Springer, LNCS
Autori:
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.
Pubblicato in:
Technical Report SPEC-RG-2015-01, Numero 8/1/2015, 2015
Editore:
SPEC Research Group - DevOps Performance Working Group
Autori:
Weikun Wang, Giuliano Casale, Ajay Kattepur, Manoj Nambiar
Pubblicato in:
ACM/SPEC ICPE, Numero 14/03/2016, 2016, Pagina/e 12
Editore:
ACM
Autori:
Giuliano Casale, Simon Spinner, Weikun Wang
Pubblicato in:
ACM/SPEC ICPE, Numero 14/03/2016, 2016
Editore:
ACM
Autori:
Luciano Baresi, Mohammad Mehdi Pourhashem Kallehbasti, Matteo Rossi
Pubblicato in:
Proceedings of the 31st Annual ACM Symposium on Applied Computing - SAC '16, 2016, Pagina/e 1666-1673, ISBN 9781-450337397
Editore:
ACM Press
DOI:
10.1145/2851613.2851833
Autori:
Michele Ciavotta, Michele Ardagna, Anne Koziolek
Pubblicato in:
Proceedings of the 9th EAI International Conference on Performance Evaluation Methodologies and Tools, Numero 14-16 December, 2015, 2016, ISBN 978-1-63190-096-9
Editore:
ICST
DOI:
10.4108/eai.14-12-2015.2262562
Autori:
Marcello M. Bersani (PoliMi), Francesco Marconi (PoliMi) and Damian A. Tamburri (PoliMi), Pooyan Jamshidi (Imperial), Andrea Nodari (Imperial)
Pubblicato in:
The 13th Working IEEE/IFIP Conference on Software Architecture (WICSA), Numero 5-8 April 2016, 2016
Editore:
IEEE
Autori:
Michele Guerriero, Saeed Tajfar, Damian A. Tamburri, Elisabetta Di Nitto
Pubblicato in:
Proceedings of the 2nd International Workshop on BIG Data Software Engineering - BIGDSE '16, 2016, Pagina/e 37-43, ISBN 9781-450341523
Editore:
ACM Press
DOI:
10.1145/2896825.2896835
Autori:
Marco Scavuzzo, Damian A. Tamburri, Elisabetta Di Nitto
Pubblicato in:
Proceedings of the 2nd International Workshop on BIG Data Software Engineering - BIGDSE '16, 2016, Pagina/e 26-32, ISBN 9781-450341523
Editore:
ACM Press
DOI:
10.1145/2896825.2896831
Autori:
Marcello M. Bersani (Polimi), Domenico Bianculli, Carlo Ghezzi (Polimi), Srdjan Krstic (Polimi), Pierluigi San Pietro (Polimi)
Pubblicato in:
The 38th International Conference on Software Engineering (ICSE), Numero May 24-26, 2016, 2016
Editore:
IEEE/ACM
Autori:
Daniel Pop (UVT), Gabriel Iuhasz (UVT), Ciprian Craciun (IEAT), Silviu Panica (IEAT)
Pubblicato in:
Proc. of the Workshop on Self Organizing Self Managing Clouds, collocated with IEEE International Conference on Autonomic Computing, Numero 19/07/2016, 2016, Pagina/e 4
Editore:
IEEE
Autori:
P. Jamshidi, G. Casale.
Pubblicato in:
IEEE MASCOTS 2016, 2016
Editore:
IEEE
Autori:
Daniel Dubois (IMP), Catia Trubiani (GSSI), Giuliano Casale (IMP)
Pubblicato in:
IEEE CLOUD 2016, Numero June 27 - July 2 2016, 2016, Pagina/e 8
Editore:
IEEE
Autori:
Marcello M. Bersani, Francesco Marconi, Matteo Rossi, Madalina Erascu
Pubblicato in:
Proceedings of the 2nd International Workshop on Quality-Aware DevOps - QUDOS 2016, Numero July 2016, 2016, Pagina/e 44-45, ISBN 9781-450344111
Editore:
ACM Press
DOI:
10.1145/2945408.2945419
Autori:
Francesco Marconi (PMI), Marcello Maria Bersani (PMI), Madalina Erascu (IeAT), Matteo G. Rossi (PMI)
Pubblicato in:
18th International Conference on Formal Engineering Methods (ICFEM), Numero 14-18 November 2016, 2016, Pagina/e 16
Editore:
Springer LNCS
DOI:
10.1007/978-3-319-47846-3_13
Autori:
Simona Bernardi, José Ignacio Requeno, Christophe Joubert, Alberto Romeu
Pubblicato in:
Proceedings of the 2nd International Workshop on Quality-Aware DevOps - QUDOS 2016, Numero July 2016, 2016, Pagina/e 24-29, ISBN 9781-450344111
Editore:
ACM Press
DOI:
10.1145/2945408.2945413
Autori:
Abel Gómez, José Merseguer, Elisabetta Di Nitto, Damian A. Tamburri
Pubblicato in:
Proceedings of the 2nd International Workshop on Quality-Aware DevOps - QUDOS 2016, Numero July 2016, 2016, Pagina/e 18-23, ISBN 9781-450344111
Editore:
ACM Press
DOI:
10.1145/2945408.2945412
Autori:
U. Gentile, S. Bernardi (ZAR), S. Marrone, J. Merseguer (ZAR), V. Vittorini
Pubblicato in:
International Conference on Data Compression, Communication, Processing and Security (CCPS2016), Numero 22-23 September, 2016, 2016, Pagina/e 6
Editore:
ACM
Autori:
A. Gómez-Llana (ZAR), C. Joubert (PRO), J. Merseguer (ZAR)
Pubblicato in:
XXIV Jornadas de Concurrencia y Sistemas Distribuidos (JCSD 2016), Numero 15/06/2016, 2016, Pagina/e 159-169
Editore:
Miguel J. Hornos Barranco
Autori:
Danilo Ardagna (PMI), Simona Bernardi (ZAR), Eugenio Gianniti (PMI), Soroush Karimian Aliabadi, Diego Perez-Palacin (PMI), and José Ignacio Requeno (ZAR)
Pubblicato in:
ICA3PP: 16th International Conference on Algorithms and Architectures for Parallel Processing, 2016
Editore:
Springer LNCS
DOI:
10.5281/zenodo.58847
Autori:
Michele Ciavotta, Eugenio Gianniti, Danilo Ardagna (PMI)
Pubblicato in:
ICA3PP: 16th International Conference on Algorithms and Architectures for Parallel Processing, Numero 14-16/12/2016, 2016
Editore:
Springer LNCS
Autori:
Karsten Molka, Giuliano Casale
Pubblicato in:
2016 IEEE 24th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS), 2016, Pagina/e 430-432, ISBN 978-1-5090-3432-1
Editore:
IEEE
DOI:
10.1109/MASCOTS.2016.56
Autori:
S. Dipietro, G. Casale, G. Serazzi
Pubblicato in:
ICST VALUETOOLS, 2016
Editore:
IEEE
DOI:
10.5281/zenodo.153836
Autori:
D. Dubois, G. Casale
Pubblicato in:
ICST VALUETOOLS, 2016
Editore:
IEEE
DOI:
10.5281/zenodo.49068.
Autori:
Luciano Baresi, Sam Guinea, Giovanni Quattrocchi, and Damian A. Tamburri (PMI)
Pubblicato in:
IEEE SmartCloud, Numero 18-20/11/2016, 2016
Editore:
IEEE
Autori:
Giuliano Casale, Elisabetta Di Nitto, Pooyan Jamshidi, Damian A. Tamburri
Pubblicato in:
Proceedings of The 5th European Conference on Service-Oriented and Cloud Computing, 5-7 September, Vienna (AU), 2016, Pagina/e 5-7/09/2016
Editore:
Springer LNCS
Autori:
Craig Sheridan, Darren Whigham, Matej Artač
Pubblicato in:
Proceedings of the 2nd International Workshop on Quality-Aware DevOps - QUDOS 2016, 2016, Pagina/e 36-37, ISBN 9781-450344111
Editore:
ACM Press
DOI:
10.1145/2945408.2945415
Autori:
Francesco Marconi (PMI), Marcello M. Bersani (PMI), Matteo G. Rossi (PMI)
Pubblicato in:
Proceedings of the Symposium on Applied Computing (SAC) 2017, Numero 3-7 April 2017, 2017, Pagina/e 7
Editore:
ACM
Autori:
Giuliano Casale
Pubblicato in:
Proceedings of the 2017 ACM SIGMETRICS / International Conference on Measurement and Modeling of Computer Systems - SIGMETRICS '17 Abstracts, Numero Jun 17, 2017, Pagina/e 64-64, ISBN 9781-450350327
Editore:
ACM Press
DOI:
10.1145/3078505.3078514
Autori:
Matej Artač, Tadej Borovšak, Elisabetta Di Nitto, Michele Guerriero, Damian Andrew Tamburri
Pubblicato in:
ICSE 2017, Numero May 20-28 2017, 2017, Pagina/e 2
Editore:
IEEE
Autori:
Massimiliano Di Penta, Damian Andrew Tamburri
Pubblicato in:
ICSE 2017, Numero May 20-28 2017, 2017
Editore:
IEEE
Autori:
Giuliano Casale, Mattia Cazzoli, Shuai Jiang, Vitor Lopes, Giuseppe Serazzi and Lulai Zhu
Pubblicato in:
ICPE 2017, Numero April 17, 2017, Pagina/e 2
Editore:
ACM
Autori:
Marco Miglierina (PMI), Damian A. Tamburri (PMI)
Pubblicato in:
Proceedings of the 3rd Workshop on Quality Aware DevOps (QUDOS), Numero 27-04-2017, 2017
Editore:
ACM
Autori:
Giuseppe Vergori (PMI), Damian A. Tamburri (PMI), Raffaela Mirandola (PMI), Diego Perez-Palacin (ZAR)
Pubblicato in:
Proceedings of the 3rd Workshop on Quality Aware DevOps (QUDOS), Numero 27-04-2017, 2017
Editore:
ACM
Autori:
Diego Perez-Palacin, Youssef Ridene, José Merseguer
Pubblicato in:
Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering Companion - ICPE '17 Companion, Numero 27-04-2017, 2017, Pagina/e 133-138, ISBN 9781-450348997
Editore:
ACM Press
DOI:
10.1145/3053600.3053632
Autori:
Michele Guerriero, Damian A. Tamburri, Youssef Ridene, Francesco Marconi, Marcello M. Bersani, Matej Artac
Pubblicato in:
Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering Companion - ICPE '17 Companion, Numero 27-04-2017, 2017, Pagina/e 139-144, ISBN 9781-450348997
Editore:
ACM Press
DOI:
10.1145/3053600.3053631
Autori:
José-Ignacio Requeno (ZAR), José Merseguer (ZAR), Simona Bernardi (ZAR)
Pubblicato in:
Proceedings of the 5th IEEE International Workshop on Formal Methods Integration (FMi), Numero 04-08-2017, 2017
Editore:
IEEE
Autori:
Marc Gil, Christophe Joubert, Ismael Torres
Pubblicato in:
Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering Companion - ICPE '17 Companion, 2017, Pagina/e 173-174, ISBN 9781-450348997
Editore:
ACM Press
DOI:
10.1145/3053600.3053633
Autori:
Simona Bernardi (ZAR), Raúl Piracés Alastuey (ZAR), Alejandro Solanas Bonilla (ZAR), Raquel Trillo-Lado (ZAR)
Pubblicato in:
Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'17), Numero 26/06/17, 2017, Pagina/e 229-230
Editore:
CEUR-WS.org
Autori:
Simona Bernardi, Raul Piraces Alastuey, Raquel Trillo-Lado
Pubblicato in:
2017 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW), Numero 26-28/04/2017, 2017, Pagina/e 160-166, ISBN 978-1-5386-2244-5
Editore:
IEEE
DOI:
10.1109/EuroSPW.2017.66
Autori:
Marcello M. Bersani, Francesco Marconi, Matteo Rossi, Madalina Erascu, Silvio Ghilardi
Pubblicato in:
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software - SPIN 2017, 2017, Pagina/e 98-101, ISBN 9781-450350778
Editore:
ACM Press
DOI:
10.1145/3092282.3092300
Autori:
Daniel Pop (IEAT), Gabriel Iuhasz (IEAT), Dana Petcu (IEAT)
Pubblicato in:
Data Science and Big Data Computing: Frameworks and Methodologies, Numero 2016, 2016, Pagina/e tbc
Editore:
Springer Verlag
Autori:
Mersedeh Sadeghi
Pubblicato in:
Politecnico di Milano Master Thesis, Numero 18/09/2015, 2015
Editore:
PMI
Autori:
Saeed Tajfar
Pubblicato in:
Politecnico di Milano Master Thesis, Numero 21/12/2015, 2015
Editore:
PMI
Autori:
Liliane Tueguem
Pubblicato in:
Politecnico di Milano Master Thesis, Numero 21/12/2015, 2015
Editore:
PMI
Autori:
Nemanja Stolic
Pubblicato in:
Politecnico di Milano Master Thesis, Numero 27/04/2016, 2016
Editore:
Politecnico di Milano
Autori:
Camilo Andres Martinez sarmiento
Pubblicato in:
Politecnico di Milano Master Thesis, Numero 27/04/2016, 2016
Editore:
Politecnico di Milano
Autori:
Student: Raúl Piracés Alastuey (University of Zaragoza) Advisors: Simona Bernardi (University of Zaragoza) and Raquel Trillo Lado (University of Zaragoza)
Pubblicato in:
Master Thesis, 2016
Editore:
University of Zaragoza
Autori:
Jacopo Rigoli
Pubblicato in:
Politecnico di Milano Master Thesis, Numero 27/04/2016, 2016
Editore:
Politecnico di Milano
Autori:
Zhu, Lulai.
Pubblicato in:
2016
Editore:
Imperial College
Autori:
Carruthers, Lottie
Pubblicato in:
2016
Editore:
Imperial College
Autori:
Zhai, Yifan.
Pubblicato in:
2016
Editore:
Imperial College
Autori:
Chen, Xidi.
Pubblicato in:
2016
Editore:
Imperial College
Autori:
Phuangjaisri, Phumin
Pubblicato in:
2016
Editore:
Imperial College
Autori:
Jiang Shuai
Pubblicato in:
2015
Editore:
Imperial College
Autori:
Student: Iñigo Gascón Royo (University of Zaragoza) Advisors: José Ignacio Requeno (University of Zaragoza) and José Merseguer (University of Zaragoza)
Pubblicato in:
2017
Editore:
University of Zaragoza
Autori:
Student: Andrés Malo Ascaso (University of Zaragoza) Advisors: José Ignacio Requeno (University of Zaragoza) and José Merseguer (University of Zaragoza)
Pubblicato in:
2017
Editore:
University of Zaragoza
Autori:
Zaigham Mahmood
Pubblicato 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
Editore:
Springer International Publishing
DOI:
10.1007/978-3-319-31861-5
Autori:
Francesco Marconi (PMI)
Pubblicato in:
Proceedings of the Doctoral Symposium of Formal Methods 2016, Numero 2/5/2016, 2016, ISSN 1613-0073
Editore:
CEUR-WS
Autori:
Raúl Piracés Alastuey, Simona Bernardi and Raquel Trillo Lado
Pubblicato 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
Editore:
Centro Universitario de la Defensa de San Javier, 2016.
Autori:
José Merseguer (ZAR)
Pubblicato in:
Numero September 14th 2017. (From 9:00 to 14:00), 2017
Editore:
Zaragoza, Spain
È in corso la ricerca di dati su OpenAIRE...
Si è verificato un errore durante la ricerca dei dati su OpenAIRE
Nessun risultato disponibile