CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.
Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .
Rezultaty
Summary of techniquestools used at industrial partners methods mandatedsuggested by authorities and requirementswishes of industry Discussed at the Perspectives Gathering in M2 delivered by M6
Report on Website and Social Media Channels Setup (odnośnik otworzy się w nowym oknie)Report on the setup of the MISSION web site and social media presence including the first use of these channels related to kicking the project off at the Perspectives Gathering Delivered after that gathering by M3
Inventory and Specification: Extended Fault Trees (odnośnik otworzy się w nowym oknie)Survey of fault tree extensions semantics and definition of formalism appropriate for the New Space setting coordinated with WP4 The document is delivered by M17 in time for the Momentum Gathering
Inventory of Practice: Topologies and Routing (odnośnik otworzy się w nowym oknie)Documentation of collected network topology data from MISSION partners and of stateoftheart routing algorithms from a broader context Discussed at the Perspectives Gathering in M2 delivered by M6
Specification: Resource Modelling Platform (odnośnik otworzy się w nowym oknie)Specification and reference manual of the resource modelling platform. First discussed at the Momentum Gathering in M17, presented and used for training in M29 in Rio Cuarto, final version delivered by M31.
Training: Fault Trees from Data and RES (odnośnik otworzy się w nowym oknie)Training material on previous research at UT concerning fault trees from big data and semiautomated rare event simulation from the SEQUOIA project Used at the Perspectives Gathering delivered by M6
Report on Dissemination of Project Startup (odnośnik otworzy się w nowym oknie)Report on the first wave of dissemination and training activities, which focus on sharing background knowledge and gaining momentum in the project. This in particular encompasses reporting on the First MISSION School (Rio Cuarto Summer School 2023) and the Space Workshop. Delivered after the latter by M26.
Inventory of Practice: Resources (odnośnik otworzy się w nowym oknie)Inventory of bestpractice management approaches regarding resource constraints appearing in orbit Discussed at the Perspectives Gathering in M2 delivered by M6
The CMO drafts and submits a data management plan as D6.1, initially due by M6.
Publikacje
Autorzy:
Nicoletti, Stefano M.; Hahn, E. Moritz; Stoelinga, Marielle
Opublikowane w:
52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Numer 31, 2022
Wydawca:
IEEE
DOI:
10.1109/dsn53405.2022.00051
Autorzy:
Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga
Opublikowane w:
Software Engineering and Formal Methods 2023, 2023, Strona(/y) 165-183
Wydawca:
Springer
DOI:
10.1007/978-3-031-47115-5_10
Autorzy:
Nicoletti, Stefano M.; Lopuhaä-Zwakenberg, Milan; Hahn, E. Moritz; Stoelinga, Mariëlle
Opublikowane w:
Formal Methods: 25th International Symposium, FM, 2023, Strona(/y) 199-221
Wydawca:
springer
DOI:
10.48550/arxiv.2303.17314
Autorzy:
Lopuhaä-Zwakenberg, Milan; Stoelinga, Mariëlle
Opublikowane w:
53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2023, Strona(/y) 545-558
Wydawca:
IEEE
DOI:
10.1109/dsn58367.2023.00057
Autorzy:
Thi Kim Nhung Dang; Milan Lopuhaä-Zwakenberg; Mariëlle Stoelinga
Opublikowane w:
Fundamental Approaches to Software Engineering, 2024, ISBN 9783031572586
Wydawca:
Springer
DOI:
10.1007/978-3-031-57259-3_10
Autorzy:
D'Argenio, Pedro R.; Fraire, Juan A.; Hartmanns, Arnd; Raverta, Fernando D.; Ábrahám, Erika; Paolieri, Marco
Opublikowane w:
Quantitative Evaluation of Systems (QEST), 2022, ISBN 978-3-031-16336-4
Wydawca:
springer
DOI:
10.1007/978-3-031-16336-4_17
Autorzy:
Lopuhaä-Zwakenberg, Milan
Opublikowane w:
Proceedings of the 12th International Conference on Model-Based Software and Systems Engineering, 2024, Strona(/y) 39-49
Wydawca:
SciTePress
DOI:
10.5220/0012334000003645
Autorzy:
Castro, Pablo F.; D'Argenio, Pedro R.; Demasi, Ramiro; Putruele, Luciano
Opublikowane w:
EPTCS 387, 2023, Strona(/y) 132-148
Wydawca:
arxiv
DOI:
10.4204/eptcs.387.10
Autorzy:
Ying Liu; Andrea Turrini; Ernst Moritz Hahn; Bai Xue; Lijun Zhang
Opublikowane w:
Automated Technology for Verification and Analysis, 2023, Strona(/y) 158-180, ISBN 9783031453281
Wydawca:
Springer
DOI:
10.1007/978-3-031-45329-8_8
Autorzy:
Li, Qiongxiu; Lopuhaä-Zwakenberg, Milan; Heusdens, Richard; Christensen, Mads Græsbøll
Opublikowane w:
30th European Signal Processing Conference (EUSIPCO 2022), 2022
Wydawca:
IEEE
DOI:
10.23919/eusipco55093.2022.9909706
Autorzy:
Hartmanns, Arnd; Junges, Sebastian; Quatmann, Tim; Weininger, Maximilian; Sankaranarayanan, Sriram; Sharygina, Natasha
Opublikowane w:
Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of SoftwarePart I, 2023, Strona(/y) 469 - 488, ISBN 978-3-031-30822-2
Wydawca:
Springer
DOI:
10.1007/978-3-031-30823-9_24
Autorzy:
Yong Li; Andrea Turrini; Weizhi Feng; Moshe Y. Vardi; Lijun Zhang
Opublikowane w:
Computer Aided Verification ISBN: 9783031131875, Numer 12, 2022
Wydawca:
Springer
DOI:
10.1007/978-3-031-13188-2_8
Autorzy:
Hartmanns, Arnd; Klauck, Michaela; Margaria, Tiziana; Steffen, Bernhard
Opublikowane w:
International Symposium on Leveraging Applications of Formal Methods, 2022, Strona(/y) 406-432, ISBN 978-3-031-19759-8
Wydawca:
springer
DOI:
10.1007/978-3-031-19759-8_25
Autorzy:
Lopuhaä-Zwakenberg, Milan; Škorić, Boris; Li, Ninghui
Opublikowane w:
WPES 2022 - Proceedings of the 21st Workshop on Privacy in the Electronic Society, co-located with CCS 2022, 41 - 53, 2022, Strona(/y) 41 - 53
Wydawca:
ACM
DOI:
10.1145/3559613.3563194
Autorzy:
Nicoletti, Stefano M.; Lopuhaä-Zwakenberg, Milan; Hahn, Ernst Moritz; Stoelinga, Mariëlle
Opublikowane w:
Ferreira, C., Willemse, T.A.C. (eds) Software Engineering and Formal Methods. SEFM 2023. Lecture Notes in Computer Science, Numer 14323, 2023, Strona(/y) 205-225
Wydawca:
Springer
DOI:
10.48550/arxiv.2309.09231
Autorzy:
Putruele, L., Demasi, R., Castro, P.F., D’Argenio, P.R.
Opublikowane w:
2022, ISBN 978-3-030-99523-2
Wydawca:
Springer, Cham
DOI:
10.1007/978-3-030-99524-9_22
Autorzy:
Havlena, Vojtěch; Lengál, Ondřej; Li, Yong; Šmahlíková, Barbora; Turrini, Andrea
Opublikowane w:
Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of SoftwarePart I, Numer 249-270, 2023, ISBN 978-3-031-30823-9
Wydawca:
Springer
DOI:
10.1007/978-3-031-30823-9_13
Autorzy:
Hartmanns, Arnd; Dubslaff, Clemens; Luttik, Bas
Opublikowane w:
5th Workshop on Models for Formal Analysis of Real Systems 2022, 2022, Strona(/y) 1-12
Wydawca:
EPTCS
DOI:
10.4204/eptcs.355.1
Autorzy:
Stock, Gregory; Fraire, Juan A.; Hermanns, Holger
Opublikowane w:
ASMS/SPSC 2022 - 11th Advanced Satellite Multimedia Systems Conference and the 17th Signal Processing for Space Communications Workshop, Numer 36, 2022, Strona(/y) 1-8
Wydawca:
IEEE
DOI:
10.1109/asms/spsc55670.2022.9914716
Autorzy:
Winkler, Tobias; Katoen, Joost-Pieter
Opublikowane w:
38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2023, ISBN 979-8-3503-3588-0
Wydawca:
IEEE
DOI:
10.1109/lics56636.2023.10175714
Autorzy:
Basgöze, D., Volk, M., Katoen, JP., Khan, S., Stoelinga, M.
Opublikowane w:
2022
Wydawca:
Springer Cham
DOI:
10.1007/978-3-031-06773-0_38
Autorzy:
Stefano M Nicoletti, Mattia Fumagalli, Milan Lopuhaä-Zwakenberg, E Moritz Hahn, Giancarlo Guizzardi, Mariëlle Stoelinga
Opublikowane w:
SAFECOMP 2023, 2023
Wydawca:
HAL
Autorzy:
Reza Soltani, Matthias Volk, Leonardo Diamonte, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga
Opublikowane w:
28th International Conference of Formal Methods for Industrial Critical Systems (FMICS 2023), 2023, Strona(/y) 205-223
Wydawca:
Springer
DOI:
10.1007/978-3-031-43681-9_12
Autorzy:
Budde, C.E.; D'Argenio, Pedro R.; Monti, R.E.; Stoelinga, Marielle
Opublikowane w:
International Journal on Software Tools for Technology Transfer, 24, 5, pp. 821-841, 2020, Strona(/y) 821-841
Wydawca:
springer
DOI:
10.1007/s10009-022-00675-x
Autorzy:
Fraire, Juan, A.; Madoery, Pablo, G; Ait Mesbah, Mehdi; Iova, Oana; Valois, Fabrice
Opublikowane w:
2022 IEEE 23rd International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM), 2022
Wydawca:
IEEE
DOI:
10.1109/wowmom54355.2022.00072
Autorzy:
Badings, T.S., Jansen, N., Junges, S., Stoelinga, M., Volk, M.
Opublikowane w:
2022
Wydawca:
Springer
DOI:
10.1007/978-3-031-13188-2_2
Autorzy:
Hartmanns, A., Kohlen, B., Lammich, P.
Opublikowane w:
Automated Technology for Verification and Analysis. ATVA, Numer vol 14215, 2023, Strona(/y) 181-202, ISBN 978-3-031-45329-8
Wydawca:
Springer
DOI:
10.1007/978-3-031-45329-8_9
Autorzy:
Mingshuai Chen; Joost-Pieter Katoen; Lutz Klinkenberg; Tobias Winkler
Opublikowane w:
Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I / edited by Sharon Shoham, Yakir Vizel<br/>34. International Conference on Computer Aided Verification, CAV 2022, Haifa, Israel, 2022-08-07 - 2022-08-10, Numer 19, 2022
Wydawca:
Springer
DOI:
10.1007/978-3-031-13185-1_5
Autorzy:
Fraire, Juan Andrés, A; Iova, Oana; Valois, Fabrice
Opublikowane w:
IEEE Communications Magazine, In press, 2022, Strona(/y) 64-70, ISSN 1558-1896
Wydawca:
IEEE
DOI:
10.1109/mcom.008.2200215
Autorzy:
Chen, Yu-Fang; Havlena, Vojtěch; Lengál, Ondřej; Turrini, Andrea
Opublikowane w:
Journal of Systems and Software, 2023, ISSN 0164-1212
Wydawca:
Elsevier BV
DOI:
10.48550/arxiv.2303.01142
Autorzy:
Shenghua Feng; Mingshuai Chen; Han Su; Benjamin Lucien Kaminski; Joost-Pieter Katoen; Naijun Zhan
Opublikowane w:
Proceedings of the ACM on Programming Languages, 2023, Strona(/y) 696-726, ISSN 2475-1421
Wydawca:
ACM
DOI:
10.1145/3586051
Autorzy:
Guido Alvarez; Juan A. Fraire; Khaled Abdelfadeel Hassan; Sandra Cespedes; Dirk Pesch
Opublikowane w:
"IEEE Access, 2022, pp.1-1. ⟨10.1109/ACCESS.2022.3189647⟩", 2022, ISSN 2169-3536
Wydawca:
Institute of Electrical and Electronics Engineers Inc.
DOI:
10.1109/access.2022.3189647
Autorzy:
Qiongxiu Li, Jaron Skovsted Gundersen, Milan Lopuhaä-Zwakenberg, Richard Heusdens
Opublikowane w:
IEEE Transactions on Information Forensics and Security, 2024, ISSN 1556-6013
Wydawca:
Institute of Electrical and Electronics Engineers
DOI:
10.1109/tifs.2023.3343599
Autorzy:
Milan Lopuhaä-Zwakenberg; Jasper Goseling
Opublikowane w:
Entropy, Numer 26(3), 2024, Strona(/y) 233-273, ISSN 1099-4300
Wydawca:
Multidisciplinary Digital Publishing Institute (MDPI)
DOI:
10.3390/e26030233
Autorzy:
Raydel Ortigueira, Juan A. Fraire, Alex Becerra, Tomás Ferrer, Sandra Céspedes
Opublikowane w:
IEEE Access, 2021, ISSN 2169-3536
Wydawca:
Institute of Electrical and Electronics Engineers Inc.
DOI:
10.1109/access.2021.3134246
Autorzy:
Weizhi Feng, Yong Li, Andrea Turrini, Moshe Y. Vardi, Lijun Zhang
Opublikowane w:
Information and Computation, Numer 292, 2023, ISSN 0890-5401
Wydawca:
Academic Press
DOI:
10.1016/j.ic.2023.105032
Autorzy:
Sebastian Junges, Erika Ábrahám, Christian Hensel, Nils Jansen, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk
Opublikowane w:
Formal Methods in System Design, 2024, Strona(/y) 181–259, ISSN 1572-8102
Wydawca:
Springer
DOI:
10.1007/s10703-023-00442-x
Autorzy:
Krishnendu Chatterjee; Joost-Pieter Katoen; Stefanie Mohr; Maximilian Weininger; Tobias Winkler
Opublikowane w:
Formal methods in system design, 2023, ISSN 1572-8102
Wydawca:
springer
DOI:
10.1007/s10703-023-00411-4
Autorzy:
Biewer, Sebastian; Hermanns, Holger
Opublikowane w:
Fundamental Approaches to Software Engineering, Numer 3, 2022, Strona(/y) 71-91, ISBN 9783030994280
Wydawca:
Zenodo
DOI:
10.1007/978-3-030-99429-7_4
Autorzy:
Hartmanns, Arnd; Fisman, Dana; Rosu, Grigore
Opublikowane w:
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783030995263, 2022, Strona(/y) 41-59, ISBN 978-3-030-99526-3
Wydawca:
Springer Nature
DOI:
10.1007/978-3-030-99527-0_3
Autorzy:
Pablo F. Castro; Pedro R. D’Argenio; Ramiro Demasi; Luciano Putruele
Opublikowane w:
Computer Aided Verification ISBN: 9783031131875, Numer 5, 2022, ISBN 978-3-031-13188-2
Wydawca:
springer
DOI:
10.1007/978-3-031-13188-2_3
Wyszukiwanie danych OpenAIRE...
Podczas wyszukiwania danych OpenAIRE wystąpił błąd
Brak wyników