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

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

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

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

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

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

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

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

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

A hybrid approach combining control theory and AI for engineering self-adaptive systems von Diniz Caldas, Ricardo, Rodrigues, Arthur, Gil, Eric Bernd, Nunes Rodrigues, Genaina, Vogel, Thomas, Pelliccione, Patrizio

Volltext bestellen

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

A Model Driven Approach for Software Systems Reliability von Rodrigues, Genaina Nunes

Volltext

A Persona-Based Modelling for Contextual Requirements von Nunes Rodrigues, Genaína, Joel Tavares, Carlos, Watanabe, Naiara, Alves, Carina, Ali, Raian

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

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

Volltext

Pragmatic Requirements for Adaptive Systems: A Goal-Driven Modeling and Analysis Approach von Pontes Guimaraes, Felipe, Nunes Rodrigues, Genaina, Macedo Batista, Daniel, Ali, Raian

Volltext

Reliability Analysis of Concurrent Systems Using LTSA von Rodrigues, Genaina Nunes, Rosenblum, David, Wolf, Jonas

Volltext bestellen

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

Volltext