Bernardo Copstein

An environment for formal modeling and simulation of control systems

Leila Ribeiro, Bernardo Copstein, Michael da Costa Móra, 2000, Proceedings 33rd Annual Simulation Symposium (SS 2000).

Compositional Construction of Simulation Models Using Graph Grammars

Leila Ribeiro, Bernardo Copstein, L. Ribeiro, 1999, AGTIVE.

Simulation of Mobile Applications 1

Fernando Luís Dotti, Leila Ribeiro, Lucio Mauro Duarte, 2001 .