Ken Pierce

According to our database, Ken Pierce authored at least 10 papers between 2000 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Proceedings of the 22nd International Overture Workshop.

Hugo Daniel Macedo, Ken Pierce, Leo Freitas

CoRR, 2024

Using co-simulation and Time Signal at Red (TSAR) to Determine Impact of Driver Behavior on Rail Network Performance.

Ken Pierce, Anirban Bhattacharyya, David Golightly, Pedro Pinto da Silva, Seb Merricks, Roberto Palacin, Ziqi Guo

Proceedings of the Annual Modeling and Simulation Conference, 2024

2023

Proceedings of the 21st International Overture Workshop.

Hugo Daniel Macedo, Ken Pierce

CoRR, 2023

Modelling Maritime SAR Effective Sweep Widths for Helicopters in VDM.

Alexander Sulaiman, Ken Pierce

CoRR, 2023

2022

Proceedings of the 20th International Overture Workshop.

Hugo Daniel Macedo, Ken Pierce

CoRR, 2022

2021

Proceedings of the 19th International Overture Workshop.

Hugo Daniel Macedo, Casper Thule, Ken Pierce

CoRR, 2021

2020

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

Mihai Neghina, Constantin-Bala Zamfirescu, Ken Pierce

Softw. Syst. Model., 2020

2017

An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems.

Anirban Bhattacharyya, Andrey Mokhov, Ken Pierce

Formal Aspects Comput., 2017

2014

On Formalisms for Dynamic Reconfiguration of Dependable Systems.

Anirban Bhattacharyya, Andrey Mokhov, Ken Pierce, Manuel Mazzara

CoRR, 2014

2000

BMAT - A Binary Matching Tool for Stale Profile Propagation.

Zheng Wang, Ken Pierce, Scott McFarling

J. Instr. Level Parallelism, 2000