Yuanrui Zhang

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 25

Top Topics

Temporal Consistency

Storage Systems

Top Venues

Publications

Yuanrui Zhang, Frédéric Mallet, Min Zhang, Zhiming Liu
Specification and Verification of Multi-Clock Systems Using a Temporal Logic with Clock Constraints. Formal Aspects Comput. 36 (2) (2024)
Yuanrui Zhang, Zhiming Liu
A dynamic logic with branching modalities. J. Log. Algebraic Methods Program. 136 (2024)
Yuanrui Zhang
Parameterized Dynamic Logic - Towards A Cyclic Logical Framework for Program Verification via Operational Semantics. CoRR (2024)
Yuanrui Zhang, Xinxin Liu
Image Reflection on LLEE Charts - Another Proof for the Completeness of an Axiomatization of 1-Free Regular Expressions Modulo Bisimilarity. CoRR (2023)
Yuanrui Zhang, Frédéric Mallet, Zhiming Liu
A dynamic logic for verification of synchronous models based on theorem proving. Frontiers Comput. Sci. 16 (4) (2022)
Yuanrui Zhang
A Dynamic Logic for Verification of Synchronous Models based on Theorem Proving. CoRR (2021)
Yuanrui Zhang, Hengyang Wu, Yixiang Chen, Frédéric Mallet
A clock-based dynamic logic for the verification of CCSL specifications in synchronous systems. Sci. Comput. Program. 203 (2021)
Yuanrui Zhang, Frédéric Mallet, Huibiao Zhu, Yixiang Chen, Bo Liu, Zhiming Liu
A clock-based dynamic logic for schedulability analysis of CCSL specifications. Sci. Comput. Program. 202 (2021)
Yuanrui Zhang, Frédéric Mallet, Yixiang Chen
A verification framework for spatio-temporal consistency language with CCSL as a specification language. Frontiers Comput. Sci. 14 (1) (2020)
Yuanrui Zhang, Frédéric Mallet, Huibiao Zhu, Yixiang Chen
A Logical Approach for the Schedulability Analysis of CCSL. TASE (2019)
Yuanrui Zhang, Yixiang Chen, Hengyang Wu
A Process Algebra With Qualitative Calculus for Modeling Spatio-Temporal Behaviour. IEEE Access 7 (2019)
Yuanrui Zhang, Hengyang Wu, Yixiang Chen, Frédéric Mallet
Embedding CCSL into Dynamic Logic: A Logical Approach for the Verification of CCSL Specifications. FTSCS (2018)
Yuanrui Zhang, Roger F. Woods, Youngwook Ko, Alan Marshall, Junqing Zhang
Security Optimization of Exposure Region-Based Beamforming With a Uniform Circular Array. IEEE Trans. Commun. 66 (6) (2018)
Yuanrui Zhang, Youngwook Ko, Roger F. Woods, Alan Marshall
Defining Spatial Secrecy Outage Probability for Exposure Region-Based Beamforming. IEEE Trans. Wirel. Commun. 16 (2) (2017)
Yuanrui Zhang, Youngwook Ko, Roger F. Woods, Alan Marshall, Joe Cavallaro, Kaipeng Li
On spatial security outage probability derivation of exposure region based beamforming with randomly located eavesdroppers. ACSSC (2016)
Yuanrui Zhang
Wireless Security with Beamforming Technique. CoRR (2016)
Yuanrui Zhang, Yujing Ma, Yixiang Chen
A UTP Refinement Model of the STeC Language. QRS Companion (2016)
Jinyang Li, Yuanrui Zhang, Yixiang Chen
A Self-Adaptive Traffic Light Control System Based on Speed of Vehicles. QRS Companion (2016)
Yuanrui Zhang, Youngwook Ko, Roger F. Woods, Alan Marshall, Joe Cavallaro, Kaipeng Li
On spatial security outage probability derivation of exposure region based beamforming with randomly located eavesdroppers. ACSSC (2016)
Yuanrui Zhang, Youngwook Ko, Roger F. Woods, Alan Marshall
Defining Spatial Security Outage Probability for Exposure Region Based Beamforming. CoRR (2016)
Kangli He, Yixiang Chen, Min Zhang, Yuanrui Zhang
PSTeC: A Location-Time Driven Modelling Formalism for Probabilistic Real-Time Systems. MMB/DFT (2016)
Huiyong Li, Yuanrui Zhang, Yixiang Chen
PSTEP - A Novel Probabilistic Event Processing Language for Uncertain Spatio-temporal Event Streams of Internet of Vehicles. QRS Companion (2015)
Wei Ding, Xulong Tang, Mahmut T. Kandemir, Yuanrui Zhang, Emre Kultursay
Optimizing off-chip accesses in multicores. PLDI (2015)
Yuanrui Zhang, Yixiang Chen, Yujing Ma
A Framework for Data-Driven Automata Design. APRES (2015)
Seong Jo Kim, Yuanrui Zhang, Seung Woo Son, Mahmut T. Kandemir, Wei-keng Liao, Rajeev Thakur, Alok N. Choudhary
IOPro: a parallel I/O profiling and visualization framework for high-performance storage systems. J. Supercomput. 71 (3) (2015)
Yuanrui Zhang, Bei Yin, Roger F. Woods, Joseph R. Cavallaro, Alan Marshall, Youngwook Ko
Investigation of secure wireless regions using configurable beamforming on WARP. ACSSC (2014)
Yixiang Chen, Yuanrui Zhang
A Hybrid Clock System Related to STeC Language. SERE (Companion) (2014)
Yuanrui Zhang, Frédéric Mallet, Yixiang Chen
Timed Automata Semantics of Spatial-Temporal Consistency Language STeC. TASE (2014)
Yuanrui Zhang, Alan Marshall, Roger F. Woods, Youngwook Ko
Creating secure wireless regions using configurable beamforming. PIMRC (2014)
Wei Ding, Yuanrui Zhang, Mahmut T. Kandemir, Jithendra Srinivas, Praveen Yedlapalli
Locality-aware mapping and scheduling for multicores. CGO (2013)
Wei Ding, Yuanrui Zhang, Mahmut T. Kandemir, Seung Woo Son
Compiler-directed file layout optimization for hierarchical storage systems. Sci. Program. 21 (3-4) (2013)
Hui Zhao, Ohyoung Jang, Wei Ding, Yuanrui Zhang, Mahmut T. Kandemir, Mary Jane Irwin
A hybrid NoC design for cache coherence optimization for chip multiprocessors. DAC (2012)
Wu Jigang, Guiyuan Jiang, Yuanrui Zhang, Yuanbo Zhu
Algorithm for Communication Synchronization on Reconfigurable Processor Arrays with Faults. IPDPS Workshops (2012)
Yuanrui Zhang, Jun Liu, Emre Kultursay, Mahmut T. Kandemir, Nikos Pitsianis, Xiaobai Sun
Automatic Parallel Code Generation for NUFFT Data Translation on multicores. J. Circuits Syst. Comput. 21 (2) (2012)
Jun Liu, Yuanrui Zhang, Ohyoung Jang, Wei Ding, Mahmut T. Kandemir
A compiler framework for extracting superword level parallelism. PLDI (2012)
Wei Ding, Yuanrui Zhang, Mahmut T. Kandemir, Seung Woo Son
Compiler-directed file layout optimization for hierarchical storage systems. SC (2012)
Wei Ding, Mahmut T. Kandemir, Yuanrui Zhang, Emre Kultursay
Off-chip access localization for NoC-based multicores. PACT (2012)
Yuanrui Zhang, Jun Liu, Mahmut T. Kandemir
Software-Directed Data Access Scheduling for Reducing Disk Energy Consumption. ICDCS (2012)
Yuanrui Zhang, Wei Ding, Jun Liu, Mahmut T. Kandemir
Optimizing Data Layouts for Parallel Computation on Multicores. PACT (2011)
Lanping Deng, Kanwaldeep Sobti, Yuanrui Zhang, Chaitali Chakrabarti
Accurate Area, Time and Power Models for FPGA-Based Implementations. J. Signal Process. Syst. 63 (1) (2011)
Yuanrui Zhang, Jun Liu, Ellis Herbert Wilson, Mahmut T. Kandemir
Software-directed data access scheduling for reducing disk energy consumption. HPDC (2011)
Sai Prashanth Muralidhara, Mahmut T. Kandemir, Yuanrui Zhang
Bandwidth Constrained Coordinated HW/SW Prefetching for Multicores. Euro-Par (1) (2011)
Mahmut T. Kandemir, Yuanrui Zhang, Jun Liu, Taylan Yemliha
Neighborhood-aware data locality optimization for NoC-based multicores. CGO (2011)
Jun Liu, Yuanrui Zhang, Wei Ding, Mahmut T. Kandemir
On-chip cache hierarchy-aware tile scheduling for multicore machines. CGO (2011)
Mahmut T. Kandemir, Ramya Prabhakar, Mustafa Karaköy, Yuanrui Zhang
Multilayer Cache Partitioning for Multiprogram Workloads. Euro-Par (1) (2011)
Yuanrui Zhang, Jun Liu, Sai Prashanth Muralidhara, Mahmut T. Kandemir
BrickX: building hybrid systems for recursive computations. SIGMETRICS Perform. Evaluation Rev. 39 (3) (2011)
Yuanrui Zhang, Mahmut T. Kandemir, Taylan Yemliha
Studying inter-core data reuse in multicores. SIGMETRICS (2011)
Yuanrui Zhang, Wei Ding, Mahmut T. Kandemir, Jun Liu, Ohyoung Jang
A data layout optimization framework for NUCA-based multicores. MICRO (2011)
Wei Ding, Yuanrui Zhang, Jun Liu, Mahmut T. Kandemir
Optimizing data locality using array tiling. ICCAD (2011)
Yuanrui Zhang, Jun Liu, Emre Kultursay, Mahmut T. Kandemir, Nikos Pitsianis, Xiaobai Sun
Scalable Parallelization Strategies to Accelerate NuFFT Data Translation on Multicores. Euro-Par (2) (2010)
Yuanrui Zhang, Lanping Deng, Praveen Yedlapalli, Sai Prashanth Muralidhara, Hui Zhao, Mahmut T. Kandemir, Chaitali Chakrabarti, Nikos Pitsianis, Xiaobai Sun
A special-purpose compiler for look-up table and code generation for function evaluation. DATE (2010)
Seong Jo Kim, Yuanrui Zhang, Seung Woo Son, Ramya Prabhakar, Mahmut T. Kandemir, Christina M. Patrick, Wei-keng Liao, Alok N. Choudhary
Automated Tracing of I/O Stack. EuroMPI (2010)
Mahmut T. Kandemir, Taylan Yemliha, Sai Prashanth Muralidhara, Shekhar Srikantaiah, Mary Jane Irwin, Yuanrui Zhang
Cache topology aware computation mapping for multicores. PLDI (2010)
Jing Wang, Wu Jigang, Yuanrui Zhang, Dakun Zhang
Accelerating Reconfiguration for Degradable Mesh-Connected Processor Arrays. PAAP (2010)
Mahmut T. Kandemir, Yuanrui Zhang, Sai Prashanth Muralidhara, Ozcan Ozturk, Sri Hari Krishna Narayanan
Slicing based code parallelization for minimizing inter-processor communication. CASES (2009)
Mahmut T. Kandemir, Yuanrui Zhang, Ozcan Ozturk
Adaptive prefetching for shared cache based chip multiprocessors. DATE (2009)
Mahmut T. Kandemir, Sai Prashanth Muralidhara, Sri Hari Krishna Narayanan, Yuanrui Zhang, Ozcan Ozturk
Optimizing shared cache behavior of chip multiprocessors. MICRO (2009)
Seung Woo Son, Mahmut T. Kandemir, Yuanrui Zhang, Rajat Garg
Topology-Aware I/O Caching for Shared Storage Systems. PDCCS (2009)
Yuanrui Zhang, Mahmut T. Kandemir
A hardware-software codesign strategy for Loop intensive applications. SASP (2009)
Yuanrui Zhang, Mahmut T. Kandemir, Nikos Pitsianis, Xiaobai Sun
Exploring parallelization strategies for NUFFT data translation. EMSOFT (2009)
Yuanrui Zhang, Shu Liu, Weijia Jia, Xu Cheng
BluePower - A New Distributed Multihop Scatternet Formation Protocol for Bluetooth Networks. ICPP (2005)