Thas Batista
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
29
Venues
12
Active years
2007–2026
Best venue rank
A*
Where they publish
Papers
29 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | MODELSWARD | Environment and Scenario Viewpoints to Execute SysML-Based Architectural Models. | Tales Viglioni, Jair C. Leite, Eder Xavier, Thas Batista, Everton Cavalcante, Flvio Oquendo |
| 2025 | ICSA | Exploring Synergies and Challenges of System-of-Systems Digital Twins. | Everton Cavalcante, Thas Batista, Flvio Oquendo |
| 2025 | SAC | Pursuing Interoperability in Digital Twins: An Analysis of the Current Research Landscape. | Emylle Varela, Thas Batista, Everton Cavalcante, Andr Almeida |
| 2025 | UCC | An Autonomic Computing Approach for Scaling Cloud-Based Smart City Platforms. | Andr Solino, Thas Batista, Everton Cavalcante |
| 2024 | ECSA | The Execution Perspective in Software Architecture Descriptions: A Systematic Mapping. | Tales Viglioni, Thas Batista, Everton Cavalcante, Flvio Oquendo |
| 2022 | COMPSAC | Towards a Multi-Tenant Microservice Architecture: An Industrial Experience. | Csar Batista, Bruno Proena, Everton Cavalcante, Thas Batista, Felipe de Morais, Henrique Medeiros |
| 2022 | ICCSA | Big Data Software Architectures: An Updated Review. | Tiago Vincius Remgio da Costa, Everton Cavalcante, Thas Batista |
| 2021 | ICCSA | Generating Formal Software Architecture Descriptions from Semi-Formal SysML-Based Models: A Model-Driven Approach. | Camila Arajo, Thas Batista, Everton Cavalcante, Flvio Oquendo |
| 2020 | ICWE | Web-Based Development and Visualization Dashboards for Smart City Applications. | Douglas Rolim, Jorge Silva, Thas Batista, Everton Cavalcante |
| 2020 | SAC | An architectural style for internet of things systems. | Lidiane Oliveira dos Santos, Eduardo Silva, Thas Batista, Everton Cavalcante, Jair C. Leite, Flvio Oquendo |
| 2019 | ICSA | Identifying Requirements for Architectural Modeling in Internet of Things Applications. | Lidiane Oliveira dos Santos, Jorge Pereira, Eduardo Silva, Thas Batista, Everton Cavalcante, Jair C. Leite |
| 2019 | Middleware | A Development Environment for FIWARE-based Internet of Things Applications. | Lucas Dantas, Everton Cavalcante, Thas Batista |
| 2018 | ICSA | Modeling and Executing Software Architecture Using SysADL. | Thas Batista, Flvio Oquendo, Jair C. Leite |
| 2018 | ICSA | Designing and Executing Software Architectures Models Using SysADL Studio. | Jair C. Leite, Thas Batista, Flvio Oquendo, Eduardo Silva, Lidiane Oliveira dos Santos, Victor Cortez |
| 2018 | ICSE | Mandala: An Agent-Based Platform to Support Interoperability in Systems-of-Systems. | Altair Mendes, Stefano Momo Loss, Everton Cavalcante, Frederico Lopes, Thas Batista |
| 2018 | Middleware | A Middleware Environment for Developing Internet of Things Applications. | Csar Batista, Pedro Victor Silva, Everton Cavalcante, Thas Batista, Tiago Barros, Claudio Takahashi, Thiago Cardoso, Joo Alexandre Neto, Ramon Ribeiro |
| 2018 | SAC | Formal modeling systems-of-systems missions with mKAOS. | Eduardo Silva, Thas Batista |
| 2017 | ICSA | Architecting IoT Applications with SysADL. | Jair C. Leite, Thas Batista, Flvio Oquendo |
| 2017 | ICSE | Refining Missions to Architectures in Software-Intensive Systems-of-Systems. | Eduardo Silva, Everton Cavalcante, Thas Batista |
| 2017 | Middleware | Untitled record | Clment Courtais, Chantal Taconet, Denis Conan, Sophie Chabridon, Porfrio Gomes, Everton Cavalcante, Thas Batista |
| 2016 | ECSA | Statistical Model Checking of Dynamic Software Architectures. | Everton Cavalcante, Jean Quilbeuf, Louis-Marie Traonouez, Flvio Oquendo, Thas Batista, Axel Legay |
| 2016 | ECSA | Executing Software Architecture Descriptions with SysADL. | Flvio Oquendo, Jair C. Leite, Thas Batista |
| 2016 | ISoLA | A Logic for the Statistical Model Checking of Dynamic Software Architectures. | Jean Quilbeuf, Everton Cavalcante, Louis-Marie Traonouez, Flvio Oquendo, Thas Batista, Axel Legay |
| 2016 | Middleware | Thinking Smart Cities as Systems-of-Systems: A Perspective Study. | Everton Cavalcante, Nlio Cacho, Frederico Lopes, Thas Batista, Flvio Oquendo |
| 2016 | Middleware | SoS-centric Middleware Services for Interoperability in Smart Cities Systems. | Frederico Lopes, Stefano Momo Loss, Altair Mendes, Thas Batista, Rodger Lea |
| 2013 | SEKE | Dynamic Adaptation of Cloud Computing Applications. | Andr Almeida, Everton Cavalcante, Thas Batista, Nlio Cacho, Frederico Lopes, Flvia Coimbra Delicato, Paulo F. Pires |
| 2013 | SEKE | Automatic Generation of Semantic Web Services. | Thiago Pereira da Silva, Thas Batista, Frederico Lopes, Flvia Coimbra Delicato, Paulo F. Pires |
| 2007 | ICSE | On the Contributions of an End-to-End AOSD Testbed. | Phil Greenwood, Alessandro F. Garcia, Awais Rashid, Eduardo Figueiredo, Cludio Sant'Anna, Nlio Cacho, Amrico Sampaio, Srgio Soares, Paulo Borba, Marcos Dsea, Ricardo Argenton Ramos, Uir Kulesza, Thiago T. Bartolomei, Mnica Pinto, Lidia Fuentes, Nadia Gmez, Ana Moreira, Joo Arajo, Thas Batista, Ana Luisa Medeiros, Francisco Dantas, Lyrene Fernandes da Silva, Jan Wloka, Christina Chavez, Robert B. France, Isabel Sofia Brito |
| 2007 | ICSE | Revisiting a Formal Framework for Modeling Aspects in the Design Phase. | Virginia C. Carneiro de Paula, Thas Batista |