Welcome to Avelino Zorzo´s homepage !

 

  • Professor at PUCRS (Pontifícia Universidade Católica do Rio Grande do Sul), one of the most important universities in Brazil.
  • Researcher financed by CNPq (Brazilian research agency). Level 2.
  • Coordinator of the Dependable Systems Group - CNPq.

Research fields 
  • Fault-Tolerant Systems
  • Distributed Systems
  • Parallel Programming
  • Software Testing
 
Teaching 
  • Postgraduate courses
    1. Computabilidade e Complexidade de Algoritmos
    2. Dependable Systems
    3. Logic
    4. Computer Theory
    5. Distributed Computing
  • Undergraduate courses
    1. Lógica para Computação (in Portuguese)
    2. Sistemas Operacionais
    3. Technical Communication 
    4. Introduction to Computer Engineering
    5. Distributed Operating Systems 
    6. Compilers 
    7. Introduction to Informatics 
    8. Logic and Algebraic Structures
    9. Testing and Systems Dependability
    10. Programação Paralela e Distribuída

Lastest most important publications  (Complete list at CNPq)

  • 2011

  • NETTO, M. A. S.; MENON, S.; VIEIRA, H. V., COSTA, L. T., OLIVEIRA, F. M.; SAAD, R.; ZORZO, A. F.: Evaluating Load Generation in Virtualized Environments for Software Performance Testing. IPDPS 2011: 993-1000.
  • SILVEIRA, M. B.; RODRIGUES, E., ZORZO, A. F.; COSTA, L. T.; VIEIRA, H. V.; OLIVEIRA, F. M.: Generation of Scripts for Performance Testing Based on UML Models. SEKE 2011: 258-263
  • CZESKSTER, R. M.; FERNANDES, P.; SALES, A.; WEBER, T.; ZORZO, A. F.: Stochastic Model for QoS Assessment in Multi-tier Web Services. Electronic Notes Theoretical Compututer Science. 275: 53-72 (2011)

  • 2010

  • RODRIGUES, E. M.; VICCARI, L.; ZORZO, A. F.; GIMENES, I. M. PLeTs - Test Automation using Software Product Lines and Model Based Testing. In: The 22nd International Conference on Software Engineering and Knowledge Engineering, 2010, Redwood, EUA. SEKE 2010, 2010. v. 1. p. 1-6.

  • 2009

  • CAPOZUCCA, A.; GUELFI, N.; PELLICCIONE, P.; ROMANOVSKY, A.; ZORZO, A. F. Frameworks for designing and implementing dependable systems using Coordinated Atomic Actions: a comparative study. Journal of Systems and Software, v. 82, p. 207-228, 2009.
  • OROZCO, A. M. ; OLIVEIRA, K. ; OLIVEIRA, F. M. ; ZORZO, A. F. . Derivação de casos de testes funcionais:uma abordagem baseada em modelos UML. RESI : Revista Eletrônica de Sistemas de Informação, v. 8, p. 1-13, 2009.

  • 2008

  • PERALTA, K. P. ; OROZCO, A. M. ; ZORZO, A. F. . Specifying Security Aspects in UML Models. In: ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems, 2008, Toulouse - França. Security Aspects Workshop, 2008. v. 1. p. 1-10.

  • 2007
  • MENEGUZZI, F. R. ; ZORZO, A. F. ; MÓRA, M. ; LUCK, M. . Incorporating planning into BDI Systems. Scalable Computing. Practice and Experience, v. 8, p. 23-39, 2007.

  • 2006
  • CHANIN, R. ; CORRÊA, 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, Amsterdan, Holanda, v. 151, n. 3, p. 131-149, 2006.
  • CORREA, M. ; ZORZO, A. F. ; SCHEER, R. . Operating System Multilevel Load Balancing. In: 21stACM Symposium on Applied Computing, 2006, Dijon - France. SAC 2006, 2006. v. 1. p. 1467-1471.
  • CAPOZUCCA, A. ; GUELFI, N. ; PELLICCIONE, P. ; ROMANOVSKY, A. ; ZORZO, A. F. . CAA-DRIP: a framework for implementing Coordinated Atomic Actions. In: 17th IEEE Intenational Symposium on Software Reliability Engineering, 2006, Raleigh, EUA. ISSRE 2006, 2006. v. 1. p. 1-12.

  • 2005
  • ZORZO, A. F.; MENEGUZZI, F. R. An agent model for fault-tolerant systems. In: 20TH ACM Symposium on Applied Computing (SAC2005), Santa Fe- USA. ACM Press, 2005. v. 1, p. 60-65.

  • 2004
  • BORTOLAS, D. O.; ZORZO, A. F.; BEZERRA, E.; OLIVEIRA, F. M.. "Mutation-like Oriented Diversity for Reliability/Maintainability Improvement: A Distributed System Case Study". In: 19th International Symposium on Computer and Information Sciences, 2004, Antalya, Turquia. Lecture Notes on Computer Science (LNCS). Springer-Verlag, 2004. v. 1.
  • BERTOLINI, C.; BRENNER, L.; FERNANDES, P. H. L.; SALES, A.; ZORZO, A. F.. "Structured Stochastic Modeling of Fault-Tolerant Systems". In: 12th IEEE/ACM International Symposium on Modeling, Analysis, and Simulation of Computer and Telecomunication Ssystems, 2004, Volendam - Holanda. MASCOTS2004. IEEE Computer Society, 2004. v. 1, p. 1-8.
  • MENEGUZZI, F.; ZORZO, A. F.; MÓRA, M.. "Propositional Planning in BDI Agents". In: 19th ACM Symposium on Applied Computing (SAC2004), 2004, Nicosia, Chipre. p.58-63
  • ESPINDOLA, A. P.; BECKER, K.; ZORZO, A. F.. "An Extension to UML Components to Consider Distribution Issues in Early Phases of Application Development". In: 37th Hawaii International Conference on System Sciences (HICSS37), 2004, Big Island, Hawaii.
  • 2003
  • ZORZO, A. F.; ROMANOVSKY, A.; Periorellis, P. "Using Coordinated Atomic Actions for Building complex Web Applications". In: 8th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS2003), 2003, Guadalajara, Mexico.
  • ROMANOVSKY, A.; PERIORELLIS, P.; ZORZO, A. F. "Structuring Integrated Web Applications for Fault Tolerance". In: 6th IEEE International Symposium on Autonomous Decentralized Systems (ISADS2003), 2003, Pisa, Italy, p. 99-106.

  • 2002
  • ZORZO, A. F.; RANDELL, B.; ROMANOVSKY, A. "TLA Specification of a Mechanism for Concurrent Exception Handling". In: Paul Ezhilchelvan; Alexander Romanovsky, Concurrency in Dependable Computing , Chapter 3, Amsterdam - Holland, Kluwer Academic Publishers, 2002, p. 41-59. (Previously presented at Workshop on Concurrency in Dependable Computing (22nd International Conference on Petri Nets), 2001, Newcastle upon Tyne, UK, pp. 27-36.
  • XU, J.; RANDELL, B.; ROMANOVSKY, A.; STROUD, R.; ZORZO, A. F.; CANVER, E.; HENKE, F. V. "Rigorous Development of an Embedded Fault-Tolerant system based on Coordinated Atomic Actions". IEEE Transactions on Computers, USA, v. 51, n. 2, p. 164-179, 2002.

  • 1999
  • ZORZO, A. F.; STROUD, R. "A distributed object-oriented framework for dependable multiparty interactions". ACM Sigplan Notices , USA, v. 34, n. 10, p. 435-446, 1999. (OOPSLA99)
  • ZORZO, A. F. "Dependable Multiparty Interactions: A Case Study". In: Technology of Object-Oriented Languages and Systems - Europe99, 1999, Nancy, France, Proceedings of TOOLS99, IEEE Computer Society Press, 1999, p. 319-328.
  • ZORZO, A. F.; ROMANOVSKY, A.; XU, J.; RANDELL, B.; STROUD, R.; WELCH, I. Using Coordinated Atomic Actions To Design Safety-Critical Systems: A Production Cell Case Study. In: Software: Practice and Experience, Chichester - UK, v. 29, n. 8, p. 677-697, 1999.

III Workshop on Test and Fault Tolerance (III WTF - Workshop de Teste e Tolerancia a Falhas - 2002) - link

If you like games, have a look at Settlers of Catan. It is a very nice game and helped me a lot during my PhD. I've made very good friends playing the game - see our ranking. At that time I translated the rules from German to English. A friend of mine, Martin Beet, helped me a lot.

E-mail address: firstname.lastname at pucrs dot br

Links

Last updated: January, 10th 2011