Login

André Pedro (Publications)

André Pedro (Publications)

André Pedro (Publications)

PhD University of Minho, Portugal
Research Associate

André Pedro was born in Covilhã, Portugal, in 1987. In 2009 he received his degree in Computer science engineering at Universidade da Beira Interior, Covilhã. In 2011 he has concluded the Master's degree in Computer science engineering at Universidade do Minho, Braga with thesis "Learning and testing Stochastic discrete event systems". In 2018 he concluded his Phd study where he highlighted the ADA contracts for verification of real-time systems. His research interests include: discrete event systems, real-time scheduling, and model-checking.

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Thesis
Dynamic contracts for verification and enforcement of real-time systems properties CISTER-TR-180413 
André PedroPhD Thesis. 10, Apr, 2018. Braga.Jury Members: José Covas (UMinho), Alan Burns (University of York), Simão Melo de Sousa (UBI), Fernando Silva (FCUP), Maria João Frade (UMinho), Luis Miguel Pinho (Co-supervisor).
Journal Papers
Runtime verification of autopilot systems using a fragment of MTL-∫ CISTER-TR-170802 
André Pedro, Jorge Sousa Pinto, David Pereira, Luis Miguel PinhoInternational Journal on Software Tools for Technology Transfer (STTT), Springer Berlin Heidelberg. Aug 2018, Volume 20, Issue 4, pp 379-395.
Logic-based schedulability analysis for compositional hard real-time embedded systems CISTER-TR-150411 
André Pedro, David Pereira, Luis Miguel Pinho, Jorge Sousa PintoSIGBED Review (SIGBED Rev.), ACM. Feb 2015, Volume 12, Issue 1, pp 56-64.
Conference or Workshop Papers
SMT-based Schedulability Analysis using RMTL-∫ CISTER-TR-161101 
André Pedro, David Pereira, Luis Miguel Pinho, Jorge Sousa PintoIEEE Real-Time Systems Symposium (RTSS 2016). 29, Nov to 2, Dec, 2016, CRTS. Porto, Portugal.
Monitoring for a decidable fragment of MTLD CISTER-TR-151009 
André Pedro, David Pereira, Luis Miguel Pinho, Jorge Sousa PintoThe 15th International Conference on Runtime Verification (RV'15). 22 to 25, Sep, 2015. Vienna, Austria.
Towards a Runtime Verification Framework for the Ada Programming Language CISTER-TR-140305 
André Pedro, David Pereira, Luis Miguel Pinho, Jorge Sousa PintoLecture Notes in Computer Science, Reliable Software Technologies – Ada-Europe 2014 (LNCS), Springer International Publishing. 23 to 27, Aug, 2014, 8454, pp 58-73.
A Compositional Monitoring Framework for Hard Real-Time Systems CISTER-TR-140104 
André Pedro, David Pereira, Luis Miguel Pinho, Jorge Sousa PintoNASA Formal Methods Symposium 2014 (NFM14), Springer International Publishing. 29, Apr, 2014, LNCS 8430, pp 16-30. Houston, TX, U.S.A..
Logic-based Schedulability Analysis for Compositional Hard Real-Time Embedded Systems CISTER-TR-131201 
André Pedro, David Pereira, Luis Miguel Pinho, Jorge Sousa Pinto6th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2013). 3, Dec, 2013. Vancouver, Canada.Co-located within the IEEE Real-Time Systems Symposium (RTSS'13).
Conference or Workshop Posters/Demos
Formal Contracts for Runtime Verification Support in the Ada Programming Language CISTER-TR-150412 
André Pedro, David Pereira, Luis Miguel Pinho, Jorge Sousa PintoPoster presented in The 28th GI/ITG International Conference on Architecture of Computing Systems (ARCS 2015). 24 to 26, Mar, 2015. Porto, Portugal.
Verification of Hard Real-Time Systems CISTER-TR-140608 
David Pereira, André Pedro, Luis Miguel PinhoPoster presented in CISTER 1st Industrial Workshop on Real-Time and Embedded Systems (CiWork 2013). 18, Jun, 2013. Porto, Portugal.
Towards Specification and Verification Frameworks for Concurrent Real-Time Systems CISTER-TR-130109 
David Pereira, André Pedro, Luis Miguel Pinho, Jorge Sousa PintoPoster presented in High Integrity Language Technology ACM SIGAda’s Annual International Conference (HILT 2012). 2 to 6, Dec, 2012. Boston, U.S.A..