publications

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

2023

  1. An Experimental Evaluation of Conformance Testing Techniques in Active Automata Learning
    Bharat Garhewal, and Carlos Diego Nascimento Damasceno
    In 2023 ACM/IEEE 26th International Conference on Model Driven Engineering Languages and Systems (MODELS), Oct 2023

2022

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

2021

  1. The role of Brazil’s Ministry of Foreign Affairs in promoting Innovation Diplomacy
    Augusto Costa, Carlos Diego Nascimento Damasceno, Celio Melo, and 10 more authors
    In Innovation Diplomacy: Brazil´s and Regional´s Analysis and Roadmap, Sep 2022
  2. Mineração de dados do Enade de 2016 a 2018: uma análise sobre o município de Araçatuba
    Mayk F. Choji, Carlos Diego Nascimento Damasceno, Ig Ibert Bittencourt, and 1 more author
    RENOTE, Sep 2021
  3. Quality Guidelines for Research Artifacts in Model-Driven Engineering
    Carlos Diego Nascimento Damasceno, and Daniel Strüber
    In 2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS), Oct 2021
  4. Towards Multi-Criteria Prioritization of Best Practices in Research Artifact Sharing
    Carlos Diego Nascimento Damasceno, Isotilia Costa Melo, and Daniel Strüber
    In Anais do Workshop de Práticas de Ciência Aberta para Engenharia de Software (OpenScienSE), Sep 2021
  5. Learning by sampling: learning behavioral family models from software product lines
    Carlos Diego Nascimento Damasceno, Mohammad Reza Mousavi, and Adenilso da Silva Simao
    Empirical Software Engineering, Jan 2021
  6. Best practices for artifact quality management in software engineering research
    C. D. N. Damasceno
    University of São Paulo (USP/ESALq), Dec 2021
    MBA Thesis (in pt-BR)

2020

  1. Proceedings of the PhD Symposium at iFM’19on Formal Methods: Algorithms, Tools and Applications (PhD-iFM’19)
    Ka I. Pun, Volker Stolz, Elahe Fazeldehkordi, and 10 more authors
    Dec 2020
  2. Learning finite state machine models of evolving systems: From evolution over time to variability in space
    C. D. N. Damasceno
    University of São Paulo (ICMC-USP), Jul 2020
    PhD Thesis

2019

  1. Learning to Reuse: Adaptive Model Learning for Evolving Systems
    Carlos Diego Nascimento Damasceno, Mohammad Reza Mousavi, and Adenilso Silva Simao
    In Integrated Formal Methods, Jul 2019
  2. Trusted Autonomous Vehicles: an Interactive Exhibit
    Hugo L. S. Araujo, Carlos Diego Nascimento Damasceno, Rayna Dimitrova, and 8 more authors
    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
    Carlos Diego Nascimento Damasceno, Mohammad Reza Mousavi, and Adenilso Simao
    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
    Carlos Diego Nascimento Damasceno, Paulo C. Masiero, and Adenilso Simao
    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
    Fábio Manoel França LobatoCarlos Diego N. Damasceno, Daniela Soares Leite, and 5 more authors
    American Journal of Molecular Biology (AJMB), Jan 2018

2017

  1. Testing enviroments and optimization: Amdocs
    Adenilso Silva Simao, Andre Carvalho, Carlos Diego Nascimento Damasceno, and 26 more authors
    In 3rd Workshop CeMEAI of Mathematical Solutions for Industrial Problems, Jan 2017
  2. Inference of Family Models for Software Product Line Testing
    Carlos Diego Nascimento Damasceno, and Adenilso Silva Simao
    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
    Carlos Diego Nascimento Damasceno, Paulo S. L. Souza, and Adenilso Simao
    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
    Carlos Diego Nascimento Damasceno, Paulo Cesar Masiero, and Adenilso Simao
    In Proceedings of the 30th Brazilian Symposium on Software Engineering, Jan 2016
    (3rd Best Paper Award)
  2. Evaluating finite state machine based testing methods on RBAC systems
    C. D. N. Damasceno
    University of São Paulo (ICMC-USP), May 2016
    MSc Thesis

2015

  1. A Systematic Literature Review on Knowledge Representation Approaches for Systems-of-Systems
    Gabriel Abdalla, Carlos Diego Nascimento Damasceno, Milena Guessi, and 2 more authors
    In 2015 IX Brazilian Symposium on Components, Architectures and Reuse Software, Sep 2015
    (3rd Best Paper Award)

2014

  1. Uma Revisão Sistemática em Teste de Segurança Baseado em Modelos
    Carlos Diego Nascimento Damasceno, Márcio Eduardo Delamaro, and Adenilso da Silva Simão
    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
        C. D. N. Damasceno, E. R. Moutinho, F. M. F. Lobato, and 3 more authors
        Sep 2011
      2. Abordagem probabilística para análise de confiabilidade de dados gerados em sequenciamentos multiplex na plataforma ABI SOLiD
        F. M. F. Lobato, C. D. Damasceno, P. L. Machado, and 5 more authors
        In Anais do XLIII Simpósio Brasileiro de Pesquisa Operacional (SBPO 2011), Sep 2011