Kyller Costa Gorgônio
Kyller Costa Gorgônio
Professor of Computer Science, Federal University of Campina Grande
Geverifieerd e-mailadres voor computacao.ufcg.edu.br - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
252008
Assisting the continuous improvement of Scrum projects using metrics and Bayesian networks
M Perkusich, KC Gorgônio, H Almeida, A Perkusich
Journal of Software: Evolution and Process 29 (6), e1835, 2017
172017
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
172011
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
132007
Towards the upnp-up: Enabling user profile to support customized services in upnp networks
TBM de Sales, M Leandro, M Pereira, H Almeida, A Perkusich, ...
2008 The Second International Conference on Mobile Ubiquitous Computing …, 2008
122008
A standard-based and context-aware architecture for personal healthcare smart gateways
DFS Santos, KC Gorgônio, A Perkusich, HO Almeida
Journal of medical systems 40 (10), 224, 2016
112016
A Bayesian network approach to assist on the interpretation of software metrics
M Perkusich, A Medeiros, LC e Silva, KC Gorgônio, HO de Almeida, ...
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 1498-1503, 2015
102015
A Baseline Patient Model to Support Testing of Medical Cyber-Physical Systems.
LC e Silva, M Perkusich, HO Almeida, A Perkusich, MAM Lima, ...
MedInfo 216, 549-553, 2015
92015
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
8*2011
Automating synthesis of asynchronous communication mechanisms
K Gorgônio, J Cortadella, F Xia, A Yakovlev
Fundamenta Informaticae 78 (1), 75-100, 2007
72007
Adaptation of coloured petri nets models of software artifacts for reuse
KC Gorgônio, A Perkusich
International Conference on Software Reuse, 240-254, 2002
72002
Modeling and verifying asynchronous communication mechanisms using coloured Petri nets
K Gorgônio, F Xia
2008 8th International Conference on Application of Concurrency to System …, 2008
62008
Design and Animation of Coloured Petri Nets Models for Traffic Signals
A PerkusichÝ, LМ de AraújoÞ, RS CoelhoÞ, KC GorgônioÞ, ...
Second Ïorkshop on Practical Use of Coloured Petri Nets and Design» CPN, 1999
51999
Standard-based formal validation of programmable logic controller programs
K de Vasconcelos Oliveira, A Perkusich, AMN Lima, K Gorgônio, ...
2010 IEEE International Conference on Industrial Technology, 1655-1660, 2010
42010
Automating synthesis of asynchronous communication mechanisms
J Cortadella, K Gorgônio, F Xia, A Yakovlev
Fifth International Conference on Application of Concurrency to System …, 2005
32005
802.11 g signal strength evaluation in an industrial environment
DCG Valadares, JMFR de Araújo, MA Spohn, A Perkusich, KC Gorgônio, ...
Internet of Things 9, 100163, 2020
22020
Intelligent software engineering in the context of agile software development: A systematic literature review
M Perkusich, LC e Silva, A Costa, F Ramos, R Saraiva, A Freire, ...
Information and Software Technology 119, 106241, 2020
22020
Issues in the probability elicitation process of expert-based Bayesian networks
J Nunes, M Barbosa, L Silva, K Gorgônio, H Almeida, A Perkusich
Enhanced Expert Systems, 2018
22018
Continuous Learning of the Structure of Bayesian Networks: A Mapping Study
LAP Silva, JBN Bezerra, MB Perkusich, KC Gorgônio, HO de Almeida, ...
Bayesian Networks-Advances and Novel Applications, 2018
22018
Investigating gaps on Agile Improvement Solutions and their successful adoption in industry projects-A systematic literature review.
AS Freire, A Meireles, G Guimaraes, M Perkusich, RM da Silva, ...
SEKE, 40-45, 2018
22018
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20