Kenneth Johnson

Publication Activity (10 Years)

Years Active: 1980-2024
Publications (10 Years): 15

Top Topics

Confidence Intervals

Pspace Complete

Memetic Algorithm

Top Venues

Publications

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