Martin de Groot

According to our database, Martin de Groot authored at least 14 papers between 1995 and 2016.

Collaborative distances:

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

2016

Adaptive Neuro-Fuzzy Synchronization in Isolated Power Systems with High Wind Penetration.

Michael Negnevitsky, Dusan Nikolic, Martin de Groot

J. Adv. Comput. Intell. Intell. Informatics, 2016

2013

Market-Based Demand Response Scheduling in a Deregulated Environment.

Duy Thanh Nguyen, Michael Negnevitsky, Martin de Groot

IEEE Trans. Smart Grid, 2013

Enabling Demand Response in a computer cluster.

Chen Wang, Martin de Groot

Proceedings of the IEEE Fourth International Conference on Smart Grid Communications, 2013

Verifying an Aircraft Proximity Characterization Method in Coq.

Dongxi Liu, Neale Leslie Fulton, John Zic, Martin de Groot

Proceedings of the Formal Methods and Software Engineering, 2013

2012

Hardware Security Device Facilitated Trusted Energy Services.

John J. Zic, Martin de Groot, Dongxi Liu, Julian Jang, Chen Wang

Mob. Networks Appl., 2012

Demand Response aware cluster resource provisioning for parallel applications.

Chen Wang, Martin de Groot

Proceedings of the IEEE Third International Conference on Smart Grid Communications, 2012

Consumer Operational Comfort Level based power demand management in the smart grid.

Yan Chen, Ren Ping Liu, Chen Wang, Martin de Groot, Zhiyuan Zeng

Proceedings of the 3rd IEEE PES Innovative Smart Grid Technologies Europe, 2012

2010

Managing end-user preferences in the smart grid.

Chen Wang, Martin de Groot

Proceedings of the 1st International Conference on Energy-Efficient Computing and Networking, 2010

Hardware security device facilitated trusted residential energy services.

John Zic, Julian Jang, Dongxi Liu, Chen Wang, Martin de Groot

Proceedings of the 6th International Conference on Collaborative Computing: Networking, 2010

2009

A Service-Oriented System for Optimizing Residential Energy Use.

Chen Wang, Martin de Groot, Peter Marendy

Proceedings of the IEEE International Conference on Web Services, 2009

2007

Integrating Formal Methods with System Management.

Martin de Groot

Proceedings of the Formal Methods and Software Engineering, 2007

2006

Reasoning about designs: a framework for coupling formal developments and system management.

Martin de Groot

PhD thesis, 2006

1997

Modular Refinement and Model Building.

Martin de Groot, Ken Robinson

Proceedings of the Algebraic Methodology and Software Technology, 1997

1995

Fault diagnosis in computer networks.

Martin de Groot

Proceedings of the Integrated Network Management IV, 1995