Browsing by advisors 1936

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:  

Showing results 1 to 15 of 15.
Issue DateTitleAuthor(s)TypeAccess
2016An elasticity controller for applications orquestrated with CloudifyFernandez Afonso, Carlos EduardoMaster thesis Open access
28-Nov-2013A bounded model checker for SPARK programsLourenço, Cláudio Filipe Belo da SilvaMaster thesis Open access
2013Bounded Model Checking de programas imperativosPereira, José João PeixotoMaster thesis Open access
2021Conversão para Why3 de formalizações em CoqFerreira, Bárbara Andreia CardosoMaster thesis Open access
10-Apr-2018Dynamic contracts for verification and enforcement of real-time systems propertiesPedro, André MatosDoctoral thesisOpen access
9-Jan-2020Early validation of system requirements and designMiranda, MarceloMaster thesis Open access
14-Dec-2011Extração automática de modelos de sistemas de tempo realCarvalho, André Ribeiro deMaster thesis Open access
14-Dec-2011Formal verification of Ada programs: an approach based on model checkingMartins, João Pedro Marques da SilvaMaster thesis Open access
5-Apr-2022Formalization of deep learning techniques with the Why3 proof platformSousa, Márcio Alexandre MotaMaster thesis Open access
14-Jul-2020Scalable trace analysis of distributed systems: finding data racesPereira, João Carlos MendesMaster thesis Open access
2-Jul-2018Single-assignment program verificationLourenço, Cláudio Filipe Belo da SilvaDoctoral thesisOpen access
12-Dec-2018Verificação funcional de controladores ArduinoBarbosa, Rafael Alexandre AntunesMaster thesis Open access
11-Apr-2022Verification of distributed algorithms with the Why3 toolCruz, Carla Isabel NovaisMaster thesis Open access
21-Oct-2011Verification, slicing, and visualization of programs with contractsCruz, Daniela daDoctoral thesisOpen access
19-Dec-2022Vulnerabilities preservation using code mutationCruz, Jorge Fernando Alves daMaster thesis Open access