User contributions
From Navigators
(Latest | Earliest) View (newer 20 | older 20) (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
(Latest | Earliest) View (newer 20 | older 20) (20 | 50 | 100 | 250 | 500)