The Process of Communication in Face to Face Vs. Computerized Conferences. A Controlled Experiment Using Bales Interaction Process Analysis. - Starr Roxanne Hiltz; Kenneth Johnson; Ann Marie Rabke (ACL, 1980)

Experiments in group decision making, 3: disinhibition, deindividuation, and group process in pen name and real name computer conferences. - Starr Roxanne Hiltz; Murray Turoff; Kenneth Johnson (Decis. Support Syst., 1989)

Measuring acceptance of computer-mediated communication systems. - Starr Roxanne Hiltz; Kenneth Johnson (JASIS, 1989)

Group Decision Support: The Effects of Designated Human Leaders and Statistical Feedback in Computerized Conferences. - Starr Roxanne Hiltz; Kenneth Johnson; Murray Turoff (J. Manag. Inf. Syst., 1991)

Group strategic decision making: asynchronous GSS using structured conflict and consensus approaches. - Jerry Fjermestad; Robert M. Czech; Starr Roxanne Hiltz; Murray Turoff; Cameron Ford; Rosalie J. Ocker; Frederick Ferront; Malcolm Worrell; Kenneth Johnson (HICSS (4), 1995)

Effects of Four Modes of Group Communication on the Outcomes of Software Requirements Determination. - Rosalie J. Ocker; Jerry Fjermestad; Starr Roxanne Hiltz; Kenneth Johnson (J. Manag. Inf. Syst., 1998)

The algebraic specification of spatial data types with applications to constructive volume geometry. - Kenneth Johnson (2007)

Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form. - Loïc Besnard; Thierry Gautier; Matthieu Moy; Jean-Pierre Talpin; Kenneth Johnson; Florence Maraninchi (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009)

Specification and Quantitative Analysis of Probabilistic Cloud Deployment Patterns. - Kenneth Johnson; Simon Reed; Radu Calinescu (Haifa Verification Conference, 2011)

Using observation ageing to improve markovian model learning in QoS engineering. - Radu Calinescu; Kenneth Johnson; Yasmin Rafiq (ICPE, 2011)

Compositional Reverification of Probabilistic Safety Properties for Large-Scale Complex IT Systems. - Radu Calinescu; Shinji Kikuchi; Kenneth Johnson (Monterey Workshop, 2012)

Algebraic Specifications of Computing as a Service with Applications to Cost Analysis. - Kenneth Johnson; John V. Tucker (UCC, 2012)

An incremental verification framework for component-based software systems. - Kenneth Johnson; Radu Calinescu; Shinji Kikuchi (CBSE, 2013)

Services2Cloud: A Framework for Revenue Analysis of Software-as-a-Service Provisioning. - Kenneth Johnson; Yuanzhi Wang; Radu Calinescu; Ian Sommerville; Gordon D. Baxter; John V. Tucker (CloudCom (2), 2013)

Using Runtime Quantitative Verification to Provide Assurance Evidence for Self-Adaptive Software - Advances, Applications and Research Challenges. - Radu Calinescu; Simos Gerasimou; Kenneth Johnson; Colin Paterson (Software Engineering for Self-Adaptive Systems, 2013)

Developing self-verifying service-based systems. - Radu Calinescu; Kenneth Johnson; Yasmin Rafiq (ASE, 2013)

Continual Verification of Non-Functional Properties in Cloud-Based Systems. - Radu Calinescu; Kenneth Johnson; Yasmin Rafiq; Simos Gerasimou; Gabriel Costa Silva; Stanimir N. Pehlivanov (NiM-ALP@MoDELS, 2013)

The data type of spatial objects. - Kenneth Johnson; John V. Tucker (Formal Aspects Comput., 2013)

A scalable approach for re-configuring evolving industrial control systems. - Roopak Sinha; Kenneth Johnson; Radu Calinescu (ETFA, 2014)

Efficient re-resolution of SMT specifications for evolving software architectures. - Kenneth Johnson; Radu Calinescu (QoSA, 2014)

Adaptive model learning for continual verification of non-functional properties. - Radu Calinescu; Yasmin Rafiq; Kenneth Johnson; Mehmet Emin Bakir (ICPE, 2014)

A Multi-agent Framework for Dependable Adaptation of Evolving System Architectures. - Kenneth Johnson; Roopak Sinha; Radu Calinescu; Ji Ruan (EUROMICRO-SEAA, 2015)

FACT: A Probabilistic Model Checker for Formal Verification with Confidence Intervals. - Radu Calinescu; Kenneth Johnson; Colin Paterson (TACAS, 2016)

Theorising Monitoring: Algebraic Models of Web Monitoring in Organisations. - Kenneth Johnson; John V. Tucker; Victoria Wang (WADT, 2016)

Formal Verification With Confidence Intervals to Establish Quality of Service Properties of Software Systems. - Radu Calinescu; Carlo Ghezzi; Kenneth Johnson; Mauro Pezzè; Yasmin Rafiq; Giordano Tamburrelli (IEEE Trans. Reliab., 2016)

Quantitative Verification of Social Media Networks: The Case Study of Twitter. - Kenneth Johnson; Shahper Richter (BDCAT, 2017)

Monitoring and Intervention: Concepts and Formal Models. - Kenneth Johnson; John V. Tucker; Victoria Wang (CoRR, 2017)

Efficient parametric model checking using domain-specific modelling patterns. - Radu Calinescu; Kenneth Johnson; Colin Paterson (ICSE (NIER), 2018)

Graph-Theoretic Models of Resource Distribution for Cyber-Physical Systems of Disaster-Affected Regions. - Kenneth Johnson; Samaneh Madanian; Roopak Sinha (SEAA, 2020)

Zero-error rule induction using a memetic algorithm. - Ajit Narayanan; Koz Ross; Kenneth Johnson (SSCI, 2020)

Continual Model-Based Analysis. - Kenneth Johnson; Marc Zeller; Arthur Vetter; Dániel Varró (Composing Model-Based Analysis Tools, 2021)

Towards Self-Adaptive Disaster Management Systems. - Kenneth Johnson; Javier Cámara 001; Roopak Sinha; Samaneh Madanian; Dave Parry (ISCRAM, 2021)

Practical and comprehensive formalisms for modelling contemporary graph query languages. - Chandan Sharma; Roopak Sinha; Kenneth Johnson (Inf. Syst., 2021)

Efficient Parametric Model Checking Using Domain Knowledge. - Radu Calinescu; Colin Paterson; Kenneth Johnson (IEEE Trans. Software Eng., 2021)

A Novel Proof of Concept Forecasting Model for Pandemics - A Case Study in New Zealand. - Hamidreza Rasouli Panah; Abtin Ijadi Maghsoodi; Samaneh Madanian; Jian Yu 002; Kenneth Johnson (ITDRR, 2023)

Patterns of Applied Control for Public Health Measures on Transportation Services under Epidemic. - Kenneth Johnson; Samaneh Madanian; Catia Trubiani (SEAMS@ICSE, 2024)

Probabilistic Model Checking of Disaster Resource Distribution Strategies. - Kenneth Johnson; Meena Kumari (FormaliSE, 2025)