Kenneth Pierce

Publication Activity (10 Years)

Years Active: 2010-2023
Publications (10 Years): 5

Top Topics

National Science Foundation

Geographically Dispersed

Workshop On Artificial Intelligence

Top Venues

Publications

Hugo Daniel Macedo, Kenneth Pierce
Proceedings of the 21st International Overture Workshop. CoRR (2023)
Hugo Daniel Macedo, Kenneth Pierce
Proceedings of the 20th International Overture Workshop. CoRR (2022)
Hugo Daniel Macedo, Casper Thule, Kenneth Pierce
Proceedings of the 19th International Overture Workshop. CoRR (2021)
Peter Gorm Larsen, Hugo Daniel Macedo, Cláudio Goncalves Gomes, Lukas Esterle, Casper Thule, John S. Fitzgerald, Kenneth Pierce
Collaborative Modelling and Co-simulation in Engineering and Computing Curricula. FISEE (2019)
Peter Gorm Larsen, John S. Fitzgerald, Jim Woodcock, Carl Gamble, Richard John Payne, Kenneth Pierce
Features of Integrated Model-Based Co-modelling and Co-simulation Technology. SEFM Workshops (2017)
John S. Fitzgerald, Carl Gamble, Peter Gorm Larsen, Kenneth Pierce, Jim Woodcock
Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains. FormaliSE@ICSE (2015)
Jan F. Broenink, Christian Kleijn, Peter Gorm Larsen, Dusko S. Jovanovic, Marcel Verhoef, Kenneth Pierce
Design support and tooling for dependable embedded control software. SERENE (2010)