Kenneth Pierce

According to our database1, Kenneth Pierce authored at least 13 papers between 2010 and 2019.

Collaborative distances:

Timeline

2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
0
1
2
3
4
5
6
7
8
9
10
9
1
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2019
Collaborative Modelling and Co-simulation in Engineering and Computing Curricula.
Proceedings of the Frontiers in Software Engineering Education, 2019

2017
Features of Integrated Model-Based Co-modelling and Co-simulation Technology.
Proceedings of the Software Engineering and Formal Methods, 2017

2015
Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains.
Proceedings of the 3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, 2015

2014
Collaborative Development of Embedded Systems.
Proceedings of the Collaborative Design for Embedded Systems, 2014

Case Studies in Co-modelling and Co-simulation.
Proceedings of the Collaborative Design for Embedded Systems, 2014

Methods for Creating Co-models of Embedded Systems.
Proceedings of the Collaborative Design for Embedded Systems, 2014

Co-model Structuring and Design Patterns.
Proceedings of the Collaborative Design for Embedded Systems, 2014

Support for Co-modelling and Co-simulation: The Crescendo Tool.
Proceedings of the Collaborative Design for Embedded Systems, 2014

Discrete-Event Modelling in VDM.
Proceedings of the Collaborative Design for Embedded Systems, 2014

Co-modelling of Faults and Fault Tolerance Mechanisms.
Proceedings of the Collaborative Design for Embedded Systems, 2014

Design Space Exploration for Embedded Systems Using Co-simulation.
Proceedings of the Collaborative Design for Embedded Systems, 2014

Co-modelling and Co-simulation in Embedded Systems Design.
Proceedings of the Collaborative Design for Embedded Systems, 2014

2010
Design support and tooling for dependable embedded control software.
Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems, 2010


  Loading...