Dalton Dario Serey Guerrero
List of publications from the DBLP Bibliography Server - FAQ| 2012 | ||
|---|---|---|
| c11 | João Brunet, Roberto Almeida Bittencourt, Dalton Serey Guerrero, Jorge C. A. de Figueiredo: On the Evolutionary Nature of Architectural Violations. WCRE 2012: 257-266 | |
| 2011 | ||
| j4 | Cássio L. Rodrigues, Karina R. G. da Silva, Henrique do N. Cunha, Jorge C. A. de Figueiredo, Dalton Dario Serey Guerrero, Elmar U. K. Melcher: Enhancing IP cores specifications using hierarchical composition and set theory. Design Autom. for Emb. Sys. 15(3-4): 225-245 (2011) | |
| c10 | João Brunet, Dalton Serey Guerrero, Jorge C. A. de Figueiredo: Structural conformance checking with design tests: An evaluation of usability and calability. ICSM 2011: 143-152 | |
| 2010 | ||
| c9 | Mirna Carelli Oliveira Maia, Roberto Almeida Bittencourt, Jorge Cesar Abrantes de Figueiredo, Dalton Dario Serey Guerrero: The Hybrid Technique for Object-Oriented Software Change Impact Analysis. CSMR 2010: 252-255 | |
| c8 | Roberto Almeida Bittencourt, Gustavo Jansen de Souza Santos, Dalton Dario Serey Guerrero, Gail C. Murphy: Improving Automated Mapping in Reflexion Models Using Information Retrieval Techniques. WCRE 2010: 163-172 | |
| 2009 | ||
| c7 | Roberto Almeida Bittencourt, Dalton Dario Serey Guerrero: Comparison of Graph Clustering Algorithms for Recovering Software Architecture Module Views. CSMR 2009: 251-254 | |
| c6 | João Brunet, Dalton Serey Guerrero, Jorge C. A. de Figueiredo: Design tests: An approach to programmatically check your code against design rules. ICSE Companion 2009: 255-258 | |
| 2008 | ||
| j3 | Eduardo M. Colaço, Marcelo Iury S. Oliveira, Alexandro S. Soares, Francisco Vilar Brasileiro, Dalton Serey Guerrero: Using a file working set model to speed up the recovery of Peer-to-Peer backup systems. Operating Systems Review 42(6): 64-70 (2008) | |
| c5 | Lile Hattori, Dalton Serey Guerrero, Jorge C. A. de Figueiredo, João Brunet, Jemerson Damásio: On the Precision and Accuracy of Impact Analysis Techniques. ACIS-ICIS 2008: 513-518 | |
| c4 | Cássio L. Rodrigues, Fabio Jorge Morais, Leandro Max L. Silva, Karina R. G. da Silva, Jorge C. A. de Figueiredo, Dalton Dario Serey Guerrero, Elmar U. K. Melcher: Functional verification methodology using Hierarchical Coloured Petri Nets-based testbenches. SMC 2008: 2093-2098 | |
| 2006 | ||
| c3 | Cássio L. Rodrigues, Paulo E. S. Barbosa, Jairson M. Cabral, Jorge C. A. de Figueiredo, Dalton Serey Guerrero: A Bag-of-Tasks Approach for State Space Exploration Using Computational Grids. SEFM 2006: 226-235 | |
| 2005 | ||
| j2 | Fabrício Vale de Azevedo Guerra, Jorge Cesar Abrantes de Figueiredo, Dalton Serey Guerrero: Protocol Performance Analysis Using a Timed Extension for an Object Oriented Petri Net Language. Electr. Notes Theor. Comput. Sci. 130: 187-209 (2005) | |
| 2004 | ||
| j1 | Emerson Ferreira de Araújo Lima, Jorge C. A. de Figueiredo, Dalton Serey Guerrero: Using Coloured Petri Nets to Compare Mobile Agent Design Patterns. Electr. Notes Theor. Comput. Sci. 95: 287-305 (2004) | |
| c2 | Cássio L. Rodrigues, Dalton Serey Guerrero, Jorge C. A. de Figueiredo: Model checking in object-oriented Petri nets. SMC (5) 2004: 4977-4982 | |
| 2001 | ||
| c1 | Dalton Serey Guerrero, Jorge C. A. de Figueiredo, Angelo Perkusich: An Object-Based Modular CPN Approach: Its Application to the Specification of a Cooperative Editing Environment. Concurrent Object-Oriented Programming and Petri Nets 2001: 338-354 | |
Data released under the ODC-BY 1.0 license — See also our legal information page