Xiying Weng

Publication Activity (10 Years)

Years Active: 2000-2002
Publications (10 Years): 0

University of Kaiserslautern (PHD)

Education History

University of Kaiserslautern

PHD

Publications

Xiying Weng, Lothar Litz
Model checking: towards generating a correct specification for logic controllers. ACC (2002)
Stéphane Klein, Xiying Weng, Georg Frey, Jean-Jacques Lesage, Lothar Litz
Controller design for an FMS using Signal Interpreted Petri Nets and SFC: Validation of both descriptions via model-checking. ACC (2002)
Xiying Weng, Lothar Litz
Model checking of signal interpreted Petri nets. SMC (2001)
Xiying Weng, Lothar Litz
Verification of logic control design using SIPN and model checking: methods and case study. ACC (2000)