m a u r o S i l v a

Teaching & Research


[ português ] 

View Mauro Silva's profile on LinkedIn

Some links:

Think about it...

Hard is to learn read, the rest is already written !

-- Anonymous

 

An image...

Mauro José Carlos e Silva

Master in Computer Science - Informatic Center - UFPE, November/2004

Bachelor in Computer Science - UNICAP, July/2001

Current Position

Professor at Faculdade dos Guararapes since Oct/2004

  • Professor and Monograph Coordinator

Senior System Engineer at C.E.S.A.R since May/2006

  • Technical Leader at Motorola's projects 

Courses [in portuguese]

Main Research Interests

Analysis, Project, and Object-oriented Programming.

Software Engineer

Programming in C/C++

Development for Mobile Devices

Formal Methods - Petri Nets

Publications

A Review of Productivity Factors and Strategies on Software Development. ICSEA (International Conference on Software Engineering Advances), Nice, France. 2010

Estimating LOC for OMA primitives: an approach based on correlation and regression analysis. SBES'2008, UNICAMP, SP. 2008

State MVC: Estendendo o Padrão MVC para Uso no Desenvolvimento de Aplicações para Dispositivos Móveis. SugarLoafPLoP´2007, Porto de Galinhas - PE. 2007

A Framework based on Petri Nets for Supporting Stepwise Modeling of Production Systems. Inderscience Journal Services Operations and Informatics, China, 2006.

A Framework based on Petri Nets for Supporting Stepwise Modelling of Production System. IEEE International Conference On Service Operations And Logistics And Informatics, 2005.

Modelling and Analysis of Inventory Policy: an approach based on Petri Nets. IEEE Transactions on Systems Man and Cybernetics, 2005.

On the Generalized Stochastic Petri Net Modeling of Message-Oriented Middleware Systems. 23rd IEEE International Performance Computing and Communications Conference, Phoenix, Arizona, 2004.

Performance Analysis of Message-Oriented Middleware Using Stochastic Petri Nets. 22 Simpósio Brasileiro de Redes de Computadores, Gramado, RS, 2004.

MODELING OF MANUFACTURING SYSTEM FOR PERFORMANCE ANALYSIS: AN APPROACH BASED ON GSPN. European Simulation and Modelling Conference, 2003.

Data-Dependency Analysis: an Approach Based on Petri Nets. Advanced Simulation Technologies Conference, 2002.

Resource sharing Estimation by Petri Nets in PISH hardware/software co-design system. SMC 2000 IEEE Systems, Man, and cybernetics society, 2000.

Resume

Plataforma Lattes - CNPq [in portuguese]

View Mauro Silva's profile on LinkedIn

E-m@il

ProfessorMauroSilva .at. gmail.com