Decision Support Tool for Dynamic Scheduling. - Luís Ferreirinha; André S. Santos 001; Ana Maria Madureira; M. Leonilde R. Varela; João A. Bastos (HIS, 2018)

Ontology-Based Meta-model for Hybrid Collaborative Scheduling. - Leonilde Rocha Varela; Goran D. Putnik; Vijaya Manupti; Ana Madureira; André S. Santos 001; Gabriela Amaral; Luís Ferreirinha (HIS, 2018)

On the Path to Buffer Overflow Detection by Model Checking the Stack of Binary Programs. - Luís Ferreirinha; Ibéria Medeiros (ENASE, 2024)