Sitemap

A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.

Pages

Posts

Software Science Seminar (iCIS @ Radboud University)

less than 1 minute read

Published:

Today I had my first presentation at the iCIS seminar in Radboud University. In December 2020, I joined Radboud University and it’s been a great experience to work with them!

Paper accepted @ iFM 2019

less than 1 minute read

Published:

I’m attending the 15th International Conference on integrated Formal Methods (iFM 2019) to present my paper entitled Learning to reuse: Adaptive model learning for evolving systems.

Paper accepted @ SPLC 2019

less than 1 minute read

Published:

I’m attending the 23rd International Systems and Software Product Line Conference (SPLC 2019) to present my paper entitled Learning from difference: an automated approach for learning family models from software product lines.

Visiting PhD student @ Uni of Leicester (UK)

less than 1 minute read

Published:

I’m moving to England to spend one year at the University of Leicester as Visiting PhD student. At the Uni of Leicester, I’ll work under the supervision of Mohammad Reza Mousavi.

Software Engineer Intern @ Siemens (USA)

less than 1 minute read

Published:

I started working at Siemens Corporate Research, in Princeton, New Jersey (USA). There I worked on the design and development of features and maintenance of a project named Tedeso, an extensible and interoperable Model-Based Testing (MBT) platform developed to facilitate automatic generation of tests, while supporting the needs of different stakeholders in a diverse and broad organization.

portfolio

RBAC-BT

RBAC-based testing using Finite State Machines (FSM)

publications

Abordagem probabilística para análise de confiabilidade de dados gerados em sequenciamentos multiplex na plataforma ABI SOLiD

Published in Anais do XLIII Simpósio Brasileiro de Pesquisa Operacional (SBPO 2011), 2011

[PDF]

Recommended citation: F. Lobato, C. Damasceno, P. Machado, A. Ribeiro-Dos-Santos, S. Darnet, A. Goncalves, D. Alencar, A. Santana, "Abordagem probabilística para análise de confiabilidade de dados gerados em sequenciamentos multiplex na plataforma ABI SOLiD." Anais do XLIII Simpósio Brasileiro de Pesquisa Operacional (SBPO 2011), 2011.

SimCleaner - Sistema de Padronizacao de Bases de Dados utilizando Funcoes de Similaridade

Published in Anais da XIV Semana de Informática (SEMINF) e Escola Regional de Informática Norte (ERIN), 2011

[PDF]

Recommended citation: C. Damasceno, E. Moutinho, F. Lobato, I. Oliveira, A. Franca, A. Santana, "SimCleaner - Sistema de Padronizacao de Bases de Dados utilizando Funcoes de Similaridade." Anais da XIV Semana de Informática (SEMINF) e Escola Regional de Informática Norte (ERIN), 2011.

Uma Revisão Sistemática em Teste de Segurança Baseado em Modelos

Published in Anais do Workshop Brasileiro de Testes de Software Automatizados e Sistemático - CBSoft - Congresso Brasileiro de Software: Teoria e Prática, 2014

[PDF] [Slide]

Recommended citation: Carlos Damasceno, Márcio Delamaro, Adenilso Simão, "Uma Revisão Sistemática em Teste de Segurança Baseado em Modelos." Anais do Workshop Brasileiro de Testes de Software Automatizados e Sistemático - CBSoft - Congresso Brasileiro de Software: Teoria e Prática, 2014.

Inference of Family Models for Software Product Line Testing

Published in 1o. Encontro Paulista dos Pós-graduandos em Computação (EPPC), 2017

[PDF]

Recommended citation: Carlos Damasceno, Adenilso Silva, "Inference of Family Models for Software Product Line Testing." 1o. Encontro Paulista dos Pós-graduandos em Computação (EPPC), 2017.

Testing enviroments and optimization: Amdocs

Published in 3rd Workshop CeMEAI of Mathematical Solutions for Industrial Problems, 2017

[PDF]

Recommended citation: Adenilso Silva, Andre Carvalho, Carlos Damasceno, Danniany Santos, Edson Santos, Fabio Tomita, Giovana Maia, Hanna Hortencio, Idan Nakel, Isabela Peronti, Jamielli Pereira, João Siqueira, Jorge Cutigi, Landir Saviniec, Leandro Mundim, Lucas Moreira, Luis Freitas, Luiz Cherri, Maria Santos, Marina Oliveira, Misael Junior, Pratibha Chandekar, Raínne Gonçalves, Renan Butkeraites, Ricardo Gesuatto, Rohit Goel, Sergio Mendonça, Stevão Andrade, Thais Cardoso, "Testing enviroments and optimization: Amdocs." 3rd Workshop CeMEAI of Mathematical Solutions for Industrial Problems, 2017. https://drive.google.com/file/d/1DxkyPkkUqPZaHIHDtgYYrZ_wAEC6fbk2/view

Data Analysis of Multiplex Sequencing at SOLiD Platform: A Probabilistic Approach to Characterization and Reliability Increase

Published in American Journal of Molecular Biology (AJMB), 2018

[PDF]

Recommended citation: Fábio Lobato, Carlos Damasceno, Daniela Leite, Ândrea Ribeiro-dos-Santos, Sylvain Darnet, Carlos Francês, Nandamudi Vijaykumar, Ádamo Santana, "Data Analysis of Multiplex Sequencing at SOLiD Platform: A Probabilistic Approach to Characterization and Reliability Increase." American Journal of Molecular Biology (AJMB), 2018. https://doi.org/10.4236/ajmb.2018.81003

Trusted Autonomous Vehicles: an Interactive Exhibit

Published in 2019 IEEE International Conferences on Ubiquitous Computing Communications (IUCC) and Data Science and Computational Intelligence (DSCI) and Smart Computing, Networking and Services (SmartCNS), 2019

[URL] [PDF]

Recommended citation: H. Araujo, C. Damasceno, R. Dimitrova, G. Kefalidou, M. Mehtarizadeh, M. Mousavi, J. Onime, J. Ringert, J. Rojas, N. Verdezoto, S. Wali, "Trusted Autonomous Vehicles: an Interactive Exhibit." 2019 IEEE International Conferences on Ubiquitous Computing Communications (IUCC) and Data Science and Computational Intelligence (DSCI) and Smart Computing, Networking and Services (SmartCNS), 2019. https://doi.org/10.1109/IUCC/DSCI/SmartCNS.2019.00091

Learning from Difference: An Automated Approach for Learning Family Models from Software Product Lines [Artifact]

Published in Proceedings of the 23rd International Systems and Software Product Line Conference - Volume A, 2019

[PDF]

Recommended citation: Carlos Damasceno, Mohammad Mousavi, Adenilso Simao, "Learning from Difference: An Automated Approach for Learning Family Models from Software Product Lines [Artifact]." Proceedings of the 23rd International Systems and Software Product Line Conference - Volume A, 2019.

Learning from Difference: An Automated Approach for Learning Family Models from Software Product Lines [Research]

Published in Proceedings of the 23rd International Systems and Software Product Line Conference - Volume A, 2019

[URL] [PDF] [Slide]

Recommended citation: Carlos Damasceno, Mohammad Mousavi, Adenilso Simao, "Learning from Difference: An Automated Approach for Learning Family Models from Software Product Lines [Research]." Proceedings of the 23rd International Systems and Software Product Line Conference - Volume A, 2019. http://doi.acm.org/10.1145/3336294.3336307

Learning From Families: Inferring Behavioral Variability From Software Product Lines

Published in Proceedings of the PhD Symposium at iFM’19 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM’19), 2020

[URL] [PDF] [Slide]

Recommended citation: Carlos Damasceno, "Learning From Families: Inferring Behavioral Variability From Software Product Lines." Proceedings of the PhD Symposium at iFM’19 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM’19), 2020. https://hvlopen.brage.unit.no/hvlopen-xmlui/handle/11250/2719437

talks

Automata Inference in Software Engineering

Published:

In this remote presentation to bachelor students at UFOPA, I give a brief introduction to the concept of active model learning, its applications and the adaptive variant for evolving systems, Dynamic L*M.

teaching