Road Traffic Signals Modeling and Analysis with Petri nets and Linear Logic. - Michel dos Santos Soares; Jos L. M. Vrancken (ICNSC, 2007)

Requirements specification and modeling through SysML. - Michel dos Santos Soares; Jos L. M. Vrancken (SMC, 2007)

Multi-level control of networks: the case of road traffic control. - Jos L. M. Vrancken; Michel dos Santos Soares (SMC, 2007)

Responsive traffic signals designed with petri nets. - Michel dos Santos Soares; Jos L. M. Vrancken (SMC, 2008)

Human factors in system reliability: lessons learnt from the Maeslant storm surge barrier in The Netherlands. - Jos L. M. Vrancken; Jan van den Berg; Michel dos Santos Soares (Int. J. Crit. Infrastructures, 2008)

Real-time scheduling of batch systems using Petri nets and linear logic. - Michel dos Santos Soares; Stéphane Julia; Jos L. M. Vrancken (J. Syst. Softw., 2008)

Model-Driven User Requirements Specification using SysML. - Michel dos Santos Soares; Jos L. M. Vrancken (J. Softw., 2008)

Evaluation of UML in Practice - Experiences in a Traffic Management Systems Company. - Michel dos Santos Soares; Jos L. M. Vrancken (ICEIS (3), 2009)

A hierarchical model and implementation architecture for road traffic control. - Jos L. M. Vrancken; Jan H. van Schuppen; Michel dos Santos Soares; Frank Ottenhof (SMC, 2009)

A real-life test bed for multi-agent monitoring of road network performance. - Jos L. M. Vrancken; Michel dos Santos Soares (Int. J. Crit. Infrastructures, 2009)

A Decision Framework for Selecting a Suitable Software Development Process. - Itamar Sharon; Michel dos Santos Soares; Joseph Barjis; Jan van den Berg; Jos L. M. Vrancken (ICEIS (3), 2010)

Architecture-based development of road traffic management systems. - Michel dos Santos Soares; Jos L. M. Vrancken; Yubin Wang (ICNSC, 2010)

A distributed simulator for road network control. - Yubin Wang; Jos L. M. Vrancken; Michel dos Santos Soares (ICNSC, 2010)

Architecture-Driven Integration of Modeling Languages for the Design of Software-Intensive Systems. - Michel dos Santos Soares (2010)

A Framework for Multi-layered Requirements Documentation and Analysis. - Michel dos Santos Soares; Jos L. M. Vrancken (COMPSAC, 2011)

Multiple-View Architecture Model for Distributed Real-Time Systems Using MARTE. - Eduardo Augusto Silvestre; Michel dos Santos Soares (ISD, 2011)

A Comparative Analysis of the Agile and Traditional Software Development Processes Productivity. - William Chaves de Souza Carvalho; Pedro Frosi Rosa; Michel dos Santos Soares; Marco Antonio Teixeira da Cunha Jr.; Luiz Carlos Buiatte (SCCC, 2011)

Modeling and analysis of discrete event systems using a Petri net component. - Michel dos Santos Soares (SMC, 2011)

User requirements modeling and analysis of software-intensive systems. - Michel dos Santos Soares; Jos L. M. Vrancken; Alexander Verbraeck (J. Syst. Softw., 2011)

Modeling Road Traffic Signals Control Using UML and the MARTE Profile. - Eduardo Augusto Silvestre; Michel dos Santos Soares (ICCSA (4), 2012)

Analysis of Techniques for Documenting User Requirements. - Michel dos Santos Soares; Daniel Souza Cioquetta (ICCSA (4), 2012)

A Systematic Review on Evaluation of Aspect Oriented Programming using Software Metrics. - Joyce M. S. França; Michel dos Santos Soares (ICEIS (2), 2012)

A Systematic Review on Aspects in Software Architecture Design. - Kênia Santos de Oliveira; Michel dos Santos Soares (SCCC, 2012)

Application of an Extended SysML Requirements Diagram to Model Real-Time Control Systems. - Fabíola Gonçalves C. Ribeiro; Sanjay Misra; Michel S. Soares (ICCSA (3), 2013)

Modeling Aspects in Requirements using SysML Extensions. - Kênia Santos de Oliveira; Michel dos Santos Soares (ICEIS (2), 2013)

An Approach for Modeling Real-time Requirements with SysML and MARTE Stereotypes. - Fabíola Gonçalves C. Ribeiro; Michel S. Soares (ICEIS (2), 2013)

Projects Characteristics Determining Suitability of Software Development Process. - Michel dos Santos Soares; Joseph Barjis (ICEIS (2), 2013)

Siphon-based deadlock prevention policy for interorganizational WorkFlow net design. - Luciane de Fatima Silva; Lígia Maria Soares Passos; Michel dos Santos Soares; Stéphane Julia (IRI, 2013)

A metamodel for tracing requirements of real-time systems. - Fabíola Gonçalves C. Ribeiro; Michel S. Soares (ISORC, 2013)

An Empirical Evaluation of Refactoring Crosscutting Concerns into Aspects Using Software Metrics. - Joyce M. S. França; Caio Augusto R. Dos Santos; Kênia Santos de Oliveira; Michel dos Santos Soares (ITNG, 2013)

Extensions of SysML for Modeling an Aspect Oriented Software Architecture with Multiple Views. - Kênia Santos de Oliveira; Joyce M. S. França; Michel S. Soares (ITNG, 2013)

Automated Computation of Use Cases Similarity can Aid the Assessment of Cohesion and Complexity of Classes (S). - Renato Correa Juliano; Bruno A. N. Travençolo; Michel S. Soares; Marcelo de Almeida Maia (SEKE, 2013)

Evaluation of SysML diagrams to document requirements using TAM. - Michel S. Soares; Rogério Patrício Chagas do Nascimento (EATIS, 2014)

A Straightforward Introduction to Formal Methods Using Coloured Petri Nets. - Franciny Medeiros Barreto; Joslaine Cristina Jeske de Freitas; Michel S. Soares; Stéphane Julia (ICEIS (2), 2014)

Detection of Software Anomalies Using Object-oriented Metrics. - Renato Correa Juliano; Bruno A. N. Travençolo; Michel S. Soares (ICEIS (2), 2014)

Model-driven Structural Design of Software-intensive Systems Using SysML Blocks and UML Classes. - Marcel da Silva Melo; Michel S. Soares (ICEIS (2), 2014)

A Systematic Review on Performance Evaluation of Aspect-Oriented Programming Techniques used to Implement Crosscutting Concerns. - Rodrigo Fernandes Gomes da Silva; Marcelo de Almeida Maia; Michel S. Soares (ICEIS (2), 2014)

Performance Evaluation of Aspect-Oriented Programming Weavers. - Michel S. Soares; Marcelo de Almeida Maia; Rodrigo Fernandes Gomes da Silva (ICEIS (Revised Selected Papers), 2014)

A User-centered Approach for Modeling Web Interactions Using Colored Petri Nets. - Taffarel Brant-Ribeiro; Rafael Dias Araújo; Igor Mendonça; Michel S. Soares; Renan G. Cattelan (ICEIS (2), 2015)

SOAQM: Quality Model for SOA Applications based on ISO 25010. - Joyce M. S. França; Michel S. Soares (ICEIS (2), 2015)

A Model-driven Approach to Transform SysML Internal Block Diagrams to UML Activity Diagrams. - Marcel da Silva Melo; Joyce M. S. França; Edson Oliveira Jr.; Michel S. Soares (ICEIS (2), 2015)

An Experience of using SoaML for Modeling a Service-Oriented Architecture for Health Information Systems. - Fernanda G. Silva; Jislane S. S. de Menezes; Josimar de S. Lima; Joyce M. S. França; Rogério P. C. do Nascimento; Michel S. Soares (ICEIS (3), 2015)

A Case Study on SoaML to Design an Electronic Health Record Application Considering Integration of Legacy Systems. - Joyce M. S. França; Josimar de S. Lima; Michel S. Soares (COMPSAC, 2016)

An evaluation of influence of human personality in software development: An experience report. - Anderson S. Barroso; Jamille S. Madureira; Fabricio Silva Melo; Thiago D. S. Souza; Michel S. Soares; Rogério P. C. do Nascimento (EATIS, 2016)

Layered Implementation View of a SOA Based Electronic Health Record. - Josimar de S. Lima; Joyce M. S. França; Jislane S. S. de Menezes; Adicinéia Aparecida de Oliveira; Michel S. Soares (SEKE, 2016)

On Criteria to Choose a Content Management System: A Technology Acceptance Model Approach. - Jislane Silva; Danilo Siqueira Ramos; Michel S. Soares (SEKE, 2016)

Characterization of the Application of Service-Oriented Design Principles in Practice: A Systematic Literature Review. - Michel S. Soares; Joyce M. S. França (J. Softw., 2016)

A Model-Based Engineering Methodology for Requirements and Formal Design of Embedded and Real-Time Systems. - Fabíola Gonçalves C. Ribeiro; Achim Rettberg; Carlos Eduardo Pereira; Michel S. Soares (HICSS, 2017)

Applying MARTE Profile for Optimal Automotive System Specifications and Design. - Fabíola Gonçalves C. Ribeiro; Achim Rettberg; Carlos Eduardo Pereira; Michel S. Soares (HICSS, 2017)

An Event-Based Technique to Trace Requirements Modeled with SysML. - Telmo Oliveira de Jesus; Michel S. Soares (ICCSA (6), 2017)

An Experiment to Evaluate Software Development Teams by Using Object-Oriented Metrics. - Jamille S. Madureira; Anderson S. Barroso; Rogério P. C. do Nascimento; Michel S. Soares (ICCSA (6), 2017)

Relationship between Personality Traits and Software Quality - Big Five Model vs. Object-oriented Software Metrics. - Anderson S. Barroso; Jamille S. Madureira da Silva; Thiago D. S. Souza; Bryanne S. de A. Cezario; Michel S. Soares; Rogério P. C. do Nascimento (ICEIS (3), 2017)

Influence of Human Personality in Software Engineering - A Systematic Literature Review. - Anderson S. Barroso; Jamille S. Madureira da Silva; Michel S. Soares; Rogério P. C. do Nascimento (ICEIS (3), 2017)

TAXOPETIC Process Design - A Taxonomy to Support the PETIC Methodology (Strategic Planning of ICT). - Adriana de Melo Fontes; Denisson Santana dos Santos; Thauane Moura Garcia; Michel dos Santos Soares; Rogério Patrício Chagas do Nascimento (ICEIS (2), 2017)

Development of an Electronic Health Record Application using a Multiple View Service Oriented Architecture. - Joyce M. S. França; Josimar de S. Lima; Michel S. Soares (ICEIS (2), 2017)

A Technique to Architect Real-time Embedded Systems with SysML and UML through Multiple Views. - Quelita A. D. S. Ribeiro; Fabíola Gonçalves C. Ribeiro; Michel S. Soares (ICEIS (2), 2017)

Guidelines for using MARTE profile packages considering concerns of real-time embedded systems. - Fabíola Gonçalves C. Ribeiro; Achim Rettberg; Carlos Eduardo Pereira; Silvia Silva da Costa Botelho; Michel S. Soares (INDIN, 2017)

An Approach for Architectural Design of Automotive Systems using MARTE and SysML. - Fabíola Gonçalves C. Ribeiro; Achim Reuberg; Carlos Eduardo Pereira; Michel S. Soares (CASE, 2018)

A Practical Approach to Teaching-Learning for Undergraduate Students: Governance of ICT directed to the Federal Public Administration (FPA). - Marianne Batista Diniz Da Silva; Danilo Siqueira Ramos; Denise Xavier dos Santos; Michel S. Soares; Isabel Dillmann Nunes; Rogério P. C. do Nascimento (EATIS, 2018)

PeticGov: An auditing and direction framework for federal public organizations. - Marianne Batista Diniz Da Silva; Danilo Siqueira Ramos; Alef Menezes dos Santos; Denise Xavier dos Santos; Michel S. Soares; Isabel Dillmann Nunes; Rogério P. C. do Nascimento (EATIS, 2018)

Model-Based Design Methodology for Early Evaluation of Real-time and Embedded Constraints. - Fabíola Gonçalves C. Ribeiro; Achim Rettberg; Carlos Eduardo Pereira; Charles Steinmetz; Michel S. Soares (INDIN, 2018)

SPES Methodology and MARTE Constraints in Architectural Design. - Fabíola Gonçalves C. Ribeiro; Achim Rettberg; Carlos Eduardo Pereira; Charles Steinmetz; Michel S. Soares (ISCC, 2018)

An Approach to Formalization of Architectural Viewpoints Design in Real-Time and Embedded Domain. - Fabíola Gonçalves C. Ribeiro; Achim Rettberg; Carlos Eduardo Pereira; Charles Steinmetz; Michel S. Soares (ISORC, 2018)

Non-functional Constraints Annotation to Real-Time Embedded System Design. - Fabíola Gonçalves C. Ribeiro; Achim Rettberg; Carlos Eduardo Pereira; Charles Steinmetz; Michel S. Soares (SBESC, 2018)

Model-based requirements specification of real-time systems with UML, SysML and MARTE. - Fabíola Gonçalves C. Ribeiro; Carlos Eduardo Pereira; Achim Rettberg; Michel S. Soares (Softw. Syst. Model., 2018)

A Systematic Mapping Study on Software Architectures Description Based on ISO/IEC/IEEE 42010: 2011. - Ademir Almeida da Costa Junior; Sanjay Misra; Michel S. Soares (ICCSA (5), 2019)

ArchCaMO - A Maturity Model for Software Architecture Description Based on ISO/IEC/IEEE 42010: 2011. - Ademir Almeida da Costa Junior; Sanjay Misra; Michel S. Soares (ICCSA (5), 2019)

A Survey on the Skills, Activities and Role of the Software Architect in Brazil. - Manoela R. Oliveira; Felipe J. R. Vieira; Sanjay Misra; Michel S. Soares (ICCSA (5), 2019)

Technical and Managerial Difficulties in Postmortem Analysis in Software Projects. - Felipe J. R. Vieira; Manoela R. Oliveira; Rogério P. C. do Nascimento; Michel S. Soares (ICCSA (5), 2019)

A Proposal to Trace and Maintain Requirements Constraints of Real-time Embedded Systems. - Fabíola Gonçalves C. Ribeiro; Achim Rettberg; Carlos Eduardo Pereira; Charles Steinmetz; Michel S. Soares (IESS, 2019)

A Comparative Analysis Between SysML and AADL When Modeling a Real-Time System. - Quelita A. D. S. Ribeiro; Achim Rettberg; Fabíola Gonçalves C. Ribeiro; Michel S. Soares (IESS, 2019)

How personality traits influences quality of software developed by students. - Anderson S. Barroso; Kleber H. de J. Prado; Michel S. Soares; Rogério P. C. do Nascimento (SBSI, 2019)

ICT Governance: A View of Adoption of Best Practices in Enterprises of Sergipe State. - Claudio Junior Nascimento da Silva; Quelita A. D. S. Ribeiro; Michel S. Soares; Rogério P. C. do Nascimento (SBSI, 2019)

Ein Modellierungsansatz für eine Systemarchitekturbeschreibung von Automotive-Systemen mit MARTE und SysML. - Fabíola Gonçalves C. Ribeiro; Achim Rettberg; Carlos Eduardo Pereira; Michel S. Soares (Autom., 2019)

Interactive web interfaces modeling, simulation and analysis using Colored Petri Nets. - Taffarel Brant-Ribeiro; Rafael Dias Araújo; Igor Mendonça; Michel S. Soares; Renan G. Cattelan (Softw. Syst. Model., 2019)

An investigation into technology solutions for urban public monitoring through ubiquitous devices in the context of smart cities. - Layse Santos Souza; João Ribeiro de Almeida Neto; Thiago José Sandes Melo; Michel dos Santos Soares; Fabio Gomes Rocha; Rogério Patrício Chagas do Nascimento (EATIS, 2020)

Architecture Conceptualization for Health Information Systems Using ISO/IEC/IEEE 42020. - Valdicélio Mendes Santos; Sanjay Misra; Michel S. Soares (ICCSA (6), 2020)

SmartCitySysML: A SysML Profile for Smart Cities Applications. - Layse Santos Souza; Sanjay Misra; Michel S. Soares (ICCSA (6), 2020)

Uma Pesquisa-Ação no Contexto de Processos de Engenharia de Requisitos em uma Instituição Pública Brasileira. - Luís E. S. Santos; Michel S. Soares (Braz. J. Inf. Syst., 2020)

Architecture-Driven Development of an Electronic Health Record Considering the SOAQM Quality Model. - Joyce M. S. França; Ademir Almeida da Costa Junior; Michel S. Soares (SN Comput. Sci., 2020)

A Qualitative Study on SysML Based on Perceived Views from Industry Professionals. - Tauany L. S. Santos; Michel S. Soares (ICCSA (9), 2021)

Design of Smart Cities Dimensions Using the SmartCitySysML Profile. - Layse Santos Souza; Michel S. Soares (ICCSA (9), 2021)

Combining SysML with Petri Nets for the Design of an Urban Traffic Signal Control. - Layse Santos Souza; Michel S. Soares (ICCSA (9), 2021)

A System Architecture in Multiple Views for an Image Processing Graphical User Interface. - Roberto Wagner Santos Maciel; Michel S. Soares; Daniel Oliveira Dantas (ICEIS (2), 2021)

Recommendation of Microservices Patterns Through Automatic Information Retrieval Using Problems Specified in Natural Language. - Álex dos Santos Moura; Mário Alan de Oliveira Lima; Fabio Gomes Rocha; Michel S. Soares (ICCSA (Workshops 5), 2022)

A Bottom Up Approach for Modeling Business Process using Time Petri Nets. - Danillo Siqueira Ramos; Fabio Gomes Rocha; Michel dos Santos Soares (SBSI, 2022)

Patterns in Microservices-based Development: A Grey Literature Review. - Fábio Gomes Rocha; Michel S. Soares; Guillermo Rodríguez 002 (CIbSE, 2023)

A Review on the Capacities of the ISO/IEC/IEEE 42020: 2019 Standard for Architecture Elaboration of Software and Systems. - José Eduardo Chaves Costa; Michel dos Santos Soares (SBSI, 2023)

Support for Accessible Software Coding: Results of a Rapid Literature Review. - Cassio Andrade Furukawa; Michel dos Santos Soares; Maria Istela Cagnin; Débora Maria Barroso Paiva (CLEI Electron. J., 2023)

A survey on what users think about SysML. - Tauany L. S. Santos; Michel S. Soares (Syst. Eng., 2023)

Combining SysML and Timed Coloured Petri Nets for Designing Smart City Applications. - Layse Santos Souza; Michel S. Soares (J. Univers. Comput. Sci., 2023)

Design and Evaluation using Technology Acceptance Model of an Architecture Conceptualization Framework System based on the ISO/IEC/IEEE 42020. - Valdicélio Mendes Santos; Michel S. Soares (J. Univers. Comput. Sci., 2023)

Increasing Test Coverage by Automating BDD Tests in Proofs of Concepts (POCs) using LLM. - Shexmo Richarlison Ribeiro dos Santos; Raiane Eunice S. Fernandes; Marcos Cesar Barbosa dos Santos; Michel S. Soares; Fabio Gomes Rocha; Sabrina Marczak (SBQS, 2024)

Microservices Patterns Recommendation based on Information Retrieval. - Álex dos Santos Moura; Fábio Gomes Rocha; Michel S. Soares (J. Univers. Comput. Sci., 2024)

A Process to Compare ATAM and Chapter 9 of ISO/IEC/IEEE 42020: 2019. - Gustavo S. Melo; Michel S. Soares (ICEIS (2), 2025)

Perception of Professionals Regarding Behavior-Driven Development (BDD): A Descriptive and Statistical Study. - Shexmo Richarlison Ribeiro dos Santos; Gustavo S. Melo; Michel S. Soares; Fabio Gomes Rocha (ICEIS (2), 2025)

Guidelines for the Application of Event Driven Architecture in Micro Services with High Volume of Data. - Marcus Vinicius Santana Silva; Luiz Felipe Cirqueira dos Santos; Michel S. Soares; Fabio Gomes Rocha (ICEIS (2), 2025)

Intelligent Methodologies for Preparing Reference Prices in Brazilian Public Biddings. - Eduardo Marques Braga de Faria; Gilton José Ferreira da Silva; Michel S. Soares (SBSI, 2025)

Methodological Advances in Expert Systems with Artificial Intelligence. - Jesy Karolayne Sales dos Santos; Lauryane Santos Siqueira; Eduardo Marques Braga Faria; Kalil Araújo Bispo; Gilton José Ferreira da Silva; Michel S. Soares (SBSI, 2025)