Follow


Submissions from 2018

Link

Optimal Scheduling of Manufacturing and Onsite Generation Systems in Over-Generation Mitigation Oriented Electricity Demand Response Program, Md Monirul Islam, Xiao Zhong, Haoyi Xiong, and Zeyi Sun

Link

Early Drought Plant Stress Detection with Bi-Directional Long-Term Memory Networks, Haohan Li, Zhaozheng Yin, Paul Manley, Joel Gerard Burken, Nadia Shakoor, Noah Fahlgren, and Todd Mockler

PDF

Software Engineering: Guest Editor's Introduction, Bruce M. McMillin

Link

On Estimating Multi-Attribute Choice Preferences using Private Signals and Matrix Factorization, V. Sriram Siddhardh Nadendla and Cedric Langbort

Link

Physical Attestation in the Smart Grid for Distributed State Verification, Thomas Roth and Bruce M. McMillin

Link

Leader-Follower Output Synchronization of Linear Heterogeneous Systems With Active Leader using Reinforcement Learning, Yongliang Yang, Hamidreza Modares, Donald C. Wunsch, and Yixin Yin

Link

Optimal Containment Control of Unknown Heterogeneous Systems with Active Leaders, Yongliang Yang, Hamidreza Modares, Donald C. Wunsch, and Yixin Yin

Submissions from 2017

Link

Multi-Party Sparse Discriminant Learning, Jiang Bian, Haoyi Xiong, Wei Cheng, Wenqing Hu, Zhishan Guo, and Yanjie Fu

Link

Real-Time Detection of Illegal File Transfers in the Cloud, Adam Bowers, Dan Lin, Aanna Squicciarini, and A. R. Hurson

Link

Cyber-Physical Security of a Chemical Plant, Prakash Rao Dunaka and Bruce M. McMillin

Link

Evolutionary Computation for the Automated Design of Category Functions for Fuzzy Art: An Initial Exploration, Islam Elnabarawy, Daniel R. Tauritz, and Donald C. Wunsch

Link

Heterogeneous Activity Causes a Nonlinear Increase in the Group Energy Use of Ant Workers Isolated from Queen and Brood, Nolan Ferral, Kyara Holloway, Mingzhong Li, Zhaozheng Yin, and Chen Hou

Link

Guaranteeing Some Service Upon Mode Switch in Mixed-Criticality Systems, Zhishan Guo

Link

Regarding the Optimality of Speedup Bounds of Mixed-Criticality Schedulability Tests, Zhishan Guo

PDF

Energy-Efficient Multi-Core Scheduling for Real-Time DAG Tasks, Zhishan Guo, Ashikahmed Bhuiyan, Abusayeed Saifullah, Nan Guan, and Haoyi Xiong

Sustainability in Mixed-Criticality Scheduling, Zhishan Guo, Sai Sruti, Bryan C. Ward, and Sanjoy K. Baruah

Cache-Aware Partitioned EDF Scheduling for Multi-Core Real-Time Systems, Zhishan Guo, Ying Zhang, Lingxiang Wang, and Zhenkai Zhang

Link

Refocusing Phase Contrast Microscopy Images, Liang Han and Zhaozheng Yin

Link

Transferring Microscopy Image Modalities with Conditional Generative Adversarial Networks, Liang Han and Zhaozheng Yin

Link

Asynchronous Parallel Cartesian Genetic Programming, Adam Harter, Daniel R. Tauritz, and William M. Siever

Link

Using Information-Flow Methods to Analyze the Security of Cyber-Physical Systems, Gerry Howser and Bruce M. McMillin

Link

Energy-Efficient Algorithms for Data Retrieval from Indexed Parallel Broadcast Channels, A. R. Hurson, Sahra Sedigh, and Michael Wisely

Link

Improving Performance of CDCL SAT Solvers by Automated Design of Variable Selection Heuristics, Marketa Illetskova, Alex R. Bertels, Joshua M. Tuggle, Adam Harter, Samuel Richter, Daniel R. Tauritz, Samuel Mulder, Denis Bueno, Michelle Leger, and William M. Siever

Link

Application of Congestion Notifications in a Cyber-Physical System, Stephen Curtis Jackson and Bruce M. McMillin

Link

Combining Passive Visual Cameras and Active IMU Sensors for Persistent Pedestrian Tracking, Wenchao Jiang and Zhaozheng Yin

Link

Indoor Localization with a Signal Tree, Wenchao Jiang and Zhaozheng Yin

Link

Multiple Security Domain Model of a Vehicle in an Automated Platoon, U. Kanteti and Bruce M. McMillin

Link

A Hierarchical Convolutional Neural Network for Vesicle Fusion Event Classification, Haohan Li, Yunxiang Mao, Zhaozheng Yin, and Yingke Xu

Link

Automated Vesicle Fusion Detection using Convolutional Neural Networks, Haohan Li, Zhaozheng Yin, and Yingke Xu

Link

Cyber-Physical Manufacturing Cloud: Architecture, Virtualization, Communication, and Testbed, Xiaoqing Frank Liu, M. R. Shahriar, S. M. Sunny, Ming-Chuan Leu, and Liwen Hu

Link

Breaking Implicit Trust in Point-of-Care Medical Technology: A Cyber-Physical Attestation Approach, Fredrick Love and Bruce M. McMillin

Link

Two-Stream Bidirectional Long Short-Term Memory for Mitosis Event Detection and Stage Localization in Phase-Contrast Microscopy Images, Yunxiang Mao and Zhaozheng Yin

Link

The Problem of Interceptor Top Level Domains Revisited, George Markowsky

Link

Secure Fog Computing for Smart Living, Bruce M. McMillin

Link

Fog Computing for Smart Living, Bruce M. McMillin and Tao Zhang

Link

A Multi-Stage Approach to Personalized Course Selection and Scheduling, Tyler Morrow, A. R. Hurson, and Sahra Sedigh

Link

Strategic Communication between Prospect Theoretic Agents over a Gaussian Test Channel, V. Sriram Siddhardh Nadendla, Emrah Akyol, Cedric Langbort, and Tamer Basar

Link

Optimal Spectrum Auction Design with 2-D Truthful Revelations under Uncertain Spectrum Availability, V. Sriram Siddhardh Nadendla, Swastik Brahma, and Pramod K. Varshney

Link

Towards the Design of Prospect-Theory Based Human Decision Rules for Hypothesis Testing, V. Sriram Siddhardh Nadendla, Swastik Brahma, and Pramod K. Varshney

Link

On Strategic Multi-Antenna Jamming in Centralized Detection Networks, V. Sriram Siddhardh Nadendla, Vinod Sharma, and Pramod K. Varshney

Link

Evolving Bipartite Authentication Graph Partitions, Aaron S. Pope, Daniel R. Tauritz, and Alexander D. Kent

Link

Physical Attestation in the Smart Grid for Distributed State Verification, Thomas Roth and Bruce M. McMillin

Link

On the Criticality of Probabilistic Worst-Case Execution Time Models, Luca Santinelli and Zhishan Guo

Link

Hyper-Heuristics Tutorial, Daniel R. Tauritz and John Woodward

Link

Leveraging Multi-Modal Smartphone Sensors for Ranging and Estimating the Intensity of Explosion Events, Srinivas Chakravarthi Thandu, Pratool Bharti, Sriram Chellappan, and Zhaozheng Yin

Link

Multiple Security Domain Nondeducibility Air Traffic Surveillance Systems, Anusha Thudimilla and Bruce M. McMillin

Link

A Novel Infrastructure for Synergistic Dataflow Research, Development, Education, and Deployment: The Maxeler AppGallery Project, Nemanja Trifunovic, Boris Perovic, Petar Trifunovic, Zoran Babovic, and A. R. Hurson

Response Time in Mixed-Critical Pervasive Systems, Sudharsan Vaidhun, Samsil Arefin Arefin, Zhishan Guo, Haoyi Xiong, and Sajal K. Das

Link

AWDA: An Adaptive Wishart Discriminant Analysis, Haoyi Xiong, Wei Cheng, Wenqing Hu, Jiang Bian, and Zhishan Guo

Link

Near-Optimal Incentive Allocation for Piggyback Crowdsensing, Haoyi Xiong, Daqing Zhang, Zhishan Guo, Guanling Chen, and Laura E. Barnes

Link

Off-Policy Reinforcement Learning for Robust Control of Discrete-Time Uncertain Linear Systems, Yongliang Yang, Zhishan Guo, Donald C. Wunsch, and Yixin Yin

Link

Hamiltonian-Driven Adaptive Dynamic Programming Based on Extreme Learning Machine, Yongliang Yang, Donald C. Wunsch, Zhishan Guo, and Yixin Yin

Link

Integrating Cache-Related Preemption Delay into GEDF Analysis for Multiprocessor Scheduling with On-Chip Cache, Ying Zhang, Zhishan Guo, Lingxiang Wang, Haoyi Xiong, and Zhenkai Zhang

Link

Handling Write Backs in Multi-Level Cache Analysis for WCET Estimation, Zhenkai Zhang, Zhishan Guo, and Xenofon Koutsoukos

PDF

Design the Capacity of Onsite Generation System with Renewable Sources for Manufacturing Plant, Xiao Zhong, Md Monirul Islam, Haoyi Xiong, and Zeyi Sun

PDF

Learning Curve Analysis using Intensive Longitudinal and Cluster-Correlated Data, Xiao Zhong, Zeyi Sun, Haoyi Xiong, Neil Heffernan, and Md Monirul Islam

Submissions from 2016

Link

Survivability Analysis and Recovery Support for Smart Grids, Isam A. Alobaidi, Sahra Sedigh, and A. R. Hurson

Link

Scheduling Mixed-Criticality Systems to Guarantee Some Service under All Non-Erroneous Behaviors, Sanjoy K. Baruah, Alan Burns, and Zhishan Guo

PDF

Mixed-Criticality Scheduling to Minimize Makespan, Sanjoy K. Baruah, Arvind Easwaran, and Zhishan Guo

Link

Why Asynchronous Parallel Evolution is the Future of Hyper-heuristics: A CDCL SAT Solver Case Study, Alex R. Bertels and Daniel R. Tauritz

Link

Producing and Evaluating Crowdsourced Computer Security Attack Trees, Daniel S. Bogaard, Sanjay Goel, Shreshth Kandari, Daryl Johnson, George Markowsky, and Bill Stackpole

Link

A Game Theory Approach to Vulnerability Analysis: Integrating Power Flows with Topological Analysis, Maggie Xiaoyan Cheng, Mariesa Crow, and Quanmin Ye

Link

CGC: A Flexible and Robust Approach to Integrating Co-Regularized Multi-Domain Graph for Clustering, Wei Cheng, Zhishan Guo, Xiang Zhang, and Wei Wang

Link

Mixed-Criticality Scheduling on Varying-Speed Platforms with Bounded Performance Drop Rate, Zhishan Guo

Link

A Neurodynamic Approach for Real-Time Scheduling via Maximizing Piecewise Linear Utility, Zhishan Guo and Sanjoy K. Baruah

Link

Indexing and Querying Techniques for Moving Objects in Both Euclidean Space and Road Network, Lasanthi Heendaliya, Michael Wisely, Dan Lin, Sahra Sedigh, and A. R. Hurson

Link

Energy-Efficient Algorithms for Data Retrieval from Indexed Parallel Broadcast Channels, A. R. Hurson, Sahra Sedigh, and Michael Wisely

Link

Message from the NATA Organizing Committee, A. R. Hurson, Jijiang Yang, Behrooz Shirazi, Alfredo Cuzzocrea, Toyokazu Akiyama, Sahra Sedigh, and Sheikh Iqbal Ahamed

Link

Models, Metamodels, and Model Transformation for Cyber-Physical Systems, Nathan Jarus, Sahra Sedigh, and A. R. Hurson

Link

Human Tracking using Wearable Sensors in the Pocket, Wenchao Jiang and Zhaozheng Yin

Link

Seeing the Invisible in Differential Interference Contrast Microscopy Images, Wenchao Jiang and Zhaozheng Yin

Link

Diversifying Web Service Recommendation Results via Exploring Service Usage History, Guosheng Kang, Mingdong Tang, Jianxun Liu, Xiaoqing Frank Liu, and Buqing Cao

Link

Cell Segmentation using Stable Extremal Regions in Multi-Exposure Microscopy Images, Mingzhong Li and Zhaozheng Yin

Link

A Hierarchical Convolutional Neural Network for Mitosis Detection in Phase-Contrast Microscopy Images, Yunxiang Mao and Zhaozheng Yin

Link

A Deep Convolutional Neural Network Trained on Representative Samples for Circulating Tumor Cell Detection, Yunxiang Mao, Zhaozheng Yin, and Joseph Martin Schober

Link

Quantification and Analysis of Interdependency in Cyber-Physical Systems, Koosha Marashi, Sahra Sedigh, and A. R. Hurson

Link

Design of Binary Quantizers for Distributed Detection under Secrecy Constraints, V. Sriram Siddhardh Nadendla and Pramod K. Varshney

Link

Determining the Effectiveness of Soil Treatment on Plant Stress using Smart-Phone Cameras, Anurag Panwar, Mariam Al-Lami, Pratool Bharti, Sriram Chellappan, and Joel Gerard Burken

Evolving Multi-Level Graph Partitioning Algorithms, Aaron S. Pope, Daniel R. Tauritz, and Alexander D. Kent

Evolving Random Graph Generators: A Case for Increased Algorithmic Primitive Granularity, Aaron S. Pope, Daniel R. Tauritz, and Alexander D. Kent

PDF

Toward DMD Illuminated Spatial-Temporal Modulated Thermography, Joshua D. Pribe, Srinivas Chakravarthi Thandu, Zhaozheng Yin, and Edward C. Kinzel

Link

Fault-Aware Sensitivity Analysis for Probabilistic Real-Time Systems, Luca Santinelli, Zhishan Guo, and Laurent George

Link

Messge from the ECpE Organizing Committee, Tiberiu Seceleanu, Tiziana Margaria, Rajesh Subramanyan, Michele Bugliesi, Cristina Seceleanu, and Bruce M. McMillin

Link

Interactive Cell Segmentation Based on Active and Semi-Supervised Learning, Hang Su, Zhaozheng Yin, Seungil Huh, Takeo Kanade, and Jun Zhu

Link

Efficient and Robust Semi-Supervised Learning Over a Sparse-Regularized Graph, Hang Su, Jun Zhu, Zhaozheng Yin, Yinpeng Dong, and Bo Zhang

Link

An Extensible Simulation Framework for Evaluating Centralized Traffic Prediction Algorithms, Michael Wisely, A. R. Hurson, and Sahra Sedigh

Link

Energy Consumption of Algorithms for Data Retrieval from Indexed Parallel Broadcast Channels, Michael Wisely, Sahra Sedigh, and A. R. Hurson

PDF

Estimating Freeway Travel Times using the General Motors Model, Shu Yang, Yaojan Wu, Zhaozheng Yin, and Yiheng Feng

Submissions from 2015

Link

MC-Fluid: Simplified and Optimally Quantified, Sanjoy K. Baruah, Arvind Eswaran, and Zhishan Guo

PDF

Mixed-Criticality Job Models: A Comparison, Sanjoy K. Baruah and Zhishan Guo

Link

Scheduling Mixed-Criticality Implicit-Deadline Sporadic Task Systems Upon a Varying-Speed Processor, Sanjoy K. Baruah and Zhishan Guo

Link

Intelligent Analysis of Software Architecture Rationale for Collaborative Software Design, Nagaprashanth Chanda and Xiaoqing Frank Liu

Link

Analyses of Allele-Specific Gene Expression in Highly Divergent Mouse Crosses Identifies Pervasive Allelic Imbalance, James J. Crowley, Vasyl Zhabotynsky, Wei Sun, Shunping Huang, Isa Kemal Pakatci, Yunjung Kim, Jeremy R. Wang, Andrew P. Morgan, John D. Calaway, David L. Aylor, and Zhishan Guo

Link

Computer-Automated Ergonomic Analysis Based on Motion Capture and Assembly Simulation, C. P. Daphalapurkar, W. Zhu, Ming-Chuan Leu, Xiaoqing Frank Liu, J. K. Gilpin-McMinn, and S. D. Snodgrass

Beyond Cyber-Physical Era: What's Next?, Sajal K. Das

Link

American Sign Language Alphabet Recognition using Microsoft Kinect, Cao Dong, Ming-Chuan Leu, and Zhaozheng Yin

Link

Information Flow Quantification Framework for Cyber Physical System with Constrained Resources, Li Feng and Bruce M. McMillin

Link

Incremental Cost Consensus (ICC) and Leaderless ICC Implementations in FREEDM, Li Feng, Bruce M. McMillin, Anthony Perez Santiago, and Ziang Zhang

Link

A Collaborative Filtering Method for Personalized Preference-Based Service Recommendation, Kenneth Kofi Fletcher and Xiaoqing Frank Liu

Link

A Novel Flow Invariants-Based Approach to Microgrid Management, Thoshitha T. Gamage, Yaxi Liu, Tu A. Nguyen, Xin Qiu, Bruce M. McMillin, and Mariesa Crow