Kenneth Johnson

According to our database, Kenneth Johnson authored at least 34 papers between 1980 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Efficient Parametric Model Checking Using Domain Knowledge.

Radu Calinescu, Colin Paterson, Kenneth Johnson

IEEE Trans. Software Eng., 2021

Practical and comprehensive formalisms for modelling contemporary graph query languages.

Chandan Sharma, Roopak Sinha, Kenneth Johnson

Inf. Syst., 2021

Towards Self-Adaptive Disaster Management Systems.

Kenneth Johnson, Javier Cámara, Roopak Sinha, Samaneh Madanian, Dave Parry

Proceedings of the 18th International Conference on Information Systems for Crisis Response and Management, 2021

Continual Model-Based Analysis.

Kenneth Johnson, Marc Zeller, Arthur Vetter, Dániel Varró

Proceedings of the Composing Model-Based Analysis Tools, 2021

2020

Zero-error rule induction using a memetic algorithm.

Ajit Narayanan, Koz Ross, Kenneth Johnson

Proceedings of the 2020 IEEE Symposium Series on Computational Intelligence, 2020

Graph-Theoretic Models of Resource Distribution for Cyber-Physical Systems of Disaster-Affected Regions.

Kenneth Johnson, Samaneh Madanian, Roopak Sinha

Proceedings of the 46th Euromicro Conference on Software Engineering and Advanced Applications, 2020

2018

Efficient parametric model checking using domain-specific modelling patterns.

Radu Calinescu, Kenneth Johnson, Colin Paterson

Proceedings of the 40th International Conference on Software Engineering: New Ideas and Emerging Results, 2018

2017

Monitoring and Intervention: Concepts and Formal Models.

Kenneth Johnson, John V. Tucker, Victoria Wang

CoRR, 2017

Quantitative Verification of Social Media Networks: The Case Study of Twitter.

Kenneth Johnson, Shahper Richter

Proceedings of the Fourth IEEE/ACM International Conference on Big Data Computing, 2017

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

Theorising Monitoring: Algebraic Models of Web Monitoring in Organisations.

Kenneth Johnson, John V. Tucker, Victoria Wang

Proceedings of the Recent Trends in Algebraic Development Techniques, 2016

FACT: A Probabilistic Model Checker for Formal Verification with Confidence Intervals.

Radu Calinescu, Kenneth Johnson, Colin Paterson

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

2015

A Multi-agent Framework for Dependable Adaptation of Evolving System Architectures.

Kenneth Johnson, Roopak Sinha, Radu Calinescu, Ji Ruan

Proceedings of the 41st Euromicro Conference on Software Engineering and Advanced Applications, 2015

2014

Adaptive model learning for continual verification of non-functional properties.

Radu Calinescu, Yasmin Rafiq, Kenneth Johnson, Mehmet Emin Bakir

Proceedings of the ACM/SPEC International Conference on Performance Engineering, 2014

Efficient re-resolution of SMT specifications for evolving software architectures.

Kenneth Johnson, Radu Calinescu

Proceedings of the QoSA'14, Proceedings of the 10th International ACM SIGSOFT Conference on Quality of Software Architectures (part of CompArch 2014), Marcq-en-Baroeul, Lille, France, June 30, 2014

A scalable approach for re-configuring evolving industrial control systems.

Roopak Sinha, Kenneth Johnson, Radu Calinescu

Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

2013

The data type of spatial objects.

Kenneth Johnson, John V. Tucker

Formal Aspects Comput., 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

Proceedings of the 5th International Workshop Non-functional Properties in Modeling: Analysis, 2013

Developing self-verifying service-based systems.

Radu Calinescu, Kenneth Johnson, Yasmin Rafiq

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 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

Proceedings of the Software Engineering for Self-Adaptive Systems III. Assurances, 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

Proceedings of the IEEE 5th International Conference on Cloud Computing Technology and Science, 2013

An incremental verification framework for component-based software systems.

Kenneth Johnson, Radu Calinescu, Shinji Kikuchi

Proceedings of the CBSE'13, 2013

2012

Algebraic Specifications of Computing as a Service with Applications to Cost Analysis.

Kenneth Johnson, John V. Tucker

Proceedings of the IEEE Fifth International Conference on Utility and Cloud Computing, 2012

Compositional Reverification of Probabilistic Safety Properties for Large-Scale Complex IT Systems.

Radu Calinescu, Shinji Kikuchi, Kenneth Johnson

Proceedings of the Large-Scale Complex IT Systems. Development, Operation and Management, 2012

2011

Using observation ageing to improve markovian model learning in QoS engineering.

Radu Calinescu, Kenneth Johnson, Yasmin Rafiq

Proceedings of the ICPE'11, 2011

Specification and Quantitative Analysis of Probabilistic Cloud Deployment Patterns.

Kenneth Johnson, Simon Reed, Radu Calinescu

Proceedings of the Hardware and Software: Verification and Testing, 2011

2009

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

2007

The algebraic specification of spatial data types with applications to constructive volume geometry.

Kenneth Johnson

PhD thesis, 2007

1998

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

1995

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

Proceedings of the 28th Annual Hawaii International Conference on System Sciences (HICSS-28), 1995

1991

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

1989

Measuring acceptance of computer-mediated communication systems.

Starr Roxanne Hiltz, Kenneth Johnson

JASIS, 1989

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

1980

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

Proceedings of the 18th Annual Meeting of the Association for Computational Linguistics, 1980