Geoffrey Nelissen
AuthID: R-00H-2C6
1
TÃTULO: Leveraging Parallelism in Global Scheduling to Improve State Space Exploration in the SAG Framework
AUTORES: Pourya Gohari; Geoffrey Nelissen; Jeroen Voeten; Mitra Nasri;
PUBLICAÇÃO: 2025, FONTE: RTNS 2024 - 2024 32nd International Conference on Real-Time Networks and Systems
AUTORES: Pourya Gohari; Geoffrey Nelissen; Jeroen Voeten; Mitra Nasri;
PUBLICAÇÃO: 2025, FONTE: RTNS 2024 - 2024 32nd International Conference on Real-Time Networks and Systems
2
TÃTULO: Exact Schedulability Analysis for Limited-Preemptive Parallel Applications Using Timed Automata in UPPAAL
AUTORES: Jonas Hansen; Srinidhi Srinivasan; Geoffrey Nelissen; Kim G Larsen;
PUBLICAÇÃO: 2025, FONTE: Proceedings Design Automation and Test in Europe Date
AUTORES: Jonas Hansen; Srinidhi Srinivasan; Geoffrey Nelissen; Kim G Larsen;
PUBLICAÇÃO: 2025, FONTE: Proceedings Design Automation and Test in Europe Date
3
TÃTULO: Analysis of TSN Time-Aware Shapers Using Schedule Abstraction Graphs
AUTORES: Srinidhi Srinivasan; Geoffrey Nelissen; Reinder J Bril; Nirvana Meratnia;
PUBLICAÇÃO: 2024, FONTE: Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 298
AUTORES: Srinidhi Srinivasan; Geoffrey Nelissen; Reinder J Bril; Nirvana Meratnia;
PUBLICAÇÃO: 2024, FONTE: Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 298
INDEXADO EM: 
Scopus
Scopus NO MEU: 
ORCID
ORCID4
TÃTULO: Response-Time Analysis for Limited-Preemptive Self-Suspending and Event-Driven Delay-Induced Tasks
AUTORES: Srinidhi Srinivasan; Mario Gunzel; Geoffrey Nelissen;
PUBLICAÇÃO: 2024, FONTE: Proceedings Real Time Systems Symposium
AUTORES: Srinidhi Srinivasan; Mario Gunzel; Geoffrey Nelissen;
PUBLICAÇÃO: 2024, FONTE: Proceedings Real Time Systems Symposium
5
TÃTULO: Work-in-Progress: Response-Time Analysis of Partitioned and Clustered Systems with the Schedule-Abstraction Framework
AUTORES: Geoffrey Nelissen;
PUBLICAÇÃO: 2024, FONTE: Proceedings Real Time Systems Symposium
AUTORES: Geoffrey Nelissen;
PUBLICAÇÃO: 2024, FONTE: Proceedings Real Time Systems Symposium
6
TÃTULO: Special issue on reliable data transmission in real-time systems
AUTORES: Geoffrey Nelissen; Laurent Pautet;
PUBLICAÇÃO: 2023, FONTE: Real-Time Systems, VOLUME: 59, NÚMERO: 4
AUTORES: Geoffrey Nelissen; Laurent Pautet;
PUBLICAÇÃO: 2023, FONTE: Real-Time Systems, VOLUME: 59, NÚMERO: 4
7
TÃTULO: Partial-order reduction in reachability-based response-time analyses of limited-preemptive DAG tasks
AUTORES: Sayra Ranjha; Pourya Gohari; Geoffrey Nelissen; Mitra Nasri;
PUBLICAÇÃO: 2023, FONTE: Real-Time Systems, VOLUME: 59, NÚMERO: 2
AUTORES: Sayra Ranjha; Pourya Gohari; Geoffrey Nelissen; Mitra Nasri;
PUBLICAÇÃO: 2023, FONTE: Real-Time Systems, VOLUME: 59, NÚMERO: 2
8
TÃTULO: Cost of Robustness of Independent WCRT Analysis for CBS of Ethernet AVB Using Eligible Intervals
AUTORES: Reinder J Bril; Hamid Hassani; Pieter J L Cuijpers; Geoffrey Nelissen;
PUBLICAÇÃO: 2023, FONTE: IEEE International Workshop on Factory Communication Systems - Proceedings, WFCS, VOLUME: 2023-April
AUTORES: Reinder J Bril; Hamid Hassani; Pieter J L Cuijpers; Geoffrey Nelissen;
PUBLICAÇÃO: 2023, FONTE: IEEE International Workshop on Factory Communication Systems - Proceedings, WFCS, VOLUME: 2023-April
9
TÃTULO: Work-in-Progress: Generating Counter-Examples to Schedulability Using the Schedule Abstraction Full Text
AUTORES: Yimi Zhao; Srinidhi Srinivasan; Geoffrey Nelissen; Mitra Nasri;
PUBLICAÇÃO: 2023, FONTE: Proceedings - Real-Time Systems Symposium
AUTORES: Yimi Zhao; Srinidhi Srinivasan; Geoffrey Nelissen; Mitra Nasri;
PUBLICAÇÃO: 2023, FONTE: Proceedings - Real-Time Systems Symposium
10
TÃTULO: Replication-Based Scheduling of Parallel Real-Time Tasks
AUTORES: Federico Aromolo; Geoffrey Nelissen; Alessandro Biondi;
PUBLICAÇÃO: 2023, FONTE: Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 262
AUTORES: Federico Aromolo; Geoffrey Nelissen; Alessandro Biondi;
PUBLICAÇÃO: 2023, FONTE: Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 262
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID