User contributions
From Navigators
(Latest | Earliest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 13:18, 1 April 2017 (diff | hist) Publication:Almeida2013Inforum (top)
- 13:13, 1 April 2017 (diff | hist) Publication:A Tool for Real-Time Assessment of IEEE 802.15.4 Networks Through Fault Injection
- 13:12, 1 April 2017 (diff | hist) File:Document for Publication-A Tool for Real-Time Assessment of IEEE 802.15.4 Networks Through Fault Injection.pdf (uploaded a new version of "File:Document for Publication-A Tool for Real-Time Assessment of IEEE 802.15.4 Networks Through Fault Injection.pdf") (top)
- 13:11, 1 April 2017 (diff | hist) Publication:A Tool for Real-Time Assessment of IEEE 802.15.4 Networks Through Fault Injection
- 13:11, 1 April 2017 (diff | hist) N File:Document for Publication-A Tool for Real-Time Assessment of IEEE 802.15.4 Networks Through Fault Injection.pdf
- 11:23, 1 April 2017 (diff | hist) Publication:Casimiro2013karyon (top)
- 11:21, 1 April 2017 (diff | hist) Publication:Johansson2014erts2 (top)
- 19:01, 31 March 2017 (diff | hist) N Publication:MCoutinho-MSc-Thesis (Created page with "{{Publication |type=mastersthesis |document=Document for Publication-MCoutinho-MSc-Thesis.pdf |title=Integração Modular de Dispositivos de Entrada/Saída em Plataformas de Cont...") (top)
- 18:54, 31 March 2017 (diff | hist) N File:Document for Publication-MCoutinho-MSc-Thesis.pdf (top)
- 18:49, 31 March 2017 (diff | hist) N Publication:Casimiro-2017-ADA-Europe (Created page with "{{Publication |type=inproceedings |title=Enforcing Timeliness and Safety in Mission-Critical Systems |author=António Casimiro, Inês Gouveia, José Rufino, |Project=Project:COS...")
- 18:37, 31 March 2017 (diff | hist) Publication:JSousa-MSc-Thesis (top)
- 18:34, 31 March 2017 (diff | hist) N Publication:Gouveia-2016-CERTS (Created page with "{{Publication |type=inproceedings |document=Document for Publication-Gouveia-2016-CERTS.pdf |title=Enforcing safety and security through non-intrusive runtime verification |autho...")
- 18:26, 31 March 2017 (diff | hist) N File:Document for Publication-Gouveia-2016-CERTS.pdf (top)
- 18:22, 31 March 2017 (diff | hist) Publication:JRufino-2016-SIGBED (top)
- 18:21, 31 March 2017 (diff | hist) Publication:JRufino-2016-OSPERT (top)
- 18:19, 31 March 2017 (diff | hist) N File:Inês Gouveia.jpg (top)
- 18:19, 31 March 2017 (diff | hist) Inês Gouveia
- 18:16, 31 March 2017 (diff | hist) Project:COST Action IC1402
- 18:16, 31 March 2017 (diff | hist) Project:COST Action IC1402
- 18:12, 31 March 2017 (diff | hist) N Project:COST Action IC1402 (Created page with "{{Project |Acronym=ARVI |Title=COST Action IC1402 - Runtime Verification Beyond Monitoring |Past Project=no |ResearchLine=Timeliness and Adaptation in Dependable Systems (TADS) |...")
- 18:04, 31 March 2017 (diff | hist) N Publication:JRufino-2016-OSPERT (Created page with "{{Publication |type=inproceedings |document=Document for Publication-JRufino-2016-OSPERT.pdf |title=Timeliness runtime verification and adaptation in avionic systems |author=Jos...")
- 18:02, 31 March 2017 (diff | hist) N File:Document for Publication-JRufino-2016-OSPERT.pdf (top)
- 17:56, 31 March 2017 (diff | hist) Publication:JRufino-2016-SIGBED
- 17:55, 31 March 2017 (diff | hist) N Publication:JRufino-2016-SIGBED (Created page with "{{Publication |type=article |document=Document for Publication-JRufino-2016-SIGBED.pdf |title=Towards integration of adaptability and non-intrusive runtime verification in avioni...")
- 17:53, 31 March 2017 (diff | hist) N File:Document for Publication-JRufino-2016-SIGBED.pdf (top)
- 17:40, 31 March 2017 (diff | hist) Publication:JAnjos-MSc-Thesis (top)
- 17:37, 31 March 2017 (diff | hist) N Publication:JAnjos-MSc-Thesis (Created page with "{{Publication |type=mastersthesis |document=Document for Publication-JAnjos-MSc-Thesis.pdf |title=JAVA DEVELOPMENT PLATFORM FOR REAL-TIME APPLICATIONS IN MULTI-CORE ARCHITECTURES...")
- 17:36, 31 March 2017 (diff | hist) N File:Document for Publication-JAnjos-MSc-Thesis.pdf (top)
- 17:29, 31 March 2017 (diff | hist) Publication:JSousa-MSc-Thesis
- 17:28, 31 March 2017 (diff | hist) N Publication:JSousa-MSc-Thesis (Created page with "{{Publication |type=mastersthesis |document=Document for Publication-JSousa-MSc-Thesis.pdf |title=Memory Protection and Qualification of real-time perating systems for Space Appl...")
- 17:24, 31 March 2017 (diff | hist) N File:Document for Publication-JSousa-MSc-Thesis.pdf (top)
- 17:18, 31 March 2017 (diff | hist) Project:DARIO (top)
- 16:55, 31 March 2017 (diff | hist) Project:CoDiCom (top)
- 16:53, 31 March 2017 (diff | hist) Project:CoDiCom
- 16:50, 31 March 2017 (diff | hist) Publication:RCPinto-MSc-Thesis
- 16:46, 31 March 2017 (diff | hist) Publication:EPascoal-MSc-Thesis
- 16:46, 31 March 2017 (diff | hist) N File:Document for Publication-EPascoal-MSc-Thesis.pdf (top)
- 16:45, 31 March 2017 (diff | hist) Publication:EPascoal-MSc-Thesis
- 16:44, 31 March 2017 (diff | hist) N Publication:EPascoal-MSc-Thesis (Created page with "{{Publication |type=mastersthesis |title=AMOBA - ARINC 653 Simulator for Modular Space Based Applications |author=Edgar Pascoal, |ResearchLine=Timeliness and Adaptation in Depen...")
- 16:31, 31 March 2017 (diff | hist) Publication:RCPinto-MSc-Thesis
- 16:29, 31 March 2017 (diff | hist) Publication:RCPinto-MSc-Thesis
- 16:28, 31 March 2017 (diff | hist) N Publication:RCPinto-MSc-Thesis (Created page with "{{Publication |type=mastersthesis |title=Mechanisms for Enhanced Dependability and Timeliness in CAN |author=Ricardo Correia Pinto, |Project=Project:DARIO, |ResearchLine=Timeli...")
- 16:21, 31 March 2017 (diff | hist) Publication:JRosa-MSc-Thesis (top)
- 16:20, 31 March 2017 (diff | hist) N File:Document for Publication-JRosa-MSc-Thesis.pdf (top)
- 16:19, 31 March 2017 (diff | hist) Publication:JCraveiro-MSc-Thesis (top)
- 16:18, 31 March 2017 (diff | hist) N File:Document for Publication-JCraveiro-MSc-Thesis.pdf (top)
- 16:15, 31 March 2017 (diff | hist) Publication:JCraveiro-MSc-Thesis
- 16:06, 31 March 2017 (diff | hist) Publication:JCraveiro-MSc-Thesis
- 16:05, 31 March 2017 (diff | hist) Publication:JCraveiro-MSc-Thesis
- 16:05, 31 March 2017 (diff | hist) N Publication:JCraveiro-MSc-Thesis (Created page with "{{Publication |type=mastersthesis |title=Integration of generic operating systems in partitioned architectures |author=João Pedro Craveiro, |Project=Project:AIR-II, |ResearchL...")
(Latest | Earliest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)