Author of the publication

Specification and analysis of human-intensive system resource-utilization policies.

, , and . SEHS@ICSE, page 8-14. ACM, (2016)

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.

 

Other publications of authors with the same name

Decision Support for Security-Control Identification Using Machine Learning., , , , , and . REFSQ, volume 11412 of Lecture Notes in Computer Science, page 3-20. Springer, (2019)Stress Testing of Design Assumptions in Cyper-Physical Systems: A Control Theory-Based Approach., , , , and . CoRR, (2023)Optimal priority assignment for real-time systems: a coevolution-based approach., , , and . Empir. Softw. Eng., 27 (6): 142 (2022)Uncertainty-aware specification and analysis for hardware-in-the-loop testing of cyber-physical systems., , , , , and . J. Syst. Softw., (2021)Resource Specification for Prototyping Human-Intensive Systems., , , , and . FASE, volume 9033 of Lecture Notes in Computer Science, page 332-346. Springer, (2015)Probabilistic WCET Estimation for Weakly Hard Real-Time Systems., , , and . CoRR, (2023)Specification and Analysis of Resource Utilization Policies for Human-Intensive Systems.. BPM (Demos), volume 1920 of CEUR Workshop Proceedings, CEUR-WS.org, (2017)Resource scheduling through resource-aware simulation of emergency departments., , , , and . SEHC@ICSE, page 64-70. IEEE Computer Society, (2013)Specification and analysis of human-intensive system resource-utilization policies., , and . SEHS@ICSE, page 8-14. ACM, (2016)Discrete-Event Simulation and Integer Linear Programming for Constraint-Aware Resource Scheduling., , , , and . IEEE Trans. Syst. Man Cybern. Syst., 48 (9): 1578-1593 (2018)