Kenneth Johnson
Orcid: 0000-0002-9116-7185
According to our database1,
Kenneth Johnson
authored at least 36 papers
between 1980 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
1980
1985
1990
1995
2000
2005
2010
2015
2020
0
1
2
3
4
5
6
7
1
2
1
1
1
1
1
1
2
1
1
1
2
1
1
2
1
3
5
2
2
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Patterns of Applied Control for Public Health Measures on Transportation Services under Epidemic.
Proceedings of the 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2024
2023
A Novel Proof of Concept Forecasting Model for Pandemics - A Case Study in New Zealand.
Proceedings of the Information Technology in Disaster Risk Reduction, 2023
2021
IEEE Trans. Software Eng., 2021
Practical and comprehensive formalisms for modelling contemporary graph query languages.
Inf. Syst., 2021
Proceedings of the 18th International Conference on Information Systems for Crisis Response and Management, 2021
Proceedings of the Composing Model-Based Analysis Tools, 2021
2020
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.
Proceedings of the 46th Euromicro Conference on Software Engineering and Advanced Applications, 2020
2018
Proceedings of the 40th International Conference on Software Engineering: New Ideas and Emerging Results, 2018
2017
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.
IEEE Trans. Reliab., 2016
Proceedings of the Recent Trends in Algebraic Development Techniques, 2016
FACT: A Probabilistic Model Checker for Formal Verification with Confidence Intervals.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016
2015
Proceedings of the 41st Euromicro Conference on Software Engineering and Advanced Applications, 2015
2014
Proceedings of the ACM/SPEC International Conference on Performance Engineering, 2014
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
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014
2013
Proceedings of the 5th International Workshop Non-functional Properties in Modeling: Analysis, 2013
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.
Proceedings of the Software Engineering for Self-Adaptive Systems III. Assurances, 2013
Services2Cloud: A Framework for Revenue Analysis of Software-as-a-Service Provisioning.
Proceedings of the IEEE 5th International Conference on Cloud Computing Technology and Science, 2013
Proceedings of the CBSE'13, 2013
2012
Algebraic Specifications of Computing as a Service with Applications to Cost Analysis.
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.
Proceedings of the Large-Scale Complex IT Systems. Development, Operation and Management, 2012
2011
Proceedings of the ICPE'11, 2011
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.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009
2007
The algebraic specification of spatial data types with applications to constructive volume geometry.
PhD thesis, 2007
1998
Effects of Four Modes of Group Communication on the Outcomes of Software Requirements Determination.
J. Manag. Inf. Syst., 1998
1995
Group strategic decision making: asynchronous GSS using structured conflict and consensus approaches.
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.
J. Manag. Inf. Syst., 1991
1989
Measuring acceptance of computer-mediated communication systems.
JASIS, 1989
Experiments in group decision making, 3: disinhibition, deindividuation, and group process in pen name and real name computer conferences.
Decis. Support Syst., 1989
1980
The Process of Communication in Face to Face Vs. Computerized Conferences. A Controlled Experiment Using Bales Interaction Process Analysis.
Proceedings of the 18th Annual Meeting of the Association for Computational Linguistics, 1980