Kenneth Johnson - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 37 from 37

2025

Probabilistic Model Checking of Disaster Resource Distribution StrategiesKenneth Johnson, Meena Kumari. icse-formalise 2025: 1-5 [doi]

Clinical Handover at Hospital Night Shift: Review of Challenges and Impacts on Patient Safety and Staff ExperiencesSamaneh Madanian, Phyo Phyo Lwin, Charlie Kwong, Kenneth Johnson, Angsana A. Techatassanasoontorn, Harminder Singh, William Wong. hicss 2025: 1-10 [doi]

2024

Patterns of Applied Control for Public Health Measures on Transportation Services under EpidemicKenneth Johnson, Samaneh Madanian, Catia Trubiani. SEAMS 2024: 150-160 [doi]

2023

A Novel Proof of Concept Forecasting Model for Pandemics - A Case Study in New ZealandHamidreza Rasouli Panah, Abtin Ijadi Maghsoodi, Samaneh Madanian, Jian Yu, Kenneth Johnson. itdrr 2024: 253-268 [doi]

2021

2020

Graph-Theoretic Models of Resource Distribution for Cyber-Physical Systems of Disaster-Affected RegionsKenneth Johnson, Samaneh Madanian, Roopak Sinha. euromicro 2020: 521-528 [doi]

Zero-error rule induction using a memetic algorithmAjit Narayanan, Koz Ross, Kenneth Johnson. ssci 2020: 647-654 [doi]

2018

Efficient parametric model checking using domain-specific modelling patternsRadu Calinescu, Kenneth Johnson, Colin Paterson. ICSE 2018: 61-64 [doi]

2017

Quantitative Verification of Social Media Networks: The Case Study of TwitterKenneth Johnson, Shahper Richter. bdc 2017: 53-62 [doi]

2016

2015

A Multi-agent Framework for Dependable Adaptation of Evolving System ArchitecturesKenneth Johnson, Roopak Sinha, Radu Calinescu, Ji Ruan. euromicro 2015: 159-166 [doi]

2014

Adaptive model learning for continual verification of non-functional propertiesRadu Calinescu, Yasmin Rafiq, Kenneth Johnson, Mehmet Emin Bakir. wosp 2014: 87-98 [doi]

Efficient re-resolution of SMT specifications for evolving software architecturesKenneth Johnson, Radu Calinescu. qosa 2014: 93-102 [doi]

A scalable approach for re-configuring evolving industrial control systemsRoopak Sinha, Kenneth Johnson, Radu Calinescu. etfa 2014: 1-8 [doi]

2013

Developing self-verifying service-based systemsRadu Calinescu, Kenneth Johnson, Yasmin Rafiq. ASE 2013: 734-737 [doi]

Using Runtime Quantitative Verification to Provide Assurance Evidence for Self-Adaptive Software - Advances, Applications and Research ChallengesRadu Calinescu, Simos Gerasimou, Kenneth Johnson, Colin Paterson. Dagstuhl 2017: 223-248 [doi]

Continual Verification of Non-Functional Properties in Cloud-Based SystemsRadu Calinescu, Kenneth Johnson, Yasmin Rafiq, Simos Gerasimou, Gabriel Costa Silva, Stanimir N. Pehlivanov. MoDELS 2013: 1-5 [doi]

The data type of spatial objectsKenneth Johnson, John V. Tucker. fac, 25(2):189-218, 2013. [doi]

Services2Cloud: A Framework for Revenue Analysis of Software-as-a-Service ProvisioningKenneth Johnson, Yuanzhi Wang, Radu Calinescu, Ian Sommerville, Gordon D. Baxter, John V. Tucker. cloudcom 2013: 144-151 [doi]

An incremental verification framework for component-based software systemsKenneth Johnson, Radu Calinescu, Shinji Kikuchi. cbse 2013: 33-42 [doi]

2012

Compositional Reverification of Probabilistic Safety Properties for Large-Scale Complex IT SystemsRadu Calinescu, Shinji Kikuchi, Kenneth Johnson. monterey 2012: 303-329 [doi]

Algebraic Specifications of Computing as a Service with Applications to Cost AnalysisKenneth Johnson, John V. Tucker. ucc 2012: 143-150 [doi]

2011

Using observation ageing to improve markovian model learning in QoS engineeringRadu Calinescu, Kenneth Johnson, Yasmin Rafiq. wosp 2011: 505-510 [doi]

Specification and Quantitative Analysis of Probabilistic Cloud Deployment PatternsKenneth Johnson, Simon Reed, Radu Calinescu. hvc 2012: 145-159 [doi]

2009

Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate formLoïc Besnard, Thierry Gautier, Matthieu Moy, Jean-Pierre Talpin, Kenneth Johnson, Florence Maraninchi. eceasst, 23, 2009. [doi]

2007

The algebraic specification of spatial data types with applications to constructive volume geometryKenneth Johnson. PhD thesis, Swansea University, UK, 2007. [doi]

1998

Effects of Four Modes of Group Communication on the Outcomes of Software Requirements DeterminationRosalie J. Ocker, Jerry Fjermestad, Starr Roxanne Hiltz, Kenneth Johnson. jmis, 15(1):99-118, 1998. [doi]

1995

Group strategic decision making: asynchronous GSS using structured conflict and consensus approachesJerry Fjermestad, Robert M. Czech, Starr Roxanne Hiltz, Murray Turoff, Cameron Ford, Rosalie J. Ocker, Frederick Ferront, Malcolm Worrell, Kenneth Johnson. hicss 1995: 222-231 [doi]

1991

Group Decision Support: The Effects of Designated Human Leaders and Statstical Feedback in Computerized ConferencesStarr Roxanne Hiltz, Kenneth Johnson, Murray Turoff. jmis, 8(2):81-108, 1991. [doi]

1989

Measuring acceptance of computer-mediated communication systemsStarr Roxanne Hiltz, Kenneth Johnson. jasis, 40(6):386-397, 1989.

Experiments in group decision making, 3: disinhibition, deindividuation, and group process in pen name and real name computer conferencesStarr Roxanne Hiltz, Murray Turoff, Kenneth Johnson. dss, 5(2):217-232, 1989. [doi]

1980

The Process of Communication in Face to Face Vs. Computerized Conferences. A Controlled Experiment Using Bales Interaction Process AnalysisStarr Roxanne Hiltz, Kenneth Johnson, Ann Marie Rabke. acl 1980: [doi]

Sign in or sign up to see more results.

runs on WebDSL