Search Results - "Rodrigues, Genaína"

Runtime Verification and Field-Based Testing for ROS-Based Robotic Systems by Caldas, Ricardo, Garcia, Juan Antonio Pinera, Schiopu, Matei, Pelliccione, Patrizio, Rodrigues, Genaina, Berger, Thorsten

“…Robotic systems are becoming pervasive and adopted in increasingly many domains, such as manufacturing, healthcare, and space exploration. To this end,…”
Get full text

An architecture for mission coordination of heterogeneous robots by Rodrigues, Gabriel, Caldas, Ricardo, Araujo, Gabriel, de Moraes, Vicente, Rodrigues, Genaína, Pelliccione, Patrizio

“…Robots can potentially collaborate to execute a variety of tasks in the service robots domain. However, developing applications of service robots can be…”
Get full text

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

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

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

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

Formal Synthesis of Uncertainty Reduction Controllers by Carwehl, Marc, Imrie, Calum, Vogel, Thomas, Rodrigues, Genaina, Calinescu, Radu, Grunske, Lars

“…In its quest for approaches to taming uncertainty in self-adaptive systems (SAS), the research community has largely focused on solutions that adapt the SAS…”
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 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

Building reliable and maintainable Dynamic Software Product Lines: An investigation in the Body Sensor Network domain by Pessoa, Leonardo, Fernandes, Paula, Castro, Thiago, Alves, Vander, Rodrigues, Genaína N., Carvalho, Hervaldo

“…Context: Dependability is a key requirement, especially in safety-critical applications. Many of these applications have changing context and configurations at…”
Get full text

A Novel Statistical and Neural Network Combined Approach for the Cloud Spot Market by Portella, Gustavo J., Nakano, Eduardo, Rodrigues, Genaina N., Boukerche, Azzedine, Melo, Alba C. M. A.

“…The price of virtual machine instances in the Amazon EC2 spot model is often much lower than in the on-demand counterpart. However, this price reduction comes…”
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

Statistical analysis of Amazon EC2 cloud pricing models by Portella, Gustavo, Rodrigues, Genaina N., Nakano, Eduardo, Melo, Alba C.M.A.

“…Summary In this paper, we conduct statistical analyses for two Amazon cloud pricing models: on demand and spot. On demand cloud instances are charged a fixed…”
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

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

GoalD: A Goal-Driven deployment framework for dynamic and heterogeneous computing environments by Rodrigues, Gabriel S., Guimarães, Felipe P., Rodrigues, Genaína N., Knauss, Alessia, de Araújo, João Paulo C., Andrade, Hugo, Ali, Raian

“…Emerging paradigms like Internet of Things and Smart Cities utilize advanced sensing and communication infrastructures, where heterogeneity is an inherited…”
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

Analyzing and Debugging Normative Requirements via Satisfiability Checking by Feng, Nick, Marsso, Lina, Yaman, Sinem Getir, Townsend, Beverley, Baatartogtokh, Yesugen, Ayad, Reem, de Mello, Victoria Oldemburgo, Standen, Isobel, Stefanakos, Ioannis, Imrie, Calum, Rodrigues, Genaina, 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