Workshop TECPS 2017 – Author Index

A B F G H M R S T

	Alipour, Mohammad Amin	TECPS '17: "Fault Injection in the Internet ..." Fault Injection in the Internet of Things Applications Mohammad Amin Alipour (University of Houston, USA) @InProceedings{TECPS17p9, author = {Mohammad Amin Alipour}, title = {Fault Injection in the Internet of Things Applications}, booktitle = {Proc.\ TECPS}, publisher = {ACM}, pages = {9-8}, doi = {}, year = {2017}, } Article: isstaws17tecpsmain-tecpsmainid5-p doi:
	Berardinelli, Luca	TECPS '17: "Testing Uncertainty of Cyber-Physical ..." Testing Uncertainty of Cyber-Physical Systems in IoT Cloud Infrastructures: Combining Model-Driven Engineering and Elastic Execution Hong-Linh Truong and Luca Berardinelli (Vienna University of Technology, Austria) @InProceedings{TECPS17p5, author = {Hong-Linh Truong and Luca Berardinelli}, title = {Testing Uncertainty of Cyber-Physical Systems in IoT Cloud Infrastructures: Combining Model-Driven Engineering and Elastic Execution}, booktitle = {Proc.\ TECPS}, publisher = {ACM}, pages = {5-4}, doi = {}, year = {2017}, } Article: isstaws17tecpsmain-tecpsmainid1-p doi:
	Byun, Taejoon	TECPS '17: "Discovering Instructions for ..." Discovering Instructions for Robust Binary-Level Coverage Criteria Vaibhav Sharma, Taejoon Byun, Stephen McCamant, Sanjai Rayadurgam, and Mats P. E. Heimdahl (University of Minnesota, USA) @InProceedings{TECPS17p1, author = {Vaibhav Sharma and Taejoon Byun and Stephen McCamant and Sanjai Rayadurgam and Mats P. E. Heimdahl}, title = {Discovering Instructions for Robust Binary-Level Coverage Criteria}, booktitle = {Proc.\ TECPS}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2017}, } Article: isstaws17tecpsmain-tecpsmainid7-p doi:
	Flikkema, Paul	TECPS '17: "Towards Automated Composition ..." Towards Automated Composition of Heterogeneous Tests for Cyber-Physical Systems Alex Groce, Paul Flikkema, and Josie Holmes (Northern Arizona University, USA; Pennsylvania State University, USA) @InProceedings{TECPS17p13, author = {Alex Groce and Paul Flikkema and Josie Holmes}, title = {Towards Automated Composition of Heterogeneous Tests for Cyber-Physical Systems}, booktitle = {Proc.\ TECPS}, publisher = {ACM}, pages = {13-12}, doi = {}, year = {2017}, } Article: isstaws17tecpsmain-tecpsmainid3-p doi:
	Groce, Alex	TECPS '17: "Towards Automated Composition ..." Towards Automated Composition of Heterogeneous Tests for Cyber-Physical Systems Alex Groce, Paul Flikkema, and Josie Holmes (Northern Arizona University, USA; Pennsylvania State University, USA) @InProceedings{TECPS17p13, author = {Alex Groce and Paul Flikkema and Josie Holmes}, title = {Towards Automated Composition of Heterogeneous Tests for Cyber-Physical Systems}, booktitle = {Proc.\ TECPS}, publisher = {ACM}, pages = {13-12}, doi = {}, year = {2017}, } Article: isstaws17tecpsmain-tecpsmainid3-p doi:
	Heimdahl, Mats P. E.	TECPS '17: "Discovering Instructions for ..." Discovering Instructions for Robust Binary-Level Coverage Criteria Vaibhav Sharma, Taejoon Byun, Stephen McCamant, Sanjai Rayadurgam, and Mats P. E. Heimdahl (University of Minnesota, USA) @InProceedings{TECPS17p1, author = {Vaibhav Sharma and Taejoon Byun and Stephen McCamant and Sanjai Rayadurgam and Mats P. E. Heimdahl}, title = {Discovering Instructions for Robust Binary-Level Coverage Criteria}, booktitle = {Proc.\ TECPS}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2017}, } Article: isstaws17tecpsmain-tecpsmainid7-p doi:
	Holmes, Josie	TECPS '17: "Towards Automated Composition ..." Towards Automated Composition of Heterogeneous Tests for Cyber-Physical Systems Alex Groce, Paul Flikkema, and Josie Holmes (Northern Arizona University, USA; Pennsylvania State University, USA) @InProceedings{TECPS17p13, author = {Alex Groce and Paul Flikkema and Josie Holmes}, title = {Towards Automated Composition of Heterogeneous Tests for Cyber-Physical Systems}, booktitle = {Proc.\ TECPS}, publisher = {ACM}, pages = {13-12}, doi = {}, year = {2017}, } Article: isstaws17tecpsmain-tecpsmainid3-p doi:
	McCamant, Stephen	TECPS '17: "Discovering Instructions for ..." Discovering Instructions for Robust Binary-Level Coverage Criteria Vaibhav Sharma, Taejoon Byun, Stephen McCamant, Sanjai Rayadurgam, and Mats P. E. Heimdahl (University of Minnesota, USA) @InProceedings{TECPS17p1, author = {Vaibhav Sharma and Taejoon Byun and Stephen McCamant and Sanjai Rayadurgam and Mats P. E. Heimdahl}, title = {Discovering Instructions for Robust Binary-Level Coverage Criteria}, booktitle = {Proc.\ TECPS}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2017}, } Article: isstaws17tecpsmain-tecpsmainid7-p doi:
	Rayadurgam, Sanjai	TECPS '17: "Discovering Instructions for ..." Discovering Instructions for Robust Binary-Level Coverage Criteria Vaibhav Sharma, Taejoon Byun, Stephen McCamant, Sanjai Rayadurgam, and Mats P. E. Heimdahl (University of Minnesota, USA) @InProceedings{TECPS17p1, author = {Vaibhav Sharma and Taejoon Byun and Stephen McCamant and Sanjai Rayadurgam and Mats P. E. Heimdahl}, title = {Discovering Instructions for Robust Binary-Level Coverage Criteria}, booktitle = {Proc.\ TECPS}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2017}, } Article: isstaws17tecpsmain-tecpsmainid7-p doi:
	Sharma, Vaibhav	TECPS '17: "Discovering Instructions for ..." Discovering Instructions for Robust Binary-Level Coverage Criteria Vaibhav Sharma, Taejoon Byun, Stephen McCamant, Sanjai Rayadurgam, and Mats P. E. Heimdahl (University of Minnesota, USA) @InProceedings{TECPS17p1, author = {Vaibhav Sharma and Taejoon Byun and Stephen McCamant and Sanjai Rayadurgam and Mats P. E. Heimdahl}, title = {Discovering Instructions for Robust Binary-Level Coverage Criteria}, booktitle = {Proc.\ TECPS}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2017}, } Article: isstaws17tecpsmain-tecpsmainid7-p doi:
	Truong, Hong-Linh	TECPS '17: "Testing Uncertainty of Cyber-Physical ..." Testing Uncertainty of Cyber-Physical Systems in IoT Cloud Infrastructures: Combining Model-Driven Engineering and Elastic Execution Hong-Linh Truong and Luca Berardinelli (Vienna University of Technology, Austria) @InProceedings{TECPS17p5, author = {Hong-Linh Truong and Luca Berardinelli}, title = {Testing Uncertainty of Cyber-Physical Systems in IoT Cloud Infrastructures: Combining Model-Driven Engineering and Elastic Execution}, booktitle = {Proc.\ TECPS}, publisher = {ACM}, pages = {5-4}, doi = {}, year = {2017}, } Article: isstaws17tecpsmain-tecpsmainid1-p doi:

11 authors

proc time: 0.69