Yang Liu

CoRR, 2022

AixBench: A Code Generation Benchmark Dataset.

[BibT_eX]

[DOI]

CoRR, 2022

Automatic Map Generation for Autonomous Driving System Testing.

[BibT_eX]

[DOI]

CoRR, 2022

AS2T: Arbitrary Source-To-Target Adversarial Attack on Speaker Recognition Systems.

[BibT_eX]

[DOI]

CoRR, 2022

SoK: Rethinking Sensor Spoofing Attacks against Robotic Vehicles from a Systematic View.

[BibT_eX]

[DOI]

CoRR, 2022

Modx: Binary Level Partial Imported Third-Party Library Detection through Program Modularization and Semantic Matching.

[BibT_eX]

[DOI]

CoRR, 2022

An Executable Formal Model of the VHDL in Isabelle/HOL.

[BibT_eX]

[DOI]

CoRR, 2022

Unveiling Project-Specific Bias in Neural Code Models.

[BibT_eX]

[DOI]

CoRR, 2022

ALA: Adversarial Lightness Attack via Naturalness-aware Regularizations.

[BibT_eX]

[DOI]

CoRR, 2022

Towards characterizing bug fixes through dependency-level changes in Apache Java open source projects.

[BibT_eX]

[DOI]

Sci. China Inf. Sci., 2022

Learning Program Semantics with Code Representations: An Empirical Study.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Software Analysis, 2022

Fair and accurate age prediction using distribution aware data curation and augmentation.

[BibT_eX]

[DOI]

Proceedings of the IEEE/CVF Winter Conference on Applications of Computer Vision, 2022

RegexScalpel: Regular Expression Denial of Service (ReDoS) Defense by Localize-and-Fix.

[BibT_eX]

[DOI]

Proceedings of the 31st USENIX Security Symposium, 2022

Tracking patches for open source software vulnerabilities.

[BibT_eX]

[DOI]

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

KUBO: a framework for automated efficacy testing of anti-virus behavioral detection with procedure-based malware emulation.

[BibT_eX]

[DOI]

Proceedings of the 13th International Workshop on Automating Test Case Design, 2022

An Empirical Study of the Impact of COVID-19 on OSS Development.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE International Conference on Software Quality, 2022

An Exploratory Study for GUI Posts on Stack Overflow.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE International Conference on Software Quality, 2022

GALOIS: Boosting Deep Reinforcement Learning via Generalizable Logic Synthesis.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

A3GAN: Attribute-Aware Anonymization Networks for Face De-identification.

[BibT_eX]

[DOI]

Proceedings of the MM '22: The 30th ACM International Conference on Multimedia, Lisboa, Portugal, October 10, 2022

Has My Release Disobeyed Semantic Versioning? Static Detection Based on Semantic Differencing.

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Towards Understanding Third-party Library Dependency in C/C++ Ecosystem.

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Towards Understanding the Faults of JavaScript-Based Deep Learning Systems.

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Morest: Industry Practice of Automatic RESTful API Testing.

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

TransRepair: Context-aware Program Repair for Compilation Errors.

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

AUSERA: Automated Security Vulnerability Detection for Android Apps.

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Efficient greybox fuzzing of applications in Linux-based IoT devices via enhanced user-mode emulation.

[BibT_eX]

[DOI]

Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

Cross-lingual transfer learning for statistical type inference.

[BibT_eX]

[DOI]

Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

ModX: Binary Level Partially Imported Third-Party Library Detection via Program Modularization and Semantic Matching.

[BibT_eX]

[DOI]

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

Morest: Model-based RESTful API Testing with Execution Feedback.

[BibT_eX]

[DOI]

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

Demystifying the Vulnerability Propagation and Its Evolution via Dependency Trees in the NPM Ecosystem.

[BibT_eX]

[DOI]

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

Windranger: A Directed Greybox Fuzzer driven by Deviation Basic Blocks.

[BibT_eX]

[DOI]

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

A Formal Methodology for Verifying Side-Channel Vulnerabilities in Cache Architectures.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2022

Masked Faces with Faced Masks.

[BibT_eX]

[DOI]

Proceedings of the Computer Vision - ECCV 2022 Workshops, 2022

Can You Spot the Chameleon? Adversarially Camouflaging Images from Co-Salient Object Detection.

[BibT_eX]

[DOI]

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2022

More Secure Collaborative APIs resistant to Flush-Based Cache Attacks on Cortex-A9 Based Automotive System.

[BibT_eX]

[DOI]

Proceedings of the Computer Science in Cars Symposium, 2022

On the (In)Security of Secure ROS2.

[BibT_eX]

[DOI]

Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022

Residue-based Label Protection Mechanisms in Vertical Logistic Regression.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Big Data Computing and Communications, 2022

2021

Vulnerability Assessment of Deep Reinforcement Learning Models for Power System Topology Optimization.

[BibT_eX]

[DOI]

IEEE Trans. Smart Grid, 2021

Erratum to "Accurate and Scalable Cross-Architecture Cross-OS Binary Code Search With Emulation".

[BibT_eX]

[DOI]

Zhengzi Xu

IEEE Trans. Software Eng., 2021

Explaining Regressions via Alignment Slicing and Mending.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2021

Mining Likely Analogical APIs Across Third-Party Libraries via Large-Scale Unsupervised API Semantics Embedding.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2021

Why an Android App Is Classified as Malware: Toward Malware Classification Interpretation.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2021

CSim2: Compositional Top-down Verification of Concurrent Systems using Rely-Guarantee.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2021

Exploring the Effects of Blur and Deblurring to Visual Object Tracking.

[BibT_eX]

[DOI]

IEEE Trans. Image Process., 2021

A Performance-Sensitive Malware Detection System Using Deep Learning on Mobile Devices.

[BibT_eX]

[DOI]

IEEE Trans. Inf. Forensics Secur., 2021

Can We Trust Your Explanations? Sanity Checks for Interpreters in Android Malware Analysis.

[BibT_eX]

[DOI]

IEEE Trans. Inf. Forensics Secur., 2021

Text Backdoor Detection Using an Interpretable RNN Abstract Model.

[BibT_eX]

[DOI]

IEEE Trans. Inf. Forensics Secur., 2021

Trace-Length Independent Runtime Monitoring of Quantitative Policies.

[BibT_eX]

[DOI]

IEEE Trans. Dependable Secur. Comput., 2021

GUI-Squatting Attack: Automated Generation of Android Phishing Apps.

[BibT_eX]

[DOI]

IEEE Trans. Dependable Secur. Comput., 2021

On Evaluating Fault Resilient Encoding Schemes in Software.

[BibT_eX]

[DOI]

Jakub Breier

Xiaolu Hou

IEEE Trans. Dependable Secur. Comput., 2021

Guardauto: A Decentralized Runtime Protection System for Autonomous Driving.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2021

A permission-dependent type system for secure information flow analysis.

[BibT_eX]

[DOI]

J. Comput. Secur., 2021

An Isabelle/HOL Formalisation of the SPARC Instruction Set Architecture and the TSO Memory Model.

[BibT_eX]

[DOI]

J. Autom. Reason., 2021

MTKeras: An Automated Metamorphic Testing Platform.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 2021

CoreGen: Contextualized Code Representation Learning for Commit Message Generation.

[BibT_eX]

[DOI]

Neurocomputing, 2021

Advanced evasion attacks and mitigations on practical ML-based phishing website classifiers.

[BibT_eX]

[DOI]

Int. J. Intell. Syst., 2021

Generalized Local Optimality for Video Steganalysis in Motion Vector Domain.

[BibT_eX]

[DOI]

CoRR, 2021

Robust and Privacy-Preserving Collaborative Learning: A Comprehensive Survey.

[BibT_eX]

[DOI]

CoRR, 2021

Boosting the Capability of Intelligent Vulnerability Detection by Training in a Human-Learning Manner.

[BibT_eX]

[DOI]

CoRR, 2021

TRACER: Finding Patches for Open Source Software Vulnerabilities.

[BibT_eX]

[DOI]

CoRR, 2021

A Survey on Scenario-Based Testing for Automated Driving Systems in High-Fidelity Simulation.

[BibT_eX]

[DOI]

Ziyuan Zhong

Yun Tang

Yuan Zhou

Vânia de Oliveira Neves

Baishakhi Ray

CoRR, 2021

Benchmarking Shadow Removal for Facial Landmark Detection and Beyond.

[BibT_eX]

[DOI]

CoRR, 2021

AdvBokeh: Learning to Adversarially Defocus Blur.

[BibT_eX]

[DOI]

CoRR, 2021

GraphSearchNet: Enhancing GNNs via Capturing Global Dependency for Semantic Code Search.

[BibT_eX]

[DOI]

CoRR, 2021

SEC4SR: A Security Analysis Platform for Speaker Recognition.

[BibT_eX]

[DOI]

CoRR, 2021

Research on Third-Party Libraries in AndroidApps: A Taxonomy and Systematic LiteratureReview.

[BibT_eX]

[DOI]

CoRR, 2021

CarveNet: Carving Point-Block for Complex 3D Shape Completion.

[BibT_eX]

[DOI]

CoRR, 2021

Cross-Lingual Adaptation for Type Inference.

[BibT_eX]

[DOI]

CoRR, 2021

Enriching Query Semantics for Code Search with Reinforcement Learning.

[BibT_eX]

[DOI]

CoRR, 2021

Sparta: Spatially Attentive and Adversarially Robust Activation.

[BibT_eX]

[DOI]

CoRR, 2021

When NAS Meets Watermarking: Ownership Verification of DNN Models via Cache Side Channels.

[BibT_eX]

[DOI]

CoRR, 2021

Bandpass Negative Group Delay Theory of Fully Capacitive Δ-Network.

[BibT_eX]

[DOI]

Wenceslas Rahajandraibe

Blaise Ravelo

IEEE Access, 2021

Design and Synthesis of Inductorless Passive Cell Operating as Stop-Band Negative Group Delay Function.

[BibT_eX]

[DOI]

Wenceslas Rahajandraibe

Blaise Ravelo

IEEE Access, 2021

VIVA: Binary Level Vulnerability Identification via Partial Signature.

[BibT_eX]

[DOI]

Proceedings of the 28th IEEE International Conference on Software Analysis, 2021

APICraft: Fuzz Driver Generation for Closed-source SDK Libraries.

[BibT_eX]

[DOI]

Proceedings of the 30th USENIX Security Symposium, 2021

Who is Real Bob? Adversarial Attacks on Speaker Recognition Systems.

[BibT_eX]

[DOI]

Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021

An Investigation of Byzantine Threats in Multi-Robot Systems.

[BibT_eX]

[DOI]

Proceedings of the RAID '21: 24th International Symposium on Research in Attacks, 2021

FakeTagger: Robust Safeguards against DeepFake Dissemination via Provenance Tracking.

[BibT_eX]

[DOI]

Proceedings of the MM '21: ACM Multimedia Conference, Virtual Event, China, October 20, 2021

JPGNet: Joint Predictive Filtering and Generative Network for Image Inpainting.

[BibT_eX]

[DOI]

Proceedings of the MM '21: ACM Multimedia Conference, Virtual Event, China, October 20, 2021

AdvFilter: Predictive Perturbation-aware Filtering against Adversarial Attack via Multi-domain Learning.

[BibT_eX]

[DOI]

Proceedings of the MM '21: ACM Multimedia Conference, Virtual Event, China, October 20, 2021

BIFF: Practical Binary Fuzzing Framework for Programs of IoT and Mobile Devices.

[BibT_eX]

[DOI]

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Systematic Testing of Autonomous Driving Systems Using Map Topology-Based Scenario Classification.

[BibT_eX]

[DOI]

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

FirmGuide: Boosting the Capability of Rehosting Embedded Linux Kernels through Model-Guided Kernel Execution.

[BibT_eX]

[DOI]

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

A First Look at the Effect of Deep Learning in Coverage-guided Fuzzing.

[BibT_eX]

[DOI]

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Automatic HMI Structure Exploration Via Curiosity-Based Reinforcement Learning.

[BibT_eX]

[DOI]

Vinay Vishnumurthy Adiga

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Collision Avoidance Testing for Autonomous Driving Systems on Complete Maps.

[BibT_eX]

[DOI]

Proceedings of the IEEE Intelligent Vehicles Symposium, 2021

Vall-nut: Principled Anti-Grey box - Fuzzing.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE International Symposium on Software Reliability Engineering, 2021

Peeking into the Gray Area of Mobile World: An Empirical Study of Unlabeled Android Apps.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE International Symposium on Software Reliability Engineering, 2021

A Unified Anomaly Detection Methodology for Lane-Following of Autonomous Driving Systems.

[BibT_eX]

[DOI]

Proceedings of the 2021 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Big Data & Cloud Computing, Sustainable Computing & Communications, Social Computing & Networking (ISPA/BDCloud/SocialCom/SustainCom), New York City, NY, USA, September 30, 2021

Leveraging ASR N-Best in Deep Entity Retrieval.

[BibT_eX]

[DOI]

Proceedings of the 22nd Annual Conference of the International Speech Communication Association, Interspeech 2021, Brno, Czechia, August 30, 2021

AVA: Adversarial Vignetting Attack against Visual Recognition.

[BibT_eX]

[DOI]

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

Fine-tuning Is Not Enough: A Simple yet Effective Watermark Removal Attack for DNN Models.

[BibT_eX]

[DOI]

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

Automatic Web Testing Using Curiosity-Driven Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

ATVHUNTER: Reliable Version Detection of Third-Party Libraries for Vulnerability Identification in Android Applications.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

Route Coverage Testing for Autonomous Vehicles via Map Modeling.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Automation, 2021

RNNRepair: Automatic RNN Repair via Model-based Analysis.

[BibT_eX]

[DOI]

Proceedings of the 38th International Conference on Machine Learning, 2021

Retrieval-Augmented Generation for Code Summarization via Hybrid GNN.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Learning Representations, 2021

Learning to Adversarially Blur Visual Object Tracking.

[BibT_eX]

[DOI]

Proceedings of the 2021 IEEE/CVF International Conference on Computer Vision, 2021

Formal Analysis of Composable DeFi Protocols.

[BibT_eX]

[DOI]

Proceedings of the Financial Cryptography and Data Security. FC 2021 International Workshops, 2021

Privacy-Preserving Collaborative Learning With Automatic Transformation Search.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2021

Auto-Exposure Fusion for Single-Image Shadow Removal.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2021

SoFi: Reflection-Augmented Fuzzing for JavaScript Engines.

[BibT_eX]

[DOI]

Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

Temporal Watermarks for Deep Reinforcement Learning Models.

[BibT_eX]

[DOI]

Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

Stealing Deep Reinforcement Learning Models for Fun and Profit.

[BibT_eX]

[DOI]

Proceedings of the ASIA CCS '21: ACM Asia Conference on Computer and Communications Security, 2021

Decision-Guided Weighted Automata Extraction from Recurrent Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

EfficientDeRain: Learning Pixel-wise Dilation Filtering for High-Efficiency Single-Image Deraining.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

CANeleon: Protecting CAN Bus With Frame ID Chameleon.

[BibT_eX]

[DOI]

IEEE Trans. Veh. Technol., 2020

METTLE: A METamorphic Testing Approach to Assessing and Validating Unsupervised Machine Learning Systems.

[BibT_eX]

[DOI]

IEEE Trans. Reliab., 2020

Large-Scale Empirical Studies on Effort-Aware Security Vulnerability Prediction Methods.

[BibT_eX]

[DOI]

IEEE Trans. Reliab., 2020

Information Theoretical Analysis of Unfair Rating Attacks Under Subjectivity.

[BibT_eX]

[DOI]

IEEE Trans. Inf. Forensics Secur., 2020

BBB-CFI: Lightweight CFI Approach Against Code-Reuse Attacks Using Basic Block Information.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2020

A Countermeasure Against Statistical Ineffective Fault Analysis.

[BibT_eX]

[DOI]

IEEE Trans. Circuits Syst., 2020

Automated synthesis of local time requirement for service composition.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2020

Risk Management Framework for Machine Learning Security.

[BibT_eX]

[DOI]

CoRR, 2020

SeqMobile: A Sequence Based Efficient Android Malware Detection System Using RNN on Mobile Devices.

[BibT_eX]

[DOI]

CoRR, 2020

Being Single Has Benefits. Instance Poisoning to Deceive Malware Classifiers.

[BibT_eX]

[DOI]

CoRR, 2020

EfficientDeRain: Learning Pixel-wise Dilation Filtering for High-Efficiency Single-Image Deraining.

[BibT_eX]

[DOI]

CoRR, 2020

Adversarial Exposure Attack on Diabetic Retinopathy Imagery.

[BibT_eX]

[DOI]

CoRR, 2020

FakeRetouch: Evading DeepFakes Detection via the Guidance of Deliberate Noise.

[BibT_eX]

[DOI]

CoRR, 2020

It's Raining Cats or Dogs? Adversarial Rain Attack on DNN Perception.

[BibT_eX]

[DOI]

CoRR, 2020

The Hidden Vulnerability of Watermarking for Deep Neural Networks.

[BibT_eX]

[DOI]

CoRR, 2020

Light Can Hack Your Face! Black-box Backdoor Attack on Face Recognition Systems.

[BibT_eX]

[DOI]

CoRR, 2020

Fairness Matters - A Data-Driven Framework Towards Fair and High Performing Facial Recognition Systems.

[BibT_eX]

[DOI]

CoRR, 2020

Pasadena: Perceptually Aware and Stealthy Adversarial Denoise Attack.

[BibT_eX]

[DOI]

CoRR, 2020

Contextualized Code Representation Learning for Commit Message Generation.

[BibT_eX]

[DOI]

CoRR, 2020

Generating Adversarial Examples withControllable Non-transferability.

[BibT_eX]

[DOI]

CoRR, 2020

Differentially Private Decentralized Learning.

[BibT_eX]

[DOI]

CoRR, 2020

Automatic Code Summarization via Multi-dimensional Semantic Fusing in GNN.

[BibT_eX]

[DOI]

CoRR, 2020

Stealing Deep Reinforcement Learning Models for Fun and Profit.

[BibT_eX]

[DOI]

CoRR, 2020

Multi-IF : An Approach to Anomaly Detection in Self-Driving Systems.

[BibT_eX]

[DOI]

CoRR, 2020

Why an Android App is Classified as Malware? Towards Malware Classification Interpretation.

[BibT_eX]

[DOI]

CoRR, 2020

An Empirical Study on Benchmarks of Artificial Software Vulnerabilities.

[BibT_eX]

[DOI]

CoRR, 2020

ABBA: Saliency-Regularized Motion-Based Adversarial Blur Attack.

[BibT_eX]

[DOI]

CoRR, 2020

FakeLocator: Robust Localization of GAN-Based Face Manipulations via Semantic Segmentation Networks with Bells and Whistles.

[BibT_eX]

[DOI]

CoRR, 2020

A distributed method to avoid higher-order deadlocks in multi-robot systems.

[BibT_eX]

[DOI]

Autom., 2020

How Are Performance Issues Caused and Resolved?-An Empirical Study from a Design Perspective.

[BibT_eX]

[DOI]

Proceedings of the ICPE '20: ACM/SPEC International Conference on Performance Engineering, 2020

CORE: Automating Review Recommendation for Code Changes.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE International Conference on Software Analysis, 2020

Automatic Hot Patch Generation for Android Kernels.

[BibT_eX]

[DOI]

Proceedings of the 29th USENIX Security Symposium, 2020

MVP: Detecting Vulnerabilities using Patch-Enhanced Vulnerability Signatures.

[BibT_eX]

[DOI]

Proceedings of the 29th USENIX Security Symposium, 2020

MUZZ: Thread-aware Grey-box Fuzzing for Effective Bug Hunting in Multithreaded Programs.

[BibT_eX]

[DOI]

Proceedings of the 29th USENIX Security Symposium, 2020

Semantic Understanding of Smart Contracts: Executable Operational Semantics of Solidity.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

Watch out! Motion is Blurring the Vision of Your Deep Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

DeepSonar: Towards Effective and Robust Detection of AI-Synthesized Fake Voices.

[BibT_eX]

[DOI]

Proceedings of the MM '20: The 28th ACM International Conference on Multimedia, 2020

Amora: Black-box Adversarial Morphing Attack.

[BibT_eX]

[DOI]

Proceedings of the MM '20: The 28th ACM International Conference on Multimedia, 2020

DeepRhythm: Exposing DeepFakes with Attentional Visual Heartbeat Rhythms.

[BibT_eX]

[DOI]

Proceedings of the MM '20: The 28th ACM International Conference on Multimedia, 2020

FakePolisher: Making DeepFakes More Detection-Evasive by Shallow Reconstruction.

[BibT_eX]

[DOI]

Proceedings of the MM '20: The 28th ACM International Conference on Multimedia, 2020

Automated Third-Party Library Detection for Android Applications: Are We There Yet?

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

SADT: Syntax-Aware Differential Testing of Certificate Validation in SSL/TLS Implementations.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Generating Concept based API Element Comparison Using a Knowledge Graph.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Audee: Automated Testing for Deep Learning Frameworks.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Marble: Model-based Robustness Analysis of Stateful Deep Learning Systems.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Cats Are Not Fish: Deep Learning Testing Calls for Out-Of-Distribution Awareness.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

How are Deep Learning Models Similar?: An Empirical Study on Clone Analysis of Deep Learning Software.

[BibT_eX]

[DOI]

Proceedings of the ICPC '20: 28th International Conference on Program Comprehension, 2020

Patch based vulnerability matching for binary programs.

[BibT_eX]

[DOI]

Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

An empirical study on ARM disassembly tools.

[BibT_eX]

[DOI]

Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

An Empirical Evaluation of GDPR Compliance Violations in Android mHealth Apps.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE International Symposium on Software Reliability Engineering, 2020

FakeSpotter: A Simple yet Robust Baseline for Spotting AI-Synthesized Fake Faces.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Generating Behavior-Diverse Game AIs with Evolutionary Multi-Objective Deep Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Variable Precision Multi-granularity Rough Soft Sets Based on Multiple Thresholds.

[BibT_eX]

[DOI]

Proceedings of the Learning Technologies and Systems, 2020

An Empirical Study of Usages, Updates and Risks of Third-Party Libraries in Java Projects.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2020

Source Code based On-demand Class Documentation Generation.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2020

Towards characterizing adversarial defects of deep learning software from the lens of uncertainty.

[BibT_eX]

[DOI]

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

MemLock: memory usage guided fuzzing.

[BibT_eX]

[DOI]

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

Typestate-guided fuzzer for discovering use-after-free vulnerabilities.

[BibT_eX]

[DOI]

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

A Testing Tool for Machine Learning Applications.

[BibT_eX]

[DOI]

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Workshops, Seoul, Republic of Korea, 27 June, 2020

An empirical assessment of security risks of global Android banking apps.

[BibT_eX]

[DOI]

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

Butterfly Space: An Architectural Approach for Investigating Performance Issues.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE International Conference on Software Architecture, 2020

DesignDiff: Continuously Modeling Software Design Difference from Code Revisions.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE International Conference on Software Architecture, 2020

Privacy-Aware UAV Flights through Self-Configuring Motion Planning.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020

SeqMobile: An Efficient Sequence-Based Malware Detection System Using RNN on Mobile Devices.

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference on Engineering of Complex Computer Systems, 2020

SPARK: Spatial-Aware Online Incremental Attack Against Visual Tracking.

[BibT_eX]

[DOI]

Proceedings of the Computer Vision - ECCV 2020, 2020

Generating Adversarial Examples for Holding Robustness of Source Code Processing Models.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

Stealthy and Efficient Adversarial Attacks against Deep Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

Continuous Multiagent Control Using Collective Behavior Entropy for Large-Scale Home Energy Management.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

A Real-Time and Fully Distributed Approach to Motion Planning for Multirobot Systems.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Syst., 2019

Accurate and Scalable Cross-Architecture Cross-OS Binary Code Search with Emulation.

[BibT_eX]

[DOI]

Zhengzi Xu

IEEE Trans. Software Eng., 2019

Automatic Loop Summarization via Path Dependency Analysis.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2019

Architecture-Based Behavioral Adaptation with Generated Alternatives and Relaxed Constraints.

[BibT_eX]

[DOI]

IEEE Trans. Serv. Comput., 2019

Layered Object-Oriented Programming: Advanced VTable Reuse Attacks on Binary-Level Defense.

[BibT_eX]

[DOI]

IEEE Trans. Inf. Forensics Secur., 2019

Securing Android App Markets via Modeling and Predicting Malware Spread Between Markets.

[BibT_eX]

[DOI]

IEEE Trans. Inf. Forensics Secur., 2019

Refinement-Based Specification and Security Analysis of Separation Kernels.

[BibT_eX]

[DOI]

IEEE Trans. Dependable Secur. Comput., 2019

Fully Automated Differential Fault Analysis on Software Implementations of Block Ciphers.

[BibT_eX]

[DOI]

IACR Trans. Cryptogr. Hardw. Embed. Syst., 2019

Automatic Detection and Repair Recommendation for Missing Checks.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2019

A PSO-Based CEGAR Framework for Stochastic Model Checking.

[BibT_eX]

[DOI]

Yan Ma

Zining Cao

Int. J. Softw. Eng. Knowl. Eng., 2019

Water contamination monitoring system based on big data: a case study.

[BibT_eX]

[DOI]

Int. J. Comput. Sci. Eng., 2019

Experimental Evaluation of Deep Neural Network Resistance Against Fault Injection Attacks.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2019

What's Spain's Paris? Mining analogical libraries from Q&A discussions.

[BibT_eX]

[DOI]

Chunyang Chen

Zhenchang Xing

Empir. Softw. Eng., 2019

On embedding a hardware description language in Isabelle/HOL.

[BibT_eX]

[DOI]

Des. Autom. Embed. Syst., 2019

Doublade: Unknown Vulnerability Detection in Smart Contracts Via Abstract Signature Matching and Refined Detection Rules.

[BibT_eX]

[DOI]

CoRR, 2019

Amora: Black-box Adversarial Morphing Attack.

[BibT_eX]

[DOI]

CoRR, 2019

A Locating Model for Pulmonary Tuberculosis Diagnosis in Radiographs.

[BibT_eX]

[DOI]

CoRR, 2019

Spatial-aware Online Adversarial Perturbations Against Visual Object Tracking.

[BibT_eX]

[DOI]

CoRR, 2019

Oracle-Supported Dynamic Exploit Generation for Smart Contracts.

[BibT_eX]

[DOI]

CoRR, 2019

FakeSpotter: A Simple Baseline for Spotting AI-Synthesized Fake Faces.

[BibT_eX]

[DOI]

CoRR, 2019

A formalisation of the SPARC TSO memory model for multi-core machine code.

[BibT_eX]

[DOI]

CoRR, 2019

Securing android applications via edge assistant third-party library detection.

[BibT_eX]

[DOI]

Comput. Secur., 2019

How security bugs are fixed and what can be improved: an empirical study with Mozilla.

[BibT_eX]

[DOI]

Sci. China Inf. Sci., 2019

An Alterable Weight Minimum Spanning Tree Method for Electrical Collector System Planning in Tidal Current Generation Farms.

[BibT_eX]

[DOI]

IEEE Access, 2019

DeepCT: Tomographic Combinatorial Testing for Deep Learning Systems.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Conference on Software Analysis, 2019

Locating vulnerabilities in binaries via memory layout recovering.

[BibT_eX]

[DOI]

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Generating query-specific class API summaries.

[BibT_eX]

[DOI]

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Cerebro: context-aware adaptive fuzzing for effective vulnerability detection.

[BibT_eX]

[DOI]

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

DeepStellar: model-based quantitative analysis of stateful deep learning systems.

[BibT_eX]

[DOI]

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Devign: Effective Vulnerability Identification by Learning Comprehensive Program Semantics via Graph Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019

Wuji: Automatic Online Combat Game Testing Using Evolutionary Deep Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

Coverage-Guided Fuzzing for Feedforward Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

DeepMutation++: A Mutation Testing Framework for Deep Learning Systems.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

An Empirical Study Towards Characterizing Deep Learning Development and Deployment Across Different Frameworks and Platforms.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

A Quantitative Analysis Framework for Recurrent Neural Network.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

DeepHunter: a coverage-guided fuzz testing framework for deep neural networks.

[BibT_eX]

[DOI]

Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

DiffChaser: Detecting Disagreements for Deep Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Learning Performance Optimization from Code Changes for Android Apps.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE International Conference on Software Testing, 2019

ReCDroid: automatically reproducing Android application crashes from bug reports.

[BibT_eX]

[DOI]

William G. J. Halfond

Proceedings of the 41st International Conference on Software Engineering, 2019

Localized or architectural: an empirical study of performance issues dichotomy.

[BibT_eX]

[DOI]

Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

Vultron: catching vulnerable smart contracts once and for all.

[BibT_eX]

[DOI]

Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results, 2019

Superion: grammar-aware greybox fuzzing.

[BibT_eX]

[DOI]

Proceedings of the 41st International Conference on Software Engineering, 2019

A large-scale empirical study on industrial fake apps.

[BibT_eX]

[DOI]

Proceedings of the 41st International Conference on Software Engineering: Software Engineering in Practice, 2019

Leopard: identifying vulnerable code for vulnerability assessment through program metrics.

[BibT_eX]

[DOI]

Proceedings of the 41st International Conference on Software Engineering, 2019

StoryDroid: automated generation of storyboard for Android apps.

[BibT_eX]

[DOI]

Proceedings of the 41st International Conference on Software Engineering, 2019

A Performance-Sensitive Malware Detection System on Mobile Platform.

[BibT_eX]

[DOI]

Ruitao Feng

Shangwei Lin

Proceedings of the Formal Methods and Software Engineering, 2019

Secure Deep Learning Engineering: A Road Towards Quality Assurance of Intelligent Systems.

[BibT_eX]

[DOI]

Rama Krishna Sai Subrahmanyam Gorthi

Lei Ma

Jianjun Zhao

Proceedings of the Formal Methods and Software Engineering, 2019

Safe Inputs Approximation for Black-Box Systems.

[BibT_eX]

[DOI]

Proceedings of the 24th International Conference on Engineering of Complex Computer Systems, 2019

A Formally Verified Buddy Memory Allocation Model.

[BibT_eX]

[DOI]

Proceedings of the 24th International Conference on Engineering of Complex Computer Systems, 2019

MobiDroid: A Performance-Sensitive Malware Detection System on Mobile Platform.

[BibT_eX]

[DOI]

Proceedings of the 24th International Conference on Engineering of Complex Computer Systems, 2019

The Seventh Visual Object Tracking VOT2019 Challenge Results.

[BibT_eX]

[DOI]

Abdelrahman Eldesokey

Alireza Memarmoghadam

Ardhendu Shekhar Tripathi

Arnold W. M. Smeulders

Joni-Kristian Kämäräinen

Proceedings of the 2019 IEEE/CVF International Conference on Computer Vision Workshops, 2019

A Parametric Rely-Guarantee Reasoning Framework for Concurrent Reactive Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

2018

Towards Model Checking Android Applications.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2018

A Formal Specification and Verification Framework for Timed Security Protocols.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2018

Fault Attacks Made Easy: Differential Fault Analysis Automation on Assembly Code.

[BibT_eX]

[DOI]

Jakub Breier

Xiaolu Hou

IACR Trans. Cryptogr. Hardw. Embed. Syst., 2018

Fully Automated Differential Fault Analysis on Software Implementations of Cryptographic Algorithms.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2018

Fault Resilient Encoding Schemes in Software: How Far Can We Go?

[BibT_eX]

[DOI]

Jakub Breier

Xiaolu Hou

IACR Cryptol. ePrint Arch., 2018

A UTP semantics for communicating processes with shared variables and its formal encoding in PVS.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2018

A multi-view context-aware approach to Android malware detection and malicious code localization.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2018

DroidEcho: an in-depth dissection of malicious behaviors in Android applications.

[BibT_eX]

[DOI]

Cybersecur., 2018

DeepCruiser: Automated Guided Testing for Stateful Deep Learning Systems.

[BibT_eX]

[DOI]

CoRR, 2018

An Orchestrated Empirical Study on Deep Learning Frameworks and Platforms.

[BibT_eX]

[DOI]

CoRR, 2018

An Event-based Compositional Reasoning Approach for Concurrent Reactive Systems.

[BibT_eX]

[DOI]

CoRR, 2018

Secure Deep Learning Engineering: A Software Quality Assurance Perspective.

[BibT_eX]

[DOI]

CoRR, 2018

Metamorphic Relation Based Adversarial Attacks on Differentiable Neural Computer.

[BibT_eX]

[DOI]

CoRR, 2018

Coverage-Guided Fuzzing for Deep Neural Networks.

[BibT_eX]

[DOI]

CoRR, 2018

A Validation and Quality Assessment Method with Metamorphic Relations for Unsupervised Machine Learning Software.

[BibT_eX]

[DOI]

CoRR, 2018

Combinatorial Testing for Deep Learning Systems.

[BibT_eX]

[DOI]

CoRR, 2018

AUSERA: Large-Scale Automated Security Risk Assessment of Global Mobile Banking Apps.

[BibT_eX]

[DOI]

CoRR, 2018

K-Rust: An Executable Formal Semantics for Rust.

[BibT_eX]

[DOI]

CoRR, 2018

Executable Operational Semantics of Solidity.

[BibT_eX]

[DOI]

CoRR, 2018

Towards Efficient Data-flow Test Data Generation.

[BibT_eX]

[DOI]

CoRR, 2018

DeepGauge: Comprehensive and Multi-Granularity Testing Criteria for Gauging the Robustness of Deep Learning Systems.

[BibT_eX]

[DOI]

CoRR, 2018

ROPSentry: Runtime defense against ROP attacks using hardware performance counters.

[BibT_eX]

[DOI]

Comput. Secur., 2018

Anti-chain based algorithms for timed/probabilistic refinement checking.

[BibT_eX]

[DOI]

Sci. China Inf. Sci., 2018

A distributed approach to robust control of multi-robot systems.

[BibT_eX]

[DOI]

Autom., 2018

Are mobile banking apps secure? what can be improved?

[BibT_eX]

[DOI]

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

FOT: a versatile, configurable, extensible fuzzing framework.

[BibT_eX]

[DOI]

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

DeepGauge: multi-granularity testing criteria for deep learning systems.

[BibT_eX]

[DOI]

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

Tell them apart: distilling technology differences from crowd-scale comparison discussions.

[BibT_eX]

[DOI]

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

ClDiff: generating concise linked code differences.

[BibT_eX]

[DOI]

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

Efficiently manifesting asynchronous programming errors in Android apps.

[BibT_eX]

[DOI]

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

DeepMutation: Mutation Testing of Deep Learning Systems.

[BibT_eX]

[DOI]

Proceedings of the 29th IEEE International Symposium on Software Reliability Engineering, 2018

DangDone: Eliminating Dangling Pointers via Intermediate Pointers.

[BibT_eX]

[DOI]

Proceedings of the Tenth Asia-Pacific Symposium on Internetware, 2018

Vanguard: Detecting Missing Checks for Prognosing Potential Vulnerabilities.

[BibT_eX]

[DOI]

Proceedings of the Tenth Asia-Pacific Symposium on Internetware, 2018

A Novel System for Fingerprint Orientation Estimation.

[BibT_eX]

[DOI]

Proceedings of the Image and Graphics Technologies and Applications, 2018

Automatic Generation of API Documentations for Open-Source Projects.

[BibT_eX]

[DOI]

Proceedings of the IEEE Third International Workshop on Dynamic Software Documentation, 2018

Detecting missing checks for identifying insufficient attack protections.

[BibT_eX]

[DOI]

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Large-scale analysis of framework-specific exceptions in Android apps.

[BibT_eX]

[DOI]

Proceedings of the 40th International Conference on Software Engineering, 2018

From UI design image to GUI skeleton: a neural machine translator to bootstrap mobile GUI implementation.

[BibT_eX]

[DOI]

Proceedings of the 40th International Conference on Software Engineering, 2018

Speedoo: prioritizing performance optimization opportunities.

[BibT_eX]

[DOI]

Proceedings of the 40th International Conference on Software Engineering, 2018

Apk2vec: Semi-Supervised Multi-view Representation Learning for Profiling Android Applications.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Data Mining, 2018

SGXlinger: A New Side-Channel Attack Vector Based on Interrupt Latency Against Enclave Execution.

[BibT_eX]

[DOI]

Proceedings of the 36th IEEE International Conference on Computer Design, 2018

OrieNet: A Regression System for Latent Fingerprint Orientation Field Extraction.

[BibT_eX]

[DOI]

Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2018, 2018

An Original Neural Network for Pulmonary Tuberculosis Diagnosis in Radiographs.

[BibT_eX]

[DOI]

Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2018, 2018

Compositional Reasoning for Shared-Variable Concurrent Programs.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - 22nd International Symposium, 2018

A Permission-Dependent Type System for Secure Information Flow Analysis.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE Computer Security Foundations Symposium, 2018

Hawkeye: Towards a Desired Directed Grey-box Fuzzer.

[BibT_eX]

[DOI]

Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018

Practical Fault Attack on Deep Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018

2017

Collision and Deadlock Avoidance in Multirobot Systems: A Distributed Approach.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Syst., 2017

Detecting Bugs of Concurrent Programs With Program Invariants.

[BibT_eX]

[DOI]

IEEE Trans. Reliab., 2017

Battery-Aware Mobile Data Service.

[BibT_eX]

[DOI]

IEEE Trans. Mob. Comput., 2017

Auditing Anti-Malware Tools by Evolving Android Malware and Dynamic Loading Technique.

[BibT_eX]

[DOI]

IEEE Trans. Inf. Forensics Secur., 2017

Context-Aware, Adaptive, and Scalable Android Malware Detection Through Online Learning.

[BibT_eX]

[DOI]

IEEE Trans. Emerg. Top. Comput. Intell., 2017

By the Community & For the Community: A Deep Learning Approach to Assist Collaborative Editing in Q&A Sites.

[BibT_eX]

[DOI]

Chunyang Chen

Zhenchang Xing

Proc. ACM Hum. Comput. Interact., 2017

AndroVault: Constructing Knowledge Graph from Millions of Android Apps for Automated Analysis.

[BibT_eX]

[DOI]

CoRR, 2017

High-Assurance Separation Kernels: A Survey on Formal Methods.

[BibT_eX]

[DOI]

CoRR, 2017

graph2vec: Learning Distributed Representations of Graphs.

[BibT_eX]

[DOI]

CoRR, 2017

Context-aware, Adaptive and Scalable Android Malware Detection through Online Learning (extended version).

[BibT_eX]

[DOI]

CoRR, 2017

CSimpl: A Rely-Guarantee-Based Framework for Verifying Concurrent Programs.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Skyfire: Data-Driven Seed Generation for Fuzzing.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE Symposium on Security and Privacy, 2017

Loopster: static loop termination analysis.

[BibT_eX]

[DOI]

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Guided, stochastic model-based GUI testing of Android apps.

[BibT_eX]

[DOI]

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Steelix: program-state based binary fuzzing.

[BibT_eX]

[DOI]

Yuekang Li

Shang-Wei Lin

Alwen Tiu

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

FiB: squeezing loop invariants by interpolation between Forward/Backward predicate transformers.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Mining implicit design templates for actionable code reuse.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Proof Tactics for Assertions in Separation Logic.

[BibT_eX]

[DOI]

Proceedings of the Interactive Theorem Proving - 8th International Conference, 2017

SPAIN: security patch analysis for binaries towards understanding the pain and pills.

[BibT_eX]

[DOI]

Zhengzi Xu

Fu Song

Proceedings of the 39th International Conference on Software Engineering, 2017

Feedback-based debugging.

[BibT_eX]

[DOI]

Proceedings of the 39th International Conference on Software Engineering, 2017

A distributed approach to automated manufacturing systems with complex structures using Petri nets.

[BibT_eX]

[DOI]

Yan Yang

Proceedings of the 2017 IEEE International Conference on Robotics and Automation, 2017

Static and dynamic partitions of inequalities and their application in supervisor simplification.

[BibT_eX]

[DOI]

Chen Chen

Proceedings of the 2017 IEEE International Conference on Robotics and Automation, 2017

A Verification Framework for Stateful Security Protocols.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2017

No-Jump-into-Basic-Block: Enforce Basic Block CFI on the Fly for Real-world Binaries.

[BibT_eX]

[DOI]

Proceedings of the 54th Annual Design Automation Conference, 2017

A robust control approach to automated manufacturing systems allowing failures and reworks with Petri nets.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE Conference on Automation Science and Engineering, 2017

Decentralized supervisory control of Generalized Mutual Exclusion Constraints in Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE Conference on Automation Science and Engineering, 2017

Robust control of automated manufacturing systems with complex structures using Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE Conference on Automation Science and Engineering, 2017

2016

A Fine-Grained Control Flow Integrity Approach Against Runtime Memory Attacks for Embedded Systems.

[BibT_eX]

[DOI]

IEEE Trans. Very Large Scale Integr. Syst., 2016

Formal Specification and Analysis of Partitioning Operating Systems by Integrating Ontology and Refinement.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Informatics, 2016

Semantics-Based Online Malware Detection: Towards Efficient Real-Time Protection Against Malware.

[BibT_eX]

[DOI]

IEEE Trans. Inf. Forensics Secur., 2016

Improved EGT-Based Robustness Analysis of Negotiation Strategies in Multiagent Systems via Model Checking.

[BibT_eX]

[DOI]

IEEE Trans. Hum. Mach. Syst., 2016

Polynomially Complex Synthesis of Distributed Supervisors for Large-Scale AMSs Using Petri Nets.

[BibT_eX]

[DOI]

IEEE Trans. Control. Syst. Technol., 2016

Supervisor Simplification in FMSs: Comparative Studies and New Results Using Petri Nets.

[BibT_eX]

[DOI]

Ling Yuan

IEEE Trans. Control. Syst. Technol., 2016

Verifying a quantitative relaxation of linearizability via refinement.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2016

Formalizing and verifying stochastic system architectures using Monterey Phoenix.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2016

ProMoca: Probabilistic Modeling and Analysis of Agents in Commitment Protocols.

[BibT_eX]

[DOI]

Akin Günay

J. Artif. Intell. Res., 2016

Manifold regularized multi-view feature selection for social image annotation.

[BibT_eX]

[DOI]

Neurocomputing, 2016

Compositional Reasoning for Shared-variable Concurrent Programs.

[BibT_eX]

[DOI]

CoRR, 2016

subgraph2vec: Learning Distributed Representations of Rooted Sub-graphs from Large Graphs.

[BibT_eX]

[DOI]

Santhoshkumar Saminathan

CoRR, 2016

IBED: Combining IBEA and DE for optimal feature selection in software product line engineering.

[BibT_eX]

[DOI]

Appl. Soft Comput., 2016

A formal model for the SPARCv8 ISA and a proof of non-interference for the LEON3 processor.

[BibT_eX]

[DOI]

Arch. Formal Proofs, 2016

Reasoning About Information Flow Security of Separation Kernels with Channel-Based Communication.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Prospective memory aid reminder system design for group tasks.

[BibT_eX]

[DOI]

Jinghua Hou

Chunyan Miao

Proceedings of the 10th International Conference on Software, 2016

Proteus: computing disjunctive loop summary via path dependency analysis.

[BibT_eX]

[DOI]

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

BinGo: cross-architecture cross-OS binary search.

[BibT_eX]

[DOI]

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Detecting Bugs of Concurrent Programs with Program Invariants.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Software Quality, 2016

Semantic modelling of Android malware for effective malware comprehension, detection, and classification.

[BibT_eX]

[DOI]

Proceedings of the 25th International Symposium on Software Testing and Analysis, 2016

Online malware defense using attack behavior model.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Circuits and Systems, 2016

Contextual Weisfeiler-Lehman graph kernel for malware detection.

[BibT_eX]

[DOI]

Proceedings of the 2016 International Joint Conference on Neural Networks, 2016

Adaptive and scalable Android malware detection through online learning.

[BibT_eX]

[DOI]

Proceedings of the 2016 International Joint Conference on Neural Networks, 2016

How to Use Information Theory to Mitigate Unfair Rating Attacks.

[BibT_eX]

[DOI]

Proceedings of the Trust Management X - 10th IFIP WG 11.11 International Conference, 2016

Limitations on Robust Ratings and Predictions.

[BibT_eX]

[DOI]

Proceedings of the Trust Management X - 10th IFIP WG 11.11 International Conference, 2016

Optimizing selection of competing services with probabilistic hierarchical refinement.

[BibT_eX]

[DOI]

Proceedings of the 38th International Conference on Software Engineering, 2016

Generating performance distributions via probabilistic symbolic execution.

[BibT_eX]

[DOI]

Wei Le

Proceedings of the 38th International Conference on Software Engineering, 2016

Robust control of automated manufacturing systems with assembly operations using petri nets.

[BibT_eX]

[DOI]

Nan Du

Proceedings of the 2016 IEEE International Conference on Robotics and Automation, 2016

Scaling BDD-based Timed Verification with Simulation Reduction.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2016

Automated Requirements Validation for ATP Software via Specification Review and Testing.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2016

Service Adaptation with Probabilistic Partial Models.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2016

Concurrent On-the-Fly SCC Detection for Automata-Based Model Checking with Fairness Assumption.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Engineering of Complex Computer Systems, 2016

Prospective memory aid: A reminding model based on Fuzzy Cognitive Maps.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Fuzzy Systems, 2016

An Executable Formalisation of the SPARCv8 Instruction Set Architecture: A Case Study for the LEON3 Processor.

[BibT_eX]

[DOI]

Proceedings of the FM 2016: Formal Methods, 2016

Critical stages and their application in large scale automated manufacturing systems via Petri nets.

[BibT_eX]

[DOI]

Proceedings of the 15th European Control Conference, 2016

Robust Real-Time Human Perception with Depth Camera.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

GPU-Accelerated Value Iteration for the Computation of Reachability Probabilities in MDPs.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Mystique: Evolving Android Malware for Auditing Anti-Malware Tools.

[BibT_eX]

[DOI]

Guozhu Meng

Proceedings of the 11th ACM on Asia Conference on Computer and Communications Security, 2016

Critical stages and their identification in large scale automated manufacturing systems via Petri nets.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Automation Science and Engineering, 2016

A Language for Trust Modelling.

[BibT_eX]

[DOI]

Proceedings of the Autonomous Agents and Multiagent Systems - AAMAS 2016 Workshops, - Visionary Papers, 2016

Is It Harmful When Advisors Only Pretend to Be Honest?

[BibT_eX]

[DOI]

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

A Systematic Study on Explicit-State Non-Zenoness Checking for Timed Automata.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2015

Supervisor Synthesis and Performance Improvement for Automated Manufacturing Systems by Using Petri Nets.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Informatics, 2015

Maximally Permissive Distributed Control of Large Scale Automated Manufacturing Systems Modeled With Petri Nets.

[BibT_eX]

[DOI]

Mengchu Zhou

IEEE Trans. Control. Syst. Technol., 2015

Collaborative Security: A Survey and Taxonomy.

[BibT_eX]

[DOI]

ACM Comput. Surv., 2015

Automated Agent Behavior Construction for Protocol-Based Multiagent Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology, 2015

Fast Relative-Error Approximation Algorithm for Ridge Regression.

[BibT_eX]

[DOI]

Proceedings of the Thirty-First Conference on Uncertainty in Artificial Intelligence, 2015

Formal Analysis of MAC in IEEE 802.11p with Probabilistic Model Checking.

[BibT_eX]

[DOI]

Proceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering, 2015

Event and Strategy Analytics.

[BibT_eX]

[DOI]

Proceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering, 2015

TLV: abstraction through testing, learning, and validation.

[BibT_eX]

[DOI]

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Formalizing and verifying stochastic system architectures using Monterey Phoenix (SoSyM abstract).

[BibT_eX]

[DOI]

Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015

Interpolation Guided Compositional Verification (T).

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Detection and classification of malicious JavaScript via attack behavior modelling.

[BibT_eX]

[DOI]

Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015

S-looper: automatic summarization for multipath string loops.

[BibT_eX]

[DOI]

Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015

Optimizing selection of competing features via feedback-directed evolutionary algorithms.

[BibT_eX]

[DOI]

Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015

Reliability assessment for distributed systems via communication abstraction and refinement.

[BibT_eX]

[DOI]

Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015

Event-based formalization of safety-critical operating system standards: An experience report on ARINC 653 using Event-B.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Symposium on Software Reliability Engineering, 2015

Quantifying Robustness of Trust Systems against Collusive Unfair Rating Attacks Using Information Theory.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

An Adaptive Markov Strategy for Effective Network Intrusion Detection.

[BibT_eX]

[DOI]

Jianye Hao

Proceedings of the 27th IEEE International Conference on Tools with Artificial Intelligence, 2015

Supervisor design and simplification for Automated Manufacturing Systems using colored Petri nets.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Automation, 2015

Supervisors and their simplification in automated manufacturing systems via Petri nets.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Automation, 2015

GPU Accelerated On-the-Fly Reachability Checking.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015

Verifying FreeRTOS' Cyclic Doubly Linked List Implementation: From Abstract Specification to Machine Code.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015

Verifying Parameterized Timed Security Protocols.

[BibT_eX]

[DOI]

Proceedings of the FM 2015: Formal Methods, 2015

Trace-Length Independent Runtime Monitoring of Quantitative Policies in LTL.

[BibT_eX]

[DOI]

Xiaoning Du

Alwen Tiu

Proceedings of the FM 2015: Formal Methods, 2015

JSDC: A Hybrid Approach for JavaScript Malware Detection and Classification.

[BibT_eX]

[DOI]

Proceedings of the 10th ACM Symposium on Information, 2015

A Petri net-based distributed control of automated manufacturing systems with assembly operations.

[BibT_eX]

[DOI]

Yan Yang

Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015

Robust supervisor synthesis for automated manufacturing systems using Petri nets.

[BibT_eX]

[DOI]

Yan Cheng

Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015

Using Information Theory to Improve the Robustness of Trust Systems.

[BibT_eX]

[DOI]

Dongxia Wang

Athirai Aravazhi Irissappane

Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

The Fallacy of Endogenous Discounting of Trust Recommendations.

[BibT_eX]

[DOI]

Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

Automated Analysis of Commitment Protocols Using Probabilistic Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

Learning Assumptions for CompositionalVerification of Timed Systems.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2014

Towards Formal Modelling and Verification of Pervasive Computing Systems.

[BibT_eX]

[DOI]

Trans. Comput. Collect. Intell., 2014

Supervisor Simplification for AMS Based on Petri Nets and Inequality Analysis.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2014

Parameter synthesis for hierarchical concurrent real-time systems.

[BibT_eX]

[DOI]

Real Time Syst., 2014

Stroke++: A new Chinese input method for touch screen mobile phones.

[BibT_eX]

[DOI]

Int. J. Hum. Comput. Stud., 2014

Practice and Evaluation of Pagelet-Based Client-Side Rendering Mechanism.

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., 2014

Complexity of the Soundness Problem of Workflow Nets.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2014

Model checking approach to automated planning.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2014

Model checking with fairness assumptions using PAT.

[BibT_eX]

[DOI]

Frontiers Comput. Sci., 2014

Towards verification of computation orchestration.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2014

Stateful Security Protocol Verification.

[BibT_eX]

[DOI]

CoRR, 2014

Automated runtime recovery for QoS-based service composition.

[BibT_eX]

[DOI]

Proceedings of the 23rd International World Wide Web Conference, 2014

Towards Robust and Effective Trust Management for Security: A Survey.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Conference on Trust, 2014

Are Timed Automata Bad for a Specification Language? Language Inclusion Checking for Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

Automatic Verification for Later-Correspondence of Security Protocols.

[BibT_eX]

[DOI]

Proceedings of the Structured Object-Oriented Formal Language and Method, 2014

RaPiD: a toolkit for reliability analysis of non-deterministic systems.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

Automatic early defects detection in use case documents.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

Reconfigurable Dynamic Trusted Platform Module for Control Flow Checking.

[BibT_eX]

[DOI]

Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2014

On Robustness of Trust Systems.

[BibT_eX]

[DOI]

Proceedings of the Trust Management VIII - 8th IFIP WG 11.11 International Conference, 2014

Event Analytics.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014

Clonepedia: Summarizing Code Clones by Common Syntactic Context for Software Maintenance.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE International Conference on Software Maintenance and Evolution, Victoria, BC, Canada, September 29, 2014

Detecting differences across multiple instances of code clones.

[BibT_eX]

[DOI]

Proceedings of the 36th International Conference on Software Engineering, 2014

VeriWS: a tool for verification of combined functional and non-functional requirements of web service composition.

[BibT_eX]

[DOI]

Proceedings of the 36th International Conference on Software Engineering, 2014

Distributed supervisor synthesis for automated manufacturing systems using Petri nets.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014

GPU Accelerated Counterexample Generation in LTL Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2014

TAuth: Verifying Timed Security Protocols.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2014

Practical Analysis Framework for Software-Based Attestation Scheme.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2014

SCC-Based Improved Reachability Analysis for Markov Decision Processes.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2014

Symbolic Analysis of an Electric Vehicle Charging Protocol.

[BibT_eX]

[DOI]

Proceedings of the 2014 19th International Conference on Engineering of Complex Computer Systems, 2014

Formal Verification of Operational Transformation.

[BibT_eX]

[DOI]

Proceedings of the FM 2014: Formal Methods, 2014

MDP-Based Reliability Analysis of an Ambient Assisted Living System.

[BibT_eX]

[DOI]

Yan Liu

Lin Gui

Sai Sathyanarayan Venkatraman

Proceedings of the FM 2014: Formal Methods, 2014

TrustFound: Towards a Formal Foundation for Model Checking Trusted Computing Platforms.

[BibT_eX]

[DOI]

Proceedings of the FM 2014: Formal Methods, 2014

Diamonds Are a Girl's Best Friend: Partial Order Reduction for Timed Automata with Abstractions.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

Simplifying supervisory controllers of automated manufacturing systems via Petri net modeling and multiset analysis.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE International Conference on Automation Science and Engineering, 2014

A comparative approach to supervisor simplification in automated manufacturing systems using Petri nets.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE International Conference on Automation Science and Engineering, 2014

Towards a Combination of CafeOBJ and PAT.

[BibT_eX]

[DOI]

Proceedings of the Specification, Algebra, and Software, 2014

PeCAn: Compositional Verification of Petri Nets Made Easy.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2014

An extensive model checking framework for multi-agent systems.

[BibT_eX]

[DOI]

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

2013

Verifying Linearizability via Optimized Refinement Checking.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2013

Modeling and verifying hierarchical real-time systems using stateful timed CSP.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2013

State Space Reduction for Sensor Networks Using Two-Level Partial Order Reduction.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2013

USMMC: a self-contained model checker for UML state machines.

[BibT_eX]

[DOI]

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Towards Formal Modeling and Verification of Cloud Architectures: A Case Study on Hadoop.

[BibT_eX]

[DOI]

Rajaraman Kanagasabai

Proceedings of the IEEE Ninth World Congress on Services, 2013

AUTHSCAN: Automatic Extraction of Web Authentication Protocols from Implementations.

[BibT_eX]

[DOI]

Guangdong Bai

Jike Lei

Guozhu Meng

Proceedings of the 20th Annual Network and Distributed System Security Symposium, 2013

Constraint-based automatic symmetry detection.

[BibT_eX]

[DOI]

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

TzuYu: Learning stateful typestates.

[BibT_eX]

[DOI]

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Automatically partition software into least privilege components using dynamic data dependency analysis.

[BibT_eX]

[DOI]

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Combining model checking and testing with an application to reliability prediction and distribution.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Software Testing and Analysis, 2013

Improved Reachability Analysis in DTMC via Divide and Conquer.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods, 10th International Conference, 2013

A Formal Semantics for Complete UML State Machines with Communications.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods, 10th International Conference, 2013

Message from ESSS 2013 Workshop Co-chairs.

[BibT_eX]

[DOI]

Jun Pang

Sjouke Mauw

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Dynamic synthesis of local time requirement for service composition.

[BibT_eX]

[DOI]

Proceedings of the 35th International Conference on Software Engineering, 2013

Build your own model checker in one month.

[BibT_eX]

[DOI]

Proceedings of the 35th International Conference on Software Engineering, 2013

Improving Model Checking Stateful Timed CSP with non-Zenoness through Clock-Symmetry Reduction.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2013

A UTP Semantics for Communicating Processes with Shared Variables.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2013

vTRUST: A Formal Modeling and Verification Framework for Virtualization Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2013

Verification of Functional and Non-functional Requirements of Web Service Composition.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2013

TTM/PAT: Specifying and Verifying Timed Transition Models.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Safety-Critical Systems, 2013

PSyHCoS: Parameter Synthesis for Hierarchical Concurrent Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

Supervisor synthesis and performance improvement for automated manufacturing systems by using Petri nets.

[BibT_eX]

[DOI]

MengChu Zhou

Proceedings of the 2013 IEEE International Conference on Automation Science and Engineering, 2013

CELL: A Compositional Verification Framework.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2013

Multi-core Model Checking Algorithms for LTL Verification with Fairness Assumptions.

[BibT_eX]

[DOI]

Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2012

Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Finite State Based Models and Applications., 2012

Formal modeling and validation of Stateflow diagrams.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2012

Properties of message forwarding paths in social-aware disconnected mobile networks.

[BibT_eX]

[DOI]

Simul., 2012

SeVe: automatic tool for verification of security protocols.

[BibT_eX]

[DOI]

Frontiers Comput. Sci. China, 2012

Planning as Model Checking Tasks.

[BibT_eX]

[DOI]

Proceedings of the 35th Annual IEEE Software Engineering Workshop, 2012

Probabilistic Model Checking Multi-agent Behaviors in Dispersion Games Using Counter Abstraction.

[BibT_eX]

[DOI]

Proceedings of the PRIMA 2012: Principles and Practice of Multi-Agent Systems, 2012

Analyzing multi-agent systems with probabilistic model checking approach.

[BibT_eX]

[DOI]

Proceedings of the 34th International Conference on Software Engineering, 2012

More Anti-chain Based Refinement Checking.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2012

An Analytical and Experimental Comparison of CSP Extensions and Tools.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2012

Symbolic Model-Checking of Stateful Timed CSP Using BDD and Digitization.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2012

Automatic Generation of Provably Correct Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2012

Formal Analysis of Pervasive Computing Systems.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012

Translating PDDL into CSP# - The PAT Approach.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012

Model Checking Software Architecture Design.

[BibT_eX]

[DOI]

Proceedings of the 14th International IEEE Symposium on High-Assurance Systems Engineering, 2012

Improved BDD-Based Discrete Analysis of Timed Systems.

[BibT_eX]

[DOI]

Proceedings of the FM 2012: Formal Methods, 2012

Automatic Compositional Verification of Timed Systems.

[BibT_eX]

[DOI]

Proceedings of the FM 2012: Formal Methods, 2012

A Model Checker for Hierarchical Probabilistic Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

Using Monterey Phoenix to Formalize and Verify System Architectures.

[BibT_eX]

[DOI]

Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

Complexity of the Soundness Problem of Bounded Workflow Nets.

[BibT_eX]

[DOI]

Proceedings of the Application and Theory of Petri Nets - 33rd International Conference, 2012

2011

Towards bug-free implementation for wireless sensor networks.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Embedded Networked Sensor Systems, 2011

A model checking framework for hierarchical systems.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

PAT 3: An Extensible Architecture for Building Multi-domain Model Checkers.

[BibT_eX]

[DOI]

Proceedings of the IEEE 22nd International Symposium on Software Reliability Engineering, 2011

Towards a Model Checker for NesC and Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2011

Differencing Labeled Transition Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2011

Verification of Orchestration Systems Using Compositional Partial Order Reduction.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2011

PRTS: An Approach for Model Checking Probabilistic Real-Time Hierarchical Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2011

On Combining State Space Reductions with Global Fairness Assumptions.

[BibT_eX]

[DOI]

Proceedings of the FM 2011: Formal Methods, 2011

An Efficient Algorithm for Learning Event-Recording Automata.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2011

2010

Modeling and Analyzing Timed Security Protocols Using Extended Timed CSP.

[BibT_eX]

[DOI]

Xian Zhang

Mikhail Auguston

Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010

An Automatic Approach to Model Checking UML State Machines.

[BibT_eX]

[DOI]

Shao Jie Zhang

Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010

Model Checking a Lazy Concurrent List-Based Set Algorithm.

[BibT_eX]

[DOI]

Shao Jie Zhang

Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010

Discovering Anomalies in Semantic Web Rules.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010

Analyzing hierarchical complex real-time systems.

[BibT_eX]

[DOI]

Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

SpecDiff: debugging formal specifications.

[BibT_eX]

[DOI]

Proceedings of the ASE 2010, 2010

Model Checking Hierarchical Probabilistic Systems.

[BibT_eX]

[DOI]

Songzheng Song

Proceedings of the Formal Methods and Software Engineering, 2010

Model Checking a Model Checker: A Code Contract Combined Approach.

[BibT_eX]

[DOI]

Bin Cheng

Proceedings of the Formal Methods and Software Engineering, 2010

Developing Model Checkers Using PAT.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2010

Model-Based Methods for Linking Web Service Choreography and Orchestration.

[BibT_eX]

[DOI]

Proceedings of the 17th Asia Pacific Software Engineering Conference, 2010

2009

Integrating Specification and Programs for System Modeling and Verification.

[BibT_eX]

[DOI]

Proceedings of the TASE 2009, 2009

Verification of Population Ring Protocols in PAT.

[BibT_eX]

[DOI]

Proceedings of the TASE 2009, 2009

Formal Verification of Scalable NonZero Indicators.

[BibT_eX]

Proceedings of the 21st International Conference on Software Engineering & Knowledge Engineering (SEKE'2009), 2009

Verifying Stateful Timed CSP Using Implicit Clocks and Zone Abstraction.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2009

Scalable Multi-core Model Checking Fairness Enhanced Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2009

Fair Model Checking with Process Counter Abstraction.

[BibT_eX]

[DOI]

Proceedings of the FM 2009: Formal Methods, 2009

Model Checking Linearizability via Refinement.

[BibT_eX]

[DOI]

Proceedings of the FM 2009: Formal Methods, 2009

PAT: Towards Flexible Verification under Fairness.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008

Compositional encoding for bounded model checking.

[BibT_eX]

[DOI]

Frontiers Comput. Sci. China, 2008

Bounded Model Checking of Compositional Processes.

[BibT_eX]

[DOI]

Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008

Model Checking CSP Revisited: Introducing a Process Analysis Toolkit.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, 2008

An analyzer for extended compositional process algebras.

[BibT_eX]

[DOI]

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

Specifying and Verifying Event-Based Fairness Enhanced Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2008

2006

Verification of Computation Orchestration Via Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2006

2005

Algorithmic Design Using Object-Z for Twig XML Queries Evaluation.

[BibT_eX]

[DOI]