Paulo Henrique Lemelle Fernandes

Pós-doutorado

Idiomas

Áreas de atuação

Organização de eventos

Participação em bancas

Orientou

Produções bibliográficas

• ASSUNÇÃO, JOAQUIM ; FERNANDES, Paulo ; VINCENT, JEAN-MARC . Piecewise Aggregation for HMM Fitting: A Pre-Fitting Model for Seamless Integration with Time-Series Data. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING , v. 29, p. 1835-1850, 2019.

• LOPES, L. ; FERNANDES, P ; VIEIRA, R. . Estimating term domain relevance through term frequency, disjoint corpora frequency - tf-dcf. Knowledge-Based Systems , v. 98, p. 1-38, 2016.

• 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.

• ASSUNCAO, J. ; ESPINDOLA, L. ; FERNANDES, P. ; PIVEL, M. ; SALES, A. . 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. ; PAPADOPOULOS, C.T. ; SALES, A. . Analysis of exponential reliable production lines using Kronecker descriptors. International Journal of Production Research (Print) , v. 51, p. 1-18, 2013.

• Lima, Antonio M. ; Webber, Thais ; De Rose, Cesar A.F. ; Czekster, Ricardo M. ; FERNANDES, Paulo ; Netto, Marco A.S. . Performance evaluation of OpenMP-based algorithms for handling Kronecker descriptors. Journal of Parallel and Distributed Computing (Print) , v. 72, p. 678-692, 2012.

• Czekster, Ricardo M. ; FERNANDES, Paulo ; Webber, Thais . Efficient vector-descriptor product exploiting time-memory trade-offs!. Performance Evaluation Review , v. 39, p. 2-9, 2011.

• 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. 275C, p. 73-92, 2011.

• CZEKSTER, R. M. ; FERNANDES, P. ; SALES, A. ; WEBBER, T. ; ZORZO, A. . Stochastic Model for QoS Assessment in Multi-tier Web Services. Electronic Notes in Theoretical Computer Science , v. 275C, p. 53-72, 2011.

• LUÍSDOTTI, FERNANDO ; FERNANDES, Paulo ; Nunes, Cristina M. . Structured Markovian models for discrete spatial mobile node distribution. Journal of The Brazilian Computer Society (Online) , v. 17, p. 31-52, 2011.

• Brenner, Leonardo ; FERNANDES, Paulo ; Fourneau, Jean-Michel ; Plateau, Brigitte . Modelling Grid5000 point availability with SAN. Electronic Notes in Theoretical Computer Science , v. 232, p. 165-178, 2009.

• CHANIN, RAFAEL ; CORRÊA, MÔNICA ; FERNANDES, Paulo ; SALES, AFONSO ; SCHEER, ROQUE ; ZORZO, AVELINO F. . Analytical Modeling for Operating System Schedulers on NUMA Systems. Electronic Notes in Theoretical Computer Science , v. 151, p. 131-149, 2006.

• BRENNER, L. ; FERNANDES, P. ; SALES, A. . The Need for and the Advantages of Generalized Tensor Algebra for Structured Kronecker Representations. International Journal of Simulation: Systems, Science & Technology (Print) , Nottingham, UK, v. 6, n.3-4, p. 52-60, 2005.

• BALDO, LUCAS ; Brenner, Leonardo ; FERNANDES, LUIZ GUSTAVO ; FERNANDES, Paulo ; SALES, AFONSO . Performance Models For Master/Slave Parallel Programs. Electronic Notes in Theoretical Computer Science , v. 128, p. 101-121, 2005.

• BENOIT, ANNE ; BRENNER, L. ; Fernandes, P. ; PLATEAU, B. . Aggregation of stochastic automata networks with replicas. Linear Algebra and its Applications , v. 386, p. 111-136, 2004.

• BENOIT, ANNE ; FERNANDES, Paulo ; Plateau, Brigitte ; STEWART, WILLIAM J. . On the benefits of using functional transitions and Kronecker algebra. Performance Evaluation , v. 58, p. 367-390, 2004.

• FERNANDES, Paulo Henrique Lemelle ; Plateau, Brigitte . Triangular Solution of Linear Systems in Tensor Product Format. Performance Evaluation Review , v. 28, p. 30-32, 2001.

• FERNANDES, Paulo ; Plateau, Brigitte ; STEWART, WILLIAM J. . Efficient descriptor-vector multiplications in stochastic automata networks. Journal of the Association for Computing Machinery , v. 45, p. 381-414, 1998.

• FERNANDES, Paulo Henrique Lemelle ; Plateau, Brigitte ; STEWART, W. J. . Optimizing Tensor Product Computations in Stochastic Automata Networks. RAIRO. Recherche Opérationnelle , v. 32, p. 325-351, 1998.

• NAVAUX, P. ; FERNANDES, P. . Avaliação de Desempenho de Máquinas Paralelas. Revista de Informática Teórica e Aplicada (Impresso) , Porto Alegre, v. 1, n.1, p. 124-127, 1989.

• NAVAUX, P. ; FERNANDES, P. ; TAZZA, M. . SARA: A processor interconnection performance analysis tool. Microprocessing and Microprogramming , v. 24, p. 197-204, 1988.

• FERNANDES, P. . Méthodes numériques pour la solution de systèmes Markoviens à grand espace détats. Grenoble: Institut Nationale Polytechnique de Grenoble, 1998. v. 60. 260p .

• Fernandes, P. ; OKelly, 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. International Series in Operations Research & Management Science. 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.). (Org.). 12a Escola Regional de Alto Desempenho. 1ed.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). 1ed.Porto Alegre: , 2004, v. , p. 97-120.

• FERNANDES, P. ; ALEGRETTI, C. G. P. ; JUNGBLUT-HESSEL, R. . Avaliacao de Desempenho atraves de Redes de Automatos Estocasticos. In: Fabian Viegas. (Org.). Avaliacao de Desempenho atraves de Redes de Automatos Estocasticos. Novo Hamburgo: FEEVALE, 1999, v. 1, p. 159-184.

• ASSUNÇÃO, JOAQUIM ; FERNANDES, Paulo ; LOPES, LUCELENE . Language Independent POS-tagging Using Automatically Generated Markov Chains (S). In: The 31st International Conference on Software Engineering and Knowledge Engineering, 2019, Lisboa, Portugal. org.crossref.xschema._1.Title@3f327084, 2019. p. 513.

• ASSUNÇÃO, JOAQUIM ; VINCENT, JEAN-MARC ; FERNANDES, Paulo . Piecewise Aggregation for HMM fitting. A pre-fitting model for seamless integration with time series data. In: The 31st International Conference on Software Engineering and Knowledge Engineering, 2019. org.crossref.xschema._1.Title@5659952f. p. 729.

• MASSITELA, ILDO ; ASSUNÇÃO, JOAQUIM ; SANTOS, ALAN ; FERNANDES, Paulo . A structured stochastic model for software project estimation in Waterfall models (S). In: The 30th International Conference on Software Engineering and Knowledge Engineering, 2018, Redwood City, USA. org.crossref.xschema._1.Title@786638ff, 2018. p. 364.

• LEAES, A. ; FERNANDES, P ; LOPES, L. ; ASSUNCAO, J. . Classifying With AdaBoost.M1: The Training Error Threshold Myth. In: Thirty Florida Artificial Intelligence Research Society Conference (FLAIRS-30), 2017, San Marco Island. Proceedings of the Thirtieth International Florida Artificial Intelligence Research Society Conference. Miami: Florida Artificial Intelligence Research Society, 2017. p. 198-201.

• SANTOS, A. R. ; KROLL, J. ; SALES, A. ; FERNANDES, P ; WILDT, D. . Investigating the Adoption of Agile Practices in Mobile Application Development. In: International Conference on Enterprise Information Systems, ICEIS, 2016, Rome. Proceedings of 18th International Conference on Enterprise Information Systems. San Francisco: IEEE Computer Society, 2016. p. 490-497.

• LOPES, L. ; FERNANDES, P ; VIEIRA, R. . ExATO -- High Quality Term Extraction for Portuguese and English. In: IEEE/WIC/ACM International Conference on Web Intelligence, WI, 2016, Omaha. Proceedings of IEEE/WIC/ACM International Conference on Web Intelligence. San Francisco: IEEE Computer Society, 2016. p. 531-536.

• 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. v. 1. p. 189-194.

• ASSUNÇÃO, JOAQUIM ; FERNANDES, Paulo ; LOPES, LUCELENE ; STUDENY, ANGELIKA ; VINCENT, JEAN-MARC . SANGE - Stochastic Automata Networks Generator. A tool to efciently predict events through structured Markovian models. In: The 27th International Conference on Software Engineering and Knowledge Engineering, 2015. p. 581-585.

• FERNANDES, P. ; SALES, A. ; ZANI, L. . PEPS2015 - Stochastic Automata Networks Software Tool. In: UKPEW - 31st UK Performance Engineering Workshop, 2015, Leeds. Proceedings of 31st UK Performance Engineering Workshop. Leeds: University of Leeds, 2015. p. 67-81.

• LOPES, LUCELENE ; FERNANDES, Paulo ; GRANADA, ROGER ; VIEIRA, RENATA . The Impact of Contrastive Corpora for Term Relevance Measures. In: 2015 Brazilian Conference on Intelligent Systems (BRACIS), 2015, Natal. 2015 Brazilian Conference on Intelligent Systems (BRACIS), 2015. p. 146-151.

• FERNANDES, P ; ASSUNCAO, J. ; LOPES, L. ; Normey S. . A Dimensionality Reduction Process To Forecast Events Through Stochastic Models. In: The 26th International Conference on Software Engineering & Knowledge Engineering (SEKE 2014), 2014, Vancouver, CA. Proceedings of the Twenty-Sixth International Conference on Software Engineering & Knowledge Engineering. Skokie, IL, USA: Knowledge Systems Institute Graduate School, 2014. p. 534-539.

• ASSUNCAO, J. ; FERNANDES, P ; FISHER, T. ; SALES, A. . Unsupervised Model Generation for Geological Events. In: Spring Simulation Multiconference (SpringSim), 2014, TAMPA, FL, USA. 47th Annual Simulation Symposium 2014 (ANSS 2014). Vista, CA, USA: The Society for Modeling & Simulation International (SCS), 2014. p. 61-64.

• 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 (SMMSO 2013), 2013, Seeon. Poceedings of IX Conference on Stochastic Models of Manufacturing and Service Operations, 2013. p. 1-9.

• FERNANDES, P ; LOPES, L. ; Normey S. ; RUIZ, D. D. A. . Stochastic Aware Random Forests - a variation less impacted by randomness. In: The 26th International FLAIRS Conference, 2013, Saint Petersburgh, FL. Proceedings of FLAIRS-26. New York: AAAI Press, 2013. p. 484-487.

• ASSUNCAO, J. ; FERNANDES, P ; PIVEL, M. ; RUIZ, D. D. A. . Uma ferramenta para distribuição e mapeamento de dados paleogeográficos. In: Escola Regional de Banco de Dados, 2013, Camboriu. Anais da IX Escola Regional de Banco de Dados. Porto Alegre: SBC, 2013. p. 1-10.

• ASSUNCAO, J. ; FERNANDES, Paulo Henrique Lemelle ; LOPES, L. ; Normey S. . Distributed Stochastic Aware Random Forests - Efficient Data Mining for Big Data. In: 2013 IEEE International Congress on Big Data, 2013, Santa Clara, CA. Proceedings of the 2013 IEEE International Congress on Big Data. Los Alamitos, CA, USA: CPS - IEEE Computer Society, 2013. p. 428-429.

• FERNANDES, Paulo ; LOPES, LUCELENE ; YERALAN, SENCER . Symbolic Solution of Kronecker-Based Structured Markovian Models. In: 2013 IEEE 21st International Symposium on Modelling, Analysis & Simulation of Computer and Telecommunication Systems (MASCOTS), 2013, San Francisco. 2013 IEEE 21st International Symposium on Modelling, Analysis and Simulation of Computer and Telecommunication Systems. p. 409-413.

• 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. Proceedings of the eighth international conference on Language Resources and Evaluation (LREC), 2012. p. 2520-2524.

• 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: Twenty-Fourth International Conference on Software Engineering and Knowledge Engineering (SEKE 2012), 2012, San Francisco, CA, USA. Proceedings of the Twenty-Fourth International Conference on Software Engineering and Knowledge Engineering (SEKE 2012). Skokie, IL, USA: Knowledge Systems Institute - KSI, 2012.

• LOPES, L. ; FERNANDES, P. ; VIEIRA, R. . Domain term relevance through tf-dcf. In: The 2012 International Conference on Artificial Inteligence (ICAI 2012), 2012, Las Vegas, NV, USA. Proceedings of the 2012 2012 International Conference on Artificial Inteligence (ICAI 2012). Las Vegas, NV, USA: CSREA Press, 2012. p. 1001-1007.

• 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. Proceedings of PASM 2012, 2012. p. 1-14.

• PAPADOPOULOS, C. T. ; FERNANDES, P. ; SALES, A. ; OKELLY, M. E. J. . Modeling Exponential Reliable Production Lines using Kronecker Descriptors. In: Stochastic Models of Manufacturing and Service Operations, 2011, Kussadassi, Turquia. VIII Conference on Stochastic Models of Manufacturing and Service Operations. Istanbul, Turquia: Koc University, 2011. p. 253-260.

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

• FERNANDES, P. ; SALES, A. ; SANTOS, A. R. ; WEBBER, T. . Performance Evaluation of Software Development Teams: a Practical Case Study. In: Practical Applications of Stochastic Modelling (PASM), 2011, Karlsruhe, Alemanha. 5th International Workshop on Practical Applications of Stochastic Modelling (PASM). Karlsruhe, Alemanha: Karlsruher Institut für Technologie (KIT), 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: Practical Applications of Stochastic Modelling (PASM), 2011, Karlsruhe, Alemanha. 5th International Workshop on Practical Applications of Stochastic Modelling (PASM). Karlsruhe, Alemanha: Karlsruher Institut für Technologie (KIT), 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, USA. 44th Annual Simulation Symposium (ANSS). Vista, Canada: Society for Modeling & Simulation International (SCS), 2011. p. 119-126.

• FERNANDES, P. ; OKELLY, M. E. J. ; PAPADOPOULOS, C. T. ; SALES, A. . PLAT - Production Line Analysis Tool. In: International Conference on Computers and Industrial Engineering (CIE), 2011, Los Angeles, USA. Proceedings of the 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. Proceedings of the IEEE International Conference on Global Software Engineering Workshops. New York, USA: IEEE Press, 2011. p. 54-59.

• FERNANDES, P. ; LOPES, L. ; RUIZ, D. D. A. . The impact of random samples in ensemble classifiers. In: ACM SAC 2010 - Symposium on Applied Computing, 2010, Sierre. Proceedings of the 2010 ACM Symposium on Applied Computing - SAC 2010. New York: ACM Computer Society Press, 2010. v. 2. p. 1002-1009.

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

• 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, USA. Proceedings of the IEEE ICGSE 2010. New York, USA: IEEE Press, 2010. p. 287-296.

• Czekster, Ricardo M. ; DE ROSE, CESAR A. F. ; FERNANDES, Paulo ; DE LIMA, ANTONIO M. ; Webber, Thais . Kronecker descriptor partitioning for parallel algorithms. In: the 2010 Spring Simulation Multiconference, 2010, Orlando. Proceedings of the 2010 Spring Simulation Multiconference on - SpringSim '10. New York: ACM Press. p. 242:1-242:4.

• CZEKSTER, R. M. ; FERNANDES, P. ; SALES, A. ; WEBBER, T. . Restructuring tensor products to enhance the numerical solution of structured Markov chains. In: International Conference on the Numerical Solution of Markov Chains (NSMC'10), 2010, Williamsburg, USA. Proceedings of the International Conference on the Numerical Solution of Markov Chains. New York, USA: IEEE Press, 2010. p. 33-49.

• CZEKSTER, R. M. ; FERNANDES, P. ; SALES, A. ; TASCHETTO, D. ; WEBBER, T. . Simulation of Markovian models using Bootstrap method. In: Summer Computer Simulation Conference - SCSC, 2010, Ottawa, Canada. Proceedings of the Summer Computer Simulation Conference, 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, Brazil. Proceedings of Latin American Conference on High Performance Computing (CLCAR), 2010. p. 294-301.

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

• LIMA, A. A. M. ; WEBBER, T. ; NETO, M. ; CZEKSTER, R. M. ; DE ROSE, C. A. F. ; FERNANDES, P. . OpenMP-based Parallel Algorithms for Solving Kronecker Descriptors. In: m on Computer Architecture and High Performance Computing (SBAC-PAD), 2010, Pretopolis, Brasil. 22th International Symposium on m on Computer Architecture and High Performance Computing (SBAC-PAD). New York, USA: IEEE Press, 2010. p. 55-60.

• LOPES, L. ; FERNANDES, P. ; VIEIRA, R. ; FEDRIZZI, G. . ExATO lp -- An Automatic Tool for Term Extraction from Portuguese Language Corpora. In: LTC'09 - 4th Language and Technology Conference, 2009, Poznan. Proceedings of the Fourth Language and Technology Conference. Poznan, Poland: Adam Mickiewicz University, 2009. p. 427-431.

• LOPES, L. ; SCALABRIN, E. E. ; FERNANDES, P. . Empirical Study of Combined Classifiers for Knoledge Discovery on Medical Data Bases. In: IWHDM - International Workshop On Health Data Management, 2008, Shenyang. LNCS 4977 - APWEB'2008 Workshops. Heidelberg: Springer-Verlag, 2008. v. 4977. p. 111-121.

• FERNANDES, P. ; VINCENT, J. M. ; WEBBER, T. . Perfect Simulation of Stochastic Automata Networks. In: The 15th International Conference on Analytical and Stochastic Modelling Techniques and Applications, 2008, Nicosia. LNCS 5055 - ASMTA 2008. Heidelberg, Germany: Springer-Verlag, 2008. v. 5055. p. 249-263.

• URDANGARIN, R. ; FERNANDES, P. ; AVRITZER, A. ; PAULISH, D. . Experiences with Agile Practices in the Global Studio Project. In: Third IEEE International Conference on Global Software Engineering, 2008, Bangalore. ICGSE 2008. New York: IEEE Press, 2008. v. 1. p. 77-86.

• BRENNER, L. ; FERNANDES, P. ; FOURNEAU, J.M. ; PLATEAU, B. . Modelling Grid5000 point availability with SAN. In: PASM 2008 - Practical Appications of Stochastic Modeling, 2008, Palma de Majorca. PASM 2008, 2008. p. 124-131.

• CZEKSTER, R. M. ; FERNANDES, P. ; VINCENT, J. M. ; WEBBER, T. . Split: a flexible and enfficient algorithm to vector-descriptor product. In: Proceedings of the 2nd International Conference on Performance Evaluation Methodolgies and Tools, 2007, Nantes. VALUETOOLS 2007. New York: ACM Press, 2007. v. 1. p. 83-95.

• KOLBERG, M. L. ; BALDO, L. ; VELHO, P. A. M. C. ; WEBBER, T. ; FERNANDES, L. G. ; FERNANDES, P. ; CLAUDIO, D. M. . Parallel Selfverified Method for Solving Linear Systems. In: 7th International Meeting of High Performance Computing for Computational Science, 2006, Rio de Janeiro. VECPAR, 2006. p. 179-190.

• DELAMARE, F. ; DOTTI, F. L. ; FERNANDES, P. ; NUNES, C. M. ; OST, L. C. . Analytical Modeling of Random Waypoint Mobility Patterns. In: Third ACM International Workshop on Performance Evaluation of Wireless Ad Hoc, Sensor, and Ubiquitous Networks, 2006, Torremolinos. ACM PE-WASUN, 2006. p. 106-113.

• 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, 2005, Miami. LNCS 3536 - ATPN 2005. Berlin: Springer Verlag, 2005. v. 3536. p. 128-147.

• DOTTI, F. L. ; FERNANDES, P. ; SALES, A. ; SANTOS, O. M. . Modular Analytical Performance Models for Ad Hoc Wireless Networks. In: 3rd International Symposium on modelling and optimization in mobile, ad hoc, and wireless networks, 2005, Trentino. WiOpt 2005, 2005. v. 1. p. 164-173.

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

• BERTOLINI, C. ; FARINA, A. G. ; FERNANDES, P. ; OLIVEIRA, F. M. . Test Case Generation using Stochastic Automata Networks: Quantitative Analysis. In: 2nd IEEE International Conference on Software Engineering and Formal Methods, 2004, Beijing. SEFM 2004, 2004. v. 1. p. 251-260.

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

• 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, 2004, Volendam. MASCOTS 2004. New York: IEEE Press, 2004. v. 1. p. 139-146.

• BENOIT, A. ; BRENNER, L. ; FERNANDES, P. ; PLATEAU, B. . Aggregation of Stochatic Automata Networks with Replicas. In: Fourth International Conference on the Numerical Solution of Markov Chains, 2003, Urbana. NSMC'03. Raleigh: North Carolina State University, 2003. p. 145-166.

• BENOIT, A. ; BRENNER, L. ; FERNANDES, P. ; PLATEAU, B. ; STEWART, W. J. . The PEPS Software Tool. In: 13th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, 2003, Urbana. LNCS 2795 - Tools 2003. Berlin: Springer-Verlag, 2003. v. 2794. p. 98-115.

• 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, 2003, Orlando, Florida. MASCOTS 2003, 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, 2003, Sao Paulo. SBAC-PAD 2003, 2003. p. 183-190.

• CASSOL, L. A. ; ZORZO, A. F. ; FERNANDES, P. . Uso de Redes de Autômatos Estocásticos para Modelar Mecanismos Tolerantes a Falhas. In: XX Simpósio Brasileiro de Redes de Computadores - SBRC, 2002, Búzios - RJ - Brasil. III Workshop de Testes e Tolerância a Falhas, 2002. v. 1. p. 81-88.

• FARINA, A. G. ; FERNANDES, P. ; OLIVEIRA, F. M. . Representing Software Usage Models with Stochastic Automata Networks. In: XIV International Conference International Conference on Software Engineering and Knowledge Engineering - SEKE'02, 2002, Ischia, Italia. Proceedings of SEKE'02, 2002. v. 1. p. 414-422.

• BRENNER, L. ; DE ROSE, C. A. F. ; FERNANDES, P. . An Analytical Model to Evaluate the Performance of Cluster Architectures. In: III LCI International Conference on Linux Clusters, 2002, Saint Petersburg, FL, USA. Proceedings of the Third LCI International Conference on Linux Clusters: The HPC Revolution 2002. Champaign, IL, USA: Linux Cluster Institute/NCSA, 2002. v. 1. p. 1-12.

• FERNANDES, P. ; PLATEAU, B. . Modeling Finite Capacity Queueing Networks with Stochastic Automata Networks. In: IV International Workshop on Queueing Networks with Finite Capacity - QNETs 2000, 2000, Ilkley. Proceeding of the QNETs 2000. Bradford - UK: University of Bradford, 2000. v. 1. p. 16/01-16/12.

• BEZ, M. R. ; FERNANDES, P. . Uma Alternativa à Distributividade do Produto Clássico de Matrizes sobre o Produto Tensorial Generalizado. In: Seminários de Andamento 2000, 2000, Porto Alegre. Anais - Seminários de Andamento 2000 do PPGCC. Porto Alegre: Pontifícia Universidade Católica do Rio Grande do Sul, 2000. v. 1. p. 35-46.

• FERNANDES, P. ; PLATEAU, B. ; STEWART, W. J. . Numerical Issues for Stochastic Automata Networks. In: IV Process Algebras and Performance Modelling Workshop - PAPM 96, 1996. PAPM'96, 1996. p. 215-234.

• FERNANDES, P. ; PLATEAU, B. ; STEWART, W. J. . Numerical evaluation of stochastic automata networks. In: III International Workshop on Modeling, Analysis, and Simulation On Computer and Telecommunication Systems, 1995, Durham, NC, USA. MASCOTS'95, 1995. v. 1. p. 179-183.

• FERNANDES, P. ; PLATEAU, B. . Stochastic Automata Networks, SAN: modelling and evaluation. In: II Process Algebras and Performance Modelling Workshop - PAPM 94, 1994. PAPM'94, 1994. p. 127-136.

• STRINGHINI, D. ; RAMOS, L. P. ; JUNGBLUT-HESSEL, R. ; FERNANDES, P. ; NAVAUX, P. . SIMIO: um simulador de interconexões regulares ortogonais. In: VII Simpósio Brasileiro de Arquitetura de Computadores - SBAC-PAD 94, 1994, Caxambu. VII SBAC-PAD, 1994. v. 1. p. 1-10.

• TREVISAN, A. ; FERNANDES, P. ; NAVAUX, P. . Uma solução geométrica para o cálculo da probabilidade marginal de caminhos. In: XIV Congresso Nacional de Matemática Aplicada e Computacional - SBMAC, 1991, Sao Bernardo do Campo. XIV Congresso Nacional de Matematica Aplicada e Computacional, 1991. v. 1.

• FERNANDES, P. ; TEODOROWITSCH, R. ; NAVAUX, P. . Análise quantitativa de arquiteturas pipeline. In: III Simpósio Brasileiro de Arquitetura de Computadores - SBAC-PP, 1990, Rio de Janeiro. III Simposio Brasileiro de Arquiteturas de Computadores - Processamento Paralelo, 1990. v. 1. p. 361-374.

• NAVAUX, P. ; FERNANDES, P. ; TAZZA, M. . SARA: A processor interconnection performance analysis tool. In: EUROMICRO 88, 1988, Zurich. XIV MIcroprocessing and Microprogramming, 1988. v. 1. p. 197-204.

• FERNANDES, P. ; TAZZA, M. ; NAVAUX, P. . Análise quantitativa de interconexões estrela. In: VIII Congresso da SBC, 1988, Rio de Janeiro. SEMISH, 1988. v. 1.

• NAVAUX, P. ; FERNANDES, P. ; TAZZA, M. . Avaliação de desempenho de máquinas paralelas. In: I Simpósio Brasileiro de Arquitera de Computadores - SBAC-PP, 1988, Aguas de Lindoia. I Simposio Brasileiro de Arquitetura de Computadores - Processamento Paralelo, 1988. v. 1. p. 1111-1117.

• FERNANDES, P. . SUDETO - um editor de interconexões de processadores. In: VII Congresso da SBC, 1987, Salvador. IV CTIC, 1987.

• TAZZA, M. ; FERNANDES, P. ; NAVAUX, P. . Análise quantitativa de interconexões cross-bar. In: VII Congresso da SBC, 1987, Salvador. SEMISH, 1987. v. 1. p. 241-254.

• NAVAUX, P. ; TAZZA, M. ; FERNANDES, P. . SARA: interface com o usuário e escopo de aplicação. In: XX Congresso da SUCESU, 1987, Sao Paulo. XX Congresso Nacional de Informatica, 1987. v. 1.

• TAZZA, M. ; NAVAUX, P. ; FERNANDES, P. . SARA: emprego de redes de Petri para modelagem de interconexões de processadores. In: X Congresso Nacional de Matemática Aplicada e Computacional - SBMAC, 1987, Gramado. X Congresso Nacional de Matematica Aplicada e Computacional, 1987. v. 1. p. 953-959.

• FERNANDES, P. ; GLUZ, J. ; LEMOS, A. ; MORSHEL, I. . KARL MARCs - Modelagem automatizada ao nivel RT de circuitos. In: VI Congresso da SBC, 1986, Recife. III CTIC, 1986. v. 1.

• SANTOS, ALAN R. ; SALES, AFONSO ; FERNANDES, Paulo . Setting Up a Stochastic Model for Teams Working in a Follow-the-Sun Environment. In: 2012 7th IEEE International Conference on Global Software Engineering (ICGSE), 2012, Porto Alegre. 2012 IEEE Seventh International Conference on Global Software Engineering. p. 179.

• LOPES, L. ; VIEIRA, R. ; FERNANDES, P. ; COUTO, G. . ExATOlp - Extraction of language resources from portuguese corpora. In: International Conference on Computational Processing of the Portuguese Language - PROPOR 2012, 2012, Coimbra, Portugal. Proceedings of the 11th International Conference on Computational Processing of the Portuguese Language. Coimbra, Portugal: Universidade de Coimbra, 2012. p. 45-47.

• LOPES, L. ; FERNANDES, P. ; VIEIRA, R. ; FEDRIZZI, G. ; MARTINS, D. . ExATOlp - a tool for domain relevant terms extraction. In: International Conference on Computational Processing of the Portuguese Language (PROPOR'10), 2010, Porto Alegre, Brazil. Proceedings of the 9th International Conference on Computational Processing of the Portuguese Language, 2010. p. 1-2.

• CZEKSTER, R. M. ; FERNANDES, P. ; WEBBER, T. . GTAexpress - A Software Package to Handle Kronecker Descriptors. In: QEST 2009 - International Conference on Quantitative Evaluation of SysTems, 2009, Budapest. Proceedings of QEST 2009. New York: IEEE Press, 2009. p. 281-282.

• BRENNER, L. ; FERNANDES, P. ; PLATEAU, B. ; SBEIT, I. . PEPS 2007. In: QEST 2007 - Quantitative Evaluation of Systems, 2007, Edinburgh. QEST 2007. New York: IEEE Press, 2007. v. 1. p. 72-74.

• FERNANDES, P. ; BRENNER, L. . MQNA - Analisador de Redes de Filas de Espera Markovianas. In: XXIV Congresso Nacional de Matemática Aplicada e Computacional - SBMAC, 2001, Belo Horizonte. Anais do XXIV Congresso Nacional de Matemática Aplicada e Computacional, 2001. v. 2. p. 273-273.

• FERNANDES, P. ; PLATEAU, B. . Triangular Solution of Linear Systems in Tensor Product Format. In: SIGMETRICS 2000, 2000, Santa Clara, CA, USA. Workshop on Mathematical Performance Modeling and Analysis - MAMA2000, 2000. v. 1. p. 41-44.

• CAVALHEIRO, G. ; BARRETO, R. M. ; FERNANDES, P. ; NAVAUX, P. . Métodos para avaliação de sistemas. In: XIII Congresso Nacional de Matemática Aplicada e Computacional - SBMAC, 1990, Rio de Janeiro. XIII Congresso Nacional de Matematica Aplicada e Computacional, 1990. v. 1. p. 137-140.

Outras produções

Projetos de pesquisa

• 2014 - 2018

  Técnicas para Modelagem e Solução de Alta-Performance para Redes de Autômatos Estocásticos, Descrição: No contexto de avaliação de desempenho com o uso de métodos analíticos, a descrição de um sistema pode ser feita através de um formalismo de modelagem. Uma grande gama de formalismos de modelagem já foi desenvolvida ao longo dos últimos anos. Entretanto, o uso de boa parte destes formalismos em ambientes reais enfrenta restrições de modelagem, como é o caso de redes de filas de espera à forma-produto, ou restrições de solução, como por exemplo, o conhecido problema da explosão do espaço de estados nas Cadeias de Markov, o que impossibilita tanto a modelagem quanto a solução analítica. Neste projeto temos como objetivo desenvolver novos algoritmos e técnicas de modelagem aplicadas à SAN a fim de aprimorar a solução numérica de modelos com grandes espaços de estados. São estudados neste projeto os seguintes tópicos de maneira mais aprofundada: (i) solução numérica de modelos SAN; (ii) verificação de modelos SAN; (iii) aplicações do formalismo SAN na modelagem de sistemas com grandes espaços de estados.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (2) / Doutorado: (2) . , Integrantes: Paulo Henrique Lemelle Fernandes - Coordenador / Fernando Luís Dotti - Integrante / Afonso Henrique Correa Sales - Integrante / Jean-Marc Vincent - Integrante / Lucelene Lopes - Integrante / Jean-Michel Fourneau - Integrante / Chrissoleon T. Papadopoulos - Integrante / Alan Ricardo dos Santos - Integrante / Joaquim Assunção - Integrante / Sencer Yeralan - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

• 2013 - 2018

  Métodos Estocásticos: Soluçõs e Aplicações, Descrição: O objetivo geral que resume este projeto de pesquisa é aprofundar e difundir o conhecimento sobre processos estocásticos em senso amplo. De forma geral este objetivo se desdobra em tarefas que se estruturam em três objetivos específicos, cada um se constituindo em um eixo de pesquisa., a saber: - Métodos de Solução de Modelos Markovianos Estruturados - onde detalha-se atividades previstas na área de solução de modelos através de métodos numéricos, analíticos e de simulação; - Desenvolvimento de Modelos Estocásticos - onde detalha-se atividades previstas na área de aplicação de modelos estocásticos a diversos tipos de realidades e com propósitos distintos; - Aplicação de Técnicas e Conceitos de Métodos Estocásticos - onde detalha-se atividades previstas na aplicação a problemas da área de mineração de dados e recuperação de informação.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Paulo Henrique Lemelle Fernandes - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.

• 2013 - 2015

  Técnicas para Modelagem e Solução de Alta-Performance para Redes de Autômatos Estocásticos, 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: Paulo Henrique Lemelle Fernandes - Coordenador / Philippe Olivier Alexandre Navaux - Integrante / Fernando Luís Dotti - Integrante / Jean-Marc Vincent - Integrante / Lucelene Lopes - Integrante / Nicolas Maillard - Integrante / Czekster, Ricardo M. - Integrante / Webber, Thais - Integrante / Fourneau, Jean-Michel - Integrante / Joaquim Assunção - Integrante / SALES, AFONSO - Integrante / Franck Quessette - Integrante / Leila Kloul - Integrante / Thu Ha Dao Thi - Integrante., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Cooperação / COFECUB - Cooperação.

• 2009 - 2015

  PALEOPROSPEC - Modelagem Paleogeográfica e Paleoclimática da Abertura e Evolução do Atlântico Sul, Descrição: Este projeto de pesquisa tem por objetivo desenvolver 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: (10) / Mestrado acadêmico: (9) / Doutorado: (3) . , Integrantes: Paulo Henrique Lemelle Fernandes - Coordenador / Fernando Luís Dotti - Integrante / Cesar Augusto Fonticiela De Rose - Integrante / Duncan Dubugras Alcoba Ruiz - Integrante / Lucelene Lopes - Integrante., Financiador(es): Centro de Pesquisa e Desenvolvimento Leopoldo Américo Miguêz de Mello - Auxílio financeiro., Número de produções C, T & A: 4

• 2009 - 2012

  Arquitetura intra-chip para processamento paralelo aplicada à solução de modelos estocásticos em processamento de bases textuais, Descrição: Neste projeto, propomos o desenvolvimento de sistemas para extração de informação de grandes quantidades de texto, utilizando-se modelagem estocástica e processamento de linguagem natural, além de arquiteturas de hardware otimizadas para aumentar o poder computacional desses sistemas.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Paulo Henrique Lemelle Fernandes - Coordenador / Renata Vieira - Integrante / Lucelene Lopes - Integrante / Fernando Gehm Moraes - Integrante / Alexandre de Morais Amory - Integrante / Julio Cezar Silveira Jacques Junior - Integrante.

• 2006 - 2008

  STGSD - Técnicas Estocásticas para o Desenvolvimento Global de Software, Descrição: O presente projeto tem por objetivo qualificar o desenvolvimento de software através da definição de metodologias baseadas em métodos estocásticos. Especificamente, busca-se dar maior qualificação ao processo de codificação e teste de software pelo uso de modelos estocásticos para descrever as funcionalidades do software em desenvolvimento. Parte da dificuldade deste projeto está baseada no desenvolvimento de uma técnica que não sobrecarregue demasiadamente o processo de desenvolvimento de software, e parte está baseada na disponibilidade de ferramentas teóricas e computacionais para modelagem estocástica. Neste sentido, este projeto possui dois eixos principais que serão desenvolvidos de forma concomitante: - estudo de técnicas de codificação e teste de software; - geração de ferramentas de modelagem estocástica. O desenvolvimento de componentes através de equipes distribuídas em diversas localidades, permite avaliar experimentalmente, quais os riscos associados com o tamanho das equipes, comunicação entre líderes e gerentes de localidades remotas, utilização da infra-estrutura de processos e ferramentas, tradução dos requisitos de usuários em requisitos técnicos de software, entre outros. A pesquisa experimental em engenharia de software contribuirá para a comunidade científica e para as empresas, pois através do compartilhamento de best-practices, diminuirá os riscos associados com desenvolvimento global de software e outsourcing, dentre eles o overhead de custos de gestão, dificuldade de alocação de RH "on-demand", privacidade, segurança, cultura, dentre outros. Estes riscos encontram-se resumidos na coluna de Lauren Weinstein, "Outsourced and Out of Control", na edição de Fevereiro de 2004 do exemplar "Communications of the ACM.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (3) . , Integrantes: Paulo Henrique Lemelle Fernandes - Coordenador / Fernando Luís Dotti - Integrante / Thais Christina Webber dos Santos - Integrante / André Barros - Integrante / Luciano Copello Ost - Integrante / Ricardo Melo Czekster - Integrante / Marcelo Blois Ribeiro - Integrante / Alberto Avritzer - Integrante / Marcia Beatriz Cavalcanti - Integrante / Ronald Martin Dauscha - Integrante / Daniel Paulish - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro / Siemens Ltda - Auxílio financeiro / Universidade Estadual Paulista Júlio de Mesquita Filho - Cooperação., Número de produções C, T & A: 5

Projetos de desenvolvimento

• 1999 - 2001

  SOMA-Sim Um simulador para sistemas de monitoração de transportes urbanos, Descrição: A meta estratégica do projeto SOMA-Sim é fomentar o desenvolvimento do Sistema de Monitoração e Controle de Tráfego do Município de Porto Alegre, a partir da reunião de competências dos quatro parceiros, EPTC, PROCEMPA, AEROELETRÔNICA e PUCRS, para resolver um problema específico, qual seja, reduzir os custos de avaliação dos sistemas de monitoração e controle de tráfego urbano e melhorar a confiança nas alterações e incrementos a introduzir nos sistemas já instalados. Como meta estratégica subsidiária, visa-se fomentar a qualificação de recursos humanos altamente especializados para lidar com sistemas de monitoração e controle de tráfego urbano, no meio acadêmico e fora dele. O resultado esperado é um protótipo funcional de uma ferramenta computacional, o simulador SOMA-Sim, capaz de exercitar uma dada configuração de modelos de componentes. O objetivo da ferramenta é capacitar a simulação realista de componentes de sistemas de monitoração e controle de sistemas de tráfego a um custo operacional reduzido. A configuração do sistema deve ser fornecida pelo usuário da ferramenta, tipicamente um planejador de tráfego e de sistemas de controle e monitoração de tráfego. A ferramenta deve fornecer como resultado de sua utilização um conjunto de dados que permita ao usuário avaliar o desempenho de cada componente da configuração, bem como da configuração como um todo. As atividades se agrupam em quatro frentes: - modelagem de componentes de hardware; - modelagem de sistemas de comunicação; - modelagem de sistemas de banco de dados; - modelo genérico congregando todo o sistema de monitoração do projeto SOMA. . , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (2) . , Integrantes: Paulo Henrique Lemelle Fernandes - Coordenador / Fernando Luís Dotti - Integrante / Fabricio Leite Machado - Integrante / Bernardo Copstein - Integrante / Ney Laert Vilar Calazans - Integrante., Financiador(es): Ministério da Ciência e Tecnologia - Auxílio financeiro., Número de produções C, T & A: 2 / Número de orientações: 3

• 1999 - 2001

  SOMA-Sim Um simulador para sistemas de monitoração de transportes urbanos, Descrição: A meta estratégica do projeto SOMA-Sim é fomentar o desenvolvimento do Sistema de Monitoração e Controle de Tráfego do Município de Porto Alegre, a partir da reunião de competências dos quatro parceiros, EPTC, PROCEMPA, AEROELETRÔNICA e PUCRS, para resolver um problema específico, qual seja, reduzir os custos de avaliação dos sistemas de monitoração e controle de tráfego urbano e melhorar a confiança nas alterações e incrementos a introduzir nos sistemas já instalados. Como meta estratégica subsidiária, visa-se fomentar a qualificação de recursos humanos altamente especializados para lidar com sistemas de monitoração e controle de tráfego urbano, no meio acadêmico e fora dele. O resultado esperado é um protótipo funcional de uma ferramenta computacional, o simulador SOMA-Sim, capaz de exercitar uma dada configuração de modelos de componentes. O objetivo da ferramenta é capacitar a simulação realista de componentes de sistemas de monitoração e controle de sistemas de tráfego a um custo operacional reduzido. A configuração do sistema deve ser fornecida pelo usuário da ferramenta, tipicamente um planejador de tráfego e de sistemas de controle e monitoração de tráfego. A ferramenta deve fornecer como resultado de sua utilização um conjunto de dados que permita ao usuário avaliar o desempenho de cada componente da configuração, bem como da configuração como um todo. As atividades se agrupam em quatro frentes: - modelagem de componentes de hardware; - modelagem de sistemas de comunicação; - modelagem de sistemas de banco de dados; - modelo genérico congregando todo o sistema de monitoração do projeto SOMA. . , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (2) . , Integrantes: Paulo Henrique Lemelle Fernandes - Coordenador / Fernando Luís Dotti - Integrante / Fabricio Leite Machado - Integrante / Bernardo Copstein - Integrante / Ney Laert Vilar Calazans - Integrante., Financiador(es): Ministério da Ciência e Tecnologia - Auxílio financeiro., Número de produções C, T & A: 2 / Número de orientações: 3

• 1999 - 2001

  SOMA-Sim Um simulador para sistemas de monitoração de transportes urbanos, Descrição: A meta estratégica do projeto SOMA-Sim é fomentar o desenvolvimento do Sistema de Monitoração e Controle de Tráfego do Município de Porto Alegre, a partir da reunião de competências dos quatro parceiros, EPTC, PROCEMPA, AEROELETRÔNICA e PUCRS, para resolver um problema específico, qual seja, reduzir os custos de avaliação dos sistemas de monitoração e controle de tráfego urbano e melhorar a confiança nas alterações e incrementos a introduzir nos sistemas já instalados. Como meta estratégica subsidiária, visa-se fomentar a qualificação de recursos humanos altamente especializados para lidar com sistemas de monitoração e controle de tráfego urbano, no meio acadêmico e fora dele. O resultado esperado é um protótipo funcional de uma ferramenta computacional, o simulador SOMA-Sim, capaz de exercitar uma dada configuração de modelos de componentes. O objetivo da ferramenta é capacitar a simulação realista de componentes de sistemas de monitoração e controle de sistemas de tráfego a um custo operacional reduzido. A configuração do sistema deve ser fornecida pelo usuário da ferramenta, tipicamente um planejador de tráfego e de sistemas de controle e monitoração de tráfego. A ferramenta deve fornecer como resultado de sua utilização um conjunto de dados que permita ao usuário avaliar o desempenho de cada componente da configuração, bem como da configuração como um todo. As atividades se agrupam em quatro frentes: - modelagem de componentes de hardware; - modelagem de sistemas de comunicação; - modelagem de sistemas de banco de dados; - modelo genérico congregando todo o sistema de monitoração do projeto SOMA. . , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (2) . , Integrantes: Paulo Henrique Lemelle Fernandes - Coordenador / Fernando Luís Dotti - Integrante / Fabricio Leite Machado - Integrante / Bernardo Copstein - Integrante / Ney Laert Vilar Calazans - Integrante., Financiador(es): Ministério da Ciência e Tecnologia - Auxílio financeiro., Número de produções C, T & A: 2 / Número de orientações: 3

• 1999 - 2001

  SOMA-Sim Um simulador para sistemas de monitoração de transportes urbanos, Descrição: A meta estratégica do projeto SOMA-Sim é fomentar o desenvolvimento do Sistema de Monitoração e Controle de Tráfego do Município de Porto Alegre, a partir da reunião de competências dos quatro parceiros, EPTC, PROCEMPA, AEROELETRÔNICA e PUCRS, para resolver um problema específico, qual seja, reduzir os custos de avaliação dos sistemas de monitoração e controle de tráfego urbano e melhorar a confiança nas alterações e incrementos a introduzir nos sistemas já instalados. Como meta estratégica subsidiária, visa-se fomentar a qualificação de recursos humanos altamente especializados para lidar com sistemas de monitoração e controle de tráfego urbano, no meio acadêmico e fora dele. O resultado esperado é um protótipo funcional de uma ferramenta computacional, o simulador SOMA-Sim, capaz de exercitar uma dada configuração de modelos de componentes. O objetivo da ferramenta é capacitar a simulação realista de componentes de sistemas de monitoração e controle de sistemas de tráfego a um custo operacional reduzido. A configuração do sistema deve ser fornecida pelo usuário da ferramenta, tipicamente um planejador de tráfego e de sistemas de controle e monitoração de tráfego. A ferramenta deve fornecer como resultado de sua utilização um conjunto de dados que permita ao usuário avaliar o desempenho de cada componente da configuração, bem como da configuração como um todo. As atividades se agrupam em quatro frentes: - modelagem de componentes de hardware; - modelagem de sistemas de comunicação; - modelagem de sistemas de banco de dados; - modelo genérico congregando todo o sistema de monitoração do projeto SOMA.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (2) . , Integrantes: Paulo Henrique Lemelle Fernandes - Coordenador / Fernando Luís Dotti - Integrante / Fabricio Leite Machado - Integrante / Bernardo Copstein - Integrante / Ney Laert Vilar Calazans - Integrante., Financiador(es): Ministério da Ciência e Tecnologia - Auxílio financeiro., Número de produções C, T & A: 2 / Número de orientações: 3

• 1999 - 2001

  SOMA-Sim Um simulador para sistemas de monitoração de transportes urbanos, Descrição: A meta estratégica do projeto SOMA-Sim é fomentar o desenvolvimento do Sistema de Monitoração e Controle de Tráfego do Município de Porto Alegre, a partir da reunião de competências dos quatro parceiros, EPTC, PROCEMPA, AEROELETRÔNICA e PUCRS, para resolver um problema específico, qual seja, reduzir os custos de avaliação dos sistemas de monitoração e controle de tráfego urbano e melhorar a confiança nas alterações e incrementos a introduzir nos sistemas já instalados. Como meta estratégica subsidiária, visa-se fomentar a qualificação de recursos humanos altamente especializados para lidar com sistemas de monitoração e controle de tráfego urbano, no meio acadêmico e fora dele. O resultado esperado é um protótipo funcional de uma ferramenta computacional, o simulador SOMA-Sim, capaz de exercitar uma dada configuração de modelos de componentes. O objetivo da ferramenta é capacitar a simulação realista de componentes de sistemas de monitoração e controle de sistemas de tráfego a um custo operacional reduzido. A configuração do sistema deve ser fornecida pelo usuário da ferramenta, tipicamente um planejador de tráfego e de sistemas de controle e monitoração de tráfego. A ferramenta deve fornecer como resultado de sua utilização um conjunto de dados que permita ao usuário avaliar o desempenho de cada componente da configuração, bem como da configuração como um todo. As atividades se agrupam em quatro frentes: - modelagem de componentes de hardware; - modelagem de sistemas de comunicação; - modelagem de sistemas de banco de dados; - modelo genérico congregando todo o sistema de monitoração do projeto SOMA.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (2) . , Integrantes: Paulo Henrique Lemelle Fernandes - Coordenador / Fernando Luís Dotti - Integrante / Fabricio Leite Machado - Integrante / Bernardo Copstein - Integrante / Ney Laert Vilar Calazans - Integrante., Financiador(es): Ministério da Ciência, Tecnologia e Inovação - Auxílio financeiro., Número de produções C, T & A: 2 / Número de orientações: 3

• 1999 - 2001

  SOMA-Sim Um simulador para sistemas de monitoração de transportes urbanos, Descrição: A meta estratégica do projeto SOMA-Sim é fomentar o desenvolvimento do Sistema de Monitoração e Controle de Tráfego do Município de Porto Alegre, a partir da reunião de competências dos quatro parceiros, EPTC, PROCEMPA, AEROELETRÔNICA e PUCRS, para resolver um problema específico, qual seja, reduzir os custos de avaliação dos sistemas de monitoração e controle de tráfego urbano e melhorar a confiança nas alterações e incrementos a introduzir nos sistemas já instalados. Como meta estratégica subsidiária, visa-se fomentar a qualificação de recursos humanos altamente especializados para lidar com sistemas de monitoração e controle de tráfego urbano, no meio acadêmico e fora dele. O resultado esperado é um protótipo funcional de uma ferramenta computacional, o simulador SOMA-Sim, capaz de exercitar uma dada configuração de modelos de componentes. O objetivo da ferramenta é capacitar a simulação realista de componentes de sistemas de monitoração e controle de sistemas de tráfego a um custo operacional reduzido. A configuração do sistema deve ser fornecida pelo usuário da ferramenta, tipicamente um planejador de tráfego e de sistemas de controle e monitoração de tráfego. A ferramenta deve fornecer como resultado de sua utilização um conjunto de dados que permita ao usuário avaliar o desempenho de cada componente da configuração, bem como da configuração como um todo. As atividades se agrupam em quatro frentes: - modelagem de componentes de hardware; - modelagem de sistemas de comunicação; - modelagem de sistemas de banco de dados; - modelo genérico congregando todo o sistema de monitoração do projeto SOMA.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (2) . , Integrantes: Paulo Henrique Lemelle Fernandes - Coordenador / Fernando Luís Dotti - Integrante / Fabricio Leite Machado - Integrante / Bernardo Copstein - Integrante / Ney Laert Vilar Calazans - Integrante., Financiador(es): Ministério da Ciência, Tecnologia, Inovações e Comunicações - Auxílio financeiro., Número de produções C, T & A: 2 / Número de orientações: 3

• 1999 - 2001

  SOMA-Sim Um simulador para sistemas de monitoração de transportes urbanos, Descrição: A meta estratégica do projeto SOMA-Sim é fomentar o desenvolvimento do Sistema de Monitoração e Controle de Tráfego do Município de Porto Alegre, a partir da reunião de competências dos quatro parceiros, EPTC, PROCEMPA, AEROELETRÔNICA e PUCRS, para resolver um problema específico, qual seja, reduzir os custos de avaliação dos sistemas de monitoração e controle de tráfego urbano e melhorar a confiança nas alterações e incrementos a introduzir nos sistemas já instalados. Como meta estratégica subsidiária, visa-se fomentar a qualificação de recursos humanos altamente especializados para lidar com sistemas de monitoração e controle de tráfego urbano, no meio acadêmico e fora dele. O resultado esperado é um protótipo funcional de uma ferramenta computacional, o simulador SOMA-Sim, capaz de exercitar uma dada configuração de modelos de componentes. O objetivo da ferramenta é capacitar a simulação realista de componentes de sistemas de monitoração e controle de sistemas de tráfego a um custo operacional reduzido. A configuração do sistema deve ser fornecida pelo usuário da ferramenta, tipicamente um planejador de tráfego e de sistemas de controle e monitoração de tráfego. A ferramenta deve fornecer como resultado de sua utilização um conjunto de dados que permita ao usuário avaliar o desempenho de cada componente da configuração, bem como da configuração como um todo. As atividades se agrupam em quatro frentes: - modelagem de componentes de hardware; - modelagem de sistemas de comunicação; - modelagem de sistemas de banco de dados; - modelo genérico congregando todo o sistema de monitoração do projeto SOMA.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (2) . , Integrantes: Paulo Henrique Lemelle Fernandes - Coordenador / Fernando Luís Dotti - Integrante / Fabricio Leite Machado - Integrante / Bernardo Copstein - Integrante / Ney Laert Vilar Calazans - Integrante., Financiador(es): Ministério da Ciência, Tecnologia e Inovações - Auxílio financeiro., Número de produções C, T & A: 5

Prêmios