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
RCOS Target Source code and binaries (version V3)
RCOS Target Source code and binaries (V2) (odnośnik otworzy się w nowym oknie)RCOS Target Source code and binaries (version V2)
RDEV (RCOS development environment) source code and binaries (V1) (odnośnik otworzy się w nowym oknie)RDEV (RCOS development environment) source code and binaries (version V1)
RCOS Target Source code and binaries (V1) (odnośnik otworzy się w nowym oknie)RCOS Target Source code and binaries (version V1)
RDEV (RCOS development environment) source code and binaries (V2) (odnośnik otworzy się w nowym oknie)RDEV (RCOS development environment) source code and binaries (version V2)
RCOS Target Source code and binaries (V0) (odnośnik otworzy się w nowym oknie)RCOS Target Source code and binaries (version V0).
RDEV (RCOS development environment) source code and binaries (V4) (odnośnik otworzy się w nowym oknie)RDEV (RCOS development environment) source code and binaries (version V4)
RDEV (RCOS development environment) source code and binaries (V0) (odnośnik otworzy się w nowym oknie)RDEV (RCOS development environment) source code and binaries
RCOS Target Source code and binaries (V4) (odnośnik otworzy się w nowym oknie)RCOS Target Source code and binaries (version V4)
RDEV (RCOS development environment) source code and binaries (V3) (odnośnik otworzy się w nowym oknie)RDEV (RCOS development environment) source code and binaries (version V3)
Software detailed design description
Exploitation Plan (odnośnik otworzy się w nowym oknie)This document describes the foreseen activities to promote and extend the use of the ESROCOS framework within the robotics community.
Technology Review Document (odnośnik otworzy się w nowym oknie)Technology review and ROCS trade-offs
Interface Control Document (v2) (odnośnik otworzy się w nowym oknie)Interface control document, detailing the interfaces of the ESROCS constituents, as well as the API.
Software Reuse File (v2) (odnośnik otworzy się w nowym oknie)Second version of this document, including the changes to be performed for the existing elements as well as details of integration in the corresponding ESROCOS framework
Final Report (odnośnik otworzy się w nowym oknie)This document shortly reports the achievements of the OG1 activities, the lessons learned and main recommendations for the way forward
Software Reuse File (odnośnik otworzy się w nowym oknie)Containing the trade-offs w.r.t existing ROCS and the SW to be reused
Dissemination Report (odnośnik otworzy się w nowym oknie)This document reports the activities done for fostering the dissemination of the work done within OG1 and in coordination with other OGs, including workshops and papers submission.
Dissemination Plan (odnośnik otworzy się w nowym oknie)This document includes the description of the dissemination activities planned within OG1.
Software Configuration File (odnośnik otworzy się w nowym oknie)RCOS System configuration file
Software Configuration File (v2) (odnośnik otworzy się w nowym oknie)RCOS System configuration file
Communication & Outreach Manual (odnośnik otworzy się w nowym oknie)The Communication & Outreach Manual will summarize the communication and outreach strategy and contain all print materials and references to the implementation of online materials listed in WP6100..
System Requirements Document (odnośnik otworzy się w nowym oknie)System requirements derived from the OG1 User requirements
Preliminary Design Document (odnośnik otworzy się w nowym oknie)Architectural model of the ROCS components
Interface Control Document (Preliminary) (odnośnik otworzy się w nowym oknie)Preliminary Interface Control Document
Product Definition (odnośnik otworzy się w nowym oknie)End-to-End RCOS Product Definition
Any publication to be produced by the project.
Publikacje
Autorzy:
Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis
Opublikowane w:
Tools and Algorithms for the Construction and Analysis of Systems, Numer 10806, 2018, Strona(/y) 201-208, ISBN 978-3-319-89962-6
Wydawca:
Springer International Publishing
DOI:
10.1007/978-3-319-89963-3_12
Autorzy:
Iulia Dragomir, Simon Iosti, Marius Bozga, Saddek Bensalem
Opublikowane w:
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III, Numer 11246, 2018, Strona(/y) 155-171, ISBN 978-3-030-03423-8
Wydawca:
Springer International Publishing
DOI:
10.1007/978-3-030-03424-5_11
Autorzy:
Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Mahieddine Dellabani, Axel Legay, Saddek Bensalem
Opublikowane w:
Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings, Numer 11138, 2018, Strona(/y) 536-542, ISBN 978-3-030-01089-8
Wydawca:
Springer International Publishing
DOI:
10.1007/978-3-030-01090-4_33
Autorzy:
Muñoz Arancón, M.; Montano, G.; Wirkus, M.; Hoeflinger, K.; Silveira, D.; Tsiogkas, N.; Hugues, Jérôme; Bruyninckx, H.; Dragomir, Iulia; Muhammad, A.
Opublikowane w:
14th Symposium on Advanced Space Technologies in Robotics and Automation (ASTRA 2017), Numer 2, 2017
Wydawca:
ESA
Autorzy:
Mahieddine Dellabani, Jacques Combaz, Saddek Bensalem, Marius Bozga
Opublikowane w:
2017 24th Asia-Pacific Software Engineering Conference (APSEC), 2017, Strona(/y) 751-756, ISBN 978-1-5386-3681-7
Wydawca:
IEEE
DOI:
10.1109/apsec.2017.106
Autorzy:
Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis
Opublikowane w:
VMCAI 2019 - 20th International Conference on Verification, Model Checking, and Abstract Interpretation, Numer 20th, 2019
Wydawca:
VMCAI
Autorzy:
Ayoub Nouri, Braham Lotfi Mediouni, Marius Bozga, Jacques Combaz, Saddek Bensalem, Axel Legay
Opublikowane w:
International Journal of Critical Computer-Based Systems, Numer 8/3/4, 2018, Strona(/y) 340, ISSN 1757-8779
Wydawca:
Inderscience Publishers
DOI:
10.1504/ijccbs.2018.096439
Wyszukiwanie danych OpenAIRE...
Podczas wyszukiwania danych OpenAIRE wystąpił błąd
Brak wyników