Publications by Qiang Wang | EPFL Graph Search

Catalytic Enantioselective Pictet–Spengler Reaction of α‐Ketoamides Catalyzed by a Single H‐Bond Donor Organocatalyst

Jieping Zhu, Qiang Wang, Rémi Julien Sylvain Andres

The asymmetric Pictet–Spengler reaction (PSR) with aldehydes is well known. However, PSR involving ketones as electrophilic partners is far-less developed. We report herein the first examples of catalytic enantioselective PSR of tryptamines with α-ketoamid ...

Wiley-VCH Verlag GmbH2022

Taming the radical cation intermediate enabled one-step access to structurally diverse lignans

Jieping Zhu, Qiang Wang, Cédric Fung, Jia-Chen Xiang

Lignans, in spite of their structural diversity, are all biosynthetically derived from coniferyl alcohol. We report herein a divergent synthesis of lignans from biomass-derived monolignols in a short synthetic sequence. Blue LED irradiation of a dichlorome ...

Nature Research2022

Copper‐Catalyzed Aza‐Sonogashira Cross‐Coupling to Ynimines: Development and Application to the Synthesis of Heterocycles

Jieping Zhu, Qiang Wang, Rémi Hugo Lavernhe

Nitrogen substituted alkynes such as ynamines and ynamides are versatile synthetic building blocks in organic chemistry. Ynimines bearing additional nucleophilic and electrophilic centers relative to ynamines and ynamides are expected to have high syntheti ...

Wiley-VCH Verlag GmbH2021

The Sixth Visual Object Tracking VOT2018 Challenge Results

Jiri Matas, Li Wang, Qing Guo, Jue Wang, Wei Wu, Yunpeng Li, Xiaofan Zhang, Qiang Wang, Erhan Gündogdu, Wenjun Zeng, Bo Chen, Luca Bertinetto, Siwen Wang, Hongwei Li, Chong Sun, Tianzong Zhang, Yuxuan Sun, Peixia Li, Yunhua Zhang, Ran Tao, Namhoon Lee, Zhiye Wang, Bo Li, Litu Rout, Zeyu Zhang, Tianyang Xu, Yi Wu, Feng Li, Ning Wang, Jing Li

The Visual Object Tracking challenge VOT2018 is the sixth annual tracker benchmarking activity organized by the VOT initiative. Results of over eighty trackers are presented; many are state-of-the-art trackers published at major computer vision conferences ...

SPRINGER INTERNATIONAL PUBLISHING AG2019

Algorithmic Verification of Component-based Systems

Qiang Wang

This dissertation discusses algorithmic verification techniques for concurrent component-based systems modeled in the Behavior-Interaction-Priority (BIP) framework with both bounded and unbounded concurrency. BIP is a component framework for mixed software ...

EPFL2017

Parameterized Systems in BIP: Design and Model Checking

Simon Bliudze, Joseph Sifakis, Qiang Wang

BIP is a component-based framework for system design that has important industrial applications. BIP is built on three pillars: behavior, interaction, and priority. In this paper, we introduce first-order interaction logic (FOIL) that extends BIP to system ...

Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik2016

Automatic Fault Localization for BIP

Simon Bliudze, Qiang Wang

This paper presents a novel idea of automatic fault localization by exploiting counterexamples generated by a model checker. The key insight is that, if a candidate statement is faulty, it is possible to modify (i.e. correct) this statement so that the cou ...

Springer2015

Verification of Component-based Systems via Predicate Abstraction and Simultaneous Set Reduction

Simon Bliudze, Qiang Wang

This paper presents a novel safety property verification approach for component-based systems modelled in BIP (Behaviour, Interaction and Priority), encompassing multiparty synchronisation with data transfer and priority. Our contributions consist of: (1 ...

Springer2015

SeBip: a symbolic executor for BIP

Simon Bliudze, Qiang Wang

This paper presents SeBip, the first symbolic executor for component-based systems modelled in BIP (Be- haviour, Interaction and Priority). To tackle the path explosion problem, SeBip combines partial order reduction technique to reduce the number of inter ...

IEEE Computer Society2015

TOA: a tag-owner-assisting RFID authentication protocol toward access control and ownership transfer

Chao Wang, Qiang Wang, Lei Xie, Chen Zhang

This paper addresses radio frequency identification (RFID) authentication and ownership transfer in offline scenarios. Four typical related works are reviewed in detail. A series of shortcomings and vulnerabilities of them are pointed out. A new RFID authe ...

Wiley-Blackwell2014

RFID seeking: Finding a lost tag rather than only detecting its missing

Qiang Wang, Lei Xie, Chen Zhang, Jian Xu

This paper proposes a novel type of RFID application, i.e., RFID seeking. Several existing types of RFID applications such as monitoring, searching, locating/navigating, are similar with RFID seeking. However, they are either inapplicable or vulnerable for ...

Elsevier2014