-
1Report
المؤلفون: Ruo, Andrea, Arreghini, Simone, Capra, Luca, De Chiara, Rosario, Di Pasquale, Valeria, Giusti, Alessandro, Iani, Cristina, Paolillo, Antonio, Petrak, Dominic, Plaum, Alexander, Quamara, Megha, Sabattini, Lorenzo, Schmuck, Viktor, Servillo, Paolo, Zurolo, Francesco, Villani, Valeria
مصطلحات موضوعية: Computer Science - Robotics
URL الوصول: http://arxiv.org/abs/2409.08677
-
2Academic Journal
المؤلفون: Quamara, Megha, Capra, Luca, Villani, Valeria, Carlevaro, Cristiano, Celiktutan, Oya, Peretti, Alessandro, Piazzola, Marco, Ruo, Andrea, Sabattini, Lorenzo, Schmuck, Viktor, Viganò, Luca
المصدر: Quamara , M , Capra , L , Villani , V , Carlevaro , C , Celiktutan , O , Peretti , A , Piazzola , M , Ruo , A , Sabattini , L , Schmuck , V & Viganò , L 2024 , Towards a Modular Architecture for eXtended Reality Systems . in 8th International Conference on Artificial Intelligence and Virtual Reality (2024) .
وصف الملف: application/pdf
-
3Conference
المؤلفون: Quamara, Megha, Pedroza, Gabriel, Hamid, Brahim
المساهمون: Département Ingénierie Logiciels et Systèmes (DILS (CEA, LIST)), Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)), Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay, Advancing Rigorous Software and System Engineering (IRIT-ARGOS), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)
المصدر: Dependable Computing – EDCC 2022 Workshops: SERENE, DREAMS, AI4RAILS, Zaragoza, Spain, September 12, 2022, Proceedings ; ISBN: 978-3-031-16244-2 ; Series ISSN: 1865-0929 ; 14th International Workshop on Software Engineering for Resilient Systems (SERENE 2022) ; https://cea.hal.science/cea-03789094 ; 14th International Workshop on Software Engineering for Resilient Systems (SERENE 2022), Sep 2022, Zaragoza, Spain. pp.18-31, ⟨10.1007/978-3-031-16245-9_2⟩ ; https://serene.disim.univaq.it/2022/
مصطلحات موضوعية: Safety, Security, Co-engineering, Design, Analysis, Model-Driven Engineering, Formal Methods, [INFO]Computer Science [cs]
Relation: cea-03789094; https://cea.hal.science/cea-03789094; https://cea.hal.science/cea-03789094/document; https://cea.hal.science/cea-03789094/file/SERENE_2022_paper_4525.pdf
-
4Conference
المؤلفون: Quamara, Megha, Pedroza, Gabriel, Hamid, Brahim
المساهمون: Département Ingénierie Logiciels et Systèmes (DILS (CEA, LIST)), Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)), Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay, Advancing Rigorous Software and System Engineering (IRIT-ARGOS), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)
المصدر: Special issue : IEEE CyberSciTech/ PICom/ DASC/ CDBCom 2022 ; 20th IEEE International Conference on Dependable, Autonomic & Secure Computing (DASC 2022) ; https://cea.hal.science/cea-03789114 ; 20th IEEE International Conference on Dependable, Autonomic & Secure Computing (DASC 2022), Sep 2022, Calabria, Italy. pp.1-8, ⟨10.1109/DASC/PiCom/CBDCom/Cy55231.2022.9927773⟩ ; http://cyber-science.org/2022/dasc/
مصطلحات موضوعية: safety, security, co-engineering, design, analysis, model-driven engineering, formal methods, [INFO]Computer Science [cs]
Relation: cea-03789114; https://cea.hal.science/cea-03789114; https://cea.hal.science/cea-03789114/document; https://cea.hal.science/cea-03789114/file/2022132644.pdf
-
5Conference
المؤلفون: Quamara, Megha, Pedroza, Gabriel, Hamid, Brahim
المساهمون: Département Ingénierie Logiciels et Systèmes (DILS (CEA, LIST)), Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)), Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay, Advancing Rigorous Software and System Engineering (IRIT-ARGOS), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)
المصدر: 2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)
ISBN: 978-1-6654-2484-4/2
ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C 2021)
https://cea.hal.science/cea-03789160
ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C 2021), Oct 2021, Fukuoka (virtual event), Japan. pp.274-283, ⟨10.1109/MODELS-C53483.2021.00048⟩
https://ieeexplore.ieee.org/document/9643661مصطلحات موضوعية: safety, security, co-engineering, design, modeldriven engineering, formal methods, connected driving vehicles, [INFO]Computer Science [cs]
جغرافية الموضوع: Fukuoka (virtual event), Japan
Relation: cea-03789160; https://cea.hal.science/cea-03789160; https://cea.hal.science/cea-03789160/document; https://cea.hal.science/cea-03789160/file/MoDeVVA%2721.pdf
-
6Conference
المؤلفون: Quamara, Megha, Pedroza, Gabriel, Hamid, Brahim
المساهمون: Département Ingénierie Logiciels et Systèmes (DILS (CEA, LIST)), Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)), Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay, Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT), Advancing Rigorous Software and System Engineering (IRIT-ARGOS), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole)
المصدر: 2021 IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C)
Electronic ISBN: 978-1-6654-7836-6
IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C 2021)
https://cea.hal.science/cea-03789133
IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C 2021), Dec 2021, Hainan Island, China. pp.1163-1164, ⟨10.1109/QRS-C55045.2021.00175⟩
https://ieeexplore.ieee.org/document/9742080مصطلحات موضوعية: safety, security, co-engineering, design, modeldriven engineering, formal methods, [INFO]Computer Science [cs]
جغرافية الموضوع: Hainan Island, China
Relation: cea-03789133; https://cea.hal.science/cea-03789133; https://cea.hal.science/cea-03789133/document; https://cea.hal.science/cea-03789133/file/QRS2021CameraReady.pdf
-
7Book
المؤلفون: Gupta, B. B., Quamara, Megha
المصدر: ISBN 9780429353529.
-
8Book
المؤلفون: Gupta, B. B., Quamara, Megha
المصدر: Internet of Things Security ; page 39-50 ; ISBN 9780429353529
-
9Book
المؤلفون: Gupta, B. B., Quamara, Megha
المصدر: Internet of Things Security ; page 59-90 ; ISBN 9780429353529
-
10Book
المؤلفون: Gupta, B. B., Quamara, Megha
المصدر: Internet of Things Security ; page 11-23 ; ISBN 9780429353529
-
11Book
المؤلفون: Gupta, B. B., Quamara, Megha
المصدر: Internet of Things Security ; page 1-9 ; ISBN 9780429353529
-
12Book
المؤلفون: Gupta, B. B., Quamara, Megha
المصدر: Internet of Things Security ; page 51-58 ; ISBN 9780429353529
-
13Book
المؤلفون: Gupta, B. B., Quamara, Megha
المصدر: Internet of Things Security ; page 25-38 ; ISBN 9780429353529
-
14Book
المؤلفون: Gupta, B.B., Quamara, Megha
المصدر: Smart Card Security ; page 55-92 ; ISBN 9780429345593
-
15Book
المؤلفون: Gupta, B.B., Quamara, Megha
المصدر: Smart Card Security ; page 45-54 ; ISBN 9780429345593
-
16Book
المؤلفون: Gupta, B.B., Quamara, Megha
المصدر: Smart Card Security ; page 93-104 ; ISBN 9780429345593
-
17Book
المؤلفون: Gupta, B.B., Quamara, Megha
المصدر: Smart Card Security ; page 1-10 ; ISBN 9780429345593
-
18Book
المؤلفون: Gupta, B.B., Quamara, Megha
المصدر: Smart Card Security ; page 11-22 ; ISBN 9780429345593
-
19Academic Journal
المؤلفون: Quamara, Megha, Gupta, B.B.
المصدر: International Journal of Embedded Systems ; volume 13, issue 1, page 40 ; ISSN 1741-1068 1741-1076
-
20Academic Journal
المؤلفون: Gupta, B.B., Quamara, Megha
المصدر: International Journal of Embedded Systems ; volume 13, issue 1, page 40 ; ISSN 1741-1068 1741-1076