Luis Miguel Rosário da Silva Pinho


AuthID: R-000-9SC

Confirmed Publications: 211



191
TITLE: Session summary: The future of IRTAW. the future of IRTAW  Full Text
AUTHORS: Vardanega, T; Pinho, LM ;
PUBLISHED: 2003, SOURCE: 12th International Workshop on Real-Time Ada, IRTAW '03 in Proceedings of the 12th International Workshop on Real-Time Ada, IRTAW '03
INDEXED IN: Scopus CrossRef
IN MY: ORCID | CIÊNCIAVITAE
192
TITLE: Verifying, validating and monitoring the open Ravenscar real time kernel  Full Text
AUTHORS: Maia, R; Moreira, F; Barbosa, R; Costa, D; Hjortaes, K; Rodriguez, P; Pinho, LM ;
PUBLISHED: 2003, SOURCE: 12th International Workshop on Real-Time Ada, IRTAW '03 in Proceedings of the 12th International Workshop on Real-Time Ada, IRTAW '03
INDEXED IN: Scopus CrossRef
IN MY: ORCID | CIÊNCIAVITAE
193
TITLE: Session summary: Safety improvements for consideration. safety improvements for consideration  Full Text
AUTHORS: Juan Antonio De La Puente; Luís Miguel Pinho ;
PUBLISHED: 2002, SOURCE: IRTAW 2002 - Proceedings of the 11th International Real-Time Ada Workshop
INDEXED IN: Scopus CrossRef
194
TITLE: Transparent environment for replicated Ravenscar applications
AUTHORS: Pinho, LM ; Vasques, F ;
PUBLISHED: 2002, SOURCE: 7th International Conference on Reliable Software Technologies - Ada Europe 2002 in RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2002, VOLUME: 2361
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | CIÊNCIAVITAE
195
TITLE: Using Ravenscar to support fault-tolerant real-time applications
AUTHORS: Luís Miguel Pinho ; Francisco Vasques ;
PUBLISHED: 2002, SOURCE: ACM SIGAda Ada Letters - Ada Lett., VOLUME: XXII, ISSUE: 4
INDEXED IN: CrossRef: 2
196
TITLE: Using Ravenscar to support fault-tolerant real-time applications  Full Text
AUTHORS: Luís Miguel Pinho ; Francisco Vasques ;
PUBLISHED: 2002, SOURCE: 11th International Real-Time Ada Workshop, IRTAW 2002 in Proceedings of the 11th International Workshop on Real-Time Ada, IRTAW 2002, Mont-Tremblant, Quebec, Canada, April 8-12, 2002
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | CIÊNCIAVITAE
197
TITLE: An architecture for reliable Distributed Computer-Controlled Systems
AUTHORS: Pinho, LM ; Vasques, F ;
PUBLISHED: 2001, SOURCE: IFIP WG10 3/WG10 4/WG10 5 International Workshop on Distributed and Parallel Embedded Systems (DIPES 2000) in ARCHITECTURE AND DESIGN OF DISTRIBUTED EMBEDDED SYSTEMS, VOLUME: 61
INDEXED IN: Scopus WOS DBLP Handle
IN MY: ORCID
198
TITLE: Improved fault tolerant broadcasts in CAN
AUTHORS: Pinho, LM ; Vasques, F ;
PUBLISHED: 2001, SOURCE: 8th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2001) in ETFA 2001: 8TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 1, PROCEEDINGS, VOLUME: 1
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | CIÊNCIAVITAE
199
TITLE: Programming atomic multicast in CAN
AUTHORS: Luís Miguel Pinho ; Francisco Vasques ; Luis Ferreira;
PUBLISHED: 2001, SOURCE: ACM SIGAda Ada Letters - Ada Lett., VOLUME: XXI, ISSUE: 1
INDEXED IN: CrossRef
200
TITLE: Reliable Communication in Distributed Computer-Controlled Systems
AUTHORS: Luís Miguel Pinho ; Francisco Vasques ;
PUBLISHED: 2001, SOURCE: 6th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2001 in Reliable Software Technologies: Ada Europe 2001, 6th Ade-Europe International Conference Leuven, Belgium, May 14-18, 2001, Proceedings, VOLUME: 2043
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | CIÊNCIAVITAE
Page 20 of 22. Total results: 211.

footer slogan

Useful Links

Get Help

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