| 2024 | SEAMS | Patterns of Applied Control for Public Health Measures on Transportation Services under Epidemic. | Kenneth Johnson, Samaneh Madanian, Catia Trubiani |
| 2018 | ICSE | Efficient parametric model checking using domain-specific modelling patterns. | Radu Calinescu, Kenneth Johnson, Colin Paterson |
| 2016 | TACAS | FACT: A Probabilistic Model Checker for Formal Verification with Confidence Intervals. | Radu Calinescu, Kenneth Johnson, Colin Paterson |
| 2014 | ETFA | A scalable approach for re-configuring evolving industrial control systems. | Roopak Sinha, Kenneth Johnson, Radu Calinescu |
| 2013 | CloudCom | 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 |
| 2013 | MODELS | Continual Verification of Non-Functional Properties in Cloud-Based Systems. | Radu Calinescu, Kenneth Johnson, Yasmin Rafiq, Simos Gerasimou, Gabriel Costa Silva, Stanimir N. Pehlivanov |
| 2012 | UCC | Algebraic Specifications of Computing as a Service with Applications to Cost Analysis. | Kenneth Johnson, John V. Tucker |
| 1980 | ACL | 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 |