2017 IEEE International Conference on Software Testing, Verification and Validation (ICST)
Android has become one of the most popular operating systems for mobile devices. As the number of... more Android has become one of the most popular operating systems for mobile devices. As the number of applications for the Android ecosystem grows, so is their complexity, increasing the need for runtime verification on the Android platform. Unfortunately, despite the presence of several runtime verification frameworks for Java bytecode, DEX bytecode used in Android does not benefit from such a wide support. While a few runtime verification tools support applications developed for Android, such tools offer only limited bytecode coverage and may not be able to detect property violations in certain classes. In this paper, we show that ADRENALIN-RV, our new runtime verification tool for Android, overcomes this limitation. In contrast to other frameworks, ADRENALIN-RV weaves monitoring code at load time and is able to instrument all loaded classes. In addition to the default classes inside the application package (APK), ADRENALIN-RV covers both the Android class library and libraries dynamically loaded from the storage, network, or generated dynamically, which related tools cannot verify. Evaluation results demonstrate the increased code coverage of ADRENALIN-RV with respect to other runtime validation tools for Android. Thanks to ADRENALIN-RV, we were able to detect violations that cannot be detected by other tools.
Selon cette invention, un support lisible par ordinateur contient un logiciel qui, lorsqu'il ... more Selon cette invention, un support lisible par ordinateur contient un logiciel qui, lorsqu'il est lu par un ordinateur, pousse l'ordinateur a mettre en oeuvre un procede de surveillance base sur un site etendu. Le procede consiste a recevoir des donnees de surveillance, y compris des vues cibles, d'une pluralite de capteurs situes au niveau d'un site; a synchroniser les donnees de surveillance avec une seule source temporelle; a maintenir un modele de site du site, lequel modele de site comprend une carte de site, une carte a l'echelle humaine et un modele de reseau de capteurs; a analyser les donnees synchronisees a l'aide du modele de site pour determiner si les vues cibles representent un meme objet physique dans le site; a creer une carte cible correspondant a un objet physique dans le site, laquelle carte cible comprend au moins une vue cible; a recevoir un evenement d'interet global defini par l'utilisateur, lequel evenement d'interet global ...
Runtime verification (RV) is a field of study which suffers from a lack of dedicated benchmarks. ... more Runtime verification (RV) is a field of study which suffers from a lack of dedicated benchmarks. Many published evaluations of RV tools rely on workloads which are not representative of real-world programs. In this paper, we present a methodology to automatically discover relevant open-source projects for evaluating RV tools. This is done by analyzing unit tests on a large number of projects hosted on GitHub. Our evaluation shows that analyzing a large number of open-source projects—instead of a handful of manually selected workloads—provides better insight into the behavior of three state-of-the-art RV tools (JavaMOP, MarQ, and Muffin) based on two metrics (memory utilization and runtime overhead). By monitoring test executions of a large number of projects, we show that none of the evaluated RV tools wins for both metrics.
Selon l'invention, une camera video peut surveiller une zone controlee a partir d'une pos... more Selon l'invention, une camera video peut surveiller une zone controlee a partir d'une position possible quelconque. Un module d'estimation du flux d'objets controle la direction de deplacement des objets situes dans la zone controlee, et peut separer les objets se deplacant de maniere coherente des autres objets. Un module d'estimation du nombre d'objets peut calculer la densite des objets ( par ex., une foule de personnes). Un module de classification des densites d'objets peut classer les densites pour les affecter a des categories personnalisables.
BACKGROUND Ankle fractures are one of the most common fractures in adults aged 20-65 years. The B... more BACKGROUND Ankle fractures are one of the most common fractures in adults aged 20-65 years. The British Orthopaedic Association (BOA) and British Orthopaedic Foot and Ankle Society (BOFAS) jointly produced Standards for Trauma (BOAST) BOAST 12, with the aim of reducing morbidity by standardising care of these injuries. The primary aim of the AUGMENT study was to determine the extent and clinical effect of variation from BOAST 12. METHODS AUGMENT was a multi-centre prospective trainee led audit of consecutive patients presenting with an ankle fracture within a four-week period. Data were collected on patient demographics, comorbidities, management and 12-week outcome. The BOAST 12 standards were divided into four subgroups; documentation, imaging, management and follow-up. Percentage compliance with each subgroup was analysed. A multivariate logistic regression analysis was used to determine impact of overall compliance on likelihood of discharge in follow-up period. FINDINGS 971 patients were included across 52 sites. The overall rate of BOAST 12 compliance was 41.7%. Variations in practice were observed in clinical documentation, especially of neurovascular status, (40.7%) and VTE assessment (61.5%). Patient management compliance with all 16 of the BOAST 12 standards was associated with a higher rate of discharge during the 12-week follow-up period (p = 0.005). CONCLUSION AUGMENT has demonstrated that the management of ankle fractures is variable across the UK. Over half of patients had aspects of their care that were not BOAST 12 compliant. When compliance was observed, it was associated with earlier discharge from orthopaedic care.
Nowadays, many programming language implementations and programming frameworks target the Java Vi... more Nowadays, many programming language implementations and programming frameworks target the Java Virtual Machine (JVM). Examples include the Java and Scala compilers, Oracle’s Truffle framework and the interpreters built on top of it for a variety of dynamic programming languages, as well as big-data frameworks such as Apache Spark, Apache Flink, and Apache Storm. Unfortunately, the JVM provides only limited support for runtime monitoring. The JVM Tool Interface (JVMTI) offers only a very low-level programming model, often introduces high overhead, and does not guarantee proper isolation of the monitoring logic from the observed program. Aspect-Oriented Programming (AOP), in particular AspectJ, is often used to implement runtime monitoring tools. While offering a convenient programming model, the use of such technologies acerbates performance- and isolation-related problems. In this paper, we advocate the use of our dynamic program analysis framework DiSL for runtime monitoring on the JVM. DiSL reconciles an AOP-based programming model, full coverage of all executed bytecodes, optimizations of the monitoring logic, and support for isolation of the monitoring logic. Moreover, DiSL also offers an API to deploy, adapt, and remove monitoring logic at runtime, and it provides seamless support for monitoring also applications running on Android devices.
2008 Second ACM/IEEE International Conference on Distributed Smart Cameras, 2008
Page 1. AUTOMATED VISUAL ANALYSIS IN LARGE SCALE SENSOR NETWORKS Z. Rasheed, X. Cao, K. Shafique,... more Page 1. AUTOMATED VISUAL ANALYSIS IN LARGE SCALE SENSOR NETWORKS Z. Rasheed, X. Cao, K. Shafique, H. Liu, L. Yu, M. Lee, K. Ramnath, T. Choe, O. Javed, and N. Haering Center for Video Understanding Excellence ...
2003 International Conference on Multimedia and Expo. ICME '03. Proceedings (Cat. No.03TH8698), 2003
In this paper, we present a wide area surveiliance system that detects, tracks and classifies mov... more In this paper, we present a wide area surveiliance system that detects, tracks and classifies moving objects across mul-tiple cameras. At the single camera level, tracking is per-formed using a voting based approach that utilizes color and shape cues to establish correspondence. ...
2017 IEEE International Conference on Software Testing, Verification and Validation (ICST)
Android has become one of the most popular operating systems for mobile devices. As the number of... more Android has become one of the most popular operating systems for mobile devices. As the number of applications for the Android ecosystem grows, so is their complexity, increasing the need for runtime verification on the Android platform. Unfortunately, despite the presence of several runtime verification frameworks for Java bytecode, DEX bytecode used in Android does not benefit from such a wide support. While a few runtime verification tools support applications developed for Android, such tools offer only limited bytecode coverage and may not be able to detect property violations in certain classes. In this paper, we show that ADRENALIN-RV, our new runtime verification tool for Android, overcomes this limitation. In contrast to other frameworks, ADRENALIN-RV weaves monitoring code at load time and is able to instrument all loaded classes. In addition to the default classes inside the application package (APK), ADRENALIN-RV covers both the Android class library and libraries dynamically loaded from the storage, network, or generated dynamically, which related tools cannot verify. Evaluation results demonstrate the increased code coverage of ADRENALIN-RV with respect to other runtime validation tools for Android. Thanks to ADRENALIN-RV, we were able to detect violations that cannot be detected by other tools.
Selon cette invention, un support lisible par ordinateur contient un logiciel qui, lorsqu'il ... more Selon cette invention, un support lisible par ordinateur contient un logiciel qui, lorsqu'il est lu par un ordinateur, pousse l'ordinateur a mettre en oeuvre un procede de surveillance base sur un site etendu. Le procede consiste a recevoir des donnees de surveillance, y compris des vues cibles, d'une pluralite de capteurs situes au niveau d'un site; a synchroniser les donnees de surveillance avec une seule source temporelle; a maintenir un modele de site du site, lequel modele de site comprend une carte de site, une carte a l'echelle humaine et un modele de reseau de capteurs; a analyser les donnees synchronisees a l'aide du modele de site pour determiner si les vues cibles representent un meme objet physique dans le site; a creer une carte cible correspondant a un objet physique dans le site, laquelle carte cible comprend au moins une vue cible; a recevoir un evenement d'interet global defini par l'utilisateur, lequel evenement d'interet global ...
Runtime verification (RV) is a field of study which suffers from a lack of dedicated benchmarks. ... more Runtime verification (RV) is a field of study which suffers from a lack of dedicated benchmarks. Many published evaluations of RV tools rely on workloads which are not representative of real-world programs. In this paper, we present a methodology to automatically discover relevant open-source projects for evaluating RV tools. This is done by analyzing unit tests on a large number of projects hosted on GitHub. Our evaluation shows that analyzing a large number of open-source projects—instead of a handful of manually selected workloads—provides better insight into the behavior of three state-of-the-art RV tools (JavaMOP, MarQ, and Muffin) based on two metrics (memory utilization and runtime overhead). By monitoring test executions of a large number of projects, we show that none of the evaluated RV tools wins for both metrics.
Selon l'invention, une camera video peut surveiller une zone controlee a partir d'une pos... more Selon l'invention, une camera video peut surveiller une zone controlee a partir d'une position possible quelconque. Un module d'estimation du flux d'objets controle la direction de deplacement des objets situes dans la zone controlee, et peut separer les objets se deplacant de maniere coherente des autres objets. Un module d'estimation du nombre d'objets peut calculer la densite des objets ( par ex., une foule de personnes). Un module de classification des densites d'objets peut classer les densites pour les affecter a des categories personnalisables.
BACKGROUND Ankle fractures are one of the most common fractures in adults aged 20-65 years. The B... more BACKGROUND Ankle fractures are one of the most common fractures in adults aged 20-65 years. The British Orthopaedic Association (BOA) and British Orthopaedic Foot and Ankle Society (BOFAS) jointly produced Standards for Trauma (BOAST) BOAST 12, with the aim of reducing morbidity by standardising care of these injuries. The primary aim of the AUGMENT study was to determine the extent and clinical effect of variation from BOAST 12. METHODS AUGMENT was a multi-centre prospective trainee led audit of consecutive patients presenting with an ankle fracture within a four-week period. Data were collected on patient demographics, comorbidities, management and 12-week outcome. The BOAST 12 standards were divided into four subgroups; documentation, imaging, management and follow-up. Percentage compliance with each subgroup was analysed. A multivariate logistic regression analysis was used to determine impact of overall compliance on likelihood of discharge in follow-up period. FINDINGS 971 patients were included across 52 sites. The overall rate of BOAST 12 compliance was 41.7%. Variations in practice were observed in clinical documentation, especially of neurovascular status, (40.7%) and VTE assessment (61.5%). Patient management compliance with all 16 of the BOAST 12 standards was associated with a higher rate of discharge during the 12-week follow-up period (p = 0.005). CONCLUSION AUGMENT has demonstrated that the management of ankle fractures is variable across the UK. Over half of patients had aspects of their care that were not BOAST 12 compliant. When compliance was observed, it was associated with earlier discharge from orthopaedic care.
Nowadays, many programming language implementations and programming frameworks target the Java Vi... more Nowadays, many programming language implementations and programming frameworks target the Java Virtual Machine (JVM). Examples include the Java and Scala compilers, Oracle’s Truffle framework and the interpreters built on top of it for a variety of dynamic programming languages, as well as big-data frameworks such as Apache Spark, Apache Flink, and Apache Storm. Unfortunately, the JVM provides only limited support for runtime monitoring. The JVM Tool Interface (JVMTI) offers only a very low-level programming model, often introduces high overhead, and does not guarantee proper isolation of the monitoring logic from the observed program. Aspect-Oriented Programming (AOP), in particular AspectJ, is often used to implement runtime monitoring tools. While offering a convenient programming model, the use of such technologies acerbates performance- and isolation-related problems. In this paper, we advocate the use of our dynamic program analysis framework DiSL for runtime monitoring on the JVM. DiSL reconciles an AOP-based programming model, full coverage of all executed bytecodes, optimizations of the monitoring logic, and support for isolation of the monitoring logic. Moreover, DiSL also offers an API to deploy, adapt, and remove monitoring logic at runtime, and it provides seamless support for monitoring also applications running on Android devices.
2008 Second ACM/IEEE International Conference on Distributed Smart Cameras, 2008
Page 1. AUTOMATED VISUAL ANALYSIS IN LARGE SCALE SENSOR NETWORKS Z. Rasheed, X. Cao, K. Shafique,... more Page 1. AUTOMATED VISUAL ANALYSIS IN LARGE SCALE SENSOR NETWORKS Z. Rasheed, X. Cao, K. Shafique, H. Liu, L. Yu, M. Lee, K. Ramnath, T. Choe, O. Javed, and N. Haering Center for Video Understanding Excellence ...
2003 International Conference on Multimedia and Expo. ICME '03. Proceedings (Cat. No.03TH8698), 2003
In this paper, we present a wide area surveiliance system that detects, tracks and classifies mov... more In this paper, we present a wide area surveiliance system that detects, tracks and classifies moving objects across mul-tiple cameras. At the single camera level, tracking is per-formed using a voting based approach that utilizes color and shape cues to establish correspondence. ...
Uploads
Papers by Omar Javed