Fábio Pasini

According to our database, Fábio Pasini authored at least 3 papers between 2004 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2006

Verifying Object-based Graph Grammars.

Fernando Luís Dotti, Leila Ribeiro, Osmar Marchi dos Santos, Fábio Pasini

Softw. Syst. Model., 2006

2005

Code Generation for Parallel Applications Modelled with Object-Based Graph Grammars.

Fábio Pasini, Fernando Luís Dotti

Proceedings of the Second Brazilian Symposium on Formal Methods, 2005

2004

Uma Metodologia para a Verificação de Sistemas Parciais Modelados na Gramática de Grafos Baseada em Objetos.

Fernando Luís Dotti, Fábio Pasini, Osmar Marchi dos Santos

Proceedings of the 18th Brazilian Symposium on Software Engineering, 2004