User contributions
From Navigators
(Latest | Earliest) View (newer 100 | older 100) (20 | 50 | 100 | 250 | 500)
- 07:50, 5 April 2017 (diff | hist) N File:Document for Publication-Caldeira2015Extreme.pdf (top)
- 07:42, 5 April 2017 (diff | hist) José Rufino
- 09:26, 2 April 2017 (diff | hist) José Rufino
- 09:23, 2 April 2017 (diff | hist) José Rufino
- 09:22, 2 April 2017 (diff | hist) José Rufino
- 08:51, 2 April 2017 (diff | hist) Publication:EPascoal-MSc-Thesis (top)
- 08:49, 2 April 2017 (diff | hist) Publication:Dasia09 (top)
- 08:47, 2 April 2017 (diff | hist) Publication:Diniz05dasia (top)
- 08:43, 2 April 2017 (diff | hist) Project:AIR (top)
- 08:41, 2 April 2017 (diff | hist) Project:AIR-II (top)
- 08:33, 2 April 2017 (diff | hist) José Rufino
- 08:29, 2 April 2017 (diff | hist) José Rufino
- 08:28, 2 April 2017 (diff | hist) José Rufino
- 08:27, 2 April 2017 (diff | hist) José Rufino
- 08:25, 2 April 2017 (diff | hist) José Rufino
- 07:40, 2 April 2017 (diff | hist) José Rufino
- 07:37, 2 April 2017 (diff | hist) José Rufino
- 07:35, 2 April 2017 (diff | hist) José Rufino
- 07:16, 2 April 2017 (diff | hist) Publication:Caldeira2015Extreme
- 06:41, 2 April 2017 (diff | hist) Publication:Caldeira2015Extreme
- 06:17, 2 April 2017 (diff | hist) Publication:A Tool for Real-Time Assessment of IEEE 802.15.4 Networks Through Fault Injection (top)
- 06:12, 2 April 2017 (diff | hist) Project:READAPT (top)
- 19:15, 1 April 2017 (diff | hist) Project:COST Action IC1402
- 19:10, 1 April 2017 (diff | hist) Project:COST Action IC1402
- 19:09, 1 April 2017 (diff | hist) Project:COST Action IC1402
- 18:32, 1 April 2017 (diff | hist) Project:COST Action IC1402
- 18:32, 1 April 2017 (diff | hist) Project:COST Action IC1402
- 18:31, 1 April 2017 (diff | hist) Project:COST Action IC1402
- 18:14, 1 April 2017 (diff | hist) File:COST.png (uploaded a new version of "File:COST.png": Reverted to version as of 18:12, 1 April 2017) (top)
- 18:13, 1 April 2017 (diff | hist) File:COST.png (uploaded a new version of "File:COST.png": Reverted to version as of 18:11, 1 April 2017)
- 18:12, 1 April 2017 (diff | hist) File:COST.png (uploaded a new version of "File:COST.png")
- 18:11, 1 April 2017 (diff | hist) N File:COST.png
- 18:07, 1 April 2017 (diff | hist) Project:COST Action IC1402
- 18:06, 1 April 2017 (diff | hist) Project:COST Action IC1402
- 18:03, 1 April 2017 (diff | hist) Project:COST Action IC1402
- 16:11, 1 April 2017 (diff | hist) File:Document for Publication-Gouveia-2016-INForum-Poster.pdf (uploaded a new version of "File:Document for Publication-Gouveia-2016-INForum-Poster.pdf") (top)
- 16:06, 1 April 2017 (diff | hist) José Rufino
- 15:46, 1 April 2017 (diff | hist) File:Document for Publication-Gouveia-2016-INForum-Poster.pdf (uploaded a new version of "File:Document for Publication-Gouveia-2016-INForum-Poster.pdf")
- 15:36, 1 April 2017 (diff | hist) Publication:Gouveia-2016-INForum-Poster
- 15:32, 1 April 2017 (diff | hist) Publication:Gouveia-2016-INForum-Poster
- 15:31, 1 April 2017 (diff | hist) Publication:Gouveia-2016-INForum-Poster
- 15:30, 1 April 2017 (diff | hist) Publication:Gouveia-2016-INForum-Poster
- 15:22, 1 April 2017 (diff | hist) Publication:Gouveia-2016-INForum-Poster
- 15:21, 1 April 2017 (diff | hist) N Publication:Gouveia-2016-INForum-Poster (Created page with "{{Publication |type=misc |document=Document for Publication-Gouveia-2016-INForum-Poster.pdf |title=Non-intrusive Runtime Verification of Embedded Software |author=Inês Gouveia, ...")
- 15:16, 1 April 2017 (diff | hist) N File:Document for Publication-Gouveia-2016-INForum-Poster.pdf
- 15:13, 1 April 2017 (diff | hist) Publication:A Tool for Real-Time Assessment of IEEE 802.15.4 Networks Through Fault Injection
- 14:47, 1 April 2017 (diff | hist) Publication:Pinto2014EWiLi14-Poster
- 13:25, 1 April 2017 (diff | hist) Project:PROPHECY (top)
- 13:22, 1 April 2017 (diff | hist) Publication:Craveiro13umpr (top)
- 13:21, 1 April 2017 (diff | hist) Publication:Craveiro13laxity (top)
- 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 100 | older 100) (20 | 50 | 100 | 250 | 500)