Building Power Consumption Models from Executable Timed I/O Automata Specifications

Article Details
Title:	Building Power Consumption Models from Executable Timed I/O Automata Specifications
Article URLs:	https://doi.org/10.1145/2883817.2883844
Alternative Article URLs:
Authors:	Benoît Barbot	Université Paris-Est Créteil, France, LACL
	Marta Kwiatkowska	University of Oxford, Department of Computer Science
	Alexandru Mereacre	University of Oxford, Department of Computer Science
	Nicola Paoletti	University of London, UK, Department of Computer Science
Sharing:	Research produced artifacts
Verification:	Authors have verified information
Artifact Evaluation Badge:	Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review. awarded
Artifact URLs:	http://www.veriware.org/heart_pm_methods.php#HIL
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/hybrid/BarbotKMP16
Author Comments:

ACM Intl. Conf. on Hybrid Systems: Computation and Control, HSCC 2016