User contributions
From Navigators
(Latest | Earliest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 15:36, 26 June 2018 (diff | hist) Publication:Rufino18A
- 15:36, 26 June 2018 (diff | hist) N File:Document for Publication-Rufino18A.pdf
- 15:34, 26 June 2018 (diff | hist) Project:NORTH
- 15:31, 26 June 2018 (diff | hist) Project:NORTH
- 15:30, 26 June 2018 (diff | hist) Project:NORTH
- 15:28, 26 June 2018 (diff | hist) Publication:Rufino18B
- 15:26, 26 June 2018 (diff | hist) Publication:Rufino18B
- 15:26, 26 June 2018 (diff | hist) N File:Document for Publication-Rufino18B.pdf
- 14:29, 6 June 2018 (diff | hist) Project:NORTH
- 14:15, 6 June 2018 (diff | hist) Publication:Rufino18E
- 14:11, 6 June 2018 (diff | hist) Publication:Rufino18E
- 14:08, 6 June 2018 (diff | hist) N Publication:Rufino18E (Created page with "{{Publication |type=article |title=A Real-Time System Monitoring driven by Scheduling Analysis |author=Stéphane Rubini, Valérie-Anne Nicolas, Frank Singhoff, José Rufino, |Pr...")
- 13:56, 6 June 2018 (diff | hist) N Publication:Rufino18D (Created page with "{{Publication |type=article |title=NORTH - Non-intrusive Observation and RunTime verification of cyber-pHysical systems |author=José Rufino, António Casimiro, Antónia Lopes, F...")
- 13:49, 6 June 2018 (diff | hist) Publication:Rufino18C
- 13:48, 6 June 2018 (diff | hist) N Publication:Rufino18C (Created page with "{{Publication |type=article |title=Non-intrusive Runtime Verification within a System-on-Chip |author=José Rufino, Felix Dino Lange, Martin Leucker, Torben Scheffel, Malte Schmi...")
- 13:41, 6 June 2018 (diff | hist) Publication:Rufino18A
- 13:41, 6 June 2018 (diff | hist) Publication:Rufino18B
- 13:38, 6 June 2018 (diff | hist) Publication:Rufino18B
- 13:37, 6 June 2018 (diff | hist) N Publication:Rufino18B (Created page with "{{Publication |type=article |title=Hardware Support to Non-intrusive Runtime Verification on Processor Technologies |author=José Rufino, |Project=Project:NORTH, Project:COST Ac...")
- 13:34, 6 June 2018 (diff | hist) Publication:Rufino18A
- 13:32, 6 June 2018 (diff | hist) Publication:Rufino18A
- 13:29, 6 June 2018 (diff | hist) Publication:Rufino18A
- 13:28, 6 June 2018 (diff | hist) N Publication:Rufino18A (Created page with "{{Publication |type=inproceedings |title=Non-intrusive Observation and Runtime Verification of Avionic Systems |author=José Rufino, |Project=Project:NORTH, Project:COST Action ...")
- 10:46, 6 June 2018 (diff | hist) Project:NORTH
- 18:14, 13 March 2018 (diff | hist) Project:NORTH
- 18:03, 13 March 2018 (diff | hist) Project:NORTH
- 18:02, 13 March 2018 (diff | hist) Project:NORTH
- 17:11, 13 March 2018 (diff | hist) Project:NORTH
- 17:09, 13 March 2018 (diff | hist) Project:NORTH
- 16:59, 13 March 2018 (diff | hist) Project:NORTH
- 15:39, 9 January 2018 (diff | hist) File:NORTH-11-2017-Agenda-VP.pdf (uploaded a new version of "File:NORTH-11-2017-Agenda-VP.pdf") (top)
- 15:36, 9 January 2018 (diff | hist) Project:NORTH
- 15:48, 6 November 2017 (diff | hist) Project:NORTH
- 15:47, 6 November 2017 (diff | hist) N File:NORTH-11-2017-Agenda-VP.pdf
- 15:43, 6 November 2017 (diff | hist) Project:NORTH
- 15:42, 6 November 2017 (diff | hist) Project:NORTH
- 15:40, 6 November 2017 (diff | hist) Project:NORTH
- 15:22, 6 November 2017 (diff | hist) Publication:Gouveia:MSc-Thesis-2017
- 18:11, 16 October 2017 (diff | hist) Publication:Alves:2017-CANFD-ESI-INForum17
- 18:11, 16 October 2017 (diff | hist) N File:Document for Publication-Alves-2017-CANFD-ESI-INForum17.pdf (top)
- 18:09, 16 October 2017 (diff | hist) Publication:Alves:2017-CANFD-INForum
- 18:09, 16 October 2017 (diff | hist) N File:Document for Publication-Alves-2017-CANFD-INForum.pdf (top)
- 12:34, 28 September 2017 (diff | hist) Publication:Alves:2017-CANFD-ESI-INForum17
- 12:30, 28 September 2017 (diff | hist) Publication:Alves:2017-CANFD-ESI-INForum17
- 12:29, 28 September 2017 (diff | hist) N Publication:Alves:2017-CANFD-ESI-INForum17 (Created page with "{{Publication |type=inproceedings |title=On the (non-intrusive) observability of the CAN FD protocol |author=João de Sousa Alves, José Rufino |Project=Project:COST Action IC140...")
- 12:20, 28 September 2017 (diff | hist) Inês Gouveia (top)
- 12:18, 28 September 2017 (diff | hist) Publication:Gouveia:MSc-Thesis-2017
- 12:14, 28 September 2017 (diff | hist) N Publication:Gouveia:MSc-Thesis-2017 (Created page with "{{Publication |type=mastersthesis |document=Document for Publication-Gouveia-MSc-Thesis-2017.pdf |title=Non-intrusive Observation and Runtime Verification of Cyber-physical Syste...")
- 12:11, 28 September 2017 (diff | hist) N File:Document for Publication-Gouveia-MSc-Thesis-2017.pdf (top)
- 10:36, 28 September 2017 (diff | hist) Project:NORTH
(Latest | Earliest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)