Technical Reports

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

CS-TR-2011-018

MoBBED Views: A basic viewing infrastructure for mobile brain-body-environment decision-making, by Kay Robbins, Department of Computer Science, University of Texas at San Antonio, Dec. 2011

CS-TR-2011-016

Refinement-based Design of a Group-centric Secure Information Sharing Model, by Wanying Zhao, Jianwei Niu and William H. Winsborough, Department of Computer Science, University of Texas at San Antonio, Dec. 2011

CS-TR-2011-015

A Logical Framework for Sequence Diagram with Combined Fragments, by Hui Shen, Mark Robinson and Jianwei Niu, Department of Computer Science, University of Texas at San Antonio, Nov. 2011

CS-TR-2011-010

Formal Verification of Security Properties in Trust Management Policy, by Jianwei Niu, William H. Winsborough and Mark Reith, Department of Computer Science, University of Texas at San Antonio, May 2011

CS-TR-2011-009

Towards Practical Privacy Policy Enforcement, by William H. Winsborough, Jeffery von Ronne, Omar Chowdhury, Jianwei Niu, and Md. Shamim Ashik, Department of Computer Science, University of Texas at San Antonio, May 2011

CS-TR-2011-008

Guided Reverse Analysis of Contingent Properties, by Jeffery von Ronne, Keyvan Nayyeri, and Zi Yan, Department of Computer Science, University of Texas at San Antonio, May 2011

CS-TR-2011-004

Efficient Edge Anonymization of Large Social Graphs, by Lijie Zhang and Weining Zhang, Department of Computer Science, University of Texas at San Antonio, Apr. 2011

CS-TR-2011-002

Enforceable and Verifiable Stale-Safe Security Properties in Distributed Systems, by Jianwei Niu, Ram Krishnan, Jared F. BEnnatt, Ravi Sandhu and William H. Winsborough, Department of Computer Science, University of Texas at San Antonio, Apr. 2011

CS-TR-2011-001

On the Management of User Obligations, by Murillo Pontual, Omar Chowdhury, William H. Winsborough, Ting Yu and Keith Irwin, Department of Computer Science, University of Texas at San Antonio, Mar. 2011

CS-TR-2010-014

Global Scheduling Based Reliability-Aware Power Management for Multiprocessor Real-Time Systems, by Xuan Qi, Dakai Zhu and Hakan Aydin, Department of Computer Science, University of Texas at San Antonio, Sept. 2010

CS-TR-2010-012

POET: A Scripting Language For Applying Parameterized Source-to-source Program Transformations, by Qing Yi, Department of Computer Science, University of Texas at San Antonio, Sept. 2010

CS-TR-2010-011

Collective Specification and Verification of Behavioral Models and Object-oriented Implementations, by Qing Yi, Jianwei Niu and Anitha R. Marneni, Department of Computer Science, University of Texas at San Antonio, Aug. 2010

CS-TR-2010-010

Evaluating the Role of Optimization-Specific Search Heuristics in Effective Autotuning, by Jichi Guo, Qing Yi and Apan Qasem, Department of Computer Science, University of Texas at San Antonio, Jul. 2010

CS-TR-2010-009

Energy Efficient Block-Partitioned Multicore Processors for Parallel Applications, by Xuan Qi and Dakai Zhu, Department of Computer Science, University of Texas at San Antonio, Jul. 2010

CS-TR-2010-008

Identifying Unnecessary Bounds Checks Through Block-Qualified Variable Elimination, by Jeffery von Ronne, Department of Computer Science, University of Texas at San Antonio, Jul. 2010

CS-TR-2010-007

Source Capture Time Analysis of Privacy Communication Protocols for Wireless Sensor Networks, by Pengjun Pan and Rajendra V. Boppana, Department of Computer Science, University of Texas at San Antonio, Jun. 2010

CS-TR-2010-006

Failure Feedback for User Obligation Systems, by Murillo Pontual, Keith Irwin, Omar Chowdhury, William H. Winsborough and Ting Yu, Department of Computer Science, University of Texas at San Antonio, Jun. 2010

CS-TR-2010-005

SIDEKICK: Genomic data driven analysis and decision-making framework, by Mark Doderer, Kihoon Yoon and Kay A. Robbins, Department of Computer Science, University of Texas at San Antonio, Jun. 2010

CS-TR-2010-003

Formal Analysis of Combined Fragments in Sequence Diagrams, by Hui Shen, Mark Robinson and Jianwei Niu, Department of Computer Science, University of Texas at San Antonio, Jun. 2010

CS-TR-2010-002

Automated Programmable Code Transformation For Portable Performance Tuning, by Qing Yi, Department of Computer Science, University of Texas at San Antonio, Apr. 2010

CS-TR-2010-001

Safe, Multiphase Bounds Check Elimination in Java, by Andreas Gampe, David Niedzielski, Jeffery von Ronne, and Kleanthis Psarris, Department of Computer Science, University of Texas at San Antonio, Jan. 2010

CS-TR-2009-011

Toward Practical Authorization-dependent User Obligation Systems, by Murillo Pontual, Omar Chowdhury, William H. Winsborough, Ting Yu and Keith Irwin, Department of Computer Science, University of Texas at San Antonio, Dec. 2009

CS-TR-2009-009

Using Dead Blocks as a Virtual Victim Cache, by Samira Khan, Daniel A. Jimenez, Doug Burger and Babak Falsafi, Department of Computer Science, University of Texas at San Antonio, Sept. 2009

CS-TR-2009-007

Batch Forwarding in Wireless Sensor Networks, by Turgay Korkmaz,Department of Computer Science, University of Texas at San Antonio, Aug. 2009

CS-TR-2009-006

Automated Timer Generation for Empirical Tuning, by Josh Magee, Qing Yi and Clint Whaley, Department of Computer Science, University of Texas at San Antonio, Jul. 2009

CS-TR-2009-005

An Optimal Boundary Fair Scheduling Algorithm for Multiprocessor Real-Time Systems, by Dakai Zhu, Xuan Qi, Daniel Mosse and Rami Melhem, Department of Computer Science, University of Texas at San Antonio, Jun. 2009

CS-TR-2009-004

Real-Time Fire Simulation, by SARAYUTH SANTIKONGKA, Department of Computer Science, University of Texas at San Antonio, Jun. 2009

CS-TR-2009-003

Automatic Generation of Implementations For Object-Oriented Abstractions, by Qing Yi, Jianwei Niu, Anitha Ancha, Jeyashree Lakshmipathy, Department of Computer Science, University of Texas at San Antonio, May 2009

CS-TR-2009-002

Formal Models for Group-Centric Secure Information Sharing, by Ram Krishnan, Ravi Sandhu, Jianwei Niu, William H.Winsborough, Department of Computer Science, University of Texas at San Antonio, Mar. 2009

CS-TR-2009-001

Shortest Path Problems on a Polyhedral Surface, by Atlas F. Cook IV and Carola Wenk, Department of Computer Science, University of Texas at San Antonio, Feb. 2009