Afonso Henrique Corrêa de Sales

Pós-doutorado

Formação complementar

Idiomas

Áreas de atuação

Organização de eventos

Participação em eventos

Participação em bancas

Orientou

Produções bibliográficas

• NGUYEN'DUC, ANH ; KHANNA, DRON ; LE, GIANG HUONG ; GREER, DES ; WANG, XIAOFENG ; ZAINA, LUCIANA MARTINEZ ; MATTURRO, GERARDO ; MELEGATI, JORGE ; GUERRA, EDUARDO ; KETTUNEN, PETRI ; HYRYNSALMI, SAMI ; EDISON, HENRY ; SALES, AFONSO ; CHANIN, RAFAEL ; RUTITIS, DIDZIS ; KEMELL, KAI'KRISTIAN ; ALDAEEJ, ABDULLAH ; MIKKONEN, TOMMI ; GARBAJOSA, JUAN ; ABRAHAMSSON, PEKKA . Work-from-home impacts on software project: A global study on software development practices and stakeholder perceptions. SOFTWARE: PRACTICE AND EXPERIENCE , v. 54, p. 896-926, 2023.

• BAUER, MAGDA ALINE ; SALES, AFONSO ; TEIXEIRA, ADRIANE RIBEIRO ; MORSCH, PATRÍCIA ; LESSA, ALEXANDRE HUNDERTMARCK ; BÓS, ÂNGELO JOSÉ GONÇALVES . Development and accuracy of a hearing screening application. Brazilian Journal of Otorhinolaryngology , v. 87, p. 1-8, 2020.

• CHANIN, Rafael Matone ; KHANNA, D. ; KEMELL, K. ; WANG, XIAOFENG ; SALES, A. ; PRIKLADNICKI, RAFAEL ; ABRAHAMSSON, PEKKA . Software Startup Education Around the World: A Preliminary Analysis. CENTRAL EUROPE CEUR WORKSHOP PROCEEDINGS , v. 2305, p. 219-229, 2018.

• CZEKSTER, R. M. ; FERNANDES, P. ; LOPES, L. ; SALES, A. ; SANTOS, A. R. ; WEBBER, T. . Stochastic Performance Analysis of Global Software Development Teams. ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY , v. 25, p. 1-32, 2016.

• SANTOS, ALAN R. ; SALES, AFONSO ; FERNANDES, PAULO . Using SAN formalism to evaluate Follow-The-Sun project scenarios. The Journal of Systems and Software , v. 100, p. 182-194, 2015.

• SALES, A. ; ASSUNCAO, J. ; ESPINDOLA, L. ; FERNANDES, P. ; PIVEL, M. . A Structured Stochastic Model for Prediction of Geological Stratal Stacking Patterns. Electronic Notes in Theoretical Computer Science , v. 296, p. 27-42, 2013.

• FERNANDES, P. ; O'KELLY, M.E.J. ; SALES, A. ; PAPADOPOULOS, C.T. . Analysis of exponential reliable production lines using Kronecker descriptors. International Journal of Production Research (Print) , v. 51, p. 4240-4257, 2013.

• FERNANDES, P. ; SALES, A. ; SANTOS, A. R. ; WEBBER, T. . Performance Evaluation of Software Development Teams: a Practical Case Study. Electronic Notes in Theoretical Computer Science , v. 275, p. 73-92, 2011.

• CZEKSTER, R. M. ; FERNANDES, P. ; SALES, A. ; WEBBER, T. ; ZORZO, A. F. . Stochastic model for QoS assessment in multi-tier web services. Electronic Notes in Theoretical Computer Science , v. 275, p. 53-72, 2011.

• CHANIN, R. ; CORRÊA, M.L.M. ; FERNANDES, P. ; SALES, A. ; SCHEER, R. ; ZORZO, A. F. . Analytical Modeling for Operating System Schedulers on NUMA Systems. Electronic Notes in Theoretical Computer Science , v. 151:3, p. 131-149, 2006.

• BALDO, L. ; BRENNER, L. ; FERNANDES, L. G. ; FERNANDES, P. ; SALES, A. . Performance Models for Master/Slave Parallel Programs. Electronic Notes in Theoretical Computer Science , v. 128:4, p. 101-121, 2005.

• BRENNER, L. ; FERNANDES, P. ; SALES, A. . The Need for and the Advantages of Generalized Tensor Algebra for Structured Kronecker Representations. International Journal of Simulation , v. 6:3-4, p. 52-60, 2005.

• CHANIN, RAFAEL ; SALES, AFONSO ; PRIKLADNICKI, RAFAEL . Software Startup Education: A Transition from Theory to Practice. In: Anh Nguyen-Duc; Jürgen Münch; Rafael Prikladnicki; Xiaofeng Wang; Pekka Abrahamsson. (Org.). Fundamentals of Software Startups. 1ed.: Springer International Publishing, 2020, v. , p. 217-234.

• Melegati, Jorge ; CHANIN, RAFAEL ; SALES, AFONSO ; PRIKLADNICKI, RAFAEL . Towards Specific Software Engineering Practices for Early-Stage Startups. In: Paasivaara M., Kruchten P.. (Org.). Lecture Notes in Business Information Processing. 1ed.: Springer International Publishing, 2020, v. 396, p. 18-22.

• FERNANDES, P. ; O'KELLY, M. E. J. ; PAPADOPOULOS, C. T. ; SALES, A. . Exact Analysis of Discrete Part Production Lines: The Markovian Queueing Network and the Stochastic Automata Networks Formalisms. In: J.M. Smith; B. Tan. (Org.). Handbook of Stochastic Models and Analysis of Manufacturing System Operations. 1ed.Springer: New York, 2013, v. , p. 73-113.

• SALES, A. ; CZEKSTER, R. M. ; FERNANDES, P. ; WEBBER, T. . Redes de Autômatos Estocásticos para Avaliação de Desempenho. In: Carlos Amaral Hölbig; Alexandro Magno dos Santos Adário; Márcia Cristina Cera. (Org.). 12a Escola Regional de Alto Desempenho. Porto Alegre: Sociedade Brasileira de Computação, 2012, v. , p. 37-69.

• BRENNER, L. ; FERNANDES, P. ; SALES, A. . Avaliação de Desempenho de Sistemas Paralelos. In: Adenauer C. Yamin; Jorge L. V. Barbosa. (Org.). 4a Escola Regional de Alto Desempenho (ERAD 2004). Porto Alegre: , 2004, v. , p. 97-120.

• Melegati, Jorge ; NASCIMENTO, N. ; CHANIN, R. ; SALES, AFONSO ; WIESE, I. . Exploring potential implications of intelligent tools for human aspects of software engineering. In: Cooperative and Human Aspects of Software Engineering (CHASE), 2024, Lisbon, Portugal. Proceedings of the 17th International Workshop on Cooperative and Human Aspects of Software Engineering, 2024. p. 1-12.

• KRUG, DANIEL DOS SANTOS ; CHANIN, R. ; SALES, AFONSO . Exploring the Pros and Cons of Monolithic Applications Versus Microservices. In: International Conference on Enterprise Information Systems (ICEIS), 2024, Angers, France. Proceedings of the 26th International Conference on Enterprise Information Systems (ICEIS), 2024. v. 2. p. 256-263.

• SILVA, N. ; RIBEIRO, C. ; NASCIMENTO, N. ; SALES, AFONSO . Revitalizando o Ensino de Computação: Metodologias Audiovisuais na Educação a Distância. In: Workshop sobre Educação em Computação (WEI), 2024, Brasilia, DF. Anais do XXXII Workshop sobre Educação em Computação (WEI 2024), 2024. p. 103-113.

• BONA, FERNANDO ; CHANIN, RAFAEL ; NASCIMENTO, NICOLAS ; SALES, AFONSO . Understanding the Gaps in Software Engineering Education from the Perspective of IT Leaders: A Field Study. In: 15th International Conference on Computer Supported Education, 2023, Prague. Proceedings of the 15th International Conference on Computer Supported Education, 2023. p. 511-518.

• BONA, F. W. ; CHANIN, RAFAEL ; NASCIMENTO, N. ; SALES, AFONSO . A Importância dos Cursos Complementares na Formação dos Profissionais da Área de Tecnologia da Informação. In: Workshop sobre Educação em Computação (WEI), 2023, João Pessoa. Anais do XXXI Workshop sobre Educação em Computação (WEI 2023), 2023. p. 420-431.

• MARTINELLI, SUÉLLEN ; NASCIMENTO, NICOLAS ; SOUZA, JONATHAN ; SALES, AFONSO ; ZAINA, LUCIANA . UX Requirements Matters: Guidelines to Support Software Teams on the Writing of Acceptance Criteria. In: SBES 2022: XXXVI Brazilian Symposium on Software Engineering, 2022, Virtual Event Brazil. Proceedings of the XXXVI Brazilian Symposium on Software Engineering. New York: ACM, 2022. p. 398-408.

• NASCIMENTO, NICOLAS ; SANTOS, ALAN ; SALES, AFONSO ; CHANIN, RAFAEL . Is There an Optimal Sprint Length on Agile Software Development Projects?. In: 24th International Conference on Enterprise Information Systems, 2022, Online Streaming. Proceedings of the 24th International Conference on Enterprise Information Systems, 2022. p. 98-105.

• CHANIN, RAFAEL ; SANTOS, ALAN ; SALES, AFONSO ; NASCIMENTO, NICOLAS . Teaching BDD in Active Learning Environments: A Multi-study Analysis. In: 14th International Conference on Computer Supported Education, 2022, Online Streaming. Proceedings of the 14th International Conference on Computer Supported Education, 2022. p. 268-275.

• NASCIMENTO, NICOLAS ; SANTOS, ALAN R. ; SALES, AFONSO ; CHANIN, RAFAEL . Enablers and inhibitors in agile teams. In: ICSE '22: 44th International Conference on Software Engineering, 2022, Pittsburgh Pennsylvania. Proceedings of the 5th International Workshop on Software-intensive Business: Towards Sustainable Software Business. New York: ACM, 2022. p. 67-74.

• CARDOSO, TELCIO ; CHANIN, RAFAEL ; SANTOS, ALAN ; SALES, AFONSO . Combining Agile and DevOps to Improve Students? Tech and Non-tech Skills. In: 13th International Conference on Computer Supported Education, 2021, Online Streaming. Proceedings of the 13th International Conference on Computer Supported Education, 2021. p. 299-306.

• BREZOLIN, C. S. ; BONA, F. W. ; Telcio Cardoso ; SILVEIRA, M. S. ; SALES, AFONSO . Desafios de Pessoas Idosas na utilização de Smart TVs: avaliando a comunicabilidade do NET Now. In: Computer on the Beach (COTB), 2021, Online. XII Computer on the Beach, 2021. p. 232-239.

• Wang, Xiaofeng ; Detoni, Mariana ; SALES, AFONSO ; CHANIN, RAFAEL ; PRIKLADNICKI, RAFAEL ; Melegati, Jorge . An Analysis of Students? Perception towards User Involvement in a Software Engineering Undergraduate Curriculum. In: 12th International Conference on Computer Supported Education, 2020, Prague. Proceedings of the 12th International Conference on Computer Supported Education, 2020. p. 325-332.

• NASCIMENTO, N. ; SANTOS, A. R. ; SALES, AFONSO ; CHANIN, RAFAEL . Behavior-Driven Development: A case study on its impacts on agile development teams. In: International Workshop on Cooperative and Human Aspects of Software Engineering (CHASE), 2020, Seoul. Proceedings of 13th International Workshop on Cooperative and Human Aspects of Software Engineering (CHASE), 2020. p. 109-116.

• KUINCHTNER, D. ; MENEGUZZI, F. ; SALES, AFONSO . A Tensor-based Markov Decision Process Representation. In: Mexican International Conference on Artificial Intelligence (MICAI), 2020, Mexico City. Proceedings of 19th Mexican International Conference on Artificial Intelligence. Cham: Springer, 2020. p. 313-324.

• NASCIMENTO, N. ; SANTOS, A. R. ; SALES, AFONSO ; CHANIN, RAFAEL . Behavior-Driven Development: An Expert Panel to evaluate benefits and challenges. In: Simpósio Brasileiro de Engenharia de Software (SBES), 2020, Natal, RN. Proceedings of XXXIV Simpósio Brasileiro de Engenharia de Software, 2020. p. 1-6.

• NUNES, F. ; CORREA, C. M. ; JANDREY, A. ; BARCELOS, A. ; REYES, D. ; BERNARDES, M. ; SALES, AFONSO ; SILVEIRA, M. S. . Data visualization on focus: exploring communicability of dashboards generated from BI tools. In: Simpósio Brasileiro sobre Fatores Humanos em Sistemas Computacionais (IHC), 2020, Diamantina, MG. Proceedings of XIX Simpósio Brasileiro sobre Fatores Humanos em Sistemas Computacionais (IHC), 2020. p. 1-6.

• Telcio Cardoso ; CHANIN, RAFAEL ; SANTOS, A. R. ; SALES, AFONSO . Communication Practices in Continuous Software Development. In: International Conference on Software Business (ICSOB), 2020, Karlskrona, Sweden. Proceedings of the 11th International Conference on Software Business (ICSOB), 2020. p. 86-101.

• Melegati, Jorge ; CHANIN, RAFAEL ; SALES, AFONSO ; PRIKLADNICKI, RAFAEL ; Wang, Xiaofeng . MVP and experimentation in software startups: a qualitative survey. In: 2020 46th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), 2020, Portoroz. 2020 46th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), 2020. p. 322-325.

• KEMELL, KAI-KRISTIAN ; ELONEN, ATTE ; SUORANTA, MARI ; NGUYEN-DUC, ANH ; GARBAJOSA, JUAN ; CHANIN, RAFAEL ; Melegati, Jorge ; RAFIQ, USMAN ; ALDAEEJ, ABDULLAH ; ASSYNE, NANA ; SALES, AFONSO ; HYRYNSALMI, SAMI ; RISKU, JUHANI ; EDISON, HENRY ; ABRAHAMSSON, PEKKA . Business Model Canvas Should Pay More Attention to the Software Startup Team. In: 2020 46th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), 2020, Portoroz. 2020 46th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), 2020. p. 342-345.

• MELEGATI, JORGE ; CHANIN, RAFAEL ; WANG, XIAOFENG ; SALES, AFONSO ; PRIKLADNICKI, RAFAEL . Perceived Benefits and Challenges of Learning Startup Methodologies for Software Engineering Students. In: the 50th ACM Technical Symposium, 2019, Minneapolis. Proceedings of the 50th ACM Technical Symposium on Computer Science Education - SIGCSE '19, 2019. p. 204-210.

• Detoni, Mariana ; SALES, AFONSO ; CHANIN, RAFAEL ; VILLWOCK, LUIS HUMBERTO ; SANTOS, ALAN R. . Using Challenge Based Learning to Create an Engaging Classroom Environment to Teach Software Startups. In: the XXXIII Brazilian Symposium, 2019, Salvador. Proceedings of the XXXIII Brazilian Symposium on Software Engineering - SBES 2019, 2019. p. 547-552.

• NASCIMENTO, NICOLAS ; SANTOS, ALAN R. ; SALES, AFONSO ; CHANIN, RAFAEL . An Investigation of Influencing Factors when Teaching on Active Learning Environments. In: the XXXIII Brazilian Symposium, 2019, Salvador. Proceedings of the XXXIII Brazilian Symposium on Software Engineering - SBES 2019, 2019. p. 517-522.

• Melegati, Jorge ; CHANIN, R. ; Wang, Xiaofeng ; SALES, AFONSO ; PRIKLADNICKI, R. . Enablers and inhibitors of experiment-driven software development in early-stage startups. In: International Conference on Product-Focused Software Process Improvement (PROFES), 2019, Barcelona, Espanha. Proceedings of 20th International Conference on Product-Focused Software Process Improvement, 2019. v. 11915. p. 554-569.

• CHANIN, RAFAEL ; SALES, AFONSO ; POMPERMAIER, LEANDRO ; PRIKLADNICKI, RAFAEL . Improving a Startup Learning Framework Through an Expert Panel. In: International Conference on Software Business, 2019, Jyväskylä, Finland. Proceedings of International Conference on Software Business (ICSOB), 2019. v. 370. p. 306-320.

• Telcio Cardoso ; SANTOS, A. R. ; CHANIN, R. ; SALES, AFONSO . Change Management Practices for Continuous Delivery - A Systematic Literature Mapping. In: International Conference on Software Business, 2019, Jyväskylä, Finland. Proceedings of International Conference on Software Business (ICSOB), 2019. v. 370. p. 175-182.

• CHANIN, RAFAEL ; SALES, AFONSO ; POMPERMAIER, LEANDRO ; PRIKLADNICKI, RAFAEL . A Systematic Mapping Study On Software Startups Education. In: the 22nd International Conference, 2018, Christchurch. Proceedings of the 22nd International Conference on Evaluation and Assessment in Software Engineering 2018 - EASE'18, 2018. p. 163-168.

• CHANIN, RAFAEL ; SALES, AFONSO ; POMPERMAIER, LEANDRO ; PRIKLADNICKI, RAFAEL . Challenge based startup learning: a framework to teach software startup. In: the 23rd Annual ACM Conference, 2018, Larnaca. Proceedings of the 23rd Annual ACM Conference on Innovation and Technology in Computer Science Education - ITiCSE 2018, 2018. p. 266-271.

• POMPERMAIER, LEANDRO ; CHANIN, RAFAEL ; SALES, AFONSO ; FRAGA, KELLEN ; PRIKLADNICKI, RAFAEL . An empirical study on software engineering and software startups: Findings from cases in an innovation ecosystem. In: The 29th International Conference on Software Engineering and Knowledge Engineering, 2017, Pittsburgh, PA, USA. org.crossref.xschema._1.Title@1ff57c40, 2017. p. 48-51.

• CHANIN, RAFAEL ; POMPERMAIER, LEANDRO ; FRAGA, KELLEN ; SALES, AFONSO ; PRIKLADNICKI, RAFAEL . Applying Customer Development for Software Requirements in a Startup Development Program. In: 2017 IEEE/ACM 1st International Workshop on Software Engineeting for Startups (SoftStart), 2017, Buenos Aires. 2017 IEEE/ACM 1st International Workshop on Software Engineeting for Startups (SoftStart). Piscataway, NJ, USA: IEEE Press, 2017. p. 2-5.

• SANTOS, ALAN ; KROLL, JOSIANE ; SALES, AFONSO ; FERNANDES, PAULO ; WILDT, DANIEL . Investigating the Adoption of Agile Practices in Mobile Application Development. In: 18th International Conference on Enterprise Information Systems, 2016, Rome. Proceedings of the 18th International Conference on Enterprise Information Systems. v. 1. p. 490-497.

• SANTOS, ALAN R. ; SALES, AFONSO ; FERNANDES, PAULO ; NICHOLS, MARK . Combining Challenge-Based Learning and Scrum Framework for Mobile Application Development. In: the 2015 ACM Conference, 2015, Vilnius. Proceedings of the 2015 ACM Conference on Innovation and Technology in Computer Science Education - ITiCSE '15, 2015. p. 189-194.

• FERNANDES, P. ; SALES, A. ; ZANI, L. . PEPS2015 - Stochastic Automata Networks Software Tool. In: UK Performance Engineering Workshop (UKPEW'15), 2015, Leeds, UK. UK Performance Engineering Workshop (UKPEW'15), 2015. p. 1-16.

• ASSUNCAO, J. ; FERNANDES, P. ; FISCHER, T. V. ; SALES, A. . Unsupervised Model Generation for Geological Events. In: Spring Simulation Multiconference (SpringSim), 2014, Tampa, FL. 47th Annual Simulation Symposium 2014 (ANSS 2014), 2014. v. 46. p. 117-120.

• FERNANDES, P. ; O'KELLY, M. E. J. ; PAPADOPOULOS, C. T. ; SALES, A. . Analysis of exponential unreliable production lines using Kronecker descriptors. In: IX Conference on Stochastic Models of Manufacturing and Service Operations, 2013, Seeon, Germany. Stochastic Models of Manufacturing and Service Operations (SMMSO 2013), 2013. p. 1-9.

• OLEKSINSKI, L. G. ; CORREA, C. M. ; DOTTI, F. L. ; SALES, A. . A CTL Model Checker for Stochastic Automata Networks. In: Quantitative Evaluation of Systems, 2013, Buenos Aires, Argentina. 10th International Conference on the Quantitative Evaluation of Systems (QEST 2013), 2013. v. 8054. p. 286-289.

• FERNANDES, P. ; LOPES, L. ; PROLO, C. A. ; SALES, A. ; VIEIRA, R. . A Fast, Memory Efficient, Scalable and Multilingual Dictionary Retriever. In: Conference on Language Resources and Evaluation (LREC), 2012, Istanbul, Turquia. 8th Conference on Language Resources and Evaluation (LREC), 2012. p. 2520-2524.

• SALES, A. . SAN Lite-Solver: a user-friendly software tool to solve SAN models. In: 2012 Spring Simulation Multiconference, 2012, Orlando, FL, USA. Theory of Modeling and Simulation: DEVS Integrative M&S Symposium (DEVS 2012), 2012. v. 44. p. 9-16.

• CORREA, C. M. ; DOTTI, F. L. ; FERNANDES, P. ; MARUANI, E. ; OLEKSINSKI, L. G. ; SALES, A. . Um Verificador de Modelos Descritos em Redes de Autômatos Estocásticos. In: XXX Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC), 2012, Ouro Preto, MG. XIII Workshop de Testes e Tolerância a Falhas (WTF), 2012. p. 115-128.

• KROLL, J. ; SANTOS, A. R. ; PRIKLADNICKI, R. ; HESS, E. R. ; GLANZNER, R. A. ; SALES, A. ; AUDY, J. L. N. ; FERNANDES, P. . Follow-the-Sun Software Development: A Controlled Experiment to Evaluate the Benefits of Adaptive and Prescriptive Approaches. In: International Conference on Software Engineering and Knowledge Engineering (SEKE), 2012, San Francisco Bay, FL. 24th International Conference on Software Engineering and Knowledge Engineering (SEKE), 2012. p. 551-556.

• ASSUNCAO, J. ; ESPINDOLA, L. ; FERNANDES, P. ; PIVEL, M. ; SALES, A. . A structured stochastic model for prediction of geological stratal stacking patterns. In: Sixth International Workshop on Practical Applications of Stochastic Modelling (PASM), 2012, London, UK. Practical Applications of Stochastic Modelling (PASM), 2012. p. 1-15.

• DE ROSE, C. A. F. ; FERNANDES, P. ; LIMA, A. M. ; SALES, A. ; WEBBER, T. . Exploiting multi-core architectures in clusters for enhancing the performance of the parallel Bootstrap simulation algorithm. In: 25th IEEE International Parallel & Distributed Processing Symposium (IPDPS), 2011, Anchorage, Alaska, USA. 2011 IEEE International Parallel & Distributed Processing Symposium. Washington, DC: IEEE Computer Society, 2011. p. 1442-1451.

• FERNANDES, P. ; SALES, A. ; SANTOS, A. R. ; WEBBER, T. . Performance Evaluation of Software Development Teams: a Practical Case Study. In: Fifth International Workshop on Practical Applications of Stochastic Modelling (PASM), 2011, Karlsruhe, Germany. Practical Applications of Stochastic Modelling (PASM), 2011. p. 5-21.

• CZEKSTER, R. M. ; FERNANDES, P. ; SALES, A. ; WEBBER, T. ; ZORZO, A. F. . Stochastic model for QoS assessment in multi-tier web services. In: Fifth International Workshop on Practical Applications of Stochastic Modelling (PASM), 2011, Karlsruhe, Germany. Practical Applications of Stochastic Modelling (PASM), 2011. p. 93-109.

• CZEKSTER, R. M. ; FERNANDES, P. ; SALES, A. ; WEBBER, T. . Stationary Solution Approximation using a Memory-Efficient Perfect Sampling Technique. In: Spring Simulation Multiconference (SpringSim), 2011, Boston, MA, USA. 44th Annual Simulation Symposium 2011 (ANSS 2011), 2011. p. 119-126.

• PAPADOPOULOS, C. T. ; FERNANDES, P. ; SALES, A. ; O'KELLY, M. E. J. . Modeling Exponential Reliable Production Lines using Kronecker Descriptors. In: VIII Conference on Stochastic Models of Manufacturing and Service Operations, 2011, Kusadasi, Izmir, Turkey. Stochastic Models of Manufacturing and Service Operations (SMMSO 2011). Istanbul: Koç University, 2011. p. 253-260.

• FERNANDES, P. ; O'KELLY, M. E. J. ; PAPADOPOULOS, C. T. ; SALES, A. . Production Line Analysis Tool (PLAT). In: International Conference on Computers and Industrial Engineering (CIE), 2011, Los Angeles, LA. 41st International Conference on Computers and Industrial Engineering (CIE41), 2011. p. 248-253.

• CZEKSTER, R. M. ; FERNANDES, P. ; PRIKLADNICKI, R. ; SALES, A. ; SANTOS, A. R. ; WEBBER, T. . Follow-The-Sun Methodology in a Stochastic Modeling Perspective. In: IEEE International Conference on Global Software Engineering (ICGSE), 2011, Helsinki, Finland. Methods and Tools for Project/Architecture/Risk Management in Globally Distributed Software Development Projects. Washington, DC: IEEE Computer Society, 2011. p. 54-59.

• CZEKSTER, R. M. ; FERNANDES, P. ; SALES, A. ; WEBBER, T. . Solução eficiente de modelos estruturados a partir de descritores tensoriaiscombinados a estruturas arborescentes. In: XXXI Congresso da Sociedade Brasileira de Computação (CSBC 2011), 2011, Natal, RN. X Workshop em Desempenho de Sistemas Computacionais e de Comunicação (WPerformance 2011), 2011. p. 2100-2113.

• CZEKSTER, R. M. ; FERNANDES, P. ; SALES, A. ; WEBBER, T. . Analytical Modeling of Software Development Teams in Globally Distributed Projects. In: International Conference on Global Software Engineering (ICGSE'10), 2010, Princeton, NJ, USA. International Conference on Global Software Engineering (ICGSE'10), 2010. p. 287-296.

• TASCHETTO, D. ; FERNANDES, P. ; WEBBER, T. ; SALES, A. . Simulação de modelos Markovianos utilizando a técnica Bootstrap. In: XXX Congresso da Sociedade Brasileira de Computação (CSBC 2010), 2010, Belo Horizonte, MG. IX Workshop on Performance of Computer and Communication (WPerformance 2010), 2010. p. 1915-1928.

• CZEKSTER, R. M. ; FERNANDES, P. ; SALES, A. ; TASCHETTO, D. ; WEBBER, T. . Simulation of Markovian models using Bootstrap method. In: International Simulation Multi-conference (ISMc), 2010, Ottawa, Canada. Summer Computer Simulation Conference (SCSC), 2010. p. 564-569.

• CZEKSTER, R. M. ; FERNANDES, P. ; SALES, A. ; TASCHETTO, D. ; WEBBER, T. . Parallel generation of samples for simulation techniques applied to Stochastic Automata Networks. In: 3rd Latin American Conference on High Performance Computing (CLCAR), 2010, Gramado, RS, Brazil. Latin American Conference on High Performance Computing (CLCAR). Porto Alegre, RS, Brazil: Evangraf, 2010. p. 280-287.

• CZEKSTER, R. M. ; FERNANDES, P. ; SALES, A. ; WEBBER, T. . Performance Issues for Parallel Implementations of Bootstrap Simulation Algorithm. In: 22nd International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD), 2010, Petropolis, Brazil. International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD), 2010. p. 167-174.

• SALES, A. ; PLATEAU, B. . Reachable state space generation for structured models which use functional transitions. In: Sixth International Conference on the Quantitative Evaluation of Systems (QEST'09), 2009, Budapest, Hungary. International Conference on the Quantitative Evaluation of Systems (QEST'09). New York: IEEE Computer Society, 2009. p. 269-278.

• DOTTI, F. L. ; FERNANDES, P. ; SALES, A. ; SANTOS, O. M. . Modular Analytical Performance Models for Ad Hoc Wireless Networks. In: 3rd International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks (WiOpt'05), 2005, Trentino, Italy. International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks (WiOpt'05). New York: IEEE Computer Society, 2005. p. 164-173.

• BRENNER, L. ; FERNANDES, P. ; SALES, A. ; WEBBER, T. . A Framework to Decompose GSPN Models. In: 26th International Conference On Application and Theory of Petri Nets and Other Models of Concurrency (ICATPN'05), 2005, Miami, USA. International Conference On Application and Theory of Petri Nets and Other Models of Concurrency (ICATPN'05), 2005. v. 3536. p. 128-147.

• FERNANDES, P. ; PRESOTTO, R. ; SALES, A. ; WEBBER, T. . An Alternative Algorithm to Multiply a Vector by a Kronecker Represented Descriptor. In: 21st UK Performance Engineering Workshop (UKPEW'05), 2005, Newcastle. UK Performance Engineering Workshop (UKPEW'05), 2005. p. 57-67.

• CHANIN, R. ; CORRÊA, M.L.M. ; FERNANDES, P. ; SALES, A. ; SCHEER, R. ; ZORZO, A. F. . Analytical Modeling for Operating System Schedulers on NUMA Systems. In: 2nd Practical Applications of Stochastic Modelling (PASM'05), 2005, Newcastle. Practical Applications of Stochastic Modelling (PASM'05), 2005. p. 21-40.

• BRENNER, L. ; FERNANDES, P. ; SALES, A. . The Need for and the Advantages of Generalized Tensor Algebra for Kronecker Structured Representations. In: UK Performance Engineering Workshop (UKPEW'04), 2004, Bradford. UK Performance Engineering Workshop (UKPEW'04). Bradford: University of Bradford, 2004. p. 48-60.

• BALDO, L. ; BRENNER, L. ; FERNANDES, L. G. ; FERNANDES, P. ; SALES, A. . Performance Models for Master/Slave Parallel Programs. In: Practical Applications of Stochastic Modelling (PASM'04), 2004, Londres. Practical Applications of Stochastic Modelling (PASM'04), 2004. p. 41-60.

• BERTOLINI, C. ; BRENNER, L. ; FERNANDES, P. ; SALES, A. ; ZORZO, A. F. . Structured Stochastic Modeling of Fault-Tolerant Systems. In: 12th IEEE/ACM International Symposium on Modelling, Analysis and Simulation on Computer and Telecommunication Systems (MASCOTS'04), 2004, Volendam, The Netherlands. International Symposium on Modelling, Analysis and Simulation on Computer and Telecommunication Systems (MASCOTS'04). New York: IEEE Computer Society, 2004. p. 139-146.

• BRENNER, L. ; FERNANDES, P. ; SALES, A. . MQNA - Markovian Queueing Networks Analyser. In: 11th IEEE/ACM International Symposium on Modelling, Analysis and Simulation on Computer and Telecommunication Systems (MASCOTS'03), 2003, Orlando, Florida. International Symposium on Modelling, Analysis and Simulation on Computer and Telecommunication Systems (MASCOTS'03). New York: IEEE Computer Society, 2003. p. 194-199.

• BRENNER, L. ; FERNANDES, L. G. ; FERNANDES, P. ; SALES, A. . Performance Analysis Issues for Parallel Implementations of Propagation Algorithm. In: 15th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD'03), 2003, São Paulo. Symposium on Computer Architecture and High Performance Computing (SBAC-PAD'03). New York: IEEE Computer Society, 2003. p. 183-190.

• GNECCO, ANDREA ; KRUG, DANIEL DOS SANTOS ; DA SILVA, ANA CARLA GOMES ; DAS NEVES, NAYARA SILVA ; SALES, AFONSO ; SILVEIRA, MILENE SELBACH . Internet Banking e Políticas de Privacidade de Dados. In: Simpósio Brasileiro de Fatores Humanos em Sistemas Computacionais, 2022, Brasil. Anais Estendidos do XXI Simpósio Brasileiro de Fatores Humanos em Sistemas Computacionais (IHC 2022). Porto Alegre: Sociedade Brasileira de Computação, 2022. p. 104-107.

• POMPERMAIER, L. ; CHANIN, R. ; SALES, AFONSO ; PRIKLADNICKI, R. . MVP Development Process for Software Startups. In: International Conference on Software Business, 2019, Jyväskylä, Finland. Proceedings of International Conference on Software Business (ICSOB), 2019. v. 370. p. 409-412.

• CHANIN, RAFAEL ; SANTOS, ALAN ; NASCIMENTO, NICOLAS ; SALES, AFONSO ; POMPERMAIER, LEANDRO ; PRIKLADNICKI, RAFAEL . Integrating Challenge Based Learning Into a Smart Learning Environment: Findings From a Mobile Application Development Course (P). In: The 30th International Conference on Software Engineering and Knowledge Engineering, 2018, Redwood City, 2018. p. 704-706.

• CHANIN, RAFAEL ; SALES, AFONSO ; SANTOS, ALAN ; POMPERMAIER, LEANDRO ; PRIKLADNICKI, RAFAEL . A collaborative approach to teaching software startups. In: the 11th International Workshop, 2018, Gothenburg. Proceedings of the 11th International Workshop on Cooperative and Human Aspects of Software Engineering - CHASE '18, 2018. p. 9-12.

• CORREA, C. M. ; MARUANI, E. ; OLEKSINSKI, L. G. ; DOTTI, F. L. ; FERNANDES, P. ; SALES, A. . Um verificador de modelos descritos em Redes de Autômatos Estocásticos. In: Escola Regional de Alto Desempenho (ERAD), 2012, Erechim, RS. 12a Escola Regional de Alto Desempenho (ERAD), 2012. p. 113-114.

• CZEKSTER, R. M. ; FERNANDES, P. ; SALES, A. ; WEBBER, T. . Restructuring tensor products to enhance the numerical solution of structured Markov chains. In: Sixth International Workshop on the Numerical Solution of Markov Chains (NSMC), 2010, Williamsburg, Virginia, USA. International Workshop on the Numerical Solution of Markov Chains (NSMC), 2010. p. 36-39.

• CHANIN, RAFAEL ; Melegati, Jorge ; SALES, AFONSO ; Detoni, Mariana ; Wang, Xiaofeng ; PRIKLADNICKI, RAFAEL . Incorporating Real Projects Into a Software Engineering Undergraduate Curriculum. In: 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSECompanion), 2019, Montreal. 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), 2019. p. 250-251.

• CHANIN, RAFAEL ; POMPERMAIER, LEANDRO ; SALES, AFONSO ; PRIKLADNICKI, RAFAEL . Collaborative Practices for Software Requirements Gathering in Software Startups. In: 2019 IEEE/ACM 12th International Workshop on Cooperative and Human Aspects of Software Engineering (CHASE), 2019, Montreal. 2019 IEEE/ACM 12th International Workshop on Cooperative and Human Aspects of Software Engineering (CHASE), 2019. p. 31-32.

• SANTOS, ALAN ; SALES, AFONSO ; FERNANDES, PAULO ; KROLL, JOSIANE . Challenge-based learning. In: the 40th International Conference, 2018, Gothenburg. Proceedings of the 40th International Conference on Software Engineering Companion Proceeedings - ICSE '18, 2018. p. 155-156.

• CHANIN, RAFAEL ; SALES, AFONSO ; POMPERMAIER, LEANDRO ; PRIKLADNICKI, RAFAEL . Startup software development education. In: the 40th International Conference, 2018, Gothenburg. Proceedings of the 40th International Conference on Software Engineering Companion Proceeedings - ICSE '18, 2018. p. 143-144.

• SANTOS, A. R. ; SALES, A. ; FERNANDES, P. . Setting up a stochastic model for teams working in a follow-the-sun environment. In: IEEE International Conference on Global Software Engineering (ICGSE), 2012, Porto Alegre, RS. International Conference on Global Software Engineering (ICGSE), 2012. p. 179-179.

• SALES, A. ; BEZERRA, E. ; VARGAS, F. . Automação do Interfaceamento entre Software e Hardware para Arquiteturas Heterogêneas compostas por Processador e FPGA. In: XIII Congresso Regional de Iniciação Científica e Tecnológica em Engenharia (CRICTE), 1997, Porto Alegre. XIII Congresso Regional de Iniciação Científica e Tecnológica em Engenharia (CRICTE), 1997. p. 274-274.

• SALES, A. ; VARGAS, F. . Automação do Interfaceamento entre Software e Hardware para Arquiteturas Heterogêneas compostas por Processador e FPGA. In: I Jornada de Iniciação Científica, 1997, Porto Alegre, 1997.

• SALES, A. . Gamificação e engajamento em sala de aula. 2019. (Apresentação de Trabalho/Seminário).

• SALES, A. ; CHANIN, RAFAEL . Errar e Aprender: Isso é Empreender! Os bastidores do empreendedorismo, contando por gente que foi lá e fez. 2017. (Apresentação de Trabalho/Conferência ou palestra).

• SALES, AFONSO . Redes de Autômatos Estocásticos para Avaliação de Desempenho de Sistemas: Teoria e Prática. 2015. (Apresentação de Trabalho/Conferência ou palestra).

Outras produções

Projetos de pesquisa

• 2023 - Atual

  TIC em Trilhas: Dos Fundamentos Teóricos à Prática da Indústria, Descrição: A forma como adquirimos e aplicamos o conhecimento vem sofrendo uma evolução sem precedentes nos últimos anos. Além da evolução tecnológica e das constantes mudanças e aperfeiçoamento das demandas dos mercados mais relevantes, o surgimento repentino da pandemia de Covid-19 nesta década causou impactos em escala global e assolou milhões de pessoas ao redor do mundo, alcançando não apenas em questões sanitárias ou econômicas, mas mudanças profundas no comportamento da sociedade como um todo. Desde o início das medidas de distanciamento social até a fase de retomada das operações a transformação digital, já em curso, foi acelerada e a tecnologia se tornou uma ferramenta indispensável. Grande parte das pessoas imergiu em aplicativos e plataformas eletrônicas - da educação ao home office, da alimentação ao entretenimento, do comércio à medicina, do esporte aos videogames, das compras rotineiras aos demais processos de consumo. Estudo realizado pela consultoria de recursos humanos Robert Half e divulgado pela Forbes (2021) reforça que o reaquecimento da economia no pós-COVID-19, associado aos processos de transformação digital, beneficiará profissões ligadas à tecnologia (leia-se aumento ainda maior da demanda por profissionais de TIC - Tecnologia da Informação e Comunicação). A pesquisa ressalta ainda que o trabalho remoto e a necessidade urgente das empresas em se transformarem digitalmente veem alavancando a demanda por profissionais de tecnologia, o que impactou diretamente na remuneração da área. Neste estudo, as profissões citadas como as mais valorizadas e de maior demanda no Brasil para 2022, são as seguintes: ?Desenvolvedor Front-End (sênior); ?Desenvolvedor Full Stack (pleno e sênior); ?Arquiteto de soluções; ?Tech Lead; ?Profissional de infraestrutura (analistas e coordenadores); ?Profissional de segurança da informação (especialistas a gerentes); ?Desenvolvedor Back-End (pleno e sênior); ?DevOps; ?Product Owner; ?Profissional de dados. Portanto, de forma sintética, este projeto contempla um amplo programa de capacitação organizado por trilhas, com unidades modulares, certificações no formato de microcredenciais, baseada em um modelo de competências que promove a aprendizagem contínua e a aquisição de novas habilidades integradas às demandas da área, utilizando projetos reais para conexão com o mercado.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (50) / Mestrado acadêmico: (13) / Doutorado: (6) . , Integrantes: Afonso Henrique Corrêa de Sales - Coordenador / Rafael Chanin - Integrante / Franz Josef Figueroa Ferreira da Silva - Integrante / Nicolas Nascimento - Integrante / Annderson Packeiser Oreto - Integrante.

• 2017 - Atual

  Apple Developer Academy, Descrição: O objetivo geral deste projeto é capacitar alunos de graduação, em especial, de cursos na Área de Tecnologia da Informação para que se tornem desenvolvedores qualificados de aplicativos para a plataforma iOS. Uma das metas do projeto é fornecer aos estudantes um treinamento especializado de desenvolvimento sobre a plataforma iOS como complemento ao currículo padrão da universidade. As atividades do curso são executadas em dois momentos. No primeiro momento são concentradas todas as aulas teóricas, práticas e atividades complementares e em um segundo momento as atividades dos alunos serão direcionadas para o desenvolvimento de um projeto de conclusão do curso. De uma maneira geral, este primeiro momento visa abranger a programação acadêmica do curso, com foco em alavancar e nivelar as habilidades de programação dos alunos e, na etapa seguinte, os alunos terão aulas de design gráfico e de interface com usuário a fim de montar equipes para criar aplicativos que serão publicados na AppStore da Apple no final do curso. Além disso, conteúdos adicionais em áreas como empreendedorismo, relações humanas, entre outras, também podem ser oferecidos para satisfazer as demandas dos projetos dos alunos. O curso proporcionará a formação de desenvolvedores para plataforma iOS dotados: 1. de visão criativa e crítica na identificação e proposta de aplicações; 2. da capacidade de atuar de maneira empreendedora, cooperativa e abrangente no atendimento às demandas socio-economica-culturais regionais, nacionais e globais; 3. do entendimento das necessidades da contínua atualização e aprimoramento de suas competências e habilidades; 4. da capacidade de reconhecer a importância do pensamento computacional na vida cotidiana, bem como sua aplicação em outros meios, além de ser capaz de aplicá-lo em circunstâncias apropriadas; e 5. da capacidade de atuar em um mundo globalizado de trabalho.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (50) / Mestrado acadêmico: (9) / Doutorado: (3) . , Integrantes: Afonso Henrique Corrêa de Sales - Coordenador / Alan R. Santos - Integrante / Franz Josef Figueroa Ferreira da Silva - Integrante / CHANIN, RAFAEL - Integrante / Nicolas Nascimento - Integrante.

• 2013 - 2017

  BEPiD - Brazilian Education Program for iOS Development, Descrição: Este projeto visa fornecer aos alunos universitários de graduação um currículo abrangente que permita o aprendizado de desenvolvimento de aplicações para a plataforma iOS, de forma que os desenvolvedores brasileiros estejam preparados qualificadamente para suprir uma alta demanda de aplicações (das mais variadas necessidades) que virá em um curto espaço de tempo. O objetivo geral do curso oferecido neste projeto é capacitar alunos de graduação, em especial, de cursos na Área de Tecnologia da Informação para que se tornem desenvolvedores qualificados de aplicativos para a plataforma iOS. Uma das metas do projeto é fornecer aos estudantes um treinamento especializado de desenvolvimento sobre a plataforma iOS como complemento ao currículo padrão da universidade. As atividades do curso são executadas em dois momentos. No primeiro momento são concentradas todas as aulas teóricas, práticas e atividades complementares e em um segundo momento as atividades dos alunos serão direcionadas para o desenvolvimento de um projeto de conclusão do curso. De uma maneira geral, este primeiro momento visa abranger a programação acadêmica do curso, com foco em alavancar e nivelar as habilidades de programação dos alunos e, na etapa seguinte, os alunos terão aulas de design gráfico e de interface com usuário a fim de montar equipes para criar aplicativos que serão publicados na AppStore da Apple no final do curso. Além disso, conteúdos adicionais em áreas como empreendedorismo, relações humanas, entre outras, também podem ser oferecidos para satisfazer as demandas dos projetos dos alunos. O curso proporcionará a formação de desenvolvedores para plataforma iOS dotados: 1. de visão criativa e crítica na identificação e proposta de aplicações; 2. da capacidade de atuar de maneira empreendedora, cooperativa e abrangente no atendimento às demandas socio-economica-culturais regionais, nacionais e globais; 3. do entendimento das necessidades da contínua atualização e aprimoramento de suas competências e habilidades; 4. da capacidade de reconhecer a importância do pensamento computacional na vida cotidiana, bem como sua aplicação em outros meios, além de ser capaz de aplicá-lo em circunstâncias apropriadas; e 5. da capacidade de atuar em um mundo globalizado de trabalho.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (99) . , Integrantes: Afonso Henrique Corrêa de Sales - Coordenador / Rafael Chanin - Integrante / Alan R. Santos - Integrante / Franz Josef Figueroa Ferreira da Silva - Integrante / Nicolas Nascimento - Integrante.

• 2013 - 2016

  Solução otimizada de modelos Markovianos utilizando técnica de amostragem perfeita, Descrição: Este projeto tem como objetivo geral desenvolver novos algoritmos e técnicas de modelagem aplicadas ao formalismo de Redes de Autômatos Estocásticos a fim de aprimorar a solução numérica de modelos com grande espaço de estados. Estes novos algoritmos estão diretamente relacionados com a utilização de técnicas de simulação de modelos Markovianos. Com isso, busca-se a implementação de um método de simulação de modelos estocásticos estruturados que tire proveito do formato estruturado (i.e., do formato tensorial do modelo). Além disso, busca-se também a integração da técnica de simulação conhecida como amostragem perfeita com o método de simulação proposto. (Projeto aprovado no Edital Universal CNPQ 14/2013 ? Faixa A). , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Afonso Henrique Corrêa de Sales - Coordenador / Paulo Henrique Lemelle Fernandes - Integrante / Thais Webber - Integrante / Brigitte Plateau - Integrante / Ricardo M. Czekster - Integrante / Jean-Marc Vincent - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

• 2013 - 2015

  Técnicas para Modelagem e Solução de Alta-Performance para Redes de Autômatos Estocásticos, Projeto certificado pelo(a) coordenador(a) Paulo Henrique Lemelle Fernandes em 23/09/2015., Descrição: O projeto visa desenvolver um conjunto de técnicas e métodos para a solução eficiente de modelos em Redes de Autômatos Estocásticos (SAN). O formalismo SAN possui diversas aplicações que vão desde processamento de linhas de produção, passando por linguagem natural, redes de computadores, protocolos, máquinas paralelas, engenharia de software e até realidades relacionadas a ciências da terra, como geologia e meteorologia. Portanto, faz parte dos objetivos deste projeto prover formas de facilitar o desenvolvimento de modelos com vista a estas realidades, bem como a evolução dos algoritmos de solução voltados para o tipo de modelos que são desenvolvidos para estas realidades. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (4) / Mestrado profissional: (0) / Doutorado: (6) . , Integrantes: Afonso Henrique Corrêa de Sales - Integrante / Paulo Henrique Lemelle Fernandes - Coordenador / Thais Webber - Integrante / Fernando Luis Dotti - Integrante / Nicolas Maillard - Integrante / Ricardo M. Czekster - Integrante / Leila Ribeiro - Integrante / Joaquim Assunção - Integrante / Jean-Marc Vincent - Integrante / Philippe Olivier Alexandre Navaux - Integrante / Jean-Michel Fourneau - Integrante / Franck Quessette - Integrante / Thu Ha Dao Thi - Integrante.

• 2011 - 2012

  Desenvolvimento de Aplicação de Reconhecimento Automático de Placas de Veículos em um Sistema Embarcado com Múltiplos Processadores, Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) . , Integrantes: Afonso Henrique Corrêa de Sales - Integrante / Ricardo M. Czekster - Integrante / Alexandre de Morais Amory - Integrante / Edson Moreno - Integrante / Fernando Gehm Moraes - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.

• 2010 - 2013

  Verificação de Modelos descritos em Redes de Autômatos Estocásticos, Descrição: Entre os 'Grandes Desafios da Computação no Brasil: 2006-2016' consta 'Desenvolvimento tecnológico de qualidade: sistemas disponíveis, corretos, seguros, escaláveis, persistentes e ubíquos', conforme documento da Sociedade Brasileira de Computação. A construção de sistemas com tais características requer suporte em diferentes fases do seu ciclo de vida. Nesta proposta damos ênfase à necessidade de linguagens, métodos e ferramentas que suportem modelagem e análise em fases iniciais do projeto do sistema. Análise, aqui, refere-se tanto à capacidade de avaliação de aspectos quantitativos do modelo, permitindo aferir níveis de disponibilidade e escalabilidade, como também avaliar se o modelo do sistema respeita especificações de comportamento, permitindo avaliar aspectos de corretude e segurança. Redes de Autômatos Estocásticos é um formalismo voltado à avaliação quantitativa de sistemas, sendo atrativo por permitir a construção de modelos markovianos estruturados e pela possibilidade de emprego de álgebra tensorial para sua solução, o que gera economia no tratamento de modelos a grande espaços de estados. Além da avaliação quantitativa, deseja-se, a partir de um modelo, realizar também análise de propriedades funcionais. Isto é possível para alguns formalismos de avaliação quantitativa como Cadeias de Markov, Redes de Petri Estocásticas e Álgebra de Processos Estocásticas. Devido aos importantes conceitos do formalismo e ao envolvimento do grupo de pesquisa com o mesmo (vide projeto), este projeto propõe o desenvolvimento de técnicas de verificação de modelos (model checking) para análise de modelos descritos em Redes de Autômatos Estocásticos. São propostas duas abordagens para atingir este objetivo. Ao final do projeto a verificação de modelos deverá estar disponível em uma ferramenta integrada à já existente capacidade de avaliação quantitativa. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (3) . , Integrantes: Afonso Henrique Corrêa de Sales - Integrante / Paulo Henrique Lemelle Fernandes - Integrante / Thais Webber - Integrante / Fernando Luis Dotti - Coordenador / Leila Ribeiro - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.

• 2009 - 2015

  Modelagem Paleogeográfica e Paleoclimática de Regiões Oceânicas (PALEOPROSPEC), Descrição: Desenvolvimento de modelos numéricos que simulem a evolução paleogeográfica e paleoclimática do Atlântico Sul, com ênfase na probabilidade de estabelecimento de condições favoráveis para a deposição e preservação de sedimentos ricos em matéria orgânica no espaço e no tempo, e conseqüentemente predição de ocorrência de potenciais rochas geradoras de petróleo. A metodologia para o desenvolvimento deste projeto consiste em completar dados disponíveis na comunidade científica com novas estimativas baseadas em modelos estocásticos que permitirão a montagem de uma base de dados com relações probabilísticas sobre a composição das atuais bacias sedimentares marinhas nos últimos 140 milhões de anos. São esperados como produtos deste projeto modelos que poderão ser utilizados como ferramenta auxiliar exploratória para determinação de plays exploratórios e ocorrência de hidrocarbonetos em bacia sedimentares marinhas do Atlântico Sul, como por exemplo, da margem atlântica brasileira. Os resultados dos modelos numéricos utilizados serão comparados com regiões onde a deposição de rocha geradora de petróleo ocorre e onde estão bem estabelecidos plays exploratórios.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (2) / Doutorado: (2) . , Integrantes: Afonso Henrique Corrêa de Sales - Integrante / Paulo Henrique Lemelle Fernandes - Coordenador / Thais Webber - Integrante / Fernando Luis Dotti - Integrante / Duncan Dubugras Alcoba Ruiz - Integrante / Ricardo M. Czekster - Integrante / Cesar A. F. De Rose - Integrante., Financiador(es): Petróleo Brasileiro - Rio de Janeiro - Matriz - Cooperação.

• 2005 - 2005

  Grupo de Pesquisa em Sistemas Operacionais Escaláveis (PeSO), Descrição: O grupo de Pesquisa em Sistemas Operacionais Escaláveis (PeSO) é uma parceria entre a HP Brasil e a PUCRS, mantendo um Centro de Pesquisa na Faculdade de Informática (FACIN) da PUCRS. O PeSO está focado no estudo de sistemas operacionais, mais especificamente no sistema operacional Linux, de forma a melhorar a qualidade de sistemas operacionais que serão disponibilizados em equipamentos da HP Computadores. Os principais objetivos do Projeto PeSO são: a) estimular a pesquisa e capacitar pessoas nas tecnologias aplicáveis à área de Sistemas Operacionais; b) identificar gargalos em sistemas operacionais para máquinas com mais de um processador; c) estabelecer um Centro de Pesquisa em escalabilidade capacitado a avaliar sistemas operacionais em máquinas da HP, de forma a identificar eventuais gargalos e possíveis soluções para os mesmos, agregando assim valor a qualidade dos produtos HP a serem disponibilizados no mercado.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (3) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Afonso Henrique Corrêa de Sales - Integrante / Avelino Francisco Zorzo - Coordenador / Rafael Chanin - Integrante / Mônica Lopes Muniz Corrêa - Integrante / Guilherme Tesser - Integrante / Cicero Faria - Integrante., Financiador(es): Hewlett Packard Brasil - Cooperação / Pontifícia Universidade Católica do Rio Grande do Sul - Cooperação.

• 2004 - 2004

  Centro de Análise em Sistemas Concorrentes (CASCO), Descrição: O Centro de Análise de Sistemas Concorrentes (CASCO) é uma parceria entre a HP Brasil e a PUCRS, com a proposta de desenvolver pesquisa na área de especificação formal e análise de sistemas concorrentes, mantendo um Centro de Pesquisa na Faculdade de Informática (FACIN) da PUCRS. Os principais objetivos do Projeto CASCO são: a) caracterizar um núcleo de excelência voltado à análise de sistemas concorrentes; b) reunir competências desde áreas mais fundamentais da computação (como por exemplo, métodos formais de especificação) até as mais aplicadas (como por exemplo, redes de computadores) para o tratamento de problemas relevantes; c) formar recursos humanos em área estratégica; d) estreitar o relacionamento entre o setor científico e o industrial.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (6) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Afonso Henrique Corrêa de Sales - Integrante / Paulo Henrique Lemelle Fernandes - Integrante / Leonardo Brenner - Integrante / Fernando Luis Dotti - Coordenador / Osmar Marchi dos Santos - Integrante / Cristiano Bertolini - Integrante / Ana Paula Scolari - Integrante / Fábio Pasini - Integrante / Odorico Machado Mendizabal - Integrante / Ricardo De Gaspari Presotto - Integrante / Rogério Timmers - Integrante / Vinícius Wobeto - Integrante., Financiador(es): Pontifícia Universidade Católica do Rio Grande do Sul - Cooperação / Hewlett Packard Brasil - Cooperação., Número de produções C, T & A: 4

• 2002 - Atual

  Performance Evaluation Group (PEG), Descrição: Modelagem estocástica e avaliação de desempenho de sistemas. Algoritmos para solução de modelos markovianos com grande espaço de estados, bem como otimização de métodos numéricos adaptados aos formalismos estruturados como redes de autômatos estocásticos. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (5) / Doutorado: (2) . , Integrantes: Afonso Henrique Corrêa de Sales - Integrante / Paulo Henrique Lemelle Fernandes - Coordenador / Thais Webber - Integrante / Fernando Luis Dotti - Integrante / Avelino Francisco Zorzo - Integrante / Ricardo M. Czekster - Integrante / Cesar A. F. De Rose - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro.

Prêmios