Ken Pierce

Ken Pierce

Newcastle University

H-index: 13

Europe-United Kingdom

About Ken Pierce

Ken Pierce, With an exceptional h-index of 13 and a recent h-index of 9 (since 2020), a distinguished researcher at Newcastle University, specializes in the field of computer science, formal methods, verification, embedded systems, co-simulation.

His recent articles reflect a diverse array of research interests and contributions to the field:

Modelling Maritime SAR Effective Sweep Widths for Helicopters in VDM

Speeding Up Design Space Exploration through Compiled Master Algorithms

A feasibility assessment of multi-modelling approaches for rail decarbonisation systems simulation

Modelling train driver behaviour in railway co-simulations

Multi-paradigm modelling and co-simulation in prototyping a cyber-physical production system

Proceedings of the 19th International Overture Workshop

Multi-Objective Optimisation Support for Co-Simulation

Tuning Robotti: the machine-assisted exploration of parameter spaces in multi-models of a cyber-physical system

Ken Pierce Information

University

Position

___

Citations(all)

769

Citations(since 2020)

334

Cited By

601

hIndex(all)

13

hIndex(since 2020)

9

i10Index(all)

22

i10Index(since 2020)

9

Email

University Profile Page

Newcastle University

Google Scholar

View Google Scholar Profile

Ken Pierce Skills & Research Interests

computer science

formal methods

verification

embedded systems

co-simulation

Top articles of Ken Pierce

Title

Journal

Author(s)

Publication Date

Modelling Maritime SAR Effective Sweep Widths for Helicopters in VDM

arXiv preprint arXiv:2304.00983

Alexander Sulaiman

Ken Pierce

2023/3/29

Speeding Up Design Space Exploration through Compiled Master Algorithms

Ken Pierce

Kenneth Lausdahl

Mirgita Frasheri

2022/8

A feasibility assessment of multi-modelling approaches for rail decarbonisation systems simulation

Proceedings of the Institution of Mechanical Engineers, Part F: Journal of Rail and Rapid Transit

David Golightly

Ken Pierce

Roberto Palacin

Carl Gamble

2022/7

Modelling train driver behaviour in railway co-simulations

Tomas Hotzel Escardo

Ken Pierce

David Golightly

Roberto Palacin

2021

Multi-paradigm modelling and co-simulation in prototyping a cyber-physical production system

Mihai Neghină

Constantin Bălă Zamfirescu

Peter Gorm Larsen

Ken Pierce

2021/1/1

Proceedings of the 19th International Overture Workshop

arXiv preprint arXiv:2110.09371

Hugo Daniel Macedo

Casper Thule

Ken Pierce

2021/10/18

Multi-Objective Optimisation Support for Co-Simulation

Hugo Daniel Macedo, Casper Thule, and Ken Pierce (Editors)

Aiden Stanley

Ken Pierce

2021/10

Tuning Robotti: the machine-assisted exploration of parameter spaces in multi-models of a cyber-physical system

Proceedings of the 18th International Overture Workshop

Sergiy Bogomolov

John Fitzgerald

Frederik F Foldager

Carl Gamble

Peter Gorm Larsen

...

2021/1

Exploring human behaviour in cyber-physical systems with multi-modelling and co-simulation

Ken Pierce

Carl Gamble

David Golightly

Roberto Palacin

2020

Collaborative Modelling and Co-simulation in Engineering and Computing Curricula

Frontiers in Software Engineering Education: First International Workshop, FISEE 2019, Villebrumier, France, November 11–13, 2019, Invited Papers

Lukas Esterle

Casper Thule

John Fitzgerald

Kenneth Pierce

2020/8/11

Applying ergonomics within the multi-modelling paradigm with an example from multiple UAV control

Ergonomics

David Golightly

Carl Gamble

Roberto Palacin

Ken Pierce

2020/8/2

Early-stage analysis of cyber-physical production systems through collaborative modelling

Software and Systems Modeling

Mihai Neghina

Constantin-Bala Zamfirescu

Ken Pierce

2020/5

See List of Professors in Ken Pierce University(Newcastle University)