David Miguel Ramalho Pereira
AuthID: R-000-45D
21
TITLE: DEMO ABSTRACT - Run-Time Monitoring Environments for Real-Time and Safety Critical Systems
AUTHORS: Geoffrey Nelissen; Humberto Carvalho; David Pereira; Eduardo Tovar ;
PUBLISHED: 2016, SOURCE: 22nd IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) in 2016 IEEE REAL-TIME AND EMBEDDED TECHNOLOGY AND APPLICATIONS SYMPOSIUM (RTAS)
AUTHORS: Geoffrey Nelissen; Humberto Carvalho; David Pereira; Eduardo Tovar ;
PUBLISHED: 2016, SOURCE: 22nd IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) in 2016 IEEE REAL-TIME AND EMBEDDED TECHNOLOGY AND APPLICATIONS SYMPOSIUM (RTAS)
INDEXED IN: 
WOS
WOS22
TITLE: Measuring the intuitive response of users when faced with different interactive paradigms to control a gastroenterology CAD system
AUTHORS: Abrantes, D; Gomes, P; Pereira, D; Coimbra, M ;
PUBLISHED: 2016, SOURCE: 38th Annual International Conference of the IEEE-Engineering-in-Medicine-and-Biology-Society (EMBC) in 2016 38TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC)
AUTHORS: Abrantes, D; Gomes, P; Pereira, D; Coimbra, M ;
PUBLISHED: 2016, SOURCE: 38th Annual International Conference of the IEEE-Engineering-in-Medicine-and-Biology-Society (EMBC) in 2016 38TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC)
23
TITLE: Towards certified compilation of RTFM-core applications
AUTHORS: Lindgren, P; Lindner, M; Pereira, D; Pinho, LM;
PUBLISHED: 2016, SOURCE: 21st IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2016 in IEEE International Conference on Emerging Technologies and Factory Automation, ETFA, VOLUME: 2016-November
AUTHORS: Lindgren, P; Lindner, M; Pereira, D; Pinho, LM;
PUBLISHED: 2016, SOURCE: 21st IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2016 in IEEE International Conference on Emerging Technologies and Factory Automation, ETFA, VOLUME: 2016-November
24
TITLE: A Comparison of Formal Verification Approaches for IEC 61499
AUTHORS: Blech, JO; Lindgren, P; Pereira, D; Vyatkin, V; Zoitl, A;
PUBLISHED: 2016, SOURCE: 21st IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2016 in IEEE International Conference on Emerging Technologies and Factory Automation, ETFA, VOLUME: 2016-November
AUTHORS: Blech, JO; Lindgren, P; Pereira, D; Vyatkin, V; Zoitl, A;
PUBLISHED: 2016, SOURCE: 21st IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2016 in IEEE International Conference on Emerging Technologies and Factory Automation, ETFA, VOLUME: 2016-November
25
TITLE: Towards Certified Compilation of RTFM-core Applications
AUTHORS: Lindgren, P; Lindner, M; Pereira, D; Pinho, LM;
PUBLISHED: 2016, SOURCE: 21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) in 2016 IEEE 21ST INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA)
AUTHORS: Lindgren, P; Lindner, M; Pereira, D; Pinho, LM;
PUBLISHED: 2016, SOURCE: 21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) in 2016 IEEE 21ST INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA)
INDEXED IN: WOS
WOS26
TITLE: Poster Abstract: REVERT: Runtime Verification for Real-Time Systems
AUTHORS: Sangeeth Kochanthara; Geoffrey Nelissen; David Pereira; Rahul Purandare;
PUBLISHED: 2016, SOURCE: 37th IEEE Real-Time Systems Symposium (RTSS) in PROCEEDINGS OF 2016 IEEE REAL-TIME SYSTEMS SYMPOSIUM (RTSS)
AUTHORS: Sangeeth Kochanthara; Geoffrey Nelissen; David Pereira; Rahul Purandare;
PUBLISHED: 2016, SOURCE: 37th IEEE Real-Time Systems Symposium (RTSS) in PROCEEDINGS OF 2016 IEEE REAL-TIME SYSTEMS SYMPOSIUM (RTSS)
INDEXED IN: WOS
WOS27
TITLE: Response time for IEC 61499 over Ethernet
AUTHORS: Lindgren, P; Eriksson, J; Lindner, M; Lindner, A; Pereira, D; Pinho, LM;
PUBLISHED: 2015, SOURCE: 13th International Conference on Industrial Informatics, INDIN 2015 in Proceeding - 2015 IEEE International Conference on Industrial Informatics, INDIN 2015
AUTHORS: Lindgren, P; Eriksson, J; Lindner, M; Lindner, A; Pereira, D; Pinho, LM;
PUBLISHED: 2015, SOURCE: 13th International Conference on Industrial Informatics, INDIN 2015 in Proceeding - 2015 IEEE International Conference on Industrial Informatics, INDIN 2015
28
TITLE: Well-formed control flow for critical sections in RTFM-core
AUTHORS: Lindgren, P; Lindner, M; Lindner, A; Pereira, D; Pinho, LM;
PUBLISHED: 2015, SOURCE: 13th International Conference on Industrial Informatics, INDIN 2015 in Proceeding - 2015 IEEE International Conference on Industrial Informatics, INDIN 2015
AUTHORS: Lindgren, P; Lindner, M; Lindner, A; Pereira, D; Pinho, LM;
PUBLISHED: 2015, SOURCE: 13th International Conference on Industrial Informatics, INDIN 2015 in Proceeding - 2015 IEEE International Conference on Industrial Informatics, INDIN 2015
29
TITLE: Abstract Timers and their Implementation onto the ARM Cortex-M family of MCUs
AUTHORS: Lindgren, P; Fresk, E; Lindner, M; Lulea, AL; Pereira, D; Pinho, LM;
PUBLISHED: 2015, SOURCE: 5th Embedded Operating System Workshop - Embed With Linux 2015, EWiLi 2015 in CEUR Workshop Proceedings, VOLUME: 1464
AUTHORS: Lindgren, P; Fresk, E; Lindner, M; Lulea, AL; Pereira, D; Pinho, LM;
PUBLISHED: 2015, SOURCE: 5th Embedded Operating System Workshop - Embed With Linux 2015, EWiLi 2015 in CEUR Workshop Proceedings, VOLUME: 1464
INDEXED IN: 
Scopus
Scopus IN MY: 
ORCID
ORCID30
TITLE: RTFM-core: Language and implementation
AUTHORS: Lindgren, P; Lindner, M; Lindner, A; Pereira, D; Pinho, LM;
PUBLISHED: 2015, SOURCE: 10th IEEE Conference on Industrial Electronics and Applications, ICIEA 2015 in Proceedings of the 2015 10th IEEE Conference on Industrial Electronics and Applications, ICIEA 2015
AUTHORS: Lindgren, P; Lindner, M; Lindner, A; Pereira, D; Pinho, LM;
PUBLISHED: 2015, SOURCE: 10th IEEE Conference on Industrial Electronics and Applications, ICIEA 2015 in Proceedings of the 2015 10th IEEE Conference on Industrial Electronics and Applications, ICIEA 2015
