Concepedia

Ken Pierce

KP

Statistics

Publications

11

Citations

270

H-Index

10

Active since

2000

Affiliations

Newcastle University(Current)

University of Twente

Aarhus University

Aarhus School of Architecture

Ken Pierce is an author at Newcastle University specializing in engineering, systems engineering, and software design.

Top concepts

EngineeringSoftware DesignSystems EngineeringComputer EngineeringModeling And SimulationDesignAutomationSimulationFormal MethodsSystem Software

Publications per year

2000–2020

11

Publications

11

BMAT -- A Binary Matching Tool for Stale Profile Propagation

Zheng Wang, Ken Pierce, Scott McFarling · 2000 · 96 citations

Software Maintenance, Engineering, Binary Program +23

Elucidating concurrent algorithms via layers of abstraction and reification

Cliff B. Jones, Ken Pierce · Formal Aspects of Computing · 2010 · 28 citations · Full text

A formal approach to collaborative modelling and co-simulation for embedded systems

John Fitzgerald, Peter Gorm Larsen, Ken Pierce et al. · Mathematical Structures in Computer Science · 2013 · 27 citations · Full text

Effective Use, Engineering, Formal Approach +21

Design support and tooling for dependable embedded control software

Jan F. Broenink, Christian Kleijn, Peter Gorm Larsen et al. · 2010 · 21 citations · Full text

Engineering, Real-time System Design, Software Engineering +16

Collaborative Modelling and Co-simulation with DESTECS: A Pilot Study

Ken Pierce, Carl Gamble, Yunyun Ni et al. · 2012 · 20 citations · Full text

Robotics Simulator, Collaborative Modelling, Co-simulation +15

1–5 of 11