Kenneth Johnson

43 papers A* 2A 1B 3C 3Misc 2Journal 12Unranked 17
YearRankTypeTitle / Venue / Authors
2025 — conf
Clinical Handover at Hospital Night Shift: Review of Challenges and Impacts on Patient Safety and Staff Experiences.
HICSS
Samaneh Madanian, Phyo Phyo Lwin, Charlie Kwong, Kenneth Johnson, Angsana A. Techatassanasoontorn, Harminder Singh, William Wong
2025 — conf
Probabilistic Model Checking of Disaster Resource Distribution Strategies.
FormaliSE
Kenneth Johnson, Meena Kumari
2024 — conf
Patterns of Applied Control for Public Health Measures on Transportation Services under Epidemic.
SEAMS@ICSE
Kenneth Johnson, Samaneh Madanian, Catia Trubiani
2023 — conf
A Novel Proof of Concept Forecasting Model for Pandemics - A Case Study in New Zealand.
ITDRR
Hamidreza Rasouli Panah, Abtin Ijadi Maghsoodi, Samaneh Madanian, Jian Yu, Kenneth Johnson
2021 — ch.
Continual Model-Based Analysis.
Composing Model-Based Analysis Tools
Kenneth Johnson, Marc Zeller, Arthur Vetter, Dániel Varró
2021 J jnl
Efficient Parametric Model Checking Using Domain Knowledge.
IEEE Trans. Software Eng.
Radu Calinescu, Colin Paterson, Kenneth Johnson
2021 J jnl
Graph-Theoretic Models of Resource Distribution for Cyber-Physical Systems of Disaster-Affected Regions.
CoRR
Kenneth Johnson, Samaneh Madanian, Roopak Sinha
2021 J jnl
Practical and comprehensive formalisms for modelling contemporary graph query languages.
Inf. Syst.
Chandan Sharma, Roopak Sinha, Kenneth Johnson
2021 — conf
Towards Self-Adaptive Disaster Management Systems.
ISCRAM
Kenneth Johnson, Javier Cámara, Roopak Sinha, Samaneh Madanian, Dave Parry
2020 B conf
Graph-Theoretic Models of Resource Distribution for Cyber-Physical Systems of Disaster-Affected Regions.
SEAA
Kenneth Johnson, Samaneh Madanian, Roopak Sinha
2020 — conf
Zero-error rule induction using a memetic algorithm.
SSCI
Ajit Narayanan, Koz Ross, Kenneth Johnson
2019 Misc ed.
Proceedings of the 12th IEEE/ACM International Conference on Utility and Cloud Computing, UCC 2019, Auckland, New Zealand, December 2-5, 2019.
UCC
Kenneth Johnson, Josef Spillner, Dalibor Klusácek, Ashiq Anjum
2019 — ed.
Proceedings of the 12th IEEE/ACM International Conference on Utility and Cloud Computing, UCC 2019, Companion Volume, Auckland, New Zealand, December 2-5, 2019.
UCC Companion
Kenneth Johnson, Josef Spillner, Dalibor Klusácek, Ashiq Anjum
2019 C ed.
Proceedings of the 6th IEEE/ACM International Conference on Big Data Computing, Applications and Technologies, BDCAT 2019, Auckland, New Zealand, December 2-5, 2019.
BDCAT
Kenneth Johnson, Josef Spillner, Xinghui Zhao, Olga Datskova, Blesson Varghese
2018 J jnl
Efficient Parametric Model Checking Using Domain Knowledge.
CoRR
Radu Calinescu, Colin Paterson, Kenneth Johnson
2018 — conf
Efficient parametric model checking using domain-specific modelling patterns.
ICSE (NIER)
Radu Calinescu, Kenneth Johnson, Colin Paterson
2017 J jnl
Monitoring and Intervention: Concepts and Formal Models.
CoRR
Kenneth Johnson, John V. Tucker, Victoria Wang
2017 C conf
Quantitative Verification of Social Media Networks: The Case Study of Twitter.
BDCAT
Kenneth Johnson, Shahper Richter
2016 A conf
FACT: A Probabilistic Model Checker for Formal Verification with Confidence Intervals.
TACAS
Radu Calinescu, Kenneth Johnson, Colin Paterson
2016 J jnl
Formal Verification With Confidence Intervals to Establish Quality of Service Properties of Software Systems.
IEEE Trans. Reliab.
Radu Calinescu, Carlo Ghezzi, Kenneth Johnson, Mauro Pezzè, Yasmin Rafiq, Giordano Tamburrelli
2016 — conf
Theorising Monitoring: Algebraic Models of Web Monitoring in Organisations.
WADT
Kenneth Johnson, John V. Tucker, Victoria Wang
2015 — conf
A Multi-agent Framework for Dependable Adaptation of Evolving System Architectures.
EUROMICRO-SEAA
Kenneth Johnson, Roopak Sinha, Radu Calinescu, Ji Ruan
2014 C conf
A scalable approach for re-configuring evolving industrial control systems.
ETFA
Roopak Sinha, Kenneth Johnson, Radu Calinescu
2014 B conf
Adaptive model learning for continual verification of non-functional properties.
ICPE
Radu Calinescu, Yasmin Rafiq, Kenneth Johnson, Mehmet Emin Bakir
2014 — conf
Efficient re-resolution of SMT specifications for evolving software architectures.
QoSA
Kenneth Johnson, Radu Calinescu
2013 — conf
An incremental verification framework for component-based software systems.
CBSE
Kenneth Johnson, Radu Calinescu, Shinji Kikuchi
2013 — conf
Continual Verification of Non-Functional Properties in Cloud-Based Systems.
NiM-ALP@MoDELS
Radu Calinescu, Kenneth Johnson, Yasmin Rafiq, Simos Gerasimou, Gabriel Costa Silva, Stanimir N. Pehlivanov
2013 A* conf
Developing self-verifying service-based systems.
ASE
Radu Calinescu, Kenneth Johnson, Yasmin Rafiq
2013 — conf
Services2Cloud: A Framework for Revenue Analysis of Software-as-a-Service Provisioning.
CloudCom (2)
Kenneth Johnson, Yuanzhi Wang, Radu Calinescu, Ian Sommerville, Gordon D. Baxter, John V. Tucker
2013 J jnl
The data type of spatial objects.
Formal Aspects Comput.
Kenneth Johnson, John V. Tucker
2013 — conf
Using Runtime Quantitative Verification to Provide Assurance Evidence for Self-Adaptive Software - Advances, Applications and Research Challenges.
Software Engineering for Self-Adaptive Systems
Radu Calinescu, Simos Gerasimou, Kenneth Johnson, Colin Paterson
2012 Misc conf
Algebraic Specifications of Computing as a Service with Applications to Cost Analysis.
UCC
Kenneth Johnson, John V. Tucker
2012 — conf
Compositional Reverification of Probabilistic Safety Properties for Large-Scale Complex IT Systems.
Monterey Workshop
Radu Calinescu, Shinji Kikuchi, Kenneth Johnson
2011 — conf
Specification and Quantitative Analysis of Probabilistic Cloud Deployment Patterns.
Haifa Verification Conference
Kenneth Johnson, Simon Reed, Radu Calinescu
2011 B conf
Using observation ageing to improve markovian model learning in QoS engineering.
ICPE
Radu Calinescu, Kenneth Johnson, Yasmin Rafiq
2009 J jnl
Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Loïc Besnard, Thierry Gautier, Matthieu Moy, Jean-Pierre Talpin, Kenneth Johnson, Florence Maraninchi
2007 — —
The algebraic specification of spatial data types with applications to constructive volume geometry.
Kenneth Johnson
1998 J jnl
Effects of Four Modes of Group Communication on the Outcomes of Software Requirements Determination.
J. Manag. Inf. Syst.
Rosalie J. Ocker, Jerry Fjermestad, Starr Roxanne Hiltz, Kenneth Johnson
1995 — conf
Group strategic decision making: asynchronous GSS using structured conflict and consensus approaches.
HICSS (4)
Jerry Fjermestad, Robert M. Czech, Starr Roxanne Hiltz, Murray Turoff, Cameron Ford, Rosalie J. Ocker, Frederick Ferront, Malcolm Worrell, Kenneth Johnson
1991 J jnl
Group Decision Support: The Effects of Designated Human Leaders and Statistical Feedback in Computerized Conferences.
J. Manag. Inf. Syst.
Starr Roxanne Hiltz, Kenneth Johnson, Murray Turoff
1989 J jnl
Experiments in group decision making, 3: disinhibition, deindividuation, and group process in pen name and real name computer conferences.
Decis. Support Syst.
Starr Roxanne Hiltz, Murray Turoff, Kenneth Johnson
1989 J jnl
Measuring acceptance of computer-mediated communication systems.
JASIS
Starr Roxanne Hiltz, Kenneth Johnson
1980 A* conf
The Process of Communication in Face to Face Vs. Computerized Conferences. A Controlled Experiment Using Bales Interaction Process Analysis.
ACL
Starr Roxanne Hiltz, Kenneth Johnson, Ann Marie Rabke