Formal Verification of Component-Based Software Systems. - Leandro Dias da Silva; Angelo Perkusich (NDDL/VVEIS, 2003)

A Formal Approach for the Modelling and Verification of Multiagent Plans Based on Model Checking and Petri Nets. - Hyggo Oliveira de Almeida; Leandro Dias da Silva; Angelo Perkusich; Evandro de Barros Costa (SELMAS, 2004)

Sociable Interfaces. - Luca de Alfaro; Leandro Dias da Silva; Marco Faella; Axel Legay; Pritam Roy; Maria Sorea (FroCoS, 2005)

Modelagem e Verificação Formal de Sistemas de Informação Baseados em Componentes. - Hyggo O. Almeida; Elthon A. S. Oliveira; Nadia Barbosa; Frederico Bublitz; Leandro Dias da Silva; Angelo Perkusich (SBSI, 2005)

Composition of software artifacts modelled using Colored Petri nets. - Leandro Dias da Silva; Angelo Perkusich (Sci. Comput. Program., 2005)

A Model-Based Approach to Formal Specification and Verification of Embedded Systems Using Colored Petri Nets. - Leandro Dias da Silva; Angelo Perkusich (Component-Based Software Development for Embedded Systems, 2005)

Ticc: A Tool for Interface Compatibility and Composition. - B. Thomas Adler; Luca de Alfaro; Leandro Dias da Silva; Marco Faella; Axel Legay; Vishwanath Raman; Pritam Roy (CAV, 2006)

On the automatic generation of timed automata models from ISA 5.2 diagrams. - Luiz Paulo de Assis Barbosa; Kyller Costa Gorgônio; Leandro Dias da Silva; Antonio Marcus Nogueira de Lima; Angelo Perkusich (ETFA, 2007)

Formal modelling and verification of a component model using coloured petri nets and model checking. - Elthon A. S. Oliveira; Hyggo Oliveira de Almeida; Leandro Dias da Silva (SAC, 2007)

Pitfalls and tradeoffs on dealing with handoff management in bluetooth-based WPANs for real-time applications. - Loreno Oliveira; Kyller Costa Gorgônio; Angelo Perkusich; Leandro Dias da Silva (ISCC, 2008)

An infrastructure for developing context aware applications in pervasive environments. - Frederico Bublitz; Hyggo Oliveira de Almeida; Angelo Perkusich; Emerson Loureiro; Evandro de Barros Costa; Leandro Dias da Silva (SAC, 2008)

Formal specification of DSP gateway for data transmission between processor cores of OMAP platform. - Saulo Oliveira Dornellas Luiz; Genildo de Moura Vasconcelos; Leandro Dias da Silva (SAC, 2008)

An Agent Based Formal Approach for Modeling and Verifying Integrated Intelligent Information Systems. - Leandro Dias da Silva; Elthon Allex da Silva Oliveira; Hyggo Oliveira de Almeida; Angelo Perkusich (Innovations in Information Systems Modeling, 2009)

A User-Centered Approach for the Development of a Pervasive Mobile Tool for Health Care. - Álvaro Alvares de Carvalho César Sobrinho; Leandro Dias da Silva; Leonardo Melo de Medeiros (CENTERIS (3), 2011)

Model-Based Solution for Controlling Physiology. - Elthon A. S. Oliveira; Leandro Dias da Silva; Hyggo Oliveira de Almeida; Angelo Perkusich (FHIES, 2012)

Using equivalence classes for testing programs for safety instrumented systems. - Kezia de Vasconcelos Oliveira; Angelo Perkusich; Kyller Costa Gorgônio; Leandro Dias da Silva; Aldenor Falcao Martins (ETFA, 2013)

Towards medical device certification: A colored Petri Nets model of a surface electrocardiography device. - Alvaro Sobrinho; Angelo Perkusich; Leandro Dias da Silva; Thiago D. Cordeiro; Joilson Rego; Paulo Cunha (IECON, 2014)

Using Colored Petri Nets for the requirements engineering of a surface electrogastrography system. - Alvaro Sobrinho; Angelo Perkusich; Leandro Dias da Silva; Paulo Cunha (INDIN, 2014)

A simulation approach to certify electrocardiography devices. - Alvaro Sobrinho; Paulo Cunha; Leandro Dias da Silva; Angelo Perkusich; Thiago D. Cordeiro; Joilson Rego (HealthCom, 2015)

A methodology for modeling and simulation of biomedical signal acquisition devices. - Alvaro Sobrinho; Paulo Cunha; Leandro Dias da Silva; Angelo Perkusich; Thiago D. Cordeiro; Joilson Rego (HealthCom, 2015)

A Colored Petri Nets model of the risk management process based on the ISO 14971 standard. - Alvaro Sobrinho; Jose Bernardo Neto; Paulo Cunha; Leandro Dias da Silva; Angelo Perkusich (IECON, 2015)

A Gait Analysis Approach to Track Parkinson's Disease Evolution Using Principal Component Analysis. - Leonardo Medeiros; Hyggo Oliveira de Almeida; Leandro Dias da Silva; Mirko Barbosa Perkusich; Robert Fischer 003 (CBMS, 2016)

A Game-Based Approach to Monitor Parkinson's Disease: The Bradykinesia Symptom Classification. - Leonardo Medeiros; Hyggo Oliveira de Almeida; Leandro Dias da Silva; Mirko Barbosa Perkusich; Robert Fischer 003 (CBMS, 2016)

Arguing effectiveness of biomedical signal acquisition devices using colored Petri Nets models and assurance cases in GSN: An ECG case study. - Alvaro Sobrinho; Paulo Cunha; Leandro Dias da Silva; Angelo Perkusich; Thiago D. Cordeiro; Jarbas Segundo (EMBC, 2016)

A Hypermedia-based Adaptive Educational System for Assisting Students in Systems and Information Technology Domain for Accountability. - Inés Maria González Vidal; Evandro de Barros Costa; Leandro Dias da Silva; Fabrísia Ferreira de Araújo; Rafael Ferreira 002 (WorldCIST (2), 2016)

Machine Learning Application to Quantify the Tremor Level for Parkinson's Disease Patients. - Taígo Ítalo Pedrosa; Felipe F. Vasconcelos; Leonardo Medeiros; Leandro Dias da Silva (CENTERIS/ProjMAN/HCist, 2018)

A Model-Based Approach for Analyzing the Autonomy Levels for Cyber-Physical Systems-of-Systems. - Mohamad Gharib; Leandro Dias da Silva; Hanna Kavalionak; Andrea Ceccarelli (LADC, 2018)

A Novel Limiter with Application in Crest Factor Reduction Techniques for Wireless Communications. - Leandro Dias da Silva; Eduardo Gonçalves de Lima (SBCCI, 2018)

Design and evaluation of a mobile application to assist the self-monitoring of the chronic kidney disease in developing countries. - Alvaro Sobrinho; Leandro Dias da Silva; Angelo Perkusich; Maria Eliete Pinheiro; Paulo Cunha (BMC Medical Informatics Decis. Mak., 2018)

A Coloured Petri Nets Reference Model of Insulin Infusion Pump Control Systems: Assisting the Certification Process. - Tássio Fernandes Costa; Alvaro Sobrinho; Lenardo Chaves e Silva; Leandro Dias da Silva; Angelo Perkusich (IECON, 2019)

A mixed-radix FFT algorithm implementation based on Petri nets to assist the certification of bio-medical systems. - Eduardo Moraes de Miranda Vasconcellos; Thiago D. Cordeiro; Alvaro Sobrinho; Leandro Dias da Silva; Angelo Perkusich; Antonio Marcus Nogueira de Lima (IECON, 2019)

Performability Analysis of a Tramway System with Virtual Tags and Local Positioning. - Leandro Dias da Silva; Diamantea Mongelli; Paolo Lollini; Andrea Bondavalli; Gianluca Mandò (LADC, 2019)

Model-based testing of software for automation systems using heuristics and coverage criterion. - Rodrigo José Sarmento Peixoto; Leandro Dias da Silva; Angelo Perkusich (Softw. Syst. Model., 2019)

Formal modeling of biomedical signal acquisition systems: source of evidence for certification. - Alvaro Sobrinho; Leandro Dias da Silva; Angelo Perkusich; Paulo Cunha; Thiago D. Cordeiro; Antonio Marcus Nogueira de Lima (Softw. Syst. Model., 2019)

Computer-Aided Diagnosis of Chronic Kidney Disease in Developing Countries: A Comparative Analysis of Machine Learning Techniques. - Alvaro Sobrinho; Andressa C. M. Da S. Queiroz; Leandro Dias da Silva; Evandro de Barros Costa; Maria Eliete Pinheiro; Angelo Perkusich (IEEE Access, 2020)

A stochastic modeling approach for traffic analysis of a tramway system with virtual tags and local positioning. - Leandro Dias da Silva; Paolo Lollini; Diamantea Mongelli; Andrea Bondavalli; Gianluca Mandò (J. Braz. Comput. Soc., 2021)

A model to discipline autonomy in cyber-physical systems-of-systems and its application. - Mohamad Gharib; Leandro Dias da Silva; Andrea Ceccarelli (J. Softw. Evol. Process., 2021)

Reliability analysis of multi-parameter monitoring systems for Intensive Care Units. - Matheus Soares de Araujo; Leandro Dias da Silva; Alvaro Sobrinho; Paulo Cunha; Leonardo Montecchi (Reliab. Eng. Syst. Saf., 2022)

Coloured Petri nets for abstract test generation in software engineering. - Alvaro Sobrinho; Ially Almeida; Leandro Dias da Silva; Lenardo Chaves e Silva; Adriano Araújo; Tássio Fernandes Costa; Angelo Perkusich (Softw. Test. Verification Reliab., 2023)

Coloured Petri Nets Modeling Multilayer Perceptron Neural Networks. - Yuri Resende Matias de Oliveira; Alvaro Sobrinho; Leandro Dias da Silva; Danilo Santos 001; Kyller Costa Gorgônio; Angelo Perkusich (ICCE, 2024)

A coloured Petri nets-based system for validation of biomedical signal acquisition devices. - José Irineu Ferreira Júnior; Alvaro Sobrinho; Leandro Dias da Silva; Paulo Cunha; Thiago D. Cordeiro; Angelo Perkusich; Antonio Marcus Nogueira de Lima (J. Supercomput., 2024)

Harnessing coloured Petri nets to enhance machine learning:A simulation-based method for healthcare and beyond. - Andressa C. M. Da S. Queiroz; Alvaro Sobrinho; Leandro Dias da Silva; Danilo F. S. Santos; Muhammad Nauman; Angelo Perkusich (Simul. Model. Pract. Theory, 2025)

Challenges and Opportunities in Mobile Network Security for Vertical Applications: A Survey. - Alvaro Sobrinho; Matheus Vilarim; Amanda Barbosa; Edmar Candeia Gurjão; Danilo F. S. Santos; Dalton C. G. Valadares; Leandro Dias da Silva (ACM Comput. Surv., 2025)