Kim Quyên Lý

Publication Activity (10 Years)

Years Active: 2016-2018
Publications (10 Years): 4

Top Topics

Reachability Analysis

Rule Based Systems

Top Venues

Publications

Jérôme Feret, Kim Quyên Lý
Reachability Analysis via Orthogonal Sets of Patterns. SASB 335 (2018)
Pierre Boutillier, Ferdinanda Camporesi, Jean Coquet, Jérôme Feret, Kim Quyên Lý, Nathalie Théret, Pierre Vignet
KaSa: A Static Analyzer for Kappa. CMSB (2018)
Ferdinanda Camporesi, Jérôme Feret, Kim Quyên Lý
KaDE: A Tool to Compile Kappa Rules into (Reduced) ODE Models. CMSB (2017)
Jérôme Feret, Kim Quyên Lý
Local Traces: An Over-Approximation of the Behaviour of the Proteins in Rule-Based Models. CMSB (2016)