Search Results - "Rodrigues, Genaína Nunes"

A Framework for Adaptive Fault-Tolerant Execution of Workflows in the Grid: Empirical and Theoretical Analysis by Guimaraes, Felipe Pontes, Célestin, Pedro, Batista, Daniel Macedo, Rodrigues, Genaína Nunes, de Melo, Alba Cristina Magalhaes Alves

“…In this paper, we propose and evaluate a framework for fault tolerant workflow execution in Grid environments. Different from previous work in the literature,…”
Get full text

Controller Synthesis for Autonomous Systems With Deep-Learning Perception Components by Calinescu, Radu, Imrie, Calum, Mangal, Ravi, Rodrigues, Genaina Nunes, Pasareanu, Corina, Santana, Misael Alpizar, Vazquez, Gricel

“…We present DeepDECS, a new method for the synthesis of correct-by-construction software controllers for autonomous systems that use deep neural network (DNN)…”
Get full text

Explainability for Property Violations in Cyberphysical Systems: An Immune-Inspired Approach by Costa de Araujo, Joao Paulo, Rodrigues, Genaina Nunes, Carwehl, Marc, Vogel, Thomas, Grunske, Lars, Caldas, Ricardo, Pelliccione, Patrizio

“…A systematic approach is essential to help understand the system behaviors that lead to critical cyberphysical system failures. We present a methodology that…”
Get full text

Border Effect Analysis for Reliability Assurance and Continuous Connectivity of Wireless Sensor Networks in the Presence of Sensor Failures by Laranjeira, Luiz A., Nunes Rodrigues, Genaina

“…This paper presents a model of the connectivity of a wireless sensor network (WSN) deployed over a square area, which considers border effects. This model…”
Get full text

A Modeling Strategy for the Verification of Context-Oriented Chatbot Conversational Flows via Model Checking by Silva, Geovana Ramos Sousa, Rodrigues, Genaína Nunes, Canedo, Edna Dias

“…Verification of chatbot conversational flows is paramount to capturing and understanding chatbot behavior and predicting problems that would cause the entire…”
Get full text

GODA: A goal-oriented requirements engineering framework for runtime dependability analysis by Mendonça, Danilo Filgueira, Nunes Rodrigues, Genaína, Ali, Raian, Alves, Vander, Baresi, Luciano

“…Context: Many modern software systems must deal with changes and uncertainty. Traditional dependability requirements engineering is not equipped for this since…”
Get full text

A learning approach to enhance assurances for real-time self-adaptive systems by Rodrigues, Arthur, Caldas, Ricardo Diniz, Rodrigues, Genaína Nunes, Vogel, Thomas, Pelliccione, Patrizio

“…The assurance of real-time properties is prone to context variability. Providing such assurance at design time would require to check all the possible context…”
Get full text

Dohko: an autonomic system for provision, configuration, and management of inter-cloud environments based on a software product line engineering method by Leite, Alessandro Ferreira, Alves, Vander, Rodrigues, Genaína Nunes, Tadonki, Claude, Eisenbeis, Christine, Melo, Alba Cristina Magalhaes Alves de

“…Configuring and executing applications across multiple clouds is a challenging task due to the various terminologies used by the cloud providers. Therefore, we…”
Get full text

A property specification pattern catalog for real-time system verification with UPPAAL by Vogel, Thomas, Carwehl, Marc, Rodrigues, Genaína Nunes, Grunske, Lars

“…The goal of specification pattern catalogs for real-time requirements is to mask the complexity of specifying such requirements in a timed temporal logic for…”
Get full text

Mission specification and decomposition for multi-robot systems by Gil, Eric Bernd, Rodrigues, Genaína Nunes, Pelliccione, Patrizio, Calinescu, Radu

“…Service robots are increasingly being used to perform missions comprising dangerous or tedious tasks previously executed by humans. However, their users—who…”
Get full text

A Property Specification Pattern Catalog for Real-Time System Verification with UPPAAL by Vogel, Thomas, Carwehl, Marc, Rodrigues, Genaína Nunes, Grunske, Lars

“…Information and Software Technology, 2022 Context: The goal of specification pattern catalogs for real-time requirements is to mask the complexity of…”
Get full text

Enhancing context specifications for dependable adaptive systems: A data mining approach by Rodrigues, Arthur, Rodrigues, Genaína Nunes, Knauss, Alessia, Ali, Raian, Andrade, Hugo

“…Context: Adaptive systems are expected to cater for various operational contexts by having multiple strategies in achieving their objectives and the logic for…”
Get full text

Characterization of implied scenarios as families of common behavior by de Melo, Caio Batista, Cançado, André Luiz Fernandes, Rodrigues, Genaína Nunes

“…•We propose a new manner to deal with implied scenarios, by detecting commonalities.•These common behaviors, describe common faults of different implied…”
Get full text

Analyzing and Debugging Normative Requirements via Satisfiability Checking by Feng, Nick, Marsso, Lina, Yaman, Sinem Getir, Baatartogtokh, Yesugen, Ayad, Reem, de Mello, Victória Oldemburgo, Townsend, Beverley, Standen, Isobel, Stefanakos, Ioannis, Imrie, Calum, Rodrigues, Genaína Nunes, Cavalcanti, Ana, Calinescu, Radu, Chechik, Marsha

“…As software systems increasingly interact with humans in application domains such as transportation and healthcare, they raise concerns related to the social,…”
Get full text

A Hybrid Approach Combining Control Theory and AI for Engineering Self-Adaptive Systems by Caldas, Ricardo Diniz, Rodrigues, Arthur, Gil, Eric Bernd, Rodrigues, Genaina Nunes, Vogel, Thomas, Pelliccione, Patrizio

“…Control theoretical techniques have been successfully adopted as methods for self-adaptive systems design to provide formal guarantees about the effectiveness…”
Get full text

Planning runtime software adaptation through pragmatic goal model by Guimarães, Felipe Pontes, Rodrigues, Genaína Nunes, Ali, Raian, Batista, Daniel Macêdo

“…Adaptivity is a capability that enables a system to choose amongst various alternatives to satisfy or maintain the satisfaction of certain requirements. The…”
Get full text

Taming Uncertainty in the Assurance Process of Self-Adaptive Systems: a Goal-Oriented Approach by Felix Solano, Gabriela, Diniz Caldas, Ricardo, Nunes Rodrigues, Genaina, Vogel, Thomas, Pelliccione, Patrizio

“…Goals are first-class entities in a self-adaptive system (SAS) as they guide the self-adaptation. A SAS often operates in dynamic and partially unknown…”
Get full text

Body Sensor Network: A Self-Adaptive System Exemplar in the Healthcare Domain by Gil, Eric Bernd, Caldas, Ricardo, Rodrigues, Arthur, da Silva, Gabriel Levi Gomes, Rodrigues, Genaína Nunes, Pelliccione, Patrizio

“…Recent worldwide events shed light on the need of human-centered systems engineering in the healthcare domain. These systems must be prepared to evolve quickly…”
Get full text

Dependability analysis in the Ambient Assisted Living Domain: An exploratory case study by Rodrigues, Genaína Nunes, Alves, Vander, Silveira, Renato, Laranjeira, Luiz A.

“…► We provide detailed notations, models and tools involved in our process of AAL dependability analysis. ► We classify the failures that arise between hardware…”
Get full text

A Hybrid Approach Combining Control Theory and AI for Engineering Self-Adaptive Systems by Caldas, Ricardo Diniz, Rodrigues, Arthur, Gil, Eric Bernd, Rodrigues, Genaína Nunes, Vogel, Thomas, Pelliccione, Patrizio

“…IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2020) Control theoretical techniques have been…”
Get full text