Publications by Qiang Wang | EPFL Graph Search

Related publications (11)

Algorithmic Verification of Component-based Systems

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

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

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

Wei Wu, Qiang Wang, Bo Li, Yunpeng Li, Feng Li, Erhan Gündogdu

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

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

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

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

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

Chao Wang, Qiang Wang, 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, Chen Zhang

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

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

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