| Publication | Date of Publication | Type |
|---|
Extending rely-guarantee thinking to handle real-time scheduling
Formal Methods in System Design | 2024-06-28 | Paper |
| scientific article; zbMATH DE number 7633800 (Why is no real title available?) | 2022-12-16 | Paper |
Priority Assignment on Partitioned Multiprocessor Systems With Shared Resources
IEEE Transactions on Computers | 2022-03-23 | Paper |
| AdaptMC: a control-theoretic approach for achieving resilience in mixed-criticality systems | 2020-12-16 | Paper |
Real-time analysis of priority-preemptive NoCs with arbitrary buffer sizes and router delays
Real-Time Systems | 2020-07-13 | Paper |
Modelling of gas flow in shale using a finite volume method
Applied Mathematical Modelling | 2020-02-05 | Paper |
Robust Mixed-Criticality Systems
IEEE Transactions on Computers | 2018-09-20 | Paper |
Weakly hard real-time systems
IEEE Transactions on Computers | 2018-07-09 | Paper |
Cycle-time properties of the timed token medium access control protocol
IEEE Transactions on Computers | 2018-07-09 | Paper |
Efficient Exact Schedulability Tests for Fixed Priority Real-Time Systems
IEEE Transactions on Computers | 2018-06-12 | Paper |
Schedulability Analysis for Real-Time Systems with EDF Scheduling
IEEE Transactions on Computers | 2017-08-08 | Paper |
A Deadline-Floor Inheritance Protocol for EDF Scheduled Embedded Real-Time Systems with Resource Sharing
IEEE Transactions on Computers | 2017-05-16 | Paper |
Exact comparison of fixed priority and EDF scheduling based on speedup factors for both pre-emptive and non-pre-emptive paradigms
Real-Time Systems | 2015-09-25 | Paper |
A survey of hard real-time scheduling for multiprocessor systems
ACM Computing Surveys | 2014-08-13 | Paper |
Modelling temporal behaviour in complex systems with Timebands
Formal Methods in System Design | 2014-06-30 | Paper |
A numerical study of the triggering mechanism of a lock-release density current
European Journal of Mechanics. B. Fluids | 2013-03-07 | Paper |
Sensitivity analysis of arbitrary deadline real-time systems with EDF scheduling
Real-Time Systems | 2011-07-29 | Paper |
Improved priority assignment for global fixed priority pre-emptive scheduling in multiprocessor real-time systems
Real-Time Systems | 2011-01-13 | Paper |
Schedulability analysis and task mapping for real-time on-chip communication
Real-Time Systems | 2010-12-22 | Paper |
A timeband framework for modelling real-time systems
Real-Time Systems | 2010-08-13 | Paper |
Optimal \((D - J)\)-monotonic priority assignment
Information Processing Letters | 2010-03-24 | Paper |
Robust priority assignment for messages on Controller Area network (CAN)
Real-Time Systems | 2010-01-18 | Paper |
Exact scheduling analysis of non-accumulatively monotonic multiframe tasks
Real-Time Systems | 2009-11-27 | Paper |
Exact quantification of the sub-optimality of uniprocessor fixed priority pre-emptive scheduling
Real-Time Systems | 2009-11-10 | Paper |
Flexible hard real-time scheduling for deliberative AI systems
Real-Time Systems | 2009-09-25 | Paper |
Exact Response Time Scheduling Analysis of Accumulatively Monotonic Multiframe Real Time Tasks
Theoretical Aspects of Computing - ICTAC 2008 | 2009-01-27 | Paper |
Delivering Real-Time Behaviour
Lecture Notes in Computer Science | 2008-09-16 | Paper |
| Concurrent and Real-Time Programming in Ada 2005 | 2007-08-09 | Paper |
Hard real-time communication with the timed token protocol: Current state and challenging problems
Real-Time Systems | 2005-01-19 | Paper |
Real time scheduling theory: A historical perspective
Real-Time Systems | 2005-01-12 | Paper |
| scientific article; zbMATH DE number 2011464 (Why is no real title available?) | 2003-12-01 | Paper |
| scientific article; zbMATH DE number 2011484 (Why is no real title available?) | 2003-12-01 | Paper |
An integrated approach to scheduling in safety-critical embedded control systems
Real-Time Systems | 2003-05-11 | Paper |
Communication response time in P-NET networks: Worst-case analysis considering the actual token utilization
Real-Time Systems | 2002-07-08 | Paper |
Testing the schedulability of synchronous traffic for the timed token medium access control protocol
Real-Time Systems | 2002-07-08 | Paper |
Determining the worst-case synchronous message response time in FDDI networks
The Computer Journal. Section A Section B | 2002-04-21 | Paper |
Multiple servers and capacity sharing for implementing flexible scheduling
Real-Time Systems | 2002-04-11 | Paper |
| scientific article; zbMATH DE number 1706356 (Why is no real title available?) | 2002-02-18 | Paper |
| scientific article; zbMATH DE number 1706350 (Why is no real title available?) | 2002-02-18 | Paper |
Analysis of checkpointing for real-time systems
Real-Time Systems | 2001-02-18 | Paper |
| scientific article; zbMATH DE number 1107559 (Why is no real title available?) | 1998-01-21 | Paper |
| scientific article; zbMATH DE number 1031762 (Why is no real title available?) | 1997-07-06 | Paper |
Optimal priority assignment for aperiodic tasks with firm deadlines in fixed priority pre-emptive systems
Information Processing Letters | 1997-02-28 | Paper |
Choosing task periods to minimise system utilisation in time triggered systems
Information Processing Letters | 1997-02-27 | Paper |
| scientific article; zbMATH DE number 839544 (Why is no real title available?) | 1996-01-30 | Paper |
| scientific article; zbMATH DE number 819766 (Why is no real title available?) | 1995-11-23 | Paper |
A review of Ada tasking
Lecture Notes in Computer Science | 1993-06-05 | Paper |
| scientific article; zbMATH DE number 45142 (Why is no real title available?) | 1993-01-23 | Paper |
| scientific article; zbMATH DE number 3924101 (Why is no real title available?) | 1985-01-01 | Paper |
Complex string solutions of the self-dual Yang-Mills equations
Journal of Physics A: Mathematical and General | 1984-01-01 | Paper |
