Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Rodrigues, Genaina Nunes
67  Ergebnisse:
Personensuche X
?
1

Controller Synthesis for Autonomous Systems With Deep-Learn..:

Calinescu, Radu ; Imrie, Calum ; Mangal, Ravi...
IEEE Transactions on Software Engineering.  50 (2024)  6 - p. 1374-1395 , 2024
Link: https://doi.org/10.1109/..
 
?
2

Analyzing and Debugging Normative Requirements via Satisfia..:

, In: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering,
Feng, Nick ; Marsso, Lina ; Getir Yaman, Sinem... - p. 1-12 , 2024
Link: https://dl.acm.org/doi/1..
 
?
3

Explainability for Property Violations in Cyber-Physical Sy..:

Costa de Araujo, João Paulo ; Rodrigues, Genaína Nunes ; Carwehl, Marc...
IEEE Software.  , 2024
Link: https://doi.org/10.1109/..
 
?
4

Goal Controller Synthesis for Self-Adaptive Systems:

, In: 2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE),
Calinescu, Radu ; Rodrigues, Genaina Nunes - p. 1-6 , 2023
Link: https://doi.org/10.1109/..
 
?
5

Mission specification and decomposition for multi-robot sys..:

Gil, Eric Bernd ; Rodrigues, Genaína Nunes ; Pelliccione, Patrizio.
Robotics and Autonomous Systems.  163 (2023)  - p. 104386 , 2023
Link: https://doi.org/10.1016/..
 
?
6

A property specification pattern catalog for real-time syst..:

Vogel, Thomas ; Carwehl, Marc ; Rodrigues, Genaína Nunes.
Information and Software Technology.  154 (2023)  - p. 107100 , 2023
Link: https://doi.org/10.1016/..
 
?
7

Runtime Verification of Self-Adaptive Systems with Changing..:

, In: 2023 IEEE/ACM 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS),
Carwehl, Marc ; Vogel, Thomas ; Rodrigues, Genaina Nunes. - p. 104-114 , 2023
Link: https://doi.org/10.1109/..
 
?
8

A Modeling Strategy for the Verification of Context-Oriente..:

Silva, Geovana Ramos Sousa ; Rodrigues, Genaína Nunes ; Canedo, Edna Dias
JUCS - Journal of Universal Computer Science.  29 (2023)  7 - p. 805-835 , 2023
Link: https://doi.org/10.3897/..
 
?
9

A Novel Statistical and Neural Network Combined Approach fo..:

Portella, Gustavo Jardim ; Rodrigues, Genaina Nunes ; Nakano, Eduardo Yoshio..
IEEE Transactions on Cloud Computing.  , 2021
Link: https://doi.org/10.1109/..
 
?
10

Report of the 2nd International Workshop on Context-aware A..:

Raibulet, Claudia ; Drira, Khalil ; Fugini, MariaGrazia...
ACM SIGSOFT Software Engineering Notes.  45 (2020)  1 - p. 14-17 , 2020
Link: https://dl.acm.org/doi/1..
 
?
11

A Hybrid Approach Combining Control Theory and AI for Engin..:

, In: 2020 IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS),
Caldas, Ricardo Diniz ; Rodrigues, Arthur ; Gil, Eric Bernd... - p. 9-19 , 2020
Link: https://doi.org/10.1145/..
 
?
12

A hybrid approach combining control theory and AI for engin..:

, In: Proceedings of the IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems,
Caldas, Ricardo Diniz ; Rodrigues, Arthur ; Gil, Eric Bernd... - p. 9-19 , 2020
Link: https://dl.acm.org/doi/1..
 
?
13

Characterization of implied scenarios as families of common..:

de Melo, Caio Batista ; Cançado, André Luiz Fernandes ; Rodrigues, Genaína Nunes
Journal of Systems and Software.  158 (2019)  - p. 110425 , 2019
Link: https://doi.org/10.1016/..
 
?
14

Taming uncertainty in the assurance process of self-adaptiv..:

, In: Proceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems,
Solano, Gabriela Félix ; Caldas, Ricardo Diniz ; Rodrigues, Genaína Nunes.. - p. 89-99 , 2019
Link: https://dl.acm.org/doi/1..
 
?
15

Enhancing context specifications for dependable adaptive sy..:

Rodrigues, Arthur ; Rodrigues, Genaína Nunes ; Knauss, Alessia..
Information and Software Technology.  112 (2019)  - p. 115-131 , 2019
Link: https://doi.org/10.1016/..
 
1-15