Claus Ballegaard Nielsen

According to our database, Claus Ballegaard Nielsen authored at least 9 papers between 2012 and 2017.

Collaborative distances:

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

2017

Applying the VDM formalism across systems engineering lifecycles.

Claus Ballegaard Nielsen

Proceedings of the 2017 Annual IEEE International Systems Conference, 2017

2015

Systems of Systems Engineering: Basic Concepts, Model-Based Techniques, and Research Directions.

Claus Ballegaard Nielsen, Peter Gorm Larsen, John S. Fitzgerald, Jim Woodcock, Jan Peleska

ACM Comput. Surv., 2015

Active learning via LEGO MINDSTORMS in Systems Engineering education.

Claus Ballegaard Nielsen, Paul Adams

Proceedings of the IEEE International Symposium on Systems Engineering, 2015

2014

Distributed Simulation of Formal Models in System of Systems Engineering.

Claus Ballegaard Nielsen, Kenneth Lausdahl, Peter Gorm Larsen

Proceedings of the 2014 IEEE 23rd International WETICE Conference, 2014

Collaborative formal modeling of System of Systems.

Claus Ballegaard Nielsen, Peter Gorm Larsen

Proceedings of the IEEE International Systems Conference, 2014

Modelling Energy Consumption in Embedded Systems with VDM-RT.

José Antonio Esparza Isasa, Peter Würtz Vinther Jørgensen, Claus Ballegård Nielsen, Stefan Hallerstede

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014

2013

Understanding patterns for system of systems integration.

Rick Kazman, Klaus Schmid, Claus Ballegaard Nielsen, John Klein

Proceedings of the 8th International Conference on System of Systems Engineering, 2013

2012

Extending VDM-RT to enable the formal modelling of System of Systems.

Claus Ballegaard Nielsen, Peter Gorm Larsen

Proceedings of the 7th International Conference on System of Systems Engineering, 2012

Combining VDM with Executable Code.

Claus Ballegaard Nielsen, Kenneth Lausdahl, Peter Gorm Larsen

Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012