Luís Ferreirinha

According to our database, Luís Ferreirinha authored at least 3 papers between 2018 and 2024.

Collaborative distances:

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

2024

On the Path to Buffer Overflow Detection by Model Checking the Stack of Binary Programs.

Luís Ferreirinha, Ibéria Medeiros

Proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering, 2024

2018

Ontology-Based Meta-model for Hybrid Collaborative Scheduling.

Leonilde Rocha Varela, Goran D. Putnik, Vijaya Manupti, Ana Madureira, André S. Santos, Gabriela Amaral, Luís Ferreirinha

Proceedings of the Hybrid Intelligent Systems, 2018

Decision Support Tool for Dynamic Scheduling.

Luís Ferreirinha, André S. Santos, Ana Maria Madureira, M. Leonilde R. Varela, João A. Bastos

Proceedings of the Hybrid Intelligent Systems, 2018