PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Regnier, Paul"

Author of the publication

copydeleteadd this publication to your clipboard
A TLA+ Formal Specification and Verification of a New Real-Time Communication Protocol.

, , and . Electron. Notes Theor. Comput. Sci., (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Theresa Paulus University of Stuttgart

PD Dr. Simon Paulus University of Stuttgart

Prof. Dr. Paul Keller University of Stuttgart

Paul Betz University of Stuttgart

Kerstin Paul University of Stuttgart

 

Other publications of authors with the same name

Multiprocessor scheduling by reduction to uniprocessor: an original optimal approach., , , , and . Real-Time Systems, 49 (4): 436-474 (2013)Revealing the Secrets of RUN and QPS: New Trends for Optimal Real-Time Multiprocessor Scheduling., , and . SBESC, page 150-155. IEEE Computer Society, (2014)RUN: Optimal Multiprocessor Real-Time Scheduling via Reduction to Uniprocessor., , , , and . RTSS, page 104-115. IEEE Computer Society, (2011)A TLA+ Formal Specification and Verification of a New Real-Time Communication Protocol., , and . Electron. Notes Theor. Comput. Sci., (2009)From RUN to QPS: new trends for optimal real-time multiprocessor scheduling., , and . IJES, 8 (5/6): 440-451 (2016)OUTSTANDING PAPER: Optimal and Adaptive Multiprocessor Real-Time Scheduling: The Quasi-Partitioning Approach., , , , and . ECRTS, page 291-300. IEEE Computer Society, (2014)An Optimal Real-Time Scheduling Approach: From Multiprocessor to Uniprocessor, , and . CoRR, (2011)Quasi-partitioned scheduling: optimality and adaptation in multiprocessor real-time systems., , , , and . Real-Time Systems, 52 (5): 566-597 (2016)Evaluation of interrupt handling timeliness in real-time Linux operating systems., , and . Operating Systems Review, 42 (6): 52-63 (2008)