Conference paper

event

Visible to the public  The Fourth International Conference On Digital Enterprise and Information Systems
Jul 19, 2017 9:00 am - Jul 20, 2017 5:00 pm UTC

Submitted by jerikasdiwc on Tue, 12/06/2016 - 2:11am

You are invited to participate in The Fourth International Conference On Digital Enterprise and Information Systems (DEIS2017) that will be held in Jakarta, Indonesia, on July 19 - 20, 2017. The event will be held over two days, with presentations delivered by researchers from the international community, including presentations from keynote speakers and state-of-the-art lectures.

file

Visible to the public Characterizing Smartphone Usage Patterns from Millions of Android Users

Submitted by awhitesell on Wed, 01/13/2016 - 5:45pm. Contributors:

The prevalence of smart devices has promoted the popularity of mobile applications (a.k.a. apps) in recent years. A number of interesting and important questions remain unanswered, such as why a user likes/dislikes an app, how an app becomes popular or eventually perishes, how a user selects apps to install and interacts with them, how frequently an app is used and how much trac it generates, etc. This paper presents an empirical analysis of app usage behaviors collected from millions of users of Wandoujia, a leading Android app marketplace in China.

file

Visible to the public Game Theory with Learning for Cyber Security Monitoring

Submitted by awhitesell on Wed, 01/13/2016 - 5:11pm. Contributors:

Abstract--Recent attacks show that threats to cyber infrastructure are not only increasing in volume, but are getting more sophisticated. The attacks may comprise multiple actions that are hard to differentiate from benign activity, and therefore common detection techniques have to deal with high false positive rates. Because of the imperfect performance of automated detection techniques, responses to such attacks are highly dependent on human-driven decision-making processes.

file

Visible to the public Contract-Based Integration of Cyber-Physical Analyses

Submitted by ivan on Wed, 06/24/2015 - 12:36pm. Contributors:

Abstract: Developing cyber-physical systems involves multiple engineering domains, e.g., timing, logical correctness, thermal resilience, and mechanical stress. In today's industrial practice, these domains rely on multiple analyses to obtain and verify critical system properties. Domain differences make the analyses abstract away interactions among themselves, potentially invalidating the results. Specifically, one challenge is to ensure that an analysis is never applied to a model that violates the assumptions of the analysis.

file

Visible to the public ACTIVE: A Tool for Integrating Analysis Contracts

Submitted by ivan on Wed, 06/24/2015 - 12:36pm. Contributors:

Abstract: Development of modern Cyber-Physical Systems (CPS) relies on a number of analysis tools to verify critical properties. The Architecture Analysis and Design Language (AADL) standard provides a common architectural model to which multiple CPS analyses can be applied. Unfortunately, interaction between these analyses can invalidate their results. In this paper we present ACTIVE, a tool developed within the OSATE/AADL infrastructure to solve this problem.

file

Visible to the public Architectural Abstractions for Hybrid Programs

Submitted by ivan on Wed, 06/24/2015 - 12:32pm. Contributors:

Abstract: Modern cyber-physical systems interact closely with continuous physical processes like kinematic movement. Software component frameworks do not provide an explicit way to represent or reason about these processes. Meanwhile, hybrid program models have been successful in proving critical properties of discrete-continuous systems. These programs deal with diverse aspects of a cyber-physical system such as controller decisions, component communication protocols, and mechanical dynamics, requiring several programs to address the variation.

file

Visible to the public Invariant verification of nonlinear hybrid automata networks of cardiac cells

Submitted by zhuang25 on Fri, 10/03/2014 - 12:47pm

Verification algorithms for networks of nonlinear hybrid au- tomata (HA) can aid understanding and controling of biological processes such as cardiac arrhythmia, formation of memory, and genetic regulation. We present an algorithm for over-approximating reach sets of networks of nonlinear HA which can be used for sound and relatively complete invariant checking. First, it uses automatically computed input-to-state discrepancy functions for the individual automata modules in the network A for constructing a low-dimensional model M.

file

Visible to the public matlab_progs_ET_control_bnd_data_rate.zip

Submitted by pavant on Tue, 08/12/2014 - 8:35pm