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