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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

Using Scenarios to Predict the Reliability of Concurrent Component-Based Software Systems von Rodrigues, Genaína, Rosenblum, David, Uchitel, Sebastian

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext