Dynamically Reconfigurable Systems: A Systematic Literature Review von Fornari, Gabriel, de Santiago Júnior, Valdivino Alexandre

Volltext

A systematic mapping addressing Hyper-Heuristics within Search-based Software Testing von Balera, Juliana Marino, Santiago Júnior, Valdivino Alexandre de

Volltext

Throughput Maximization for a Multicarrier Cell-Less NOMA Network: A Framework Based on Ensemble Metaheuristics von de Oliveira Torres, Fabio, de Santiago Junior, Valdivino Alexandre, da Costa, Daniel Benevides, Cardoso, Diego Lisboa, de Oliveira, Roberto Celio Limao

Volltext

Evaluating Deep Learning Techniques for Blind Image Super-Resolution within a High-Scale Multi-Domain Perspective von de Santiago Júnior, Valdivino Alexandre

Volltext

Many-objective test case generation for graphical user interface applications via search-based and model-based testing von Santiago, Valdivino Alexandre de, Özcan, Ender, Balera, Juliana Marino

Volltext

Transformation of UML Behavioral Diagrams to Support Software Model Checking von Brasil Rebelo dos Santos, Luciana, Alexandre de Santiago, Valdivino, Lankalapalli Vijaykumar, Nandamudi

Volltext

H-Switch Cover: a new test criterion to generate test case from finite state machines von Souza, Érica Ferreira de, Santiago Júnior, Valdivino Alexandre de, Vijaykumar, Nandamudi Lankalapalli

Volltext

Hyper-Heuristics based on Reinforcement Learning, Balanced Heuristic Selection and Group Decision Acceptance von Santiago Júnior, Valdivino Alexandre de, Özcan, Ender, Carvalho, Vinicius Renan de

Volltext

Generating model-based test cases from natural language requirements for space application software von Santiago Júnior, Valdivino Alexandre de, Vijaykumar, Nandamudi Lankalapalli

Volltext

Artificial Neural Networks to Analyze Energy Consumption and Temperature of UAV On-Board Computers Executing Algorithms for Object Detection von de Sousa Maximiano, Renato, de Santiago Júnior, Valdivino Alexandre, Shiguemori, Elcio Hideiti

Volltext

XIPE the X-Ray Imaging Polarimetry Explorer von Soffitta, Paolo, Barcons, Xavier, Bellazzini, Ronaldo, Braga, Joao, Costa, Enrico, Fraser, George W., Gburek, Szymon, Huovelin, Juhani, Matt, Giorgio, Pearce, Mark, Poutanen, Juri, Reglero, Victor, Santangelo, Andrea, Sunyaev, Rashid A., Tagliaferri, Gianpiero, Weisskopf, Martin, Aloisio, Roberto, Amato, Elena, Attina, Primo, Axelsson, Magnus, Baldini, Luca, Basso, Stefano, Bianchi, Stefano, Blasi, Pasquale, Bregeon, Johan, Brez, Alessandro, Bucciantini, Niccolo, Burderi, Luciano, Burwitz, Vadim, Casella, Piergiorgio, Churazov, Eugene, Civitani, Marta, Covino, Stefano, Curado da Silva, Rui Miguel, Cusumano, Giancarlo, Dadina, Mauro, D'Amico, Flavio, De Rosa, Alessandra, Di Cosimo, Sergio, Di Persio, Giuseppe, Di Salvo, Tiziana, Dovciak, Michal, Elsner, Ronald, Eyles, Chris J., Fabian, Andrew C., Fabiani, Sergio, Feng, Hua, Giarrusso, Salvatore, Goosmann, Rene W., Grandi, Paola, Grosso, Nicolas, Israel, Gianluca, Jackson, Miranda, Kaaret, Phillip, Karas, Vladimir, Kuss, Michael, Lai, Dong, La Rosa, Giovanni, Larsson, Josefin, Larsson, Stefan, Latronico, Luca, Maggio, Antonio, Maia, Jorge, Marin, Frederic, Massai, Marco Maria, Mineo, Teresa, Minuti, Massimo, Moretti, Elena, Muleri, Fabio, O'Dell, Stephen L., Pareschi, Giovanni, Peres, Giovanni, Pesce, Melissa, Petrucci, Pierre-Olivier, Pinchera, Michele, Porquet, Delphine, Ramsey, Brian, Rea, Nanda, Reale, Fabio, Rodrigo, Juana Maria, Rozanska, Agata, Rubini, Alda, Rudawy, Pawel, Ryde, Felix, Salvati, Marco, Santiago, Valdivino Alexandre de, Jr, Sazonov, Sergey, Sgro, Carmelo, Silver, Eric, Spandre, Gloria, Spiga, Daniele, Stella, Luigi, Tamagawa, Toru, Tamborra, Francesco, Tavecchio, Fabrizio, Teixeira Dias, Teresa, van Adelsberg, Matthew, Wu, Kinwah, Zane, Silvia, Kallman, Timothy R.

Volltext

A Rigorous Evaluation of the Benefits of Usability Improvements Within Model Checking-Aided Software Inspections von dos Santos, Luciana Brasil Rebelo, de Santiago Júnior, Valdivino Alexandre, Freitas, Albino Vieira

Volltext

Towards a Wide Acceptance of Formal Methods to the Design of Safety Critical Software: an Approach Based on UML and Model Checking von Eras, Eduardo Rohde, dos Santos, Luciana Brasil Rebelo, de Santiago Júnior, Valdivino Alexandre, Vijaykumar, Nandamudi Lankalapalli

Volltext

On the Feasibility of Probabilistic Model Checking to Analyze Battery Sustained Power Supply Systems von Dioto, Marina, Eras, Eduardo Rohde, de Santiago Júnior, Valdivino Alexandre

Volltext

A Formal Verification Tool for UML Behavioral Diagrams von dos Santos, Luciana Brasil Rebelo, Eras, Eduardo Rohde, de Santiago Júnior, Valdivino Alexandre, Vijaykumar, Nandamudi Lankalapalli

Volltext

Test Case/Step Minimization for Visual Programming Language Models and Its Application to Space Systems von dos Santos Alarcon, Paulo Nolberto, de Santiago Júnior, Valdivino Alexandre

Volltext

Empirical Evidence Regarding Few-Shot Learning for Scene Classification in Remote Sensing Images von Santiago Júnior, Valdivino Alexandre de

Volltext

Multiperspective Web Testing Supported by a Generation Hyper-Heuristic von Balera, Juliana Marino, de Santiago Júnior, Valdivino Alexandre

Volltext

Aircraft Navigation Systems Safety Assessment via Probabilistic Model Checking von Pasa, Gabriel Duarte, de Santiago Júnior, Valdivino Alexandre

Volltext

Deep Convolutional Neural Network for Classifying Satellite Images with Heterogeneous Spatial Resolutions von Miranda, Mateus de Souza, de Santiago, Valdivino Alexandre, Körting, Thales Sehn, Leonardi, Rodrigo, de Freitas, Moisés Laurence

Volltext