Author of the publication

Reliability of Run-Time Quality-of-Service evaluation using parametric model checking.

, , and . ICSE, page 73-84. 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

Death, Taxes, & Scalability., , and . IEEE Software, 27 (4): 20-21 (2010)Yeast: A General Purpose Event-Action System., and . IEEE Trans. Software Eng., 21 (10): 845-857 (1995)1st international workshop on the engineering of mobile-enabled systems (MOBS 2013)., , , , , and . ICSE, page 1533-1534. IEEE Computer Society, (2013)Component Metadata for Software Engineering Tasks., , and . EDO, volume 1999 of Lecture Notes in Computer Science, page 129-144. Springer, (2000)Editorial.. ACM Trans. Softw. Eng. Methodol., 26 (2): 6e:1-6e:2 (2017)Supporting architectural concerns in component interoperability standards., and . IEE Proc. Softw., 147 (6): 215-223 (2000)Achieving Expressiveness and Scalability in an Internet-Scale Event Notification Service, , and . Nineteenth ACM Symposium on Principles of Distributed Computing (PODC2000), (July 2000)A Non-Parametric Generative Model for Human Trajectories., , , and . IJCAI, page 3812-3817. ijcai.org, (2018)A framework for modelling and analysis of software systems scalability., , and . ICSE, page 949-952. ACM, (2006)Fine-Grained Urban Flow Inference., , , , , , and . IEEE Trans. Knowl. Data Eng., 34 (6): 2755-2770 (2022)