Avelino F. Zorzo
List of publications from the DBLP Bibliography Server - FAQ
2009 | ||
---|---|---|
23 | EE | Alfredo Capozucca, Nicolas Guelfi, Patrizio Pelliccione, Alexander Romanovsky, Avelino Francisco Zorzo: Frameworks for designing and implementing dependable systems using Coordinated Atomic Actions: A comparative study. Journal of Systems and Software 82(2): 207-228 (2009) |
2006 | ||
22 | EE | Alfredo Capozucca, Nicolas Guelfi, Patrizio Pelliccione, Alexander Romanovsky, Avelino F. Zorzo: CAA-DRIP: a framework for implementing Coordinated Atomic Actions. ISSRE 2006: 385-394 |
21 | EE | Mônica Corrêa, Avelino Francisco Zorzo, Roque Scheer: Operating system multilevel load balancing. SAC 2006: 1467-1471 |
20 | EE | Rafael Chanin, Mônica Corrêa, Paulo Fernandes, Afonso Sales, Roque Scheer, Avelino F. Zorzo: Analytical Modeling for Operating System Schedulers on NUMA Systems. Electr. Notes Theor. Comput. Sci. 151(3): 131-149 (2006) |
2005 | ||
19 | EE | Avelino F. Zorzo, Ingrid Jansch-Pôrto, Fabíola Gonçalves Pereira Greve: Third Workshop on Theses and Dissertations on Dependable Computing. LADC 2005: 261 |
18 | EE | Avelino F. Zorzo, Felipe Rech Meneguzzi: An agent model for fault-tolerant systems. SAC 2005: 60-65 |
2004 | ||
17 | EE | Felipe Rech Meneguzzi, Avelino F. Zorzo, Michael C. Móra: Mapping Mental States into Propositional Planning. AAMAS 2004: 1514-1515 |
16 | EE | Anete Persch Espindola, Karin Becker, Avelino F. Zorzo: An Extension to UML Components to Consider Distribution Issues in Early Phases of Application Development. HICSS 2004 |
15 | EE | Daniel O. Bortolas, Avelino F. Zorzo, Eduardo A. Bezerra, Flávio M. de Oliveira: Mutation-Like Oriented Diversity for Dependability Improvement: A Distributed System Case Study. ISCIS 2004: 917-926 |
14 | EE | Cristiano Bertolini, Leonardo Brenner, Paulo Fernandes, Afonso Sales, Avelino F. Zorzo: Structured Stochastic Modeling of Fault-Tolerant Systems. MASCOTS 2004: 139-146 |
13 | EE | Felipe Rech Meneguzzi, Avelino F. Zorzo, Michael da Costa Móra: Propositional planning in BDI agents. SAC 2004: 58-63 |
2003 | ||
12 | EE | Alexander B. Romanovsky, Panos Periorellis, Avelino F. Zorzo: Structuring Integrated Web Applications for Fault Tolerance. ISADS 2003: 99-106 |
11 | EE | Avelino F. Zorzo, Francisco V. Brasileiro, Ingrid Jansch-Pôrto: Second Workshop on Theses and Dissertations in Dependable Computing. LADC 2003: 363 |
10 | EE | Avelino F. Zorzo, Panayiotis Periorellis, Alexander Romanovsky: Using Co-ordinated Atomic Actions for Building Complex Web Applications: A Learning Experience. WORDS 2003: 288-295 |
2002 | ||
9 | Lillian N. Cassel, Gordon Davies, Deepak Kumar, Ralf Denzer, A. E. N. Hacquebard, Richard J. LeBlanc, Luiz Ernesto Merkle, Fred Mulder, Zeljko Panian, Ricardo Augusto da Luz Reis, Eric Roberts, Paolo Rocchi, Maarten van Veen, Avelino F. Zorzo: Computing: The Shape of an Evolving Discipline. Informatics Curricula and Teaching Methods 2002: 131-138 | |
8 | EE | Jie Xu, Brian Randell, Alexander B. Romanovsky, Robert J. Stroud, Avelino F. Zorzo, Ercument Canver, Friedrich W. von Henke: Rigorous Development of an Embedded Fault-Tolerant System Based on Coordinated Atomic Actions. IEEE Trans. Computers 51(2): 164-179 (2002) |
2001 | ||
7 | Alexander B. Romanovsky, Avelino F. Zorzo: A distributed coordinated atomic action scheme. Comput. Syst. Sci. Eng. 16(4): 237-247 (2001) | |
1999 | ||
6 | EE | Jie Xu, Brian Randell, Alexander B. Romanovsky, Robert J. Stroud, Avelino F. Zorzo, Ercument Canver, Friedrich W. von Henke: Rigorous Development of a Safety-Critical System Based on Coordinated Atomic Actions. FTCS 1999: 68-75 |
5 | EE | Giovanna Di Marzo Serugendo, Nicolas Guelfi, Alexander B. Romanovsky, Avelino F. Zorzo: Formal Development and Validation of Java Dependable Distributed Systems. ICECCS 1999: 98-108 |
4 | EE | Avelino F. Zorzo, Robert J. Stroud: A Distributed Object-Oriented Framework for Dependable Multiparty Interactions. OOPSLA 1999: 435-446 |
3 | EE | Avelino Francisco Zorzo: Dependable Multiparty Interactions: A Case Study. TOOLS (29) 1999: 319-328 |
2 | Avelino F. Zorzo, Alexander B. Romanovsky, Jie Xu, Brian Randell, Robert J. Stroud, Ian Welch: Using Coordinated Atomic Actions to Design Safety-Critical Systems: a Production Cell Case Study. Softw., Pract. Exper. 29(8): 677-697 (1999) | |
1997 | ||
1 | Alexander B. Romanovsky, Avelino F. Zorzo: On Distribution of Coordinated Atomic Actions. Operating Systems Review 31.(4): 63-71 (1997) |