Alexandre Madeira
Has grant
Assistant Professor
PortugalResearch Interests
Explore related searches
Contact this professor
Get a free first email built on one of their papers, ready for you to edit and send yourself.
Recent Grants
Grant: Close
[Not executed] Verification frameworks on-demand: new challenges and applications
Open Date: 2019-01-01
Close Date:
Grant: Close
DaVinci -- Distributed Architectures: Variability and Interaction for Cyber-Physical Systems
Open Date: 2018-07-01
Close Date:
Grant: Close
KLEE - Coalgebraic Modeling and Analysis for Computational Synthetic Biology
Open Date: 2018-07-01
Close Date:
Grant: Close
TRUST -- Trustworthy Software Design with Alloy
Open Date: 2016-07-01
Close Date:
Grant: Close
DaLí - Dynamic Logics for cyber-physical systems: towards contract based design
Open Date: 2016-07-01
Close Date:
Articles (9)
Year:
2023
Year:
2023
Year:
2022
Year:
2021
Year:
2021
Year:
2021
Year:
2020
Year:
2020
Year:
2020
Collaborators (3)
Manuel A. Martins
Associate Professor
Universidade de Aveiro
Luis Soares Barbosa
Deputy Head
United Nations University
Alexander Knapp
Professor
University of Augsburg
ApplyKite TwinLearns as you applyMake your next move.
Prepare your application
Review drafts before you send them.