publications

publications by categories in reversed chronological order. generated by jekyll-scholar.

2022

  1. Family-Based Fingerprint Analysis: A Position Paper
    Damasceno, Carlos Diego N., and Strüber, Daniel
    In A Journey from Process Algebra via Timed Automata to Model Learning : Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday 2022
  2. A tool for analysing higher-order feature interactions in preprocessor annotations in C and C++ projects
    Korsman, David,  Damasceno, Carlos Diego N., and Strüber, Daniel
    In Proceedings of the 26th ACM International Systems and Software Product Line Conference - Volume B Sep 2022
  3. A Lightweight Approach for Model Checking Variability-Based Graph Transformations
    Albers, Mitchell,  Damasceno, Carlos Diego Nascimento, and Strüber, Daniel
    In 2022 13th International Workshop on Graph Computation Models (GCM) Sep 2022
  4. Model-Driven Optimization: Generating Smart Mutation Operators for Multi-Objective Problems
    Harten, Niels,  Damasceno, Carlos Diego Nascimento, and Strüber, Daniel
    In 2022 48th Euromicro Conference on Software Engineering and Advanced Applications (SEAA) Sep 2022
  5. Adaptive Behavioral Model Learning for Software Product Lines
    Tavassoli, Shaghayegh,  Damasceno, Carlos Diego N., Khosravi, Ramtin, and Mousavi, Mohammad Reza
    In Proceedings of the 26th ACM International Systems and Software Product Line Conference - Volume A Sep 2022
  6. A Benchmark for Active Learning of Variability-Intensive Systems
    Tavassoli, Shaghayegh,  Damasceno, Carlos Diego N., Mousavi, Mohammad Reza, and Khosravi, Ramtin
    In Proceedings of the 26th ACM International Systems and Software Product Line Conference - Volume A Sep 2022

2021

  1. Mineração de dados do Enade de 2016 a 2018: uma análise sobre o município de Araçatuba
    Choji, Mayk F.,  Damasceno, Carlos Diego Nascimento, Bittencourt, Ig Ibert, and Isotani, Seiji
    RENOTE Sep 2021
  2. Quality Guidelines for Research Artifacts in Model-Driven Engineering
    Damasceno, Carlos Diego Nascimento, and Strüber, Daniel
    In 2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS) Oct 2021
  3. Towards Multi-Criteria Prioritization of Best Practices in Research Artifact Sharing
    Damasceno, Carlos Diego Nascimento, Melo, Isotilia Costa, and Strüber, Daniel
    In Anais do Workshop de Práticas de Ciência Aberta para Engenharia de Software (OpenScienSE) Sep 2021
  4. Learning by sampling: learning behavioral family models from software product lines
    Damasceno, Carlos Diego Nascimento, Mousavi, Mohammad Reza, and Simao, Adenilso da Silva
    Empirical Software Engineering Jan 2021
  5. Boas práticas para gerenciamento de qualidade de artefatos de pesquisa em engenharia de software
    Damasceno, C. D. N.
    Dec 2021

2020

  1. Proceedings of the PhD Symposium at iFM’19on Formal Methods: Algorithms, Tools and Applications (PhD-iFM’19)
    Pun, Ka I., Stolz, Volker, Fazeldehkordi, Elahe, Owe, Olaf, Ramezanifarkhani, Toktam,  Damasceno, Carlos Diego Nascimento, Ahishakiye, Faustin, Kristensen, Lars Michael, Tabar, Asmae Heydari, Bubel, Richard, Hähnle, Reiner, Sagemüller, Justus, and Verdier, Olivier
    Dec 2020
  2. Learning finite state machine models of evolving systems: From evolution over time to variability in space
    Damasceno, C. D. N.
    Jul 2020

2019

  1. Learning to Reuse: Adaptive Model Learning for Evolving Systems
    Damasceno, Carlos Diego Nascimento, Mousavi, Mohammad Reza, and Silva Simao, Adenilso
    In Integrated Formal Methods Jul 2019
  2. Trusted Autonomous Vehicles: an Interactive Exhibit
    Araujo, Hugo L. S.,  Damasceno, Carlos Diego Nascimento, Dimitrova, Rayna, Kefalidou, Genovefa, Mehtarizadeh, Mehdi, Mousavi, Mohammad Reza, Onime, Jemima, Ringert, Jan Oliver, Rojas, Jose Miguel, Verdezoto, Nervo Xavier, and Wali, Syed
    In 2019 IEEE International Conferences on Ubiquitous Computing Communications (IUCC) and Data Science and Computational Intelligence (DSCI) and Smart Computing, Networking and Services (SmartCNS) Oct 2019
  3. Learning from Difference: An Automated Approach for Learning Family Models from Software Product Lines
    Damasceno, Carlos Diego Nascimento, Mousavi, Mohammad Reza, and Simao, Adenilso
    In Proceedings of the 23rd International Systems and Software Product Line Conference - Volume A Oct 2019

2018

  1. Similarity testing for role-based access control systems
    Damasceno, Carlos Diego Nascimento, Masiero, Paulo C., and Simao, Adenilso
    Journal of Software Engineering Research and Development Jan 2018
  2. Data Analysis of Multiplex Sequencing at SOLiD Platform: A Probabilistic Approach to Characterization and Reliability Increase
    Lobato, Fábio Manoel França,  Damasceno, Carlos Diego N., Leite, Daniela Soares, Ribeiro-dos-Santos, Ândrea Kelly, Darnet, Sylvain, Francês, Carlos Renato, Vijaykumar, Nandamudi Lankalapalli, and Santana, Ádamo Lima
    American Journal of Molecular Biology (AJMB) Jan 2018

2017

  1. Testing enviroments and optimization: Amdocs
    Silva Simao, Adenilso, Carvalho, Andre,  Damasceno, Carlos Diego Nascimento, Santos, Danniany, Santos Moreira, Edson, Tomita, Fabio, Maia, Giovana Sachett, Hortencio, Hanna Pamplona, Nakel, Idan, Peronti, Isabela, Pereira, Jamielli Tomaz, Siqueira, João Paulo Guardabaxo, Cutigi, Jorge Francisco, Saviniec, Landir, Mundim, Leandro Resende, Moreira, Lucas Esperancini Moreira, Freitas, Luis Eduardo, Cherri, Luiz Henrique, Santos, Maria Carolina, Oliveira, Marina Barisa, Junior, Misael Costa, Chandekar, Pratibha, Gonçalves, Raínne Florisbelo, Butkeraites, Renan Brito, Gesuatto, Ricardo, Goel, Rohit, Mendonça, Sergio, Andrade, Stevão Alves, and Cardoso, Thais
    In 3rd Workshop CeMEAI of Mathematical Solutions for Industrial Problems Jan 2017
  2. Inference of Family Models for Software Product Line Testing
    Damasceno, Carlos Diego Nascimento, and Silva Simao, Adenilso
    In 1o. Encontro Paulista dos Pós-graduandos em Computação (EPPC) Jan 2017
  3. Um Algoritmo Paralelo para Priorização de Testes Baseada em Similaridade usando OpenMPI
    Damasceno, Carlos Diego Nascimento, Souza, Paulo S. L., and Simao, Adenilso
    In Anais Estendidos da Escola Regional de Alto Desempenho de São Paulo (ERAD-SP) Jan 2017

2016

  1. Evaluating Test Characteristics and Effectiveness of FSM-Based Testing Methods on RBAC Systems
    Damasceno, Carlos Diego Nascimento, Masiero, Paulo Cesar, and Simao, Adenilso
    In Proceedings of the 30th Brazilian Symposium on Software Engineering Jan 2016
  2. Evaluating finite state machine based testing methods on RBAC systems
    Damasceno, C. D. N.
    May 2016

2015

  1. A Systematic Literature Review on Knowledge Representation Approaches for Systems-of-Systems
    Abdalla, Gabriel,  Damasceno, Carlos Diego Nascimento, Guessi, Milena, Oquendo, Flavio, and Nakagawa, Elisa Yumi
    In 2015 IX Brazilian Symposium on Components, Architectures and Reuse Software Sep 2015

2014

  1. Uma Revisão Sistemática em Teste de Segurança Baseado em Modelos
    Damasceno, Carlos Diego Nascimento, Delamaro, Márcio Eduardo, and Simão, Adenilso da Silva
    In Anais do Workshop Brasileiro de Testes de Software Automatizados e Sistemático - CBSoft - Congresso Brasileiro de Software: Teoria e Prática Sep 2014

2013

    2012

      2011

      1. SimCleaner - Sistema de Padronizacao de Bases de Dados utilizando Funcoes de Similaridade
        Damasceno, C. D. N., Moutinho, E. R., Lobato, F. M. F., Oliveira, I. I., Franca, A. S., and Santana, A. L.
        Sep 2011
      2. Abordagem probabilística para análise de confiabilidade de dados gerados em sequenciamentos multiplex na plataforma ABI SOLiD
        Lobato, F. M. F., Damasceno, C. D., Machado, P. L., Ribeiro-Dos-Santos, A., Darnet, S. H., Goncalves, A. N. A., Alencar, D. O., and Santana, A. L.
        In Anais do XLIII Simpósio Brasileiro de Pesquisa Operacional (SBPO 2011) Sep 2011