David Miguel Ramalho Pereira


AuthID: R-000-45D

Confirmed Publications: 31



21
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
INDEXED IN: Scopus CrossRef: 2
IN MY: ORCID | CIÊNCIAVITAE
22
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 in PROCEEDINGS OF THE 2015 10TH IEEE CONFERENCE ON INDUSTRIAL ELECTRONICS AND APPLICATIONS
INDEXED IN: Scopus WOS CrossRef: 7
IN MY: ORCID | CIÊNCIAVITAE
23
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
INDEXED IN: Scopus CrossRef
IN MY: ORCID | CIÊNCIAVITAE
24
TITLE: A Compositional Monitoring Framework for Hard Real-Time Systems
AUTHORS: Pedro, AD ; Pereira, D ; Pinho, LM ; Pinto, JS ;
PUBLISHED: 2014, SOURCE: 6th NASA Formal Methods Symposium (NFM) in NASA FORMAL METHODS, NFM 2014, VOLUME: 8430
INDEXED IN: Scopus WOS DBLP CrossRef: 3 Handle
IN MY: ORCID
25
TITLE: RTFM-lang static semantics for systems with mixed criticality
AUTHORS: Lindgren, P; Eriksson, J; Lindner, M; Pereira, D ; Pinho, LM ;
PUBLISHED: 2014, SOURCE: Ada User Journal, VOLUME: 35, ISSUE: 2
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
26
TITLE: Towards a Runtime Verification Framework for the Ada Programming Language
AUTHORS: Pedro, AD ; Pereira, D ; Pinho, LM ; Pinto, JS ;
PUBLISHED: 2014, SOURCE: 19th Ada-Europe International Conference on Reliable Software Technologies in RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2014, VOLUME: 8454
INDEXED IN: Scopus WOS DBLP CrossRef: 3 Handle
IN MY: ORCID
27
TITLE: Deciding Regular Expressions (In-)Equivalence in Coq
AUTHORS: Nelma Moreira ; David Pereira ; Simão Melo de Sousa ;
PUBLISHED: 2012, SOURCE: RAMiCS, VOLUME: 7560 LNCS
INDEXED IN: Scopus DBLP CrossRef: 10
IN MY: ORCID
28
TITLE: Partial Derivative Automata Formalized in Coq  Full Text
AUTHORS: Almeida, JB ; Moreira, N ; Pereira, D ; de Sousa, SM ;
PUBLISHED: 2011, SOURCE: 15th International Conference on Implementation and Application of Automata in IMPLEMENTATION AND APPLICATION OF AUTOMATA, VOLUME: 6482
INDEXED IN: Scopus WOS DBLP CrossRef: 9 Handle
IN MY: ORCID
29
TITLE: Formal Modelling of Emotions in BDI Agents  Full Text
AUTHORS: Pereira, D ; Oliveira, E ; Moreira, N ;
PUBLISHED: 2008, SOURCE: 8th International Workshop on Computational Logic in Multi-Agent Systems in COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, VOLUME: 5056
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID
30
TITLE: KAT and PHL in Coq  Full Text
AUTHORS: Pereira, D ; Moreira, N ;
PUBLISHED: 2008, SOURCE: Conference on Compilers, Related Technologies and Applications in COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 5, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID
Page 3 of 4. Total results: 31.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service