Using process mining in software development process management: A case study AM Lemos, CC Sabino, RMF Lima, CAL Oliveira Systems, Man, and Cybernetics (SMC), 2011 IEEE International Conference on …, 2011 | 63 | 2011 |
A quality-driven approach for resources planning in service-oriented architectures M Teixeira, R Ribeiro, C Oliveira, R Massa Expert Systems with Applications 42 (12), 5366-5379, 2015 | 32 | 2015 |
Optimizing JML features compilation in ajmlc using aspect-oriented refactorings H Rebêlo, R Lima, M Cornélio, GT Leavens, A Mota, C Oliveira SBLP 9, 117-130, 2009 | 25 | 2009 |
Quantitative analysis of resource-constrained business processes CAL Oliveira, RMF Lima, HA Reijers, JTS Ribeiro IEEE Transactions on Systems, Man, and Cybernetics-Part A: Systems and …, 2011 | 19 | 2011 |
Modeling and analyzing resource-constrained business processes C Oliveira, R Lima, T Andre, HA Reijers 2009 IEEE international conference on Systems, Man and Cybernetics, 2824-2830, 2009 | 19 | 2009 |
Analfabetismo digital funcional: Perpetuação de relações dedominação C Oliveira, S de-Azevedo Revista Brasileira de Lingüística 15 (2), 101-112, 2007 | 19 | 2007 |
Performance evaluation of service-oriented architecture through stochastic petri nets M Teixeira, R Lima, C Oliveira, P Maciel 2009 IEEE International Conference on Systems, Man and Cybernetics, 2831-2836, 2009 | 18 | 2009 |
Reducing the gap between business and information systems through complex event processing CAL Oliveira, NC Silva, CL Sabat, RMF Lima Computing and Informatics 32 (2), 225-250, 2013 | 11 | 2013 |
Integrating declarative processes and soa: A declarative web service orchestrator N Silva, R Carvalho, R Lima, C Oliveira Proceedings of the International Conference on Semantic Web and Web Services …, 2013 | 9 | 2013 |
Influence of mashing profile curve and addition of proteases on the composition of the wort and beer TRS Mathias, M Lopes, CA Oliveira, RC Carvalho, FFC Marques, ... MOJ Food Process. Technol 5, 124, 2017 | 8 | 2017 |
Optimizing generated aspect-oriented assertion checking code for JML using program transformations: An empirical study H Rebêlo, R Lima, GT Leavens, M Cornélio, A Mota, C Oliveira Science of Computer Programming 78 (8), 1137-1156, 2013 | 8 | 2013 |
Computing Strategic Trade-Offs in Web Service Deployment and Selection A Neves, CAL Oliveira, RMF Lima, CL Sabat Web Services (ICWS), 2012 IEEE 19th International Conference on, 210-217, 2012 | 8 | 2012 |
A stochastic model for performance evaluation and bottleneck discovering on soa-based systems M Teixeira, R Lima, C Oliveira, P Maciel 2010 IEEE International Conference on Systems, Man and Cybernetics, 358-365, 2010 | 8 | 2010 |
A retargetable environment for power-aware code evaluation: An approach based on coloured petri net MNO Junior, P Maciel, R Lima, A Ribeiro, C Oliveira, A Arcoverde, ... Integrated Circuit and System Design. Power and Timing Modeling …, 2005 | 8 | 2005 |
Conformance Checking of Software Development Processes Through Process Mining. AM Lemos, CC Sabino, RMF Lima, CAL de Oliveira Seke, 654-659, 2011 | 7 | 2011 |
Performance analysis of metropolitan bus rapid transit line via generalized stochastic petri nets K Wanini Gonçalves de Araújo, MO de Andrade, RMF Lima, ... Journal of Urban Planning and Development 146 (1), 05019019, 2020 | 6 | 2020 |
Simulação de redes de petri em ambiente java CAL Oliveira Universidade de Pernambuco, 2006 | 6 | 2006 |
A Solution to the State-Space Explosion Problem in Declarative Business Process Modeling R Carvalho, NC Silva, CAL Oliveira, RMF Lima International Conference on Software Engineering and Knowledge Engineering …, 2013 | 5 | 2013 |
Planning service agreements in SOA-based systems through stochastic models M Teixeira, R Massa, C Oliveira, P Maciel Proceedings of the 2011 ACM Symposium on Applied Computing, 1576-1581, 2011 | 5 | 2011 |
Uma Abordagem para Melhoria de Workflow Baseada em Redes de Petri Estocásticas Generalizadas CAL de Oliveira | 5 | 2008 |