Author of the publication

Quantitative evaluation of availability measures of gas distribution networks.

, , , and . VALUETOOLS, page 145-154. ICST/ACM, (2013)

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

Reducing Complexity of Data Flow Testing in the Verification of a IEC-62304 Flexible Workflow System., and . SAFECOMP, volume 6894 of Lecture Notes in Computer Science, page 355-368. Springer, (2011)Recommendations for the Creation of Datasets in Support of Data Driven Activity Recognition Models., , and . ICOST, volume 9102 of Lecture Notes in Computer Science, page 79-91. Springer, (2015)A Tailored V-Model Exploiting the Theory of Preemptive Time Petri Nets., , and . Ada-Europe, volume 5026 of Lecture Notes in Computer Science, page 87-100. Springer, (2008)Weighted Walkthroughs in Retrieval by Content of Pictorial Data., and . ICIAP (2), volume 1311 of Lecture Notes in Computer Science, page 132-139. Springer, (1997)Design and Evaluation of a Visual Formalism for Real Time Logics., and . Services and Visualization: Towards User-Friendly Design, volume 1385 of Lecture Notes in Computer Science, page 158-173. Springer, (1998)An Inspection-Based Compositional Approach to the Quantitative Evaluation of Assembly Lines., , , , and . EPEW, volume 10497 of Lecture Notes in Computer Science, page 152-166. Springer, (2017)A Continuous-Time Model-Based Approach to Activity Recognition for Ambient Assisted Living., , , and . QEST, volume 9259 of Lecture Notes in Computer Science, page 38-53. Springer, (2015)Hospital Inventory Management Through Markov Decision Processes @runtime., , , and . QEST, volume 11024 of Lecture Notes in Computer Science, page 87-103. Springer, (2018)Compositional Safe Approximation of Response Time Probability Density Function of Complex Workflows., , , and . ACM Trans. Model. Comput. Simul., 33 (4): 16:1-16:26 (October 2023)Putting Preemptive Time Petri Nets to Work in a V-Model SW Life Cycle., , and . IEEE Trans. Software Eng., 37 (6): 826-844 (2011)