Kenneth Pierce

According to our database, Kenneth Pierce authored at least 16 papers between 2010 and 2023.

Collaborative distances:

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

2023

Proceedings of the 21st International Overture Workshop.

Hugo Daniel Macedo, Kenneth Pierce

CoRR, 2023

2022

Proceedings of the 20th International Overture Workshop.

Hugo Daniel Macedo, Kenneth Pierce

CoRR, 2022

2021

Proceedings of the 19th International Overture Workshop.

Hugo Daniel Macedo, Casper Thule, Kenneth Pierce

CoRR, 2021

2019

Collaborative Modelling and Co-simulation in Engineering and Computing Curricula.

Peter Gorm Larsen, Hugo Daniel Macedo, Cláudio Goncalves Gomes, Lukas Esterle, Casper Thule, John S. Fitzgerald, Kenneth Pierce

Proceedings of the Frontiers in Software Engineering Education, 2019

2017

Features of Integrated Model-Based Co-modelling and Co-simulation Technology.

Peter Gorm Larsen, John S. Fitzgerald, Jim Woodcock, Carl Gamble, Richard John Payne, Kenneth Pierce

Proceedings of the Software Engineering and Formal Methods, 2017

2015

Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains.

John S. Fitzgerald, Carl Gamble, Peter Gorm Larsen, Kenneth Pierce, Jim Woodcock

Proceedings of the 3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, 2015

2014

Collaborative Development of Embedded Systems.

Marcel Verhoef, Kenneth Pierce, Carl Gamble, Jan F. Broenink

Proceedings of the Collaborative Design for Embedded Systems, 2014

Case Studies in Co-modelling and Co-simulation.

Marcel Verhoef, Bert Bos, Kenneth Pierce, Carl Gamble, Job van Amerongen

Proceedings of the Collaborative Design for Embedded Systems, 2014

Methods for Creating Co-models of Embedded Systems.

Kenneth Pierce, Sune Wolff, Marcel Verhoef

Proceedings of the Collaborative Design for Embedded Systems, 2014

Co-model Structuring and Design Patterns.

Kenneth Pierce, Peter Gorm Larsen, John S. Fitzgerald

Proceedings of the Collaborative Design for Embedded Systems, 2014

Support for Co-modelling and Co-simulation: The Crescendo Tool.

Peter Gorm Larsen, Carl Gamble, Kenneth Pierce, Augusto Ribeiro, Kenneth Lausdahl

Proceedings of the Collaborative Design for Embedded Systems, 2014

Discrete-Event Modelling in VDM.

Peter Gorm Larsen, John S. Fitzgerald, Marcel Verhoef, Kenneth Pierce

Proceedings of the Collaborative Design for Embedded Systems, 2014

Co-modelling of Faults and Fault Tolerance Mechanisms.

Carl Gamble, Kenneth Pierce, John S. Fitzgerald, Bert Bos

Proceedings of the Collaborative Design for Embedded Systems, 2014

Design Space Exploration for Embedded Systems Using Co-simulation.

Carl Gamble, Kenneth Pierce

Proceedings of the Collaborative Design for Embedded Systems, 2014

Co-modelling and Co-simulation in Embedded Systems Design.

John S. Fitzgerald, Kenneth Pierce

Proceedings of the Collaborative Design for Embedded Systems, 2014

2010

Design support and tooling for dependable embedded control software.

Jan F. Broenink, Christian Kleijn, Peter Gorm Larsen, Dusko S. Jovanovic, Marcel Verhoef, Kenneth Pierce

Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems, 2010