Leandro Dias da Silva
Title
Cited by
Cited by
Year
Sociable interfaces
L de Alfaro, LD da Silva, M Faella, A Legay, P Roy, M Sorea
International Workshop on Frontiers of Combining Systems, 81-105, 2005
712005
Ticc: A Tool for Interface Compatibility and Composition
BT Adler, L De Alfaro, LD Da Silva, M Faella, A Legay, V Raman, P Roy
International Conference on Computer Aided Verification, 59-62, 2006
542006
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
272008
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
212018
Composition of software artifacts modelled using colored Petri nets
LD da Silva, A Perkusich
Science of Computer Programming 56 (1-2), 171-189, 2005
162005
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
152019
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
152011
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
142007
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
121969
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
112014
Formal Verification of Component-Based Software Systems.
LD da Silva, A Perkusich
NDDL/VVEIS, 113-124, 2003
112003
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
102014
A formal approach for the modelling and verification of multiagent plans based on model checking and Petri nets
HO de Almeida, LD da Silva, A Perkusich, E de Barros Costa
International Workshop on Software Engineering for Large-Scale Multi-agent …, 2004
102004
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
A formal approach for component based embedded software modelling and analysis
HO Almeida, LD da Silva, E Oliveira, A Perkusich
Proceedings of the IEEE International Symposium on Industrial Electronics …, 2005
92005
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
82020
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
72007
A simulation approach to certify electrocardiography devices
Á Sobrinho, P Cunha, LD da Silva, A Perkusich, T Cordeiro, J Rêgo
2015 17th International Conference on E-health Networking, Application …, 2015
62015
A mobile assistant to aid early detection of chronic kidney disease
ÁACC Sobrinho, LD da Silva, LM de Medeiros, ME Pinheiro
Information Systems and Technologies for Enhancing Health and Social Care …, 2013
62013
Modelling and analysis of a multi-agent intelligent tutoring system based on coloured petri nets
LD da Silva, A Perkusich, HO de Almeida, E de Barros Costa
ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND …, 2003
62003
The system can't perform the operation now. Try again later.
Articles 1–20