Leistungen
Detailed VV methods missing from D31 useful for the evaluation of the VALU3S use cases and scenarios that are not sufficiently verified or where the currently used VV methods do not allow for sufficient confidence
Final detailed description of improved process workflowsFinal detailed description of the design of improved process workflows The workflows will follow the plans defined in Task 41 and will make use of the techniques identified in WP3 and will aim to reduce the time and cost of VV process The deliverable updatesextends the detailed description of the design of improved process workflows defined in D44 and D46 Moreover the lessons learned from the implementation of VV techniques in D45 and D47 will be fed into this deliverable
Initial dissemination and training activity reportInitial dissemination activity report summarizing the disseminationrelated achievements and results connecting these to plans defined in D63
Evaluation report including the evaluation of the improved V&V processes as well as framework limitationsEvaluation report including the evaluation of the demonstrators prototypes and selected use cases according to the improved VV processes The report also includes the limitations of the framework designed in WP2 as a structure around how the VV processes could be improved
Final communication activity reportFinal communication activity report based on an update of the communication activity reports delivered by D6611 and D618 summarizing the external communicationrelated achievements and results connecting these to plans defined in D66 and D614
V&V methods for SCP evaluation of automated systemsA detailed list of commonlyused as well as stateoftheart experimental and analytical VV methods useful for evaluation of SCP requirements of automated systems
Initial exploitation activity report and short/long-term market analysisInitial exploitation activity report and shortlongterm market analysis summarizing the exploitationrelated achievements and results connecting these to plans defined in D64
Report on the activities conducted to disseminate VALU3S results to different Standardisation groupsReport on the activities conducted to disseminate VALU3S results to different Standardisation groups according to the plans defined in D69 and 617
Final exploitation activity report and short/long-term market analysisFinal exploitation activity report and shortlongterm market analysis based on an update of the initial exploitation activity report delivered by D68 and D616 summarizing the exploitationrelated achievements and results connecting these to plans defined in D64 and D613
Concept for using virtual prototypes (e.g., digital twins) in the context of the simulated verificationDetailed information on how digital twins and packaging of individual contributions specifications and requirements into their form could facilitate verification and validation of systems on several abstraction layers
Initial communication activity reportInitial communication activity report according to plans initiated in D66 detailing actions that have been taken to facilitate effective and productive communication with external entities
Interim dissemination and training activity reportInterim dissemination activity report based on an update of the initial dissemination activity report delivered by D67 summarizing the disseminationrelated achievements and results connecting these to plans defined in D63 and D612
Final report on the results of the standardisation survey (methods, tools, concepts suggested by the standards)Final report on relevant standards and corresponding application domains addressed by the project and on the status of the relation between baseline methods tools methodologies to be used in the project The report is an update on deliverable D65
Interim exploitation activity report and short/long-term market analysisInterim exploitation activity report and shortlongterm market analysis based on an update of the initial exploitation activity report delivered by D68 summarizing the exploitationrelated achievements and results connecting these to plans defined in D64 and D613
Interim communication activity reportInterim communication activity report based on an update of the initial communication activity report delivered by D611 summarizing the external communicationrelated achievements and results connecting these to plans defined in D66 and D614
Final demonstration plan and a list of evaluation criteriaFinal overview of current state of development processes and measurements used either for development or for showing the improvement of the framework Detailed description of evaluation criteria which will focus on improvement of SCP aspects of the development process This deliverable elaborates the details obtained in D51 and create final plans for the demonstrators
Final dissemination and training activity reportFinal dissemination activity report based on an update of the initial and dissemination activity reports delivered by D67 and D615 summarizing the disseminationrelated achievements and results connecting these to plans defined in D63 and D612
The project website that is mainly used for the dissemination of the project and its activities
Updated/redesigned web-based repository with respect to the feedbacks obtained from D3.3, D3.7, D4.12 and D5.7As the webbased repository will store also outputs of WP3WP5 such as VV methods processes and tools this deliverable deals the creation of updatedredesigned webbased repository throughout the project taking into account feedback from WP3WP5
Updated web-based repository, linking V&V evaluation results to the frameworkMapped VV evaluation results to different layers of the multidimensional framework use cases and test cases as well as updated webbased repository with the mapped details This way the webbased repository would have further details about the evaluations conducted using specific tools and use cases
Final VALU3S Events, including Press Conference and Open WorkshopFinal project events including Press Conference and Open Workshop
Updated web-based repository, linking V&V tools to the frameworkMapped VV tools and workflows to different layers of the multidimensional framework use cases and test cases as well as updated webbased repository with the mapped details This way the webbased repository would have further details about the tools that could be used to conduct and improve VV of different test cases
Press Conference to launch VALU3SPress conference to launch the project
On site demonstration event where the experiences and lessons learnt will be presented for end users of the framework. Demonstrators will be evaluated in accordance with selected evaluation criteria.
Veröffentlichungen
Autoren:
Francesco Smarra,Jimmy Tjen,Alessandro D'Innocenzo
Veröffentlicht in:
International Journal of Robust and Nonlinear Control, 2022, Seite(n) 1-33, ISSN 1099-1239
Herausgeber:
Wiley
DOI:
10.1002/rnc.6124
Autoren:
Uğur YAYAN,Alim ERDOĞMUŞ
Veröffentlicht in:
Journal of Science, Technology and Engineering Research, Ausgabe 2, 2021, Seite(n) 31-45, ISSN 2717-8404
Herausgeber:
Mehmet BULUT
DOI:
10.53525/jster.979689
Autoren:
Daniele Masti, Francesco Smarra, Alessandro D’Innocenzo, Alberto Bemporad
Veröffentlicht in:
IFAC-PapersOnLine, Ausgabe 53/2, 2020, Seite(n) 5233-5238, ISSN 2405-8963
Herausgeber:
Elsevier
DOI:
10.1016/j.ifacol.2020.12.1199
Autoren:
Behrooz Sangchoolie, Karthik Pattabiraman, Johan Karlsson
Veröffentlicht in:
IEEE Transactions on Dependable and Secure Computing, 2021, Seite(n) 1-1, ISSN 1545-5971
Herausgeber:
IEEE Computer Society
DOI:
10.1109/tdsc.2020.3043023
Autoren:
Frederico Cerveira, Raul Barbosa, Henrique Madeira
Veröffentlicht in:
IEEE Access, Ausgabe 9, 2021, Seite(n) 105255 - 105269, ISSN 2169-3536
Herausgeber:
Institute of Electrical and Electronics Engineers Inc.
DOI:
10.1109/access.2021.3098644
Autoren:
Guillermina Cledou, José Proença, Bernhard H.C. Sputh, Eric Verhulst
Veröffentlicht in:
Science of Computer Programming, Ausgabe 203, 2021, Seite(n) 102566, ISSN 0167-6423
Herausgeber:
Elsevier BV
DOI:
10.1016/j.scico.2020.102566
Autoren:
Luis Roda-Sanchez, Celia Garrido-Hidalgo, Arturo S. García, Teresa Olivares & Antonio Fernández-Caballero
Veröffentlicht in:
The International Journal of Advanced Manufacturing Technology, 2022, ISSN 1433-3015
Herausgeber:
Springer
DOI:
10.1007/s00170-021-08125-9
Autoren:
Jose Luis de la Vara, Alejandra Ruiz, Gaël Blondelle
Veröffentlicht in:
Journal of Systems and Software, Ausgabe 171, 2021, Seite(n) 110812, ISSN 0164-1212
Herausgeber:
Elsevier BV
DOI:
10.1016/j.jss.2020.110812
Autoren:
Jose Luis de la Vara, Arturo S. García, Jorge Valero, Clara Ayora
Veröffentlicht in:
Software and Systems Modeling, 2022, ISSN 1619-1374
Herausgeber:
Springer
DOI:
10.1007/s10270-021-00957-z
Autoren:
Alper Kanak; Salih Ergun; Ahmet Yazici; Metin Ozkan; Gürol Çokünlü; Ugur Yayan; Mustafa Karaca; Abdullah Taha Arslan
Veröffentlicht in:
Open Research Europe, Ausgabe 1, 2021, ISSN 2732-5121
Herausgeber:
Open Research Europe
DOI:
10.12688/openreseurope.13627.1
Autoren:
Íñigo Elguea-Aguinaco; Antonio Serrano-Muñoz; Dimitrios Chrysostomou; Ibai Inziarte-Hidalgo; Simon Bøgh; Nestor Arana-Arexolaleiba
Veröffentlicht in:
Applied Sciences, Ausgabe 22, 2022, ISSN 2076-3417
Herausgeber:
MDPI
DOI:
10.3390/app122211610
Autoren:
Giovanni Giachetti, José Luis de la Vara, and Beatriz Marín
Veröffentlicht in:
Business & Information Systems Engineering, Ausgabe 65, 2023, Seite(n) 103–125, ISSN 1867-0202
Herausgeber:
Springer Verlag
DOI:
10.1007/s12599-022-00785-5
Autoren:
Luisa Roda-Sanchez, Teresa Olivares, Celia Garrido-Hidalgo, José Luis de la Vara, Antonio Fernández-Caballero
Veröffentlicht in:
Integrated Computer-Aided Engineering, Ausgabe vol. 28, no. 2, 2021, Seite(n) 159-175, ISSN 1875-8835
Herausgeber:
IOS Press
DOI:
10.3233/ica-200637
Autoren:
Anselmo Martínez,Lidia M. Belmonte, Arturo S. García,Antonio Fernández-Caballero, Rafael Morales
Veröffentlicht in:
Electronics, 2021, ISSN 2079-9292
Herausgeber:
MDPI
DOI:
10.3390/electronics10070868
Autoren:
Lidia Maria Belmonte; Arturo Simón García; Rafael Morales; José Luis de la Vara; Antonio Fernández-Caballero
Veröffentlicht in:
Sensors, Ausgabe 4, 2020, ISSN 1424-8220
Herausgeber:
Multidisciplinary Digital Publishing Institute (MDPI)
DOI:
10.20944/preprints202010.0174.v1
Autoren:
Francesco Smarra, Alessandro D’Innocenzo
Veröffentlicht in:
IFAC-PapersOnLine, Ausgabe 53/2, 2020, Seite(n) 5252-5257, ISSN 2405-8963
Herausgeber:
Elsevier
DOI:
10.1016/j.ifacol.2020.12.1203
Autoren:
Ramón Panduro; Eva Segura; Lidia M. Belmonte; Antonio Fernández-Caballero; Paulo Novais; Jesús Benet; Rafael Morales
Veröffentlicht in:
Integrated Computer-Aided Engineering, Ausgabe 3, 2020, Seite(n) 267-285, ISSN 1069-2509
Herausgeber:
IOS Press
DOI:
10.3233/ica-200622
Autoren:
Fran Casino, Nikolaos Lykousas, Ivan Homoliak, Constantinos Patsakis, Julio Hernandez-Castro
Veröffentlicht in:
Journal of Network and Computer Applications, 2021, ISSN 1084-8045
Herausgeber:
Academic Press
DOI:
10.1016/j.jnca.2021.103135
Autoren:
J.A. Agirre; L. Etxeberria; Raul Barbosa; S. Basagiannis; G. Giantamidis; Thomas Bauer; Enrico Ferrari; M. Labayen Esnaola; Vanessa Orani; Johnny Öberg; David Pereira; José Proença; Rupert Schlick; Aleš Smrčka; W. Tiberti; Stefano Tonetta; M. Bozzano; A. Yazici; Behrooz Sangchoolie
Veröffentlicht in:
Microprocessors and Microsystems, Ausgabe 5, 2021, ISSN 0141-9331
Herausgeber:
Elsevier BV
DOI:
10.1016/j.micpro.2021.104349
Autoren:
Jose Luis de la Vara, Beatriz Marín, Clara Ayora, Giovanni Giachetti
Veröffentlicht in:
Information and Software Technology, Ausgabe 126, 2020, Seite(n) 106351, ISSN 0950-5849
Herausgeber:
Elsevier BV
DOI:
10.1016/j.infsof.2020.106351
Autoren:
José Proença, Sina Borrami, Jorge Sanchez de Nova, David Pereira, Giann Spilere Nandi
Veröffentlicht in:
Lecture Notes in Computer Science, Ausgabe 13294, 2022, Seite(n) 83-94, ISBN 978-3-031-05814-1
Herausgeber:
Springer
DOI:
10.1007/978-3-031-05814-1_6
Autoren:
F. Cerveira, J. Domingos, R. Barbosa , H. Madeira
Veröffentlicht in:
26th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2021), 2021, ISBN 978-1-6654-2476-9
Herausgeber:
IEEE
DOI:
10.1109/prdc53464.2021.00020
Autoren:
Marie Farrell, Matt Luckcuck, Oisín Sheridan, Rosemary Monahan
Veröffentlicht in:
International Working Conference on Requirements Engineering: Foundation for Software Quality, 2021, ISBN 978-3-030-98463-2
Herausgeber:
Springer, Cham
DOI:
10.1007/978-3-030-98464-9_9
Autoren:
Marie Farrell, Matt Luckcuck, Oisin Sheridan, Rosemary Monahan
Veröffentlicht in:
NASA Formal Methods. NFM 2022. Lecture Notes in Computer Science, Ausgabe 13260, 2021, ISBN 978-3-031-06772-3
Herausgeber:
Springer, Cham
DOI:
10.1007/978-3-031-06773-0_14
Autoren:
Matt Luckcuck, Marie Farrell, Oisín Sheridan, Rosemary Monahan
Veröffentlicht in:
IEEE Aerospace Conference, 2021
Herausgeber:
IEEE
Autoren:
Hamid Ebadi; Mahshid Helali Moghadam; Markus Borg; Gregory Gay; Afonso Fontes; Kasper Socha
Veröffentlicht in:
2021 IEEE International Conference On Artificial Intelligence Testing (AITest), Ausgabe 1, 2021, Seite(n) 103-110
Herausgeber:
IEEE
DOI:
10.1109/aitest52744.2021.00030
Autoren:
Borja Lopez, Jose Maria Alvarez-Rodriguez, Eugenio Parra, Jose Luis de la Vara
Veröffentlicht in:
2020 50th Annual IEEE-IFIP International Conference on Dependable Systems and Networks-Supplemental Volume (DSN-S), 2020, Seite(n) 37-40, ISBN 978-1-7281-7260-6
Herausgeber:
IEEE
DOI:
10.1109/dsn-s50200.2020.00022
Autoren:
Markus Borg; Joshua Bronson; Linus Christensson; Fredrik Olsson; Olof Lennartsson; Elias Sonnsjo; Hamid Ebabi; Martin Karsberg
Veröffentlicht in:
SEthics@ICSE, Ausgabe 1, 2021, Seite(n) 5-12
Herausgeber:
IEEE
DOI:
10.1109/sethics52569.2021.00009
Autoren:
Luc Edixhoven, Sung-Shik Jongmans, Guillermina Cledou, José Proença
Veröffentlicht in:
36th European Conference on Object-Oriented Programming, ECOOP 2022, 2022
Herausgeber:
to appear
DOI:
10.4230/lipics.ecoop.2022.27
Autoren:
Ashfaq Farooqui; Ramon Tijsse Claase; Martin Fabian
Veröffentlicht in:
IEEE Transactions on Automation Science and Engineering, 2022, Seite(n) 1-13
Herausgeber:
IEEE
DOI:
10.1109/tase.2022.3216759
Autoren:
Markus Borg; Ronald Jabangwe; Simon Åberg; Arvid Ekblom; Ludwig Hedlund; August Lidfeldt
Veröffentlicht in:
2021 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), Ausgabe 1, 2021, Seite(n) 175-181, ISBN 978-1-6654-4456-9
Herausgeber:
IEEE
DOI:
10.1109/icstw52544.2021.00039
Autoren:
Tagline Treichel, Pablo Oliveira Antonino, Filipe Silva Santos, Leonardo Silva Rosa
Veröffentlicht in:
2021 IEEE 18th International Conference on Software Architecture Companion (ICSA-C), 2021, ISBN 978-1-6654-3910-7
Herausgeber:
IEEE
DOI:
10.1109/icsa-c52384.2021.00038
Autoren:
Ivan Homoliak, Dominik Breitenbacher, Ondrej Hujnak, Pieter Hartel, Alexander Binder, Pawel Szalachowski
Veröffentlicht in:
Proceedings of the 2nd ACM Conference on Advances in Financial Technologies, 2020, Seite(n) 145-162, ISBN 9781450381390
Herausgeber:
ACM
DOI:
10.1145/3419614.3423257
Autoren:
Jose Luis de la Vara, Juan Manuel Morote
Veröffentlicht in:
2021 IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C), 2021
Herausgeber:
IEEE
DOI:
10.1109/qrs-c55045.2021.00170
Autoren:
Markus Borg
Veröffentlicht in:
Lean and Agile Software Development. LASD 2022, Ausgabe Lecture Notes in Business Information Processing, vol 438, 2022, ISBN 978-3-030-94237-3
Herausgeber:
Springer, Cham
DOI:
10.1007/978-3-030-94238-0_1
Autoren:
Juan Manuel Morote; Jose Luis de la Vara; Giovanni Giachetti; Clara Ayora; Luis Alons
Veröffentlicht in:
Proceeding of the 2022 IEEE 27th Pacific Rim International Symposium on Dependable Computing (PRDC), 2023
Herausgeber:
IEEE
DOI:
10.1109/prdc55274.2022.00036
Autoren:
Jose Luis de la Vara; Thomas Bauer; Bernhard Fischer; Mustafa Karaca; Henrique Madeira; Martin Matschnig; Silvia Mazzini; Giann Spilere Nandi; Fabio Patrone; David Pereira; José Proença; Rupert Schlick; Stefano Tonetta; Ugur Yayan; Behrooz Sangchoolie
Veröffentlicht in:
Communications in Computer and Information Science ISBN: 9783030853464, 2021, Seite(n) 325–340, ISBN 978-3-030-85347-1
Herausgeber:
Springer Link
DOI:
10.1007/978-3-030-85347-1_24
Autoren:
Joseba A. Agirre, et al.
Veröffentlicht in:
18th European Dependable Computing Conference,, 2022
Herausgeber:
IEEE
Autoren:
Mehdi Maleki, Behrooz Sangchoolie
Veröffentlicht in:
2021 17th European Dependable Computing Conference (EDCC), 2021, ISBN 978-1-6654-3672-4
Herausgeber:
IEEE
DOI:
10.1109/edcc53658.2021.00014
Autoren:
Mehdi Maleki, Behrooz Sangchoolie
Veröffentlicht in:
51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN2021), 2021, ISBN 978-1-6654-0252-1
Herausgeber:
IEEE
DOI:
10.1109/dsn-s52858.2021.00036
Autoren:
De La Vara, J. L.,Parra, E., Ruiz, A., Gallina, B.
Veröffentlicht in:
CEUR Workshop Proceedings, Ausgabe 2584, 2020
Herausgeber:
CEUR-WS
Autoren:
R. Barbosa, S. Basagiannis, G. Giantamidis, H. Becker, E. Ferrari, J. Jahic, A. Kanak, M. Labayen Esnaola, V. Orani, D. Pereira, L. Pomante, R. Schlick, A. Smrcka, A. Yazici, P. Folkesson, B. Sangchoolie
Veröffentlicht in:
2020 23rd Euromicro Conference on Digital System Design (DSD), 2020, Seite(n) 352-359, ISBN 978-1-7281-9535-3
Herausgeber:
IEEE
DOI:
10.1109/dsd51259.2020.00064
Autoren:
David Paiva, José Marcelo Duarte, Raffael Lima, Manoel Carvalho, Fátima Mattiello-Francisco, Henrique Madeira
Veröffentlicht in:
2021 10th Latin-American Symposium on Dependable Computing (LADC), 2021, ISBN 978-1-6654-7831-1
Herausgeber:
IEEE
DOI:
10.1109/ladc53747.2021.9672584
Autoren:
Jasmin Jahic, Thomas Bauer, Thomas Kuhn, Norbert Wehn, Pablo Oliveira Antonino
Veröffentlicht in:
Advances in Intelligent Systems and Computing, Ausgabe vol. 1228, 2020, Seite(n) 54–74, ISBN 978-3-030-52249-0
Herausgeber:
Springer
DOI:
10.1007/978-3-030-52249-0_5
Autoren:
Thomas Bauer, Joseba A. Agirre, David Fürcho, Wolfgang Herzner, Bob Hruška, Mustafa Karaca, David Pereira, José Proença, Rupert Schlick, Robert Sicher, Aleš Smrčka, Ugur Yayan, Behrooz Sangchoolie
Veröffentlicht in:
Embedded Computer Systems: Architectures, Modeling, and Simulation. SAMOS 2021, Ausgabe 13227, 2021, ISBN 978-3-031-04579-0
Herausgeber:
Springer, Cham
DOI:
10.1007/978-3-031-04580-6_25
Autoren:
Giann Spilere Nandi, David Pereira, Jose Proenca, Eduardo Tovar
Veröffentlicht in:
2020 IEEE Real-Time Systems Symposium (RTSS), 2020, Seite(n) 395-398, ISBN 978-1-7281-8324-4
Herausgeber:
IEEE
DOI:
10.1109/rtss49844.2020.00047
Autoren:
Shrishti Trivedi, Fredrik Warg
Veröffentlicht in:
2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), 2023, Seite(n) 215-222, ISBN 979-8-3503-2543-0
Herausgeber:
IEEE Xplore
DOI:
10.1109/dsn-w58399.2023.00059
Autoren:
Jorrit J. Olthuis, Rodolfo Jordão, Francesco Robino, Sina Borrami
Veröffentlicht in:
2021 IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C), 2021, ISBN 978-1-6654-7836-6
Herausgeber:
IEEE
DOI:
10.1109/qrs-c55045.2021.00034
Autoren:
Haytham Hijazi, José Cruz, João Castelhano, Ricardo Couceiro, Miguel Castelo-Branco, Paulo de Carvalho, Henrique Madeira
Veröffentlicht in:
2021 IEEE 32nd International Symposium on Software Reliability Engineering (ISSRE), 2022, ISBN 978-1-6654-2588-9
Herausgeber:
IEEE
DOI:
10.1109/issre52982.2021.00056
Autoren:
Alim Kerem Erdoğmuş, Mustafa Karaca, Uğur Yayan2, Gürol Çökünlü3
Veröffentlicht in:
The Automatic Control National Congress – TOK 2021, 2021, Seite(n) 119-204
Herausgeber:
TOK
Autoren:
Mateen Malik,Mehdi Maleki,Peter Folkesson,Behrooz Sangchoolie
Veröffentlicht in:
The 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2022
Herausgeber:
IEEE
Autoren:
S. Mover, A. Cimatti, A. Griggio, A. Irfan, S. Tonetta
Veröffentlicht in:
Computer Aided Verification. CAV 2021, Ausgabe Lecture Notes in Computer Science, vol 12759, 2021, ISBN 978-3-030-81685-8
Herausgeber:
Springer
DOI:
10.1007/978-3-030-81685-8_25
Autoren:
Borg, Markus; Bronson, Joshua; Christensson, Linus; Olsson, Fredrik; Lennartsson, Olof; Sonnsjö, Elias; Ebabi, Hamid; Karsberg, Martin
Veröffentlicht in:
Proceedings of the 2nd Workshop on Ethics in Software Engineering Research and Practice, 2021
Herausgeber:
IEEE
Autoren:
Markus Borg, Raja Ben Abdessalem, Shiva Nejati, Francois-Xavier Jegeden, Donghwan Shin
Veröffentlicht in:
2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST), 2021, Seite(n) 383-393, ISBN 978-1-7281-6836-4
Herausgeber:
IEEE
DOI:
10.1109/icst49551.2021.00050
Autoren:
Thomas Markwirth, Roland Jancke, Christoph Sohrmann
Veröffentlicht in:
2021 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2021, ISBN 978-3-9819263-5-4
Herausgeber:
IEEE
DOI:
10.23919/date51398.2021.9474066
Autoren:
Pasino A., Battista U., De Angeli S., Ottonello D., Clematis A.
Veröffentlicht in:
2nd Scientific International Conference on CBRNe SICC Series, 2020
Herausgeber:
SICC Series
Autoren:
Alim Kerem Erdogmus, Mustafa Karaca, Ugur Yayan
Veröffentlicht in:
2021
Herausgeber:
Arxiv
DOI:
10.48550/arxiv.2108.13803
Autoren:
Ivana Stančíková, Ivan Homoliak
Veröffentlicht in:
2022
Herausgeber:
ArXiv
DOI:
10.48550/arxiv.2206.06019
Autoren:
Paiva, David Silva de
Veröffentlicht in:
Repositório científico da UC, Ausgabe 5, 2022
Herausgeber:
University of Coimbra
Autoren:
Santos, Carlos Francisco Fernandes
Veröffentlicht in:
Repositório científico da UC, Ausgabe 2, 2022
Herausgeber:
DEI - FCTUC
Autoren:
Harmim Dominik
Veröffentlicht in:
2021
Herausgeber:
Brno University of Technology, Faculty of Information Technology
Autoren:
Beránek Tomáš
Veröffentlicht in:
2021
Herausgeber:
Brno University of Technology, Faculty of Information Technology
Autoren:
Sergey Goncharov, Renato Neves, José Proença
Veröffentlicht in:
Theoretical Aspects of Computing – ICTAC 2020 - 17th International Colloquium, Macau, China, November 30 – December 4, 2020, Proceedings, Ausgabe 12545, 2020, Seite(n) 262-282, ISBN 978-3-030-64275-4
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-64276-1_14
Autoren:
Maurice H. ter Beek; Guillermina Cledou; Rolf Hennicker; José Proença
Veröffentlicht in:
ISTI-TR-2021/008, pp.1–22, 2021, Ausgabe 5, 2021, Seite(n) 483–502, ISBN 978-3-030-90869-0
Herausgeber:
Springer
DOI:
10.1007/978-3-030-90870-6_26
Suche nach OpenAIRE-Daten ...
Bei der Suche nach OpenAIRE-Daten ist ein Fehler aufgetreten
Es liegen keine Ergebnisse vor