Leistungen
This document describes the AMASS standardization activities and results, and provides a systematic roadmap for the follow-up of AMASS. It also contains recommendations of the Advisory Board for improving the AMASS adoption in specific standardization bodies.
Baseline and requirements for seamless interoperabilityThis deliverable is the output of task 5.1. This deliverable reports on the baseline for seamless interoperability and on the identified gaps with current approaches and technological solutions, as well as on the requirements for seamless interoperability in the AMASS tool platform.
Design of the AMASS tools and methods for architecture-driven assurance (b)This deliverable is the output of task 3.2. It will report the design of the architecture-driven assurance prototype, including its conceptual aspects and tool intrastructure in the form of CACM models, iteration (b).
Standardization PlanThis document identifies possible applicable AMASS standardization targets. It also contains a preliminary roadmap how and when to approach the standardization committees or harmonize existing and upcoming standardization activities if required. It contains a report on standardization activities as well.
AMASS reference architecture (c)This deliverable (incremental version c) provides the AMASS architecture specification from different points of view: logical, interaction and physical/deployment. It contains the specifications to get a coherent integration beween the various AMASS building blocks.
AMASS solution benchmarkingThis deliverable reports the assessment of the development methodology and runtime implementation of the case studies over the AMASS platform. It results from the benchmarking exercise. It also compares results achieved thanks to AMASS with former state of the art for reference case studies.
AMASS user guidance and methodological frameworkThis deliverable will supply the entire project with the overall methodology for AMASS, including the steps of the proposed process and the interfaces between the steps. It will also include guidance for AMASS platform users and developers.
Design of the AMASS tools and methods for multiconcern assurance (b)This deliverable is the output of task 4.2. In this deliverable, we will present the conceptual approach for multi-concern assurance, in the form of CACM models and vocabulary for the relevant assurance concerns with respect to the target domains and case studies and a revised compositional framework to support multiple viewpoints and trade-offs. This deliverable will be developed incrementally, with revisions to the approach made after validation from the implementation.
Standardization SurveyThis document identifies involvement of AMASS partners in standardization activities, including active standardization contributions, status as followers or users as well. It contains a report on existing standardization activities and outcomes as well.
Dissemination and Training Progress (c)This deliverable reports progress on dissemination and training activities.
Design of the AMASS tools and methods for seamless interoperability (b)This deliverable is the output of task 5.2. This deliverable reports on the design of the seamless interoperability tool support. It will contain metamodel(s) such as contributions for CACM, interfaces, format specifications, and the tool architect. This deliverable will be developed incrementally, with revisions to the approach made after validation from the implementation.
Methodological guide for architecture-driven assurance (b)This deliverable is the output of task 3.4. It will report on the progress of the guidelines for applying the system architecture-driven assurance approach, iteration (b).
Dissemination and Training Progress (a)This deliverable reports progress on dissemination and training activities.
Design of the AMASS tools and methods for cross/intra-domain reuse (b)This deliverable is the output of task 6.2. This deliverable reports on the design of the reuse-enabler prototype. It will especially contain metamodel(s), model-transformations, ontologies. This deliverable will be developed incrementally, with revisions to the approach made after validation from the implementation.
Exploitation Results and Final Market Megatrends AnalysisAn updated version of D8.2 including detailed SWOT analysis for each domain. Each partner will provide results and progress against initial exploitation plans, and future plans beyond the life of the project.
Methodological guide for cross/intra-domain reuse (b)This deliverable is the output of task 6.4. This deliverable will provide detailed information about how to use the reuse-enabler tool support and how to apply the underlying approach.
AMASS open source platform project proposalThe first step of the Eclipse Development Process is to create and publish a project proposal for review by the community at large. This deliverable will be the first step to create the AMASS open source platform, and will define and explain the scope of the project to the worldwide Eclipse community.
Business cases and high-level requirementsThis deliverable will summarize business cases and all collected customer needs for using the AMASS solutions. It will also describe the high-level technical requirements for the AMASS technical work packages. This document will evolve during the project life as requirements are adjusted, refined, and assessed.
AMASS platform validationThis report will provide information about the results of the AMASS tool platform testing and the accomplishment of AMASS high-level requirements.
Exploitation Plans and Initial Market Megatrends Analysis (a)A set of exploitation plans, with contributions per partner (adapted as needed for industrial vs academic needs). This deliverable provides first draft of overall market analysis with respect to CPS products. It shall include preliminary information concerning domain specific mega trends and market turbulences.
Evaluation framework and quality metricsIt reports the guidelines that will be used by different evaluators to carry out a harmonized assessment of the AMASS methodology and platform. In addition the deliverable will define the quality metrics to measurement the achievement of AMASS project regarding the propose objectives.
External advisory board and industrial adoption program roadmapThis deliverable will define the plan for task T7.1 and T7.2.
Dissemination and Training PlanThis deliverable lists planned activities for dissemination of project results, identifies needs for project internal training as well as internal/external training related to concepts and technologies developed within the project.
Baseline and requirements for cross/intra-domain reuseThis deliverable is the output of task 6.1. This deliverable reports on the baseline for enabling cross and intra domain reuse, the identified gaps with current approaches and technological solutions as well as on the requirements for the AMASS prototype.
AMASS open source platform marketing and outreach planAMASS open source platform marketing and outreach plan (report) This deliverable will define a plan for promoting the AMASS open source platform in task T7.3.
Baseline and requirements for architecture-driven assuranceThis deliverable is the output of task 3.1. It will set the baseline from the system architecture-driven assurance will be developed and will specify the requirements that it has to meet.
Exploitation Plans and Initial Market Megatrends Analysis (b)A set of exploitation plans, with contributions per partner (adapted as needed for industrial vs academic needs). Second version of the deliverable includes refined domain specific market analysis. Market entry strategies for every partner. Expected barriers to market entry. Expected commercial advantages for every partner (through revenue generation, increased productivity, increased value proposition etc.).
Baseline and requirements for multiconcern assuranceThis deliverable is the output of task 4.1. This deliverable will present the results of the state-of-the-art survey of multi-concern assurance. It will focus on the identification of relevant assurance concerns for inclusion in the AMASS framework, and on the identification of areas where the “mapping” technology developed in OPENCOSS can most effectively be deployed in AMASS.
Methodological guide for multiconcern assurance (b)This deliverable is the output of task 4.4. It will report on the progress of the guidelines for applying the system architecture-driven assurance approach. This report will present guidance on the use of the conceptual approach and prototype tool, aimed at users argument developers and project engineers. Two iterations of this deliverable will be produced. This second iteration, at the end of the project, is to assist in wider technology transfer after AMASS.
External advisory board and industrial adoption program reportAt the end of the project, this report will document the actions taken and their results to coordinate the external advisory board in task T7.1 and to improve industrial adoption of AMASS in task T7.2.
Case studies description and business impactSpecification of the industrial case studies as required for covering the different aspects of the project and that are required to measure the AMASS platform improvements and to demonstrate them. Analysis of the case studies to harmonize common and specific requirements from the different application domains.
Methodological guide for seamless interoperability (b)This deliverable is the output of task 5.4. This deliverable will provide detailed information about how to use the seamless interoperability tool support and how to apply the underlying approach.
Dissemination and Training Progress (b)This deliverable reports progress on dissemination and training activities.
This deliverable will demonstrate the AMASS solutions in the different application domains. These demonstrators include the full development of the three prototype iterations. This is iteration (c).
Integrated AMASS platform (b)This prototype will be incrementally released in three iterations, as result of the validation tasks. It represents the whole AMASS tool platform, iteration (b).
Prototype for multiconcern assurance (c)This deliverable is the output of the task 4.3. The third iteration implements incrementally the AMASS-specific building blocks according to the high-level requirements specification and implementation roadmap defined in WP2 (T2.1).
AMASS open source platform provisioning and website (c)This deliverable of task T7.3 will be coordinated with D2.4 and coordinate all the non-software artefacts of the AMASS open source platform including the project website. As with D2.4 this deliverable will be produced in three different iterations.
Prototype for architecture-driven assurance (b)This deliverable is the output of the task 3.3. The second iteration implements incrementally the AMASS-specific building blocks according to the high-level requirements specification and implementation roadmap defined in WP2 (T2.1).
Prototype for architecture-driven assurance (c)This deliverable is the output of the task 3.3. The third iteration implements incrementally the AMASS-specific building blocks according to the high-level requirements specification and implementation roadmap defined in WP2 (T2.1).
Prototype for seamless interoperability (c)This deliverable is the output of the task 5.3. Three prototype iterations are planned. The third iteration implements incrementally the AMASS-specific building blocks according to the high-level requirements specification and implementation roadmap defined in WP2 (T2.1).
Prototype for cross/intra-domain reuse (c)This deliverable is the output of the task 6.3. This deliverable represents the tools for reuse-enabler prototype. Three prototype iterations are planned. The third iteration implements incrementally the AMASS-specific building blocks according to the high-level requirements specification and implementation roadmap defined in WP2 (T2.1).
Integrated AMASS platform (a)This prototype will be incrementally released in three iterations, as result of the validation tasks. It represents the whole AMASS tool platform, iteration (a).
Prototype for multiconcern assurance (b)This deliverable is the output of the task 4.3. The first second iteration implements incrementally the AMASS-specific building blocks according to the high-level requirements specification and implementation roadmap defined in WP2 (T2.1).
Prototype for cross/intra-domain reuse (b)This deliverable is the output of the task 6.3. This deliverable represents the tools for reuse-enabler prototype. Three prototype iterations are planned. The second iteration implements incrementally the AMASS-specific building blocks according to the high-level requirements specification and implementation roadmap defined in WP2 (T2.1).
Integrated AMASS platform (c)This prototype will be incrementally released in three iterations, as result of the validation tasks. It represents the whole AMASS tool platform, iteration (c).
AMASS open source platform provisioning and website (a)This deliverable of task T7.3 will be coordinated with D2.4 and coordinate all the non-software artefacts of the AMASS open source platform including the project website. As with D2.4 this deliverable will be produced in three different iterations.
Prototype for architecture-driven assurance (a)This deliverable is the output of the task 3.3. The first iteration will release the basic building blocks (Prototype: Core) as a consolidation/integration of previous projects.
AMASS demonstrators (a)This deliverable will demonstrate the AMASS solutions in the different application domains. These demonstrators include the full development of the three prototype iterations (at the end of each relevant milestone M2-M4) as described in Section 1.3.6. This is iteration (a) of the prototype.
AMASS open source platform provisioning and website (b)This deliverable of task T7.3 will be coordinated with D2.4 and coordinate all the non-software artefacts of the AMASS open source platform including the project website. As with D2.4 this deliverable will be produced in three different iterations.
Prototype for multiconcern assurance (a)This deliverable is the output of the task 4.3. The first iteration will release the basic building blocks (Prototype: Core) as a consolidation/integration of previous projects.
Prototype for seamless interoperability (b)This deliverable is the output of the task 5.3. Three prototype iterations are planned. The second iteration implements incrementally the AMASS-specific building blocks according to the high-level requirements specification and implementation roadmap defined in WP2 (T2.1).
Prototype for cross/intra-domain reuse (a)This deliverable is the output of the task 6.3. This deliverable represents the tools for reuse-enabler prototype. Three prototype iterations are planned. The first iteration will release the basic building blocks (Prototype: Core) as a consolidation/integration of previous projects.
AMASS demonstrators (b)This deliverable will demonstrate the AMASS solutions in the different application domains. These demonstrators include the full development of the three prototype iterations. This is iteration (b).
Prototype for seamless interoperability (a)This deliverable is the output of the task 5.3. Three prototype iterations are planned. The first iteration will release the basic building blocks (Prototype: Core) as a consolidation/integration of previous projects.
Veröffentlichungen
Autoren:
Jose Luis de la Vara, Alejandra Ruiz and Gaël Blondelle
Veröffentlicht in:
Journal of Systems and Software, Ausgabe Volume 171, 2021, Seite(n) 110812, ISSN 0164-1212
Herausgeber:
Elsevier BV
DOI:
10.1016/j.jss.2020.110812
Autoren:
Barbara Gallina
Veröffentlicht in:
Journal of Software: Evolution and Process, Ausgabe vol. 32, no. 3, 2020, Seite(n) e2212, ISSN 2047-7473
Herausgeber:
wiley
DOI:
10.1002/smr.2212
Autoren:
Capilla, Rafael and Gallina, Barbara and Cetina, Carlos and Favaro, John
Veröffentlicht in:
Journal of Software: Evolution and Process, Ausgabe Volume 31, Ausgabe 8, 2019, ISSN 2047-7473
Herausgeber:
Wiley
DOI:
10.1002/smr.2217
Autoren:
Jose Luis de la Vara, Beatriz Marín, Clara Ayora and Giovanni Giachetti
Veröffentlicht in:
Information and Software Technology, 2020, ISSN 0950-5849
Herausgeber:
Elsevier BV
DOI:
10.1016/j.infsof.2020.106351
Autoren:
Sami Alajrami, Barbara Gallina, Alexander Romanovsky
Veröffentlicht in:
International Journal of Networked and Distributed Computing, Ausgabe 5/4, 2017, Seite(n) 221, ISSN 2211-7946
Herausgeber:
Atlantis Press
DOI:
10.2991/ijndc.2017.5.4.4
Autoren:
Jose Luis de la Vara, Gonzalo Génova, Jose María Álvarez-Rodríguez, Juan Llorens
Veröffentlicht in:
Computer Standards & Interfaces, Ausgabe 50, 2017, Seite(n) 179-198, ISSN 0920-5489
Herausgeber:
Elsevier BV
DOI:
10.1016/j.csi.2016.10.002
Autoren:
Álvarez-Rodríguez, J.M., Mendieta, R., de la Vara, J.L., Fraga, A., Llorens, J.
Veröffentlicht in:
Journal of Universal Computer Science, Ausgabe 24(11), 2018, Seite(n) 1536-1560, ISSN 0948-6968
Herausgeber:
Springer Verlag
DOI:
10.3217/jucs-024-11-1536
Autoren:
Barbara Gallina, Elena Gómez-Martínez, Clara Benac-Earle
Veröffentlicht in:
Computer Standards & Interfaces, 2016, ISSN 0920-5489
Herausgeber:
Elsevier BV
DOI:
10.1016/j.csi.2016.11.007
Autoren:
Irfan Šljivo, Garazi Juez Uriagereka, Stefano Puri, Barbara Gallina
Veröffentlicht in:
Journal of Systems Architecture, Ausgabe Volume 110, 2020, 101765,, 2020, ISSN 1383-7621
Herausgeber:
Elsevier BV
DOI:
10.1016/j.sysarc.2020.101765
Autoren:
M. Adedjouma, N. Yakymets
Veröffentlicht in:
19th IEEE International Symposium on High Assurance Systems Engineering (HASE) 2019, Ausgabe Year: 2019, Volume: 1, 2019, Seite(n) Pages: 82-89
Herausgeber:
IEEE
DOI:
10.1109/hase.2019.00022
Autoren:
F. UL Muram and B. Gallina and S. Kanwal
Veröffentlicht in:
3rd International Conference Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification (RSS-Rai), 2019, ISBN 978-3-030-18744-6
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-18744-6_8
Autoren:
Julieth Patricia Castellanos Ardila and Barbara Gallina and Guido Governatori
Veröffentlicht in:
2nd Workshop on TeReCom - Technologies for Regulatory Compliance, Ausgabe 2018. p. 5-16, 2018
Herausgeber:
CEUR Workshop Proceedings, ISSN 1613-0073 ; 2309
Autoren:
H. Martin, R. Bramberger, C. Schmittner, Z. Ma, T. Gruber, A. Ruiz, G. Macher
Veröffentlicht in:
6th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR 2017), Ausgabe LNCS 10489, 2017, Seite(n) 286-297, ISBN 978-3-319-66283-1
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-66284-8_24
Autoren:
Irfan Sljivo, Barbara Gallina, Bernhard Kaiser
Veröffentlicht in:
6th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR 2017), Ausgabe LNCS 10489, 2017, Seite(n) 317-329, ISBN 978-3-319-66283-1
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-66284-8_27
Autoren:
Carmen Cârlan, Barbara Gallina, Severin Kacianka, Ruth Breu
Veröffentlicht in:
36th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2017), Ausgabe LNCS 10488, 2017, Seite(n) 39-54, ISBN 978-3-319-66265-7
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-66266-4_3
Autoren:
Sami Alajrami, Barbara Gallina, Alexander Romanovsky
Veröffentlicht in:
15th International Conference on Software Engineering Research, Management and Applications (SERA 2017), 2017, Seite(n) 179-192, ISBN 978-3-319-61387-1
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-61388-8_11
Autoren:
Jaroslav Bendík
Veröffentlicht in:
Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis - ISSTA 2017, 2017, Seite(n) 408-411, ISBN 9781-450350761
Herausgeber:
ACM Press
DOI:
10.1145/3092703.3098239
Autoren:
Timo Varkoi, Timo Mäkinen, Barbara Gallina, Frank Cameron, Risto Nevalainen
Veröffentlicht in:
24th European & Asian Systems, Software & Service Process Improvement & Innovation (EuroSPI&Asia2-2017), Ausgabe CCIS 478, 2017, Seite(n) 83-95, ISBN 978-3-319-64217-8
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-64218-5_7
Autoren:
Julieth Patricia Castellanos Ardila, Barbara Gallina
Veröffentlicht in:
24th European & Asian Systems, Software & Service Process Improvement & Innovation (EuroSPI&Asia2-2017), Ausgabe CCIS 748, 2017, Seite(n) 162-174, ISBN 978-3-319-64217-8
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-64218-5_13
Autoren:
Garazi Juez Uriagereka, Ray Lattarulo, Joshue Perez Rastelli, Estibaliz Amparan Calonge, Alejandra Ruiz Lopez, Huascar Espinoza Ortiz
Veröffentlicht in:
2017 IEEE Intelligent Vehicles Symposium (IV), 2017, Seite(n) 1867-1872, ISBN 978-1-5090-4804-5
Herausgeber:
IEEE
DOI:
10.1109/ivs.2017.7995977
Autoren:
Garazi Juez, Estibaliz Amparan, Ray Lattarulo, Joshue Perez Rastelli, Alejandra Ruiz, Huascar Espinoza
Veröffentlicht in:
2017 IEEE International Conference on Vehicular Electronics and Safety (ICVES), 2017, Seite(n) 214-219, ISBN 978-1-5090-5677-4
Herausgeber:
IEEE
DOI:
10.1109/icves.2017.7991928
Autoren:
Jose Luis de la Vara, Álvaro Gómez, Elena Gallego, Gonzalo Génova, Anabel Fraga
Veröffentlicht in:
6th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR 2017), Ausgabe LNCS 10489, 2017, Seite(n) 265-272, ISBN 978-3-319-66283-1
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-66284-8_22
Autoren:
Leonardo Montecchi, Barbara Gallina
Veröffentlicht in:
5th International Symposium on Model-Based Safety and Assessment (IMBSA 2017), Ausgabe LNCS 10437, 2017, Seite(n) 129-144, ISBN 978-3-319-64118-8
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-64119-5_9
Autoren:
Garazi Juez, Estíbaliz Amparan, Ray Lattarulo, Alejandra Ruíz, Joshué Pérez, Huáscar Espinoza
Veröffentlicht in:
36th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2017), Ausgabe LNCS 10488, 2017, Seite(n) 255-269, ISBN 978-3-319-66265-7
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-66266-4_17
Autoren:
Schoitsch Erwin
Veröffentlicht in:
Interdisciplinary Information Management Talks, 2017
Herausgeber:
Trauner Verlag
DOI:
10.5281/zenodo.1043959
Autoren:
Jose Luis de la Vara, Beatriz Marín, Clara Ayora, Giovanni Giachetti
Veröffentlicht in:
Conceptual Modeling - 36th International Conference, ER 2017, Ausgabe LNCS 10650, 2017, Seite(n) 239-247, ISBN 978-3-319-69903-5
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-69904-2_20
Autoren:
Jose Luis de la Vara, Alejandra Ruiz, Huáscar Espinoza
Veröffentlicht in:
Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018, Seite(n) 632-641, ISBN 978-989-758-283-7
Herausgeber:
SCITEPRESS - Science and Technology Publications
DOI:
10.5220/0006733906320641
Autoren:
Ezio Bartocci, Thomas Ferrère, Niveditha Manjunath, Dejan Ničković
Veröffentlicht in:
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) - HSCC '18, 2018, Seite(n) 197-206, ISBN 9781-450356428
Herausgeber:
ACM Press
DOI:
10.1145/3178126.3178131
Autoren:
J.P. Castellanos Ardila, B. Gallina
Veröffentlicht in:
1st Workshop on Technologies for Regulatory Compliance (TeReCom), 2017
Herausgeber:
CEUR Workshop Proceedings
Autoren:
Sami Alajrami, Alexander Romanovsky, Barbara Gallina
Veröffentlicht in:
Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018, Seite(n) 203-212, ISBN 978-989-758-283-7
Herausgeber:
SCITEPRESS - Science and Technology Publications
DOI:
10.5220/0006607902030212
Autoren:
B. Gallina, Z. Haider, A. Carlsson
Veröffentlicht in:
2nd International Conference on Reliability Engineering (ICRE 2017), 2017
Herausgeber:
IOP Conference Series: Materials Science and Engineering
Autoren:
Barbara Gallina, Mattias Nyberg
Veröffentlicht in:
2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2017, Seite(n) 325-330, ISBN 978-1-5386-2387-9
Herausgeber:
IEEE
DOI:
10.1109/issrew.2017.41
Autoren:
Julieth Patricia Castellanos Ardila, Barbara Gallina
Veröffentlicht in:
2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2017, Seite(n) 317-324, ISBN 978-1-5386-2387-9
Herausgeber:
IEEE
DOI:
10.1109/issrew.2017.33
Autoren:
Jose Luis de la Vara, Beatriz Marin, Giovanni Giachetti, Clara Ayora
Veröffentlicht in:
Proceedings of the 10th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement - ESEM '16, 2016, Seite(n) 1-6, ISBN 9781-450344272
Herausgeber:
ACM Press
DOI:
10.1145/2961111.2962621
Autoren:
B. Gallina, J.P. Castellanos Ardila, M. Nyberg
Veröffentlicht in:
4th International Workshop on Critical Automotive Applications: Robustness & Safety (CARS), 2016
Herausgeber:
HAL
Autoren:
Erwin Schoitsch
Veröffentlicht in:
IDIMT 2016: 24th Interdisciplinary Information Management Talks, Ausgabe Schriftenreihe Informatik 45, 2016, Seite(n) 405-423, ISBN 978-3-99033-869-8
Herausgeber:
Trauner Verlag
DOI:
10.5281/zenodo.180258
Autoren:
Jaroslav Bendík, Nikola Beneš, Ivana Černá
Veröffentlicht in:
Proceedings of the 13th International Conference on Software Technologies, 2018, Seite(n) 186-197, ISBN 978-989-758-320-9
Herausgeber:
SCITEPRESS - Science and Technology Publications
DOI:
10.5220/0006864401860197
Autoren:
Jaroslav Bendík, Ivana Cerna
Veröffentlicht in:
EPiC Series in Computing volume 57, 2018, Seite(n) 131-118
Herausgeber:
EasyChair
DOI:
10.29007/sxzb
Autoren:
Eugenio Parra, Jose Luis de la Vara, Luis Alonso
Veröffentlicht in:
Proceedings of the 40th International Conference on Software Engineering Companion Proceeedings - ICSE '18, 2018, Seite(n) 199-200, ISBN 9781-450356633
Herausgeber:
ACM Press
DOI:
10.1145/3183440.3195095
Autoren:
Morayo Adedjouma, Asma Smaoui
Veröffentlicht in:
2018 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2018, Seite(n) 349-352, ISBN 978-1-5386-9443-5
Herausgeber:
IEEE
DOI:
10.1109/issrew.2018.00029
Autoren:
Lucas Paiva Bressan, Andre L. de Oliveira, Leonardo Montecchi, Barbara Gallina
Veröffentlicht in:
2018 14th European Dependable Computing Conference (EDCC), 2018, Seite(n) 49-56, ISBN 978-1-5386-8060-5
Herausgeber:
IEEE
DOI:
10.1109/edcc.2018.00019
Autoren:
Muhammad Atif Javed, Barbara Gallina
Veröffentlicht in:
Proceeedings of the 22nd International Conference on Systems and Software Product Line - SPLC '18 - Volume 2, 2018, Seite(n) 23-28, ISBN 9781-450359450
Herausgeber:
ACM Press
DOI:
10.1145/3236405.3236406
Autoren:
Faiz UL Muram, Barbara Gallina, Laura Gomez Rodriguez
Veröffentlicht in:
2018 11th International Conference on the Quality of Information and Communications Technology (QUATIC), 2018, Seite(n) 65-73, ISBN 978-1-5386-5841-3
Herausgeber:
IEEE
DOI:
10.1109/quatic.2018.00019
Autoren:
Alberto Griggio, Marco Roveri, Stefano Tonetta
Veröffentlicht in:
2018 Formal Methods in Computer Aided Design (FMCAD), 2018, Seite(n) 1-9, ISBN 978-0-9835678-8-2
Herausgeber:
IEEE
DOI:
10.23919/fmcad.2018.8603022
Autoren:
Aiman Gannous, Anneliese Andrews, Barbara Gallina
Veröffentlicht in:
2018 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2018, Seite(n) 329-336, ISBN 978-1-5386-9443-5
Herausgeber:
IEEE
DOI:
10.1109/issrew.2018.00026
Autoren:
Julieth Patricia Castellanos Ardila, Barbara Gallina, Faiz Ul Muram
Veröffentlicht in:
2018 44th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), 2018, Seite(n) 45-49, ISBN 978-1-5386-7383-6
Herausgeber:
IEEE
DOI:
10.1109/seaa.2018.00017
Autoren:
Elena Alaña, Javier Herrero, Santiago Urueña, Krystyna Macioszek, Daniel Silveira
Veröffentlicht in:
Proceedings of the 12th European Conference on Software Architecture Companion Proceedings - ECSA '18, 2018, Seite(n) 1-2, ISBN 9781-450364836
Herausgeber:
ACM Press
DOI:
10.1145/3241403.3241416
Autoren:
Morayo Adedjouma, Gabriel Pedroza, Asma Smaoui, Trung Kien Dang
Veröffentlicht in:
2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS), 2018, Seite(n) 213-216, ISBN 978-1-5386-9341-4
Herausgeber:
IEEE
DOI:
10.1109/iceccs2018.2018.00035
Autoren:
de la Vara, J.L., Ruiz, A., Gallina, B., Blondelle, G., Alaña, E., Herrero, J., Warg, F., Skoglung, M., Bramberger, R.
Veröffentlicht in:
embedded world Conference 2019, 2019
Herausgeber:
embedded world Conference
Autoren:
Gallina B., Haider, Z., Carlsson, A., Mazzini, S., Puri, S.
Veröffentlicht in:
23rd International Conference on Reliable Software Technologies (Ada-Europe 2018, 2018
Herausgeber:
Ada-Europe
Autoren:
Barbara Gallina, Faiz Ul Muram, Julieth Patricia Castellanos Ardila
Veröffentlicht in:
Proceedings of the 19th International Conference on Agile Software Development Companion - XP '18, 2018, Seite(n) 1-6, ISBN 9781-450364225
Herausgeber:
ACM Press
DOI:
10.1145/3234152.3234175
Autoren:
Kaiser, B., Schneider, D., Adler, R., Domis, D., Möhrle, F., Berres, A., Zeller, M., Höfig, K., Rothfelder, M.
Veröffentlicht in:
28th European Safety and Reliability Conference (ESREL 2018), 2018, ISBN 978-0-8153-8682-7
Herausgeber:
Taylor & Francis Group
Autoren:
Gallina, B., Martinez, J.
Veröffentlicht in:
17th International Conference on Software Reuse (ICSR 2018), 2018
Herausgeber:
Springer
Autoren:
Castellanos Ardila, J.P., Gallina, B., Governatori, G.
Veröffentlicht in:
2nd Workshop on Technologies for Regulatory Compliance (TeReCom 2018), 2018
Herausgeber:
CEUR Workshop Proceedings
Autoren:
Castellanos Ardila, J.P.
Veröffentlicht in:
8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2018), 2018
Herausgeber:
ISoLa
Autoren:
Grabowski, M.
Veröffentlicht in:
Modellierung 2018, 2018
Herausgeber:
Gesellschaft für Informatik
Autoren:
Alaña, E., Herrero. J.
Veröffentlicht in:
EUROSPACE - DASIA 2018, 2018
Herausgeber:
EUROSPACE
Autoren:
Haider, Z., Gallina, B., Zornoza Moreno, E.
Veröffentlicht in:
3rd International Conference on System Reliability and Safety (ICSRS 2018), 2018
Herausgeber:
ICSRS
Autoren:
Muhammad Atif Javed, Barbara Gallina, Anna Carlsson
Veröffentlicht in:
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing - SAC '19, 2019, Seite(n) 2372-2375, ISBN 9781-450359337
Herausgeber:
ACM Press
DOI:
10.1145/3297280.3297634
Autoren:
Damir Nešić, Mattias Nyberg, Barbara Gallina
Veröffentlicht in:
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing - SAC '19, 2019, Seite(n) 2022-2031, ISBN 9781-450359337
Herausgeber:
ACM Press
DOI:
10.1145/3297280.3297479
Autoren:
Irfan Sljivo, Barbara Gallina
Veröffentlicht in:
Proccedings of the 10th European Conference on Software Architecture Workshops - ECSAW '16, 2016, Seite(n) 1-7, ISBN 9781-450347815
Herausgeber:
ACM Press
DOI:
10.1145/2993412.3007555
Autoren:
Inmaculada Ayala, Barbara Gallina
Veröffentlicht in:
Proccedings of the 10th European Conference on Software Architecture Workshops - ECSAW '16, 2016, Seite(n) 1-7, ISBN 9781-450347815
Herausgeber:
ACM Press
DOI:
10.1145/2993412.3007554
Autoren:
Silvia Mazzini, John Favaro, Stefano Puri, Laura Baracchi
Veröffentlicht in:
OSS4MDE workshop at Models 2016, 2016
Herausgeber:
Queen's University
Autoren:
Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson
Veröffentlicht in:
Computer Safety, Reliability, and Security, Ausgabe LNCS 9943, 2016, Seite(n) 43-54
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-45480-1_4
Autoren:
Jaroslav Bendík, Nikola Benes, Ivana Cerná, Jiri Barnat
Veröffentlicht in:
Foundations of Software Technology and Theoretical Computer Science - 36th International Conference, 2016, ISSN 1868-8969
Herausgeber:
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
DOI:
10.4230/LIPIcs.FSTTCS.2016.50
Autoren:
Barbara Gallina, Kathyayani Padira, Mattias Nyberg
Veröffentlicht in:
2016 10th International Conference on the Quality of Information and Communications Technology (QUATIC), 2016, Seite(n) 199-204, ISBN 978-1-5090-3581-6
Herausgeber:
IEEE
DOI:
10.1109/QUATIC.2016.050
Autoren:
Barbara Gallina, Anneliese Andrews
Veröffentlicht in:
2016 IEEE/AIAA 35th Digital Avionics Systems Conference (DASC), 2016, Seite(n) 1-6, ISBN 978-1-5090-2523-7
Herausgeber:
IEEE
DOI:
10.1109/DASC.2016.7778046
Autoren:
Sami Alajrami, Alexander Romanovsky, Barbara Gallina
Veröffentlicht in:
17th International Conference on Product-Focused Software Process Improvement (PROFES), 2016, Seite(n) 662-671
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-49094-6_53
Autoren:
Roy Mendieta, Jose Luis de la Vara, Juan Llorens, Jose María Álvarez-Rodríguez
Veröffentlicht in:
Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017, Seite(n) 536-541, ISBN 978-989-758-210-3
Herausgeber:
SCITEPRESS - Science and Technology Publications
DOI:
10.5220/0006267605360541
Autoren:
Christoph Schmittner, Zhendong Ma, Peter Puschner
Veröffentlicht in:
Computer Safety, Reliability, and Security, Ausgabe LNCS 9923, 2016, Seite(n) 195-209
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-45480-1_16
Autoren:
Haider, Z. and Gallina, B. and Carlsson, A. and Mazzini, S. and Puri, S.
Veröffentlicht in:
Ada User Journal, Ausgabe Vol. 40, no 1, 2019, Seite(n) p. 35-39, ISSN 1381-6551
Herausgeber:
Ada-Europe
Autoren:
Fredrik Warg and Martin Skoglund
Veröffentlicht in:
4th International Workshop on Security and Dependability of Critical Embedded Real-Time Systems (CERTS 2019), Ausgabe Volume 73, OpenAccess Series in Informatics (OASIcs), 2019, Seite(n) 3:1--3:13, ISBN 978-3-95977-119-1
Herausgeber:
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI:
10.4230/oasics.certs.2019.3
Autoren:
Bramberger, Robert and Martin, Helmut and Gallina, Barbara and Schmittner, Christoph
Veröffentlicht in:
ACM SIG Ada Ada Letters, Ausgabe Volume 39 Ausgabe 2 December 2019, 2019, Seite(n) pp 41–48, ISSN 1094-3641
Herausgeber:
Association for Computing Machinery
DOI:
10.1145/3394514.3394519
Autoren:
De La Vara, J.L. and Parra, E. and Ruiz, A. and Gallina, B.
Veröffentlicht in:
CEUR Workshop Proceedings, Ausgabe Volume 25842020 Joint 26th International Conference on Requirements Engineering: Foundation for Software Quality Workshops, Doctoral Symposium, Live Studies Track, and Poster Track, REFSQ-JP 2020Pisa, 2020, ISSN 1613-0073
Herausgeber:
CEUR-WS
Autoren:
Jose Luis de la Vara, Eugenio Parra, Alejandra Ruiz, Barbara Gallina
Veröffentlicht in:
Product-Focused Software Process Improvement, 2019, Seite(n) 626--632, ISBN 978-3-030-35332-2
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-35333-9_49
Autoren:
Wilheim Cervantes
Veröffentlicht in:
2017
Herausgeber:
UC3M
Autoren:
Alejandro Rodriguez
Veröffentlicht in:
2017
Herausgeber:
UC3M
Autoren:
Pavlo Rosa
Veröffentlicht in:
2018
Herausgeber:
UC3M
Autoren:
Alvaro Gomez
Veröffentlicht in:
2018
Herausgeber:
UC3M
Autoren:
Elena Correas Montiel
Veröffentlicht in:
2016
Herausgeber:
e-Archivo (UC3)
Autoren:
Irfan Sljivo
Veröffentlicht in:
2018
Herausgeber:
Malardalen University
Autoren:
M. Grabowski
Veröffentlicht in:
2017
Herausgeber:
Technische Universität Berlin
Autoren:
Julieth Patricia Castellanos Ardila
Veröffentlicht in:
2019
Herausgeber:
Malardalen University
Autoren:
Gabriel Orlando Jimenez Urrutia
Veröffentlicht in:
2017
Herausgeber:
UC3M
Autoren:
Oscar Leonardo González Gómez
Veröffentlicht in:
2016
Herausgeber:
UC3M
Autoren:
Cristina Barcia Gonzalez
Veröffentlicht in:
2017
Herausgeber:
UC3M
Autoren:
Roy Arturo Mendieta Zuniga
Veröffentlicht in:
2016
Herausgeber:
UC3M
Autoren:
Eduardo de Tena Martínez
Veröffentlicht in:
2016
Herausgeber:
UC3M
Autoren:
Javier Fernández Páez
Veröffentlicht in:
2016
Herausgeber:
UC3M
Autoren:
Alejandra Ruiz, Barbara Gallina, Jose Luis de la Vara, Silvia Mazzini, Huáscar Espinoza
Veröffentlicht in:
Computer Safety, Reliability, and Security, Ausgabe LNCS 9923, 2016, Seite(n) 311-321, ISBN 978-3-319-45480-1
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-45480-1_25
Autoren:
Jaroslav Bendík, Elaheh Ghassabani, Michael Whalen, Ivana Černá
Veröffentlicht in:
Software Engineering and Formal Methods - 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings, Ausgabe 10886, 2018, Seite(n) 189-204, ISBN 978-3-319-92969-9
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-92970-5_12
Autoren:
Jaroslav Bendík, Ivana Černá, Nikola Beneš
Veröffentlicht in:
Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings, Ausgabe 11138, 2018, Seite(n) 143-159, ISBN 978-3-030-01089-8
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-01090-4_9
Autoren:
Siddhartha Verma, Thomas Gruber, Peter Puschner, Christoph Schmittner, Erwin Schoitsch
Veröffentlicht in:
Developments in Language Theory - 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings, Ausgabe 11088, 2018, Seite(n) 177-189, ISBN 978-3-319-98653-1
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-99229-7_16
Autoren:
Leonardo González, Enrique Martí, Isidro Calvo, Alejandra Ruiz, Joshue Pérez
Veröffentlicht in:
Developments in Language Theory - 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings, Ausgabe 11088, 2018, Seite(n) 278-289, ISBN 978-3-319-98653-1
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-99229-7_24
Autoren:
Barbara Gallina, Shankar Iyer
Veröffentlicht in:
Systems, Software and Services Process Improvement - 25th European Conference, EuroSPI 2018, Bilbao, Spain, September 5-7, 2018, Proceedings, Ausgabe 896, 2018, Seite(n) 469-479, ISBN 978-3-319-97924-3
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-97925-0_40
Autoren:
Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson, Stefano Puri
Veröffentlicht in:
Reliable Software Technologies – Ada-Europe 2018, Ausgabe 10873, 2018, Seite(n) 19-33, ISBN 978-3-319-92431-1
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-92432-8_2
Autoren:
Martin Skoglund, Fredrik Warg, Behrooz Sangchoolie
Veröffentlicht in:
Developments in Language Theory - 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings, Ausgabe 11088, 2018, Seite(n) 302-313, ISBN 978-3-319-98653-1
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-99229-7_26
Autoren:
Muhammad Atif Javed, Faiz UL Muram, Uwe Zdun
Veröffentlicht in:
New Opportunities for Software Reuse, Ausgabe 10826, 2018, Seite(n) 111-120, ISBN 978-3-319-90420-7
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-90421-4_7
Autoren:
Julieth Patricia Castellanos Ardila, Barbara Gallina, Faiz Ul Muram
Veröffentlicht in:
Software Process Improvement and Capability Determination - 18th International Conference, SPICE 2018, Thessaloniki, Greece, October 9–10, 2018, Proceedings, Ausgabe 918, 2018, Seite(n) 233-247, ISBN 978-3-030-00622-8
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-00623-5_16
Autoren:
Jose Luis de la Vara, Gabriel Jiménez, Roy Mendieta, Eugenio Parra
Veröffentlicht in:
Structured Object-Oriented Formal Language and Method - 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers, Ausgabe 11392, 2019, Seite(n) 124-131, ISBN 978-3-030-13650-5
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-15538-4_9
Autoren:
Skogby. S.
Veröffentlicht in:
Elektronik Tidningen, Ausgabe October 2018, 2018
Herausgeber:
Elektronik Tidningen
Autoren:
Espinoza, H., de la Vara, J.L., Juez, G., Martinez, C., Gallina, B., Puri, S., Mazzini, S., Blondelle, G.
Veröffentlicht in:
Eclipse Newsletter, Ausgabe July 2018, 2018
Herausgeber:
Eclipse Foundation
Suche nach OpenAIRE-Daten ...
Bei der Suche nach OpenAIRE-Daten ist ein Fehler aufgetreten
Es liegen keine Ergebnisse vor