Martin de Groot

14 papers A 1C 3Journal 3Unranked 6
YearRankTypeTitle / Venue / Authors
2016 J jnl
Adaptive Neuro-Fuzzy Synchronization in Isolated Power Systems with High Wind Penetration.
J. Adv. Comput. Intell. Intell. Informatics
Michael Negnevitsky, Dusan Nikolic, Martin de Groot
2013 — conf
Enabling Demand Response in a computer cluster.
SmartGridComm
Chen Wang, Martin de Groot
2013 J jnl
Market-Based Demand Response Scheduling in a Deregulated Environment.
IEEE Trans. Smart Grid
Duy Thanh Nguyen, Michael Negnevitsky, Martin de Groot
2013 C conf
Verifying an Aircraft Proximity Characterization Method in Coq.
ICFEM
Dongxi Liu, Neale Leslie Fulton, John Zic, Martin de Groot
2012 — conf
Consumer Operational Comfort Level based power demand management in the smart grid.
ISGT Europe
Yan Chen, Ren Ping Liu, Chen Wang, Martin de Groot, Zhiyuan Zeng
2012 — conf
Demand Response aware cluster resource provisioning for parallel applications.
SmartGridComm
Chen Wang, Martin de Groot
2012 J jnl
Hardware Security Device Facilitated Trusted Energy Services.
Mob. Networks Appl.
John J. Zic, Martin de Groot, Dongxi Liu, Julian Jang, Chen Wang
2010 C conf
Hardware security device facilitated trusted residential energy services.
CollaborateCom
John Zic, Julian Jang, Dongxi Liu, Chen Wang, Martin de Groot
2010 — conf
Managing end-user preferences in the smart grid.
e-Energy
Chen Wang, Martin de Groot
2009 A conf
A Service-Oriented System for Optimizing Residential Energy Use.
ICWS
Chen Wang, Martin de Groot, Peter Marendy
2007 C conf
Integrating Formal Methods with System Management.
ICFEM
Martin de Groot
2006 — —
Reasoning about designs: a framework for coupling formal developments and system management.
Martin de Groot
1997 — conf
Modular Refinement and Model Building.
AMAST
Martin de Groot, Ken Robinson
1995 — conf
Fault diagnosis in computer networks.
Integrated Network Management
Martin de Groot