| Sociable interfaces L Alfaro, LD Silva, M Faella, A Legay, P Roy, M Sorea International Workshop on Frontiers of Combining Systems, 81-105, 2005 | 72 | 2005 |
| Ticc: A Tool for Interface Compatibility and Composition BT Adler, L Alfaro, LDD Silva, M Faella, A Legay, V Raman, P Roy International Conference on Computer Aided Verification, 59-62, 2006 | 56 | 2006 |
| Design and evaluation of a mobile application to assist the self-monitoring of the chronic kidney disease in developing countries A Sobrinho, LD da Silva, A Perkusich, ME Pinheiro, P Cunha BMC medical informatics and decision making 18 (1), 1-14, 2018 | 42 | 2018 |
| Computer-aided diagnosis of chronic kidney disease in developing countries: A comparative analysis of machine learning techniques A Sobrinho, ACMDS Queiroz, LD Da Silva, EDB Costa, ME Pinheiro, ... IEEE Access 8, 25407-25419, 2020 | 29 | 2020 |
| On the automatic generation of timed automata models from function block diagrams for safety instrumented systems LD da Silva, LP de Assis Barbosa, K Gorgônio, A Perkusich, AMN Lima 2008 34th Annual Conference of IEEE Industrial Electronics, 291-296, 2008 | 29 | 2008 |
| Formal modeling of biomedical signal acquisition systems: source of evidence for certification A Sobrinho, LD da Silva, A Perkusich, P Cunha, T Cordeiro, AMN Lima Software & Systems Modeling 18 (2), 1467-1485, 2019 | 18 | 2019 |
| Machine learning application to quantify the tremor level for parkinson’s disease patients TÍ Pedrosa, FF Vasconcelos, L Medeiros, LD Silva Procedia computer science 138, 215-220, 2018 | 16 | 2018 |
| Composition of software artifacts modelled using colored Petri nets LD da Silva, A Perkusich Science of Computer Programming 56 (1-2), 171-189, 2005 | 16 | 2005 |
| Kidney biopsy in human schistosomiasis. An ultrastructural study.(Preliminary report.). TD Brito, DD Boni, JD Lopes, LD Da Silva Revista do Instituto de Medicina Tropical de Sao Paulo 11 (1), 1969 | 16 | 1969 |
| Determinação de períodos secos e chuvosos em duas microrregiões da Paraíba através da técnica dos quantis HA Almeida, RC Freitas, L SILVA Revista de Geografia (UFPE) 30 (1), 217-232, 2013 | 15 | 2013 |
| Obtaining formal models from ladder diagrams EA da Silva Oliveira, LD da Silva, K Gorgônio, A Perkusich, AF Martins 2011 9th IEEE International Conference on Industrial Informatics, 796-801, 2011 | 15 | 2011 |
| Towards medical device certification: A colored petri nets model of a surface electrocardiography device A Sobrinho, A Perkusich, LD da Silva, T Cordeiro, J Rêgo, P Cunha IECON 2014-40th Annual Conference of the IEEE Industrial Electronics Society …, 2014 | 14 | 2014 |
| On the automatic generation of timed automata models from isa 5.2 diagrams LP de Assis Barbosa, K Gorgônio, AMN Lima, A Perkusich, LD da Silva 2007 IEEE Conference on Emerging Technologies and Factory Automation (EFTA …, 2007 | 14 | 2007 |
| Classification models for COVID-19 test prioritization in Brazil: machine learning approach ÍV dos Santos Santana, ACM da Silveira, Á Sobrinho, LC e Silva, ... Journal of medical Internet research 23 (4), e27293, 2021 | 12 | 2021 |
| Using colored petri nets for the requirements engineering of a surface electrogastrography system Á Sobrinho, A Perkusich, LD da Silva, P Cunha 2014 12th IEEE International Conference on Industrial Informatics (INDIN …, 2014 | 12 | 2014 |
| A framework for modeling and simulating Aedes aegypti and dengue fever dynamics T Lima, T Carneiro, L Silva, R Lana, C Codeço, I Reis, R Maretto, ... Proceedings of the Winter Simulation Conference 2014, 1481-1492, 2014 | 11 | 2014 |
| Formal Verification of Component-Based Software Systems. LD da Silva, A Perkusich NDDL/VVEIS, 113-124, 2003 | 11 | 2003 |
| A formal approach for the modelling and verification of multiagent plans based on model checking and Petri nets H Oliveira de Almeida, L Dias da Silva, A Perkusich, E Barros Costa International Workshop on Software Engineering for Large-Scale Multi-agent …, 2004 | 10 | 2004 |
| Automatic timed automata extraction from ladder programs for model-based analysis of control systems K Oliveira, K Gorgônio, A Perkusich, A Lima, LD da Silva Software Engineering for Secure Systems: Industrial and Research …, 2011 | 9* | 2011 |
| Formal modelling and verification of a component model using coloured petri nets and model checking E Oliveira, H Almeida, L Silva Proceedings of the 2007 ACM symposium on Applied computing, 1427-1431, 2007 | 9 | 2007 |
Angelo PerkusichFederal University of Campina GrandeVerified email at dee.ufcg.edu.br
