David Miguel Ramalho Pereira
AuthID: R-000-45D
31
TITLE: A Formal Perspective on IEC 61499 Execution Control Chart Semantics
AUTHORS: Per Lindgren; Marcus Lindner; David Pereira; Luis Miguel Pinho ;
PUBLISHED: 2015, SOURCE: 13th IEEE International Symposium on Parallel and Distributed Processing with Applications in 2015 IEEE TRUSTCOM/BIGDATASE/ISPA, VOL 3, VOLUME: 3
AUTHORS: Per Lindgren; Marcus Lindner; David Pereira; Luis Miguel Pinho ;
PUBLISHED: 2015, SOURCE: 13th IEEE International Symposium on Parallel and Distributed Processing with Applications in 2015 IEEE TRUSTCOM/BIGDATASE/ISPA, VOL 3, VOLUME: 3
32
TITLE: Response Time for IEC 61499 over Ethernet
AUTHORS: Per Lindgren; Johan Eriksson; Marcus Lindner; Andreas Lindner; David Pereira; Luis Miguel Pinho;
PUBLISHED: 2015, SOURCE: 13th IEEE International Conference on Industrial Informatics (INDIN) in PROCEEDINGS 2015 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN)
AUTHORS: Per Lindgren; Johan Eriksson; Marcus Lindner; Andreas Lindner; David Pereira; Luis Miguel Pinho;
PUBLISHED: 2015, SOURCE: 13th IEEE International Conference on Industrial Informatics (INDIN) in PROCEEDINGS 2015 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN)
INDEXED IN: 
WOS
WOS33
TITLE: Well-formed Control Flow for Critical Sections in RTFM-core
AUTHORS: Per Lindgren; Marcus Lindner; Andreas Lindner; David Pereira; Luis Miguel Pinho;
PUBLISHED: 2015, SOURCE: 13th IEEE International Conference on Industrial Informatics (INDIN) in PROCEEDINGS 2015 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN)
AUTHORS: Per Lindgren; Marcus Lindner; Andreas Lindner; David Pereira; Luis Miguel Pinho;
PUBLISHED: 2015, SOURCE: 13th IEEE International Conference on Industrial Informatics (INDIN) in PROCEEDINGS 2015 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN)
INDEXED IN: WOS
WOS34
TITLE: RTFM-core: Language and Implementation
AUTHORS: Per Lindgren; Marcus Lindner; Andreas Lindner; David Pereira; Luis Miguel Pinho;
PUBLISHED: 2015, SOURCE: 10th IEEE Conference on Industrial Electronics and Applications in PROCEEDINGS OF THE 2015 10TH IEEE CONFERENCE ON INDUSTRIAL ELECTRONICS AND APPLICATIONS
AUTHORS: Per Lindgren; Marcus Lindner; Andreas Lindner; David Pereira; Luis Miguel Pinho;
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: WOS
WOS35
TITLE: A Real-Time Semantics for the IEC 61499 standard
AUTHORS: Lindgren, P; Lindner, M; Lindner, A; Vyatkin, V; Pereira, D; Pinho, LM;
PUBLISHED: 2015, SOURCE: 20th IEEE Conference on Emerging Technologies and Factory Automation (ETFA) in PROCEEDINGS OF 2015 IEEE 20TH CONFERENCE ON EMERGING TECHNOLOGIES & FACTORY AUTOMATION (ETFA), VOLUME: 2015-October
AUTHORS: Lindgren, P; Lindner, M; Lindner, A; Vyatkin, V; Pereira, D; Pinho, LM;
PUBLISHED: 2015, SOURCE: 20th IEEE Conference on Emerging Technologies and Factory Automation (ETFA) in PROCEEDINGS OF 2015 IEEE 20TH CONFERENCE ON EMERGING TECHNOLOGIES & FACTORY AUTOMATION (ETFA), VOLUME: 2015-October
36
TITLE: Run-time Monitoring Architecture for RealTime Systems
AUTHORS: Geoffrey Nelissen; David Pereira; Luís M Pinho;
PUBLISHED: 2015, SOURCE: INForum - Simpósio de Informática (INFORUM 2015).
AUTHORS: Geoffrey Nelissen; David Pereira; Luís M Pinho;
PUBLISHED: 2015, SOURCE: INForum - Simpósio de Informática (INFORUM 2015).
INDEXED IN: 
Handle
Handle37
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
AUTHORS: Lindgren, P; Eriksson, J; Lindner, M; Pereira, D; Pinho, LM;
PUBLISHED: 2014, SOURCE: Ada User Journal, VOLUME: 35, ISSUE: 2
INDEXED IN: 
Scopus
Scopus IN MY: 
ORCID
ORCID38
TITLE: Towards certified program logics for the verification of imperative programs
AUTHORS: David M Ramalho Pereira;
PUBLISHED: 2013
AUTHORS: David M Ramalho Pereira;
PUBLISHED: 2013
INDEXED IN: Handle
Handle