Luís Ferreirinha

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 3

Top Topics

Buffer Overflow

Dynamic Scheduling

Top Venues

Publications

Luís Ferreirinha, Ibéria Medeiros
On the Path to Buffer Overflow Detection by Model Checking the Stack of Binary Programs. ENASE (2024)
Luís Ferreirinha, André S. Santos, Ana Maria Madureira, M. Leonilde R. Varela, João A. Bastos
Decision Support Tool for Dynamic Scheduling. HIS (2018)
Leonilde Rocha Varela, Goran D. Putnik, Vijaya Manupti, Ana Madureira, André S. Santos, Gabriela Amaral, Luís Ferreirinha
Ontology-Based Meta-model for Hybrid Collaborative Scheduling. HIS (2018)