A simulation environment for protocol specifications described in ESTELLE. - Jean-Pierre Courtiat; Aloysio Pedroza; Jean-Michel Ayache (PSTV, 1985)

Design, Specification and Validation of Hierarchies of Protocols in Distributed Systems. - Michel Diaz; Jean-Pierre Courtiat; Aloysio Pedroza (Current Trends in Concurrency, 1986)

Sistema de Auxílio ao Projeto de Protocolos de Comunicação para Redes de Computadores. - Aloysio De Castro Pinto Pedroza (SBES, 1987)

A methodology for the implementation of protocols in hardware from a formal description. - Luci Pirmez; Aloysio Pedroza; Antonio Carneiro de Mesquita Filho (PSTV, 1995)

Analysis of different protocol description styles in VHDL for high-level synthesis. - Maher Rahmouni; Ahmed Amine Jerraya; Polen Kission; Antonio Carneiro de Mesquita Filho; Aloysio Pedroza; Luci Pirmez (EURO-DAC, 1996)

Hierarchical Management Protocol for Large Networks. - Marcial Porto Fernandez; Gardel Moreira Delfino; Aloysio De Castro Pinto Pedroza (LANOMS, 1999)

QoS provisioning across a DiffServ domain using policy-based management. - Marcial Porto Fernandez; Aloysio De Castro Pinto Pedroza; José Ferreira de Rezende (GLOBECOM, 2001)

Policy-Based Management Providing QoS in a DiffServ Domain. - Marcial Porto Fernandez; Aloysio De Castro Pinto Pedroza; José Ferreira de Rezende (LANOMS, 2001)

Using Genetic Programming and High Level Synthesis to Design Optimized Datapath. - Sérgio G. Araújo; Antonio Carneiro de Mesquita Filho; Aloysio Pedroza (ICES, 2003)

Optimized Datapath Design by Evolutionary Computation. - Sérgio G. Araújo; Antonio Carneiro de Mesquita Filho; Aloysio Pedroza (IWSOC, 2003)

A Scenario-Based Approach to Protocol Design Using Evolutionary Techniques. - Sérgio G. Araújo; Antonio Carneiro de Mesquita Filho; Aloysio Pedroza (EvoWorkshops, 2004)

Improvements in FSM Evolutions from Partial Input/Output Sequences. - Sérgio G. Araújo; Antonio Carneiro de Mesquita Filho; Aloysio Pedroza (International Conference on Computational Science, 2004)

Dynamic QoS Provisioning in DiffServ Domains Using Fuzzy Logic Controllers. - Marcial Porto Fernandez; Aloysio De Castro Pinto Pedroza; José Ferreira de Rezende (Telecommun. Syst., 2004)

RECOLLVE - REpresenting COLLaboration in Virtual Environments. - José Valentim Dos Santos Filho; Roberta Lima-Gomes; Aloysio De Castro Pinto Pedroza; Jean-Pierre Courtiat (CGVR, 2008)

The Agent-Based Architecture of RECOLLVE. - José Valentim Dos Santos Filho; Roberta Lima-Gomes; Aloysio De Castro Pinto Pedroza; Jean-Pierre Courtiat (SBSC, 2008)

Coordinating collaborativework with RECOLLVE. - José Valentim Dos Santos Filho; Roberta Lima-Gomes; Rodrigo Moreira Bacurau; Aloysio De Castro Pinto Pedroza; Jean-Pierre Courtiat (CTS, 2009)

Underwater monitoring system for oil exploration using acoustic sensor networks. - Fabrício Jorge Lopes Ribeiro; Aloysio De Castro Pinto Pedroza; Luís Henrique Maciel Kosmalski Costa (Telecommun. Syst., 2015)

Proposing, specifying, and validating a controller-based routing protocol for a clean-slate Named-Data Networking. - Joao Vitor Torres; Igor Drummond Alvarenga; Aloysio De Castro Pinto Pedroza; Otto Carlos M. B. Duarte (NOF, 2016)

Anytime route planning with constrained devices. - Marcus de Lima Braga; Alyson de Jesus dos Santos; Aloysio De Castro Pinto Pedroza; Luís Henrique M. K. Costa; Marcelo Dias de Amorim; Yacine Ghamri-Doudane (Comput. Electr. Eng., 2016)

Impact of relative speed on node vicinity dynamics in VANETs. - Dianne S. V. Medeiros; Dayro A. B. Hernandez; Miguel Elias M. Campista; Aloysio De Castro Pinto Pedroza (Wirel. Networks, 2019)