SmartHG Project Publications -- Query Results

	SmartHG Project Publications Home \| Show All \| Simple Search \| Advanced Search	Login Quick Search: Field: contains: ...
	1-10 of 28 records found matching your query:

Search & Display Options

Select All Deselect All

<< 1 2 3 >>

List View

Citations

Details

	Records
	Author	Mari, F.; Melatti, I.; Salvo, I.; Tronci, E.
	Title	Model Based Synthesis of Control Software from System Level Formal Specifications			Type
	Year	2014	Publication	Acm Transactions On Software Engineering And Methodology	Abbreviated Journal
	Volume	23	Issue	1	Pages	6
	Keywords
	Abstract
	Address
	Corporate Author				Thesis
	Publisher	Acm	Place of Publication		Editor
	Language		Summary Language		Original Title
	Series Editor		Series Title		Abbreviated Series Title
	Series Volume		Series Issue		Edition
	ISSN	1049-331x	ISBN		Medium
	Area		Expedition		Conference
	Notes				Approved
	Call Number	UNIROMA1 @ davi @ Mari_etal2014			Serial	40
Permanent link to this record



	Author	Mikkelsen, S.A.; Jacobsen, R.H.
	Title	Consumer-Centric and Service-Oriented Architecture for the Envisioned Energy Internet			Type
	Year	2015	Publication	Digital System Design (DSD), 2015 Euromicro Conference on	Abbreviated Journal
	Volume		Issue		Pages	301-305
	Keywords	Authorization;Computer architecture;Data privacy;Home appliances;Privacy;Protocols;Smart grids;data privacy;smart grid;web services
	Abstract
	Address
	Corporate Author				Thesis
	Publisher		Place of Publication		Editor
	Language		Summary Language		Original Title
	Series Editor		Series Title		Abbreviated Series Title
	Series Volume		Series Issue		Edition
	ISSN		ISBN		Medium
	Area		Expedition		Conference
	Notes				Approved
	Call Number	UNIROMA1 @ davi @ ref7302289			Serial	56
Permanent link to this record



	Author	Jacobsen, R.H.; Mikkelsen, S.A.; Rasmussen, N.H.
	Title	Towards the Use of Pairing-Based Cryptography for Resource-Constrained Home Area Networks			Type
	Year	2015	Publication	Digital System Design (DSD), 2015 Euromicro Conference on	Abbreviated Journal
	Volume		Issue		Pages	233-240
	Keywords	Authentication;Elliptic curve cryptography;Logic gates;Prototypes;constrained devices;home area network;identity-based cryptography;network bootstrap;pairing-based cryptography;security
	Abstract
	Address
	Corporate Author				Thesis
	Publisher		Place of Publication		Editor
	Language		Summary Language		Original Title
	Series Editor		Series Title		Abbreviated Series Title
	Series Volume		Series Issue		Edition
	ISSN		ISBN		Medium
	Area		Expedition		Conference
	Notes				Approved
	Call Number	UNIROMA1 @ davi @ ref7302275			Serial	55
Permanent link to this record



	Author	Alimguzhin, V.; Mari, F.; Melatti, I.; Tronci, E.; Ebeid, E.; Mikkelsen, S.A.; Jacobsen, R.H.; Gruber, J.K.; Hayes, B.; Huerta, F.; Prodanovic, M.
	Title	A Glimpse of SmartHG Project Test-bed and Communication Infrastructure			Type
	Year	2015	Publication	Digital System Design (DSD), 2015 Euromicro Conference on	Abbreviated Journal
	Volume		Issue		Pages	225-232
	Keywords	Batteries;Control systems;Databases;Production;Sensors;Servers;Smart grids;Grid State Estimation;Peak Shaving;Policy Robustness Verification;Price Policy Synthesis
	Abstract
	Address
	Corporate Author				Thesis
	Publisher		Place of Publication		Editor
	Language		Summary Language		Original Title
	Series Editor		Series Title		Abbreviated Series Title
	Series Volume		Series Issue		Edition
	ISSN		ISBN		Medium
	Area		Expedition		Conference
	Notes				Approved
	Call Number	UNIROMA1 @ davi @ ref7302274			Serial	57
Permanent link to this record



	Author	Mancini, T.; Mari, F.; Melatti, I.; Salvo, I.; Tronci, E.; Gruber, J.K.; Hayes, B.; Prodanovic, M.; Elmegaard, L.
	Title	User Flexibility Aware Price Policy Synthesis for Smart Grids			Type
	Year	2015	Publication	Digital System Design (DSD), 2015 Euromicro Conference on	Abbreviated Journal
	Volume		Issue		Pages	478-485
	Keywords	Contracts;Current measurement;Load management;Power demand;Power measurement;State estimation;Substations;Grid State Estimation;Peak Shaving;Policy Robustness Verification;Price Policy Synthesis
	Abstract
	Address
	Corporate Author				Thesis
	Publisher		Place of Publication		Editor
	Language		Summary Language		Original Title
	Series Editor		Series Title		Abbreviated Series Title
	Series Volume		Series Issue		Edition
	ISSN		ISBN		Medium
	Area		Expedition		Conference
	Notes				Approved
	Call Number	UNIROMA1 @ davi @ ref7302312			Serial	58
Permanent link to this record



	Author	Mancini, T.; Mari, F.; Massini, A.; Melatti, I.; Tronci, E.
	Title	SyLVaaS: System Level Formal Verification as a Service			Type
	Year	2016	Publication	Fundam. Inform.	Abbreviated Journal
	Volume	149	Issue	1-2	Pages	101-132
	Keywords
	Abstract
	Address
	Corporate Author				Thesis
	Publisher		Place of Publication		Editor
	Language		Summary Language		Original Title
	Series Editor		Series Title		Abbreviated Series Title
	Series Volume		Series Issue		Edition
	ISSN		ISBN		Medium
	Area		Expedition		Conference
	Notes				Approved
	Call Number	UNIROMA1 @ davi @ DBLP:journals/fuin/ManciniMMMT16			Serial	63
Permanent link to this record



	Author	Mancini, T.
	Title	Now or Never: Negotiating Efficiently with Unknown or Untrusted Counterparts			Type
	Year	2016	Publication	Fundam. Inform.	Abbreviated Journal
	Volume	149	Issue	1-2	Pages	61-100
	Keywords
	Abstract
	Address
	Corporate Author				Thesis
	Publisher		Place of Publication		Editor
	Language		Summary Language		Original Title
	Series Editor		Series Title		Abbreviated Series Title
	Series Volume		Series Issue		Edition
	ISSN		ISBN		Medium
	Area		Expedition		Conference
	Notes				Approved
	Call Number	UNIROMA1 @ davi @ DBLP:journals/fuin/Mancini16			Serial	62
Permanent link to this record



	Author	Kidmose, E.; Ebeid, E.; Jacobsen, R.
	Title	A Framework for Predicting User Behavior from the Main Smart Meter Data.			Type
	Year	2015	Publication	IARIA Fourth International Conference on Smart Systems, Devices and Technologies (SMART 2015), Brussels, Belgium	Abbreviated Journal
	Volume		Issue		Pages
	Keywords
	Abstract
	Address
	Corporate Author				Thesis
	Publisher		Place of Publication		Editor
	Language		Summary Language		Original Title
	Series Editor		Series Title		Abbreviated Series Title
	Series Volume		Series Issue		Edition
	ISSN		ISBN		Medium
	Area		Expedition		Conference
	Notes				Approved
	Call Number	UNIROMA1 @ davi @			Serial	49
Permanent link to this record



	Author	Ebeid, E. ; Griful, S.; Mikkelsen, S.; Jacobsen, R.
	Title	A Methodology to Evaluate Demand Response Communication Protocols for the Smart Grid.			Type
	Year	2015	Publication	IEEE International Conference on Communications (ICC), UK	Abbreviated Journal
	Volume		Issue		Pages
	Keywords
	Abstract
	Address
	Corporate Author				Thesis
	Publisher		Place of Publication		Editor
	Language		Summary Language		Original Title
	Series Editor		Series Title		Abbreviated Series Title
	Series Volume		Series Issue		Edition
	ISSN		ISBN		Medium
	Area		Expedition		Conference
	Notes				Approved
	Call Number	UNIROMA1 @ davi @			Serial	48
Permanent link to this record



	Author	Hayes, B. P.; Gruber, J.K.; Prodanovic, M.
	Title	Short-term load forecasting at the local level using smart meter data			Type
	Year	2015	Publication	IEEE PES Europe Conference (PowerTech), Eindhoven, Netherlands	Abbreviated Journal
	Volume		Issue		Pages
	Keywords
	Abstract
	Address
	Corporate Author				Thesis
	Publisher		Place of Publication		Editor
	Language		Summary Language		Original Title
	Series Editor		Series Title		Abbreviated Series Title
	Series Volume		Series Issue		Edition
	ISSN		ISBN		Medium
	Area		Expedition		Conference
	Notes				Approved
	Call Number	UNIROMA1 @ davi @			Serial	51
Permanent link to this record