CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.
Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .
Resultado final
First release of the Periodic Activity Report
Periodic Cost Statements Report - First Release (se abrirá en una nueva ventana)Cost Statement Report - first period
DSVL Syntax and Semantics specifications v.1.0 (se abrirá en una nueva ventana)This documents defines the DSVL Language Syntax and Semantics
Final Requirements specifications for the DSVL (se abrirá en una nueva ventana)Final version of D1.1 - Final Requirements specifications for the DSVL
Engineering Methodology and Processes Guidelines for DSVL v.2.0 (se abrirá en una nueva ventana)Final version of D3.1
Dissemination and Exploitation Plan v.1.0 (se abrirá en una nueva ventana)First version of the Dissemination and Exploitation Plan
Incremental Validation Techniques of Variability Models v.1.0 (se abrirá en una nueva ventana)This document contains the results of the verification techniques, such as SAT-solving or CSP-solving, used to validate the variability model defined in the DSVL.
Project Handbook (se abrirá en una nueva ventana)This deliverable includes the project plan and the website for the management of deliverables, sharing of information and documents among partners.
Hybrid Product Reconfiguration Design Guidelines v.1.0 (se abrirá en una nueva ventana)This document containts the product reconfiguration algorithm for hybrid variability selection. This algorithm is hybrid as it combines the variability model, the specific instance configuration, and contextual information from sensor data streams to decide on how a given product configuration should evolve.
Communication Strategy & Plan v.2.0 (se abrirá en una nueva ventana)Second version of Communication Strategy & Plan - D2.1
Virtualized Product Reconfiguration Algorithm Description v.2.0 (se abrirá en una nueva ventana)Final version of D4.2
Periodic Cost Statements Report – Second release (se abrirá en una nueva ventana)Periodic Cost Statements Report
Engineering Methodology and Processes Guidelines for DSVL v.1.0 (se abrirá en una nueva ventana)This document contains the engineering guidelines and processes to apply the DSVL (developed in WP2) in industrial practice
Hybrid Product Reconfiguration Design Guidelines v.2.0 (se abrirá en una nueva ventana)FInal version of D4.1
Dissemination and Exploitation Plan v. 2.0 (se abrirá en una nueva ventana)Second version of Dissemination and Exploitation Plan - D2.2
Validation/Test suites against Variability Models v.2.0 (se abrirá en una nueva ventana)Final version of D.3.3
Requirements specifications for the DSVL v.1.0 (se abrirá en una nueva ventana)This document contains the requirements for the DSVL sublanguage describing variability models and the DSVL sublanguage for expressing the code base. First version
Updated Requirements, Syntax and Semantics and Variability Mining methodology specifications v.2.0 (se abrirá en una nueva ventana)This documents contains Requirements, Syntax and Semantics and Variability Mining methodology specifications in its second version (as an update from D2.1, D2.2 and D3.3)
Scalability Validation/Test Suite v.2.0 (se abrirá en una nueva ventana)Final version of D4.3
Final DSVL Syntax and Semantics specifications (se abrirá en una nueva ventana)Final DSVL Syntax and Semantics specifications - update from D2.2 and D2.4
Virtualized Product Reconfiguration Algorithm Description v.1.0 (se abrirá en una nueva ventana)This docuemtn contains the guidelines with the elastic and scalable parallelization of the hybrid reconfiguration algorithm as defined in D4.2
Dissemination and Exploitation Plan - Final Release (se abrirá en una nueva ventana)Final release of the Dissemination and Exploitation Plan, including a detailed Business Plan
Incremental Validation Techniques of Variability Models v.2.0 (se abrirá en una nueva ventana)Final updated version of D3.2
Variability Mining methodology specifications v.1.0 (se abrirá en una nueva ventana)This documents describers the Variability Mining methodology and its specifications for the developments activitiies- First version
Periodic Activity Report – Second release (se abrirá en una nueva ventana)Second release of the Periodic Activity Report
Scalability Validation/Test Suite v.1.0 (se abrirá en una nueva ventana)This document formalises the virtualized reconfiguration algorithm to experiment with its elastic and scalable behaviour. This formalization allows predictions of how to optimally scale the reconfiguration algorithm and further to identify the requirements to the cloud infrastructure on which the algorithm will be deployed
Final Variability Mining methodology specifications (se abrirá en una nueva ventana)Final Variability Mining methodology specifications - update from D2.3 and D2.4
Communication Strategy & Plan - Final Release (se abrirá en una nueva ventana)Final version of Communication Strategy & Plan
This deliverable includes the software modules (source code and executables) that implement the inventory system and the software manager in the cloud-based environment.
DSVL Tool Chain software modules v.2.0 (se abrirá en una nueva ventana)Final version of the DSVL tool chain
DSVL Tool Chain software modules v.1.0 (se abrirá en una nueva ventana)This deliverable includes the software modules which implements the DSVL tool chain in the target devices.
Cloud-based inventory system and software manager v.2.0 (se abrirá en una nueva ventana)FInal version of the inventory system and the software manager
This deliverable contains the setup and results of the end-to-end demonstrator applied to the complete demonstration scenario
MSPL demonstrator Results v2.0 (se abrirá en una nueva ventana)Final versione of D6.2
Technical and Business Evaluation Report (se abrirá en una nueva ventana)This task includes the activities of evaluation of the results from the demonstrator’s execution and the analysis of scalability and resilience of distributed software, with the objective to refine the software prototypes. The evaluation will include also the analysis of results from the usability tests and a business evaluation of the more relevant features supporting the commercial exploitation.
End-to-end Demonstrator Results v.2.0 (se abrirá en una nueva ventana)Final version of D6.3
Demonstrator System Model v.1.0 (se abrirá en una nueva ventana)In this deliverable it will be defined a fragment of the concrete applicative scenario that is suitable for demonstration and evaluation, covering: - An overall end-to-end demonstration scenario, where variables such as number of ECU, heterogeneity and complex updating procedures (i.e. multiple nodes) will be evaluated to properly address scalability and resilience KPIs. - the set of MM ECUs considered by the demonstrator -a set of variants of the software for each ECU together with the cross-ECUs dependencies, -the relevant data that must be collected from the ECUs, -an evolution of the ECUs’ software and data that must be collected. One of the ECUs will be a TCU that will play the role of gateway between the cloud and the vehicle. Within the scope of demonstrator, TCUs will be used as physical equivalents of other vehicle ECUs.
Demonstrator System Model v.2.0 (se abrirá en una nueva ventana)Final version of D6.1
MSPL demonstrator Results v1.0 (se abrirá en una nueva ventana)This deliverable contains the results from the MSPL demonstrator.
The preliminary communication activities plan presented in Section 2 of the DOW will be extended and detailed by the HyVar consortium partners during project execution. The plan will be released in three phases, one per year, including activities for all the three industries identified. The plan will include a description of the communication activities to be developed, including blog posts, popular media articles, and conferences/seminars.
Project external website (se abrirá en una nueva ventana)This deliverable includes the set-up and initial publishing of the HyVar website
This deliverable contains the Data Management Plan accordingy to H2020 guidelines.
Publicaciones
Autores:
Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
Publicado en:
Logic-Based Program Synthesis and Transformation, 2015, Página(s) 349-364, ISBN 978-3-319-27436-2
Editor:
Springer International Publishing
DOI:
10.1007/978-3-319-27436-2_21
Autores:
Maurice H. ter Beek, Ferruccio Damiani, Stefania Gnesi, Franco Mazzanti, Luca Paolini
Publicado en:
Software Engineering and Formal Methods, 2015, Página(s) 344-359, ISBN 978-3-319-22969-0
Editor:
Springer International Publishing
DOI:
10.1007/978-3-319-22969-0_24
Autores:
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jakšić, Jovanka Pantović, Nobuko Yoshida
Publicado en:
Theory and Practice of Formal Methods, 2016, Página(s) 155-172, ISBN 978-3-319-30734-3
Editor:
Springer International Publishing
DOI:
10.1007/978-3-319-30734-3_12
Autores:
Jia-Chun Lin, Ingrid Chieh Yu, Einar Broch Johnsen, Ming-Chang Lee
Publicado en:
Fundamental Approaches to Software Engineering, 2016, Página(s) 49-65, ISBN 978-3-662-49665-7
Editor:
Springer Berlin Heidelberg
DOI:
10.1007/978-3-662-49665-7_4
Autores:
Stijn de Gouw, Michael Lienhardt, Jacopo Mauro, Behrooz Nobakht, Gianluigi Zavattaro
Publicado en:
Service Oriented and Cloud Computing, 2015, Página(s) 49-64, ISBN 978-3-319-24072-5
Editor:
Springer International Publishing
DOI:
10.1007/978-3-319-24072-5_4
Autores:
Roberto Di Cosmo, Antoine Eiche, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro, Jakub Zwolakowski
Publicado en:
Service-Oriented Computing, 2015, Página(s) 397-411, ISBN 978-3-662-48616-0
Editor:
Springer Berlin Heidelberg
DOI:
10.1007/978-3-662-48616-0_28
Autores:
Ferruccio Damiani, Mirko Viroli, Danilo Pianini, Jacob Beal
Publicado en:
Formal Techniques for Distributed Objects, Components, and Systems, 2015, Página(s) 113-128, ISBN 978-3-319-19195-9
Editor:
Springer International Publishing
DOI:
10.1007/978-3-319-19195-9_8
Autores:
Ferruccio Damiani, Michael Lienhardt
Publicado en:
Integrated Formal Methods, 2016, Página(s) 47-62, ISBN 978-3-319-33693-0
Editor:
Springer International Publishing
DOI:
10.1007/978-3-319-33693-0_4
Autores:
Maurizio Gabbrielli, Saverio Giallorenzo, Claudio Guidi, Jacopo Mauro, Fabrizio Montesi
Publicado en:
Theory and Practice of Formal Methods, 2016, Página(s) 194-210, ISBN 978-3-319-30734-3
Editor:
Springer International Publishing
DOI:
10.1007/978-3-319-30734-3_14
Autores:
Ina Schaefer, Christoph Seidl, Loek Cleophas, Bruce W. Watson
Publicado en:
Software Reuse: Bridging with Social-Awareness, 2016, Página(s) 63-70, ISBN 978-3-319-35122-3
Editor:
Springer International Publishing
DOI:
10.1007/978-3-319-35122-3_5
Autores:
Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen
Publicado en:
Lecture Notes in Computer Science, 2016, ISBN 978-3-319-30734-3
Editor:
Springer International Publishing
DOI:
10.1007/978-3-319-30734-3
Autores:
Uwe Lesta, Ina Schaefer, Tim Winkelmann
Publicado en:
Electronic Proceedings in Theoretical Computer Science, Edición 182, 2015, Página(s) 31-43, ISSN 2075-2180
Editor:
Electronic Proceedings in Theoretical Computer Science
DOI:
10.4204/EPTCS.182.3
Autores:
Ferruccio Damiani, David Faitelson, Christoph Gladisch, Shmuel Tyszberowicz
Publicado en:
Software & Systems Modeling, 2016, ISSN 1619-1366
Editor:
Springer Verlag
DOI:
10.1007/s10270-016-0516-2
Autores:
Ferruccio Damiani, Mirko Viroli
Publicado en:
Logical Methods in Computer Science, 2015, ISSN 1860-5974
Editor:
Technischen Universitat Braunschweig
Autores:
Ferruccio Damiani, Michael Lienhardt
Publicado en:
Electronic Proceedings in Theoretical Computer Science, Edición 206, 2016, Página(s) 2-16, ISSN 2075-2180
Editor:
Springer
DOI:
10.4204/EPTCS.206.2
Autores:
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro
Publicado en:
Electronic Proceedings in Theoretical Computer Science, Edición 211, 2016, Página(s) 1-12, ISSN 2075-2180
Editor:
Electronic Proceedings in Theoretical Computer Science
DOI:
10.4204/EPTCS.211.1
Autores:
Ferruccio Damiani, Mirko Viroli, Jacob Beal
Publicado en:
Science of Computer Programming, Edición 117, 2016, Página(s) 17-44, ISSN 0167-6423
Editor:
Elsevier BV
DOI:
10.1016/j.scico.2015.11.005
Autores:
Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri
Publicado en:
Electronic Proceedings in Theoretical Computer Science, Edición 211, 2016, Página(s) 25-36, ISSN 2075-2180
Editor:
Electronic Proceedings in Theoretical Computer Science
DOI:
10.4204/EPTCS.211.3
Autores:
Mirko Viroli, Jacob Beal, Ferruccio Damiani, Danilo Pianini
Publicado en:
2015 IEEE 9th International Conference on Self-Adaptive and Self-Organizing Systems, 2015, Página(s) 81-90, ISBN 978-1-4673-7535-1
Editor:
IEEE
DOI:
10.1109/SASO.2015.16
Autores:
Roberto Amadini, Fabio Biselli, Maurizio Gabbrielli, Tong Liu, Jacopo Mauro
Publicado en:
2015 IEEE 27th International Conference on Tools with Artificial Intelligence (ICTAI), 2015, Página(s) 25-32, ISBN 978-1-5090-0163-7
Editor:
IEEE
DOI:
10.1109/ICTAI.2015.18
Autores:
Michael Nieke, Christoph Seidl, Sven Schuster
Publicado en:
Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems - VaMoS '16, 2016, Página(s) 73-80, ISBN 9781-450340199
Editor:
ACM Press
DOI:
10.1145/2866614.2866625
Autores:
Jacopo Mauro, Michael Nieke, Christoph Seidl, Ingrid Chieh Yu
Publicado en:
Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems - VaMoS '16, 2016, Página(s) 41-48, ISBN 9781-450340199
Editor:
ACM Press
DOI:
10.1145/2866614.2866620
Autores:
Christoph Seidl, Sven Schuster, Ina Schaefer
Publicado en:
Proceedings of the 2015 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences - GPCE 2015, 2015, Página(s) 151-160, ISBN 9781-450336871
Editor:
ACM Press
DOI:
10.1145/2814204.2814212
Autores:
Ina Schaefer, Christoph Seidl, Loek Cleophas, Bruce W. Watson
Publicado en:
Proceedings of the 2015 Annual Research Conference on South African Institute of Computer Scientists and Information Technologists - SAICSIT '15, 2015, Página(s) 1-10, ISBN 9781-450336833
Editor:
ACM Press
DOI:
10.1145/2815782.2815799
Autores:
David Wille, Sandro Schulze, Christoph Seidl, Ina Schaefer
Publicado en:
2016 IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering (SANER), 2016, Página(s) 271-282, ISBN 978-1-5090-1855-0
Editor:
IEEE
DOI:
10.1109/SANER.2016.13
Autores:
Christoph Seidl, Tim Winkelmann, Ina Schaefer
Publicado en:
Modellierung 2016, 2016
Editor:
Lecture Notes in Informatics (LNI)
Autores:
Tim Winkelmann, Jonathan Koscielny, Christoph Seidl, Sven Schuster, Ferruccio Damiani, Ina Schaefer
Publicado en:
Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016 - Workshops of the Conference on Software Engineering, SE-WS 2016, 2016
Editor:
CEUR-WS
Autores:
Cristina Chesta, Ferruccio Damiani, Liudmila Dobriakova, Marco Guernieri, Simone Martini, Michael Nieke, Vítor Rodrigues, Sven Schuster
Publicado en:
Proc. 7TH International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016), 2016, Página(s) 497-511
Editor:
Springer International Publishing
DOI:
10.1007/978-3-319-47169-3_40
Autores:
Castellani, Ilaria; Dezani-Ciancaglini, Mariangiola; Giannini, Paola
Publicado en:
Leibniz International Proceedings in Informatics (LIPIcs), Edición 1, 2017
Editor:
Dagstuhl Publishing
DOI:
10.4230/LIPIcs.CONCUR.2017.30
Autores:
Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
Publicado en:
Lecture Notes in Computer Science, 2017, Página(s) 59-77, ISBN 978-3-319-59745-4
Editor:
Springer International Publishing
DOI:
10.1007/978-3-319-59746-1_4
Buscando datos de OpenAIRE...
Se ha producido un error en la búsqueda de datos de OpenAIRE
No hay resultados disponibles