Technical Reports

To obtain a technical report number and submit a technical report, please email: tr-admin at cs.utsa.edu

CS-TR-2017-005

Virtual Machine Provisioning for Applications with Multiple Deadlines in Resource-Constrained Clouds (Extended Version), by Rehana Begam, Wei Wang and Dakai Zhu, Department of Computer Science, University of Texas at San Antonio, July 2017

CS-TR-2017-002

PoliDroid-AS: A Privacy Policy Alignment Plugin for Android Studio, by Rocky Slavin, Xiaoyin Wang, Mitra Bokaei Hosseini, Jianwei Niu, Jaspreet Bhatia and Travis D. Breaux, Department of Computer Science, University of Texas at San Antonio, May 2017

CS-TR-2016-010

Augmented Stabilized Formulations with Fictitious Boundary Methods, by R. Ranjan, Y. Feng and A. Chronopoulos, Department of Computer Science, University of Texas at San Antonio, December 2016

CS-TR-2016-006

Stabilized and Galerkin Least Squares Formulations, by R. Ranjan, Y. Feng and A. Chronopoulos, Department of Computer Science, University of Texas at San Antonio, July 2016

CS-TR-2016-005

Procedures for solving spectral/hp stabilized incompressible flow problems, by R. Ranjan, Y. Feng and A. Chronopoulos, Department of Computer Science, University of Texas at San Antonio, April 2016

CS-TR-2016-002

An Elastic Mixed-Criticality Task Model and Early-Release EDF Scheduling Algorithms, by Hang Su, Dakai Zhu and Scott Brandt, Department of Computer Science, University of Texas at San Antonio, February 2016

CS-TR-2015-006

How Does Machine Translation of User Interface Affect User Experience? A Study on Android Apps, by Xue Qin, Smitha Holla, Xiaoyin Wang and Liang Huang,Department of Computer Science, University of Texas at San Antonio, November 2015

CS-TR-2015-003

Containerized SQL Query Evaluation in a Cloud, by Weining Zhang and David Holland, Department of Computer Science, University of Texas at San Antonio, August 2015

CS-TR-2015-001

Space-Time-Frequency Bag of Words Models for Capturing EEG Variability: A Comprehensive Study, by Kyung Min Su and Kay A. Robbins, Department of Computer Science, University of Texas at San Antonio, April 2015

CS-TR-2014-005

Sequence Diagrams Aided Security Policy Specification, by Hui Shen, Ram Krishnan, Rocky Slavin, and Jianwei Niu, Department of Computer Science, University of Texas at San Antonio, Dec. 2014

CS-TR-2014-002

Managing Security Requirements Patterns Using Feature Diagram Hierarchies, by Rocky Slavin, Jean-Michel Lehker, Jianwei Niu and Travis D. Breaux, Department of Computer Science, University of Texas at San Antonio, Mar. 2014

CS-TR-2014-001

 Rethinking Security Requirements in RE Research, by Hanan Hibshi, Rocky Slavin, Jianwei Niu and Travis D. Breaux, Department of Computer Science, University of Texas at San Antonio, Mar. 2014

CS-TR-2013-016

Energy-Efficient Scheduling of Primary/Backup Tasks in Multiprocessor Real-Time Systems (Extended Version), by Yifeng Guo, Dakai Zhu, Hakan Aydin and Laurence T. Yang, Department of Computer Science, University of Texas at San Antonio, Oct. 2013

CS-TR-2013-014

A Framework for Composing Noninterferent Languages, by Andreas Gampe and Jeffery von Ronne, Department of Computer Science, University of Texas at San Antonio, September 2013

CS-TR-2013-010

Scheduling Algorithms for Elastic Mixed-Criticality Tasks in Multicore Systems (Extended Version), by Hang Su, Dakai Zhu and Daniel Mosse, Department of Computer Science, University of Texas at San Antonio, June 2013

CS-TR-2013-007

Preference-Oriented Scheduling Framework for Periodic Real-Time Tasks, by Yifeng Guo, Hang Su, Dakai Zhu and Hakan Aydin, Department of Computer Science, University of Texas at San Antonio, May 2013

CS-TR-2013-006

MOBBED (Mobile Brain-Body-Environment Decision Making) Part II: User Guide, by Jeremy Cockfield, Kyung Min Su and Kay Robbins, Department of Computer Science, University of Texas at San Antonio, Apr. 2013

CS-TR-2013-005

MOBBED (Mobile Brain-Body-Environment Decision Making) Part I: Database Design, by Jeremy Cockfield, Kyung Min Su and Kay Robbins, Department of Computer Science, University of Texas at San Antonio, Apr. 2013

CS-TR-2013-002

Multiprocessor Real-Time Systems with Shared Resources: Utilization Bound and Mapping (extended version), by Jian-Jun Han, Dakai Zhu, Xiaodong Wu, Laurence T. Yang and Hai Jin, Department of Computer Science, University of Texas at San Antonio, Jan. 2013

CS-TR-2012-012

Implementation of the History Aware Programming Language through Translation into Scala, by Md. Shamim Ashik, Department of Computer Science, University of Texas at San Antonio, Dec. 2012

CS-TR-2012-011

Monitoring Dense-Time, Continuous-Semantics, Metric Temporal Logic, by Kevin Baldor and Jianwei Niu, Department of Computer Science, University of Texas at San Antonio, Dec. 2012

CS-TR-2012-010

Equivalence of Group-Centric Collaboration with Expedient Insiders (GEI) and LBAC with Collaborative Compartments (LCC), by Tahmina Ahmed, Ravi Sandhu, Khalid Bijon and Ram Krishnan, Department of Computer Science, University of Texas at San Antonio, Aug. 2012

CS-TR-2012-009

Preference-Oriented Scheduling Framework and its Application to Fault-Tolerant Real-Time Systems (Extended Version), by Yifeng Guo, Hang Su, Dakai Zhu and Hakan Aydin, Department of Computer Science, University of Texas at San Antonio, May 2012

CS-TR-2012-007

Computing the Frechet Distance Between Folded Polygon, by Atlas F. Cook IV, Anne Driemel, Jessica Sherette and Carola Wenk, Department of Computer Science, University of Texas at San Antonio, Mar. 2012

CS-TR-2012-006

MoBBED (Mobile Brian-Body-Environment Decision-making) Data Infrastructure (White Paper), by Arif Hossain, Jeremy Cockfield and Kay Robbins, Department of Computer Science, University of Texas at San Antonio, Mar. 2012

CS-TR-2012-003

Synchronization-Aware Energy Management for VFI-based Multicore Real-Time Systems (Extended Version), by Jian-Jun Han, Xiaodong Wu, Dakai Zhu, Hai Jin, Laurence T. Yang and Jean-Luc Gaudiot, Department of Computer Science, University of Texas at San Antonio, Feb. 2012

CS-TR-2012-002

An Abstracting Transformation for Amino Acid Polymorphism, by Anthony M. Castaldo, Department of Computer Science, University of Texas at San Antonio, Feb. 2012

CS-TR-2012-001

Network-based classification of recurrent endometrial cancers using high-throughput DNA methylation data, by Jianhua Ruan, Md. Jamiul Jahid, Fei Gu, Chengwei Lei, Yi-Wen Huang, Ya-Ting Hsu, Paul J. Goodfellow, Chun-Liang Chen, Tim H.-M. Huang, Department of Computer Science, University of Texas at San Antonio, Jan. 2012

CS-TR-2011-021

A randomized steiner tree approach for biomarker discovery and classification of breast cancer metastasis, by Md. Jamiul Jahid and Jianhua Ruan, Department of Computer Science, University of Texas at San Antonio, Dec. 2011

CS-TR-2011-020

A random walk based approach for improving protein-protein interaction network and protein complex prediction, by Chengwei Lei and Jianhua Ruan, Department of Computer Science, University of Texas at San Antonio, Dec. 2011