Genaína Nunes Rodrigues
Universidade de Brasília
H-index: 18
Latin America-Brazil
Top articles of Genaína Nunes Rodrigues
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Runtime Verification and Field Testing for ROS-Based Robotic Systems | arXiv preprint arXiv:2404.11498 | Ricardo Caldas Juan Antonio Piñera García Matei Schiopu Patrizio Pelliccione Genaína Rodrigues | 2024/4/17 |
Explainability for Property Violations in Cyber-Physical Systems: An Immune-Inspired Approach | IEEE Software | João Paulo Costa de Araujo Genaína Nunes Rodrigues Marc Carwehl Thomas Vogel Lars Grunske | 2024/4/16 |
Analyzing and Debugging Normative Requirements via Satisfiability Checking | Nick Feng Lina Marsso Sinem Getir Yaman Yesugen Baatartogtokh Reem Ayad | 2024/4/12 | |
Controller Synthesis for Autonomous Systems with Deep-Learning Perception Components | IEEE Transactions on Software Engineering | Radu Calinescu Calum Imrie Ravi Mangal Genaína Nunes Rodrigues Corina Păsăreanu | 2024/4/10 |
Formal Synthesis of Uncertainty Reduction Controllers | arXiv preprint arXiv:2401.17187 | Marc Carwehl Calum Imrie Thomas Vogel Genaína Rodrigues Radu Calinescu | 2024/1/30 |
A Modeling Strategy for the Verification of Context-Oriented Chatbot Conversational Flows via Model Checking | Journal of Universal Computer Science | Geovana Ramos Sousa Silva Genaína Nunes Rodrigues Edna Dias Canedo | 2023 |
Towards a Research Agenda for Understanding and ManagingUncertainty in Self-Adaptive Systems | Danny Weyns Radu Calinescu Raffaela Mirandola Kenji Tei Maribel Acosta | 2023/10/17 | |
Runtime verification of self-adaptive systems with changing requirements | Marc Carwehl Thomas Vogel Genaína Nunes Rodrigues Lars Grunske | 2023/5/15 | |
Goal Controller Synthesis for Self-Adaptive Systems | Radu Calinescu Genaína Nunes Rodrigues | 2023/5/14 | |
Mission specification and decomposition for multi-robot systems | Robotics and Autonomous Systems | Eric Bernd Gil Genaína Nunes Rodrigues Patrizio Pelliccione Radu Calinescu | 2023/5/1 |
A property specification pattern catalog for real-time system verification with UPPAAL | Information and Software Technology | Thomas Vogel Marc Carwehl Genaína Nunes Rodrigues Lars Grunske | 2023/2/1 |
Discrete-event controller synthesis for autonomous systems with deep-learning perception components | arXiv preprint arXiv:2202.03360 | Radu Calinescu Calum Imrie Ravi Mangal Genaína Nunes Rodrigues Corina Păsăreanu | 2022/2/7 |
LST: Testbed Emulado Baseado em Contêineres para Redes SDN Seguras | Alexandre Mitsuru Kaihara | 2022/9/30 | |
Guidelines for artifacts to support industry-relevant research on self-adaptation | ACM SIGSOFT Software Engineering Notes | Danny Weyns Ilias Gerostathopoulos Barbora Buhnova Nicolás Cardozo Emilia Cioroaica | 2022/9/28 |
An architecture for mission coordination of heterogeneous robots | Journal of Systems and Software | Gabriel Rodrigues Ricardo Caldas Gabriel Araujo Vicente de Moraes Genaína Rodrigues | 2022/9/1 |
LST: Testbed Emulado Leve para Redes SDN Aplicado ao Contexto de Segurança | Alexandre M Kaihara Lucas Bondan Joao JC Gondim Gabriel S Rodrigues Marcelo A Marotta | 2022/5/23 | |
A novel statistical and neural network combined approach for the cloud spot market | IEEE Transactions on Cloud Computing | Gustavo J Portella Eduardo Nakano Genaina N Rodrigues Azzedine Boukerche Alba CMA Melo | 2021/6/23 |
Body sensor network: A self-adaptive system exemplar in the healthcare domain | Eric Bernd Gil Ricardo Caldas Arthur Rodrigues Gabriel Levi Gomes da Silva Genaína Nunes Rodrigues | 2021/5/18 | |
3 rd International Workshop on Context-aware, Autonomous and Smart Architecture: CASA@ ECSA 2020 | Claudia Raibulet Khalil Drira M Fugini Pelliccione Patrizio Genaina Nunes Rodrigues | 2020/9 | |
A hybrid approach combining control theory and AI for engineering self-adaptive systems | Ricardo Diniz Caldas Arthur Rodrigues Eric Bernd Gil Genaína Nunes Rodrigues Thomas Vogel | 2020/6/29 |