( en | de | ru )

 

Disambiguation of "Johnson, Kenneth"

Author of the publication

copydeleteadd this publication to your clipboard
Towards Self-Adaptive Disaster Management Systems.

, , , , and . ISCRAM, page 49-61. ISCRAM Digital Library, (2021)

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.

Kenneth Froese

Kenneth Anders

Kenneth Simon

Kenneth Ndyabawe

Kenneth Vanhoey

 

Other publications of authors with the same name

Differential regularization and renormalization: A New method of calculation in quantum field theory, , and . Nucl. Phys., (1992)Efficient Parametric Model Checking Using Domain Knowledge., , and . IEEE Trans. Software Eng., 47 (6): 1114-1133 (2021)Efficient parametric model checking using domain-specific modelling patterns., , and . ICSE (NIER), page 61-64. ACM, (2018)Adaptive model learning for continual verification of non-functional properties., , , and . ICPE, page 87-98. ACM, (2014)Zero-error rule induction using a memetic algorithm., , and . SSCI, page 647-654. IEEE, (2020)Graph-Theoretic Models of Resource Distribution for Cyber-Physical Systems of Disaster-Affected Regions., , and . SEAA, page 521-528. IEEE, (2020)FACT: A Probabilistic Model Checker for Formal Verification with Confidence Intervals., , and . TACAS, volume 9636 of Lecture Notes in Computer Science, page 540-546. Springer, (2016)Specification and Quantitative Analysis of Probabilistic Cloud Deployment Patterns., , and . Haifa Verification Conference, volume 7261 of Lecture Notes in Computer Science, page 145-159. Springer, (2011)Quantitative Verification of Social Media Networks: The Case Study of Twitter., and . BDCAT, page 53-62. ACM, (2017)Theorising Monitoring: Algebraic Models of Web Monitoring in Organisations., , and . WADT, volume 10644 of Lecture Notes in Computer Science, page 13-35. Springer, (2016)