Login / Signup
Ken Pierce
Publication Activity (10 Years)
Years Active: 2000-2023
Publications (10 Years): 4
Top Topics
Dynamic Reconfiguration
Knowledge Representation Systems
Early Stage
Production System
Top Venues
CoRR
Formal Aspects Comput.
Softw. Syst. Model.
</>
Publications
</>
Alexander Sulaiman
,
Ken Pierce
Modelling Maritime SAR Effective Sweep Widths for Helicopters in VDM.
CoRR
(2023)
Mihai Neghina
,
Constantin-Bala Zamfirescu
,
Ken Pierce
Early-stage analysis of cyber-physical production systems through collaborative modelling.
Softw. Syst. Model.
19 (3) (2020)
Anirban Bhattacharyya
,
Andrey Mokhov
,
Ken Pierce
An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems.
Formal Aspects Comput.
29 (2) (2017)
Anirban Bhattacharyya
,
Andrey Mokhov
,
Ken Pierce
An Empirical Comparison of Formalisms for Modelling and Analysis of Dynamic Reconfiguration of Dependable Systems.
CoRR
(2016)
Anirban Bhattacharyya
,
Andrey Mokhov
,
Ken Pierce
,
Manuel Mazzara
On Formalisms for Dynamic Reconfiguration of Dependable Systems.
CoRR
(2014)
Zheng Wang
,
Ken Pierce
,
Scott McFarling
BMAT - A Binary Matching Tool for Stale Profile Propagation.
J. Instr. Level Parallelism
2 (2000)