Leila Ribeiro |
Research | Publications | Students | CV |
Main research areas:
Semantics/Verification of concurrent systems |
Graph grammars |
Bioinformatics/DNA Computing |
Software engineering, component-based design |
VeriTeS - Verificação, Validação e Teste de Sistemas Computacionais |
PLATUS |
TGV |
Int. Cooperation CNPq/INRIA | 2012 |
2014 |
BioSys - Modelagem e Análise Formal de Sistemas Biológicos | FAPERGS |
2011 |
2013 |
IQ-Mobile | Int. Cooperation CNPq/CNRS | ||
Laboratório de Bioinformática | FAPERGS | 2002 | 2003 |
GRAPHIT | Int. Cooperation CNPq/DLR | 1994 | 2002 |
DACHIA | FAPERGS | 2002 | 2003 |
QaPFor | FAPERGS | 1997 | 1999 |