The Xthreads library: Design, implementation, and applications. - Janche Sang; Felipe Knop; Vernon Rego; Jenq Kuen Lee; Chung-Ta King (COMPSAC, 1993)

Failure-Resilient Computations in the EcliPSe System. - Felipe Knop; Vernon Rego; Vaidy S. Sunderam; Adam Ferrari (ICPP (3), 1994)

An introduction to fault tolerant parallel simulation with EcliPSe. - Felipe Knop; Edward Mascarenhas; Vernon Rego; Vaidy S. Sunderam (WSC, 1994)

ParaSol: A Multithreaded System for Parallel Simulation Based on Mobile Threads. - Edward Mascarenhas; Felipe Knop; Vernon Rego (WSC, 1995)

Concurrent and fail-safe replicated simulations on heterogeneous networks: An introduction to EcliPSe. - Felipe Knop; Edward Mascarenhas; Vernon Rego; Vaidy S. Sunderam (Simul. Pract. Theory, 1995)

A Parallel GPSS Based on the ParaSol Simulation System. - Felipe Knop; Edward Mascarenhas; Vernon Rego (WSC, 1996)

Fail-safe concurrency in the EcliPSe system. - Felipe Knop; Vernon Rego; Vaidy S. Sunderam (Concurr. Pract. Exp., 1996)

Software architectures for fault-tolerant replications and multithreaded decompositions: Experiments with practical parallel simulation - Felipe Knop (1996)

Checkpoint and Recovery Methods in the ParaSol Simulation System. - Edward Mascarenhas; Felipe Knop; Reuben Pasquini; Vernon Rego (WSC, 1997)

Minimum Cost Adaptive Synchronization: Experiments with the ParaSol System. - Edward Mascarenhas; Felipe Knop; Vernon Rego (WSC, 1997)

Parallel Labeling of Three-Dimensional Clusters on Networks of Workstations. - Felipe Knop; Vernon Rego (J. Parallel Distributed Comput., 1998)

Minimum cost adaptive synchronization: experiments with the ParaSol system. - Edward Mascarenhas; Felipe Knop; Reuben Pasquini; Vernon Rego (ACM Trans. Model. Comput. Simul., 1998)