A Scalable Incomplete Test for Message Buffer Overflow in Promela Models. - Stefan Leue; Richard Mayr; Wei Wei 015 (SPIN, 2004)

A Scalable Incomplete Test for the Boundedness of UML RT Models. - Stefan Leue; Richard Mayr; Wei Wei 015 (TACAS, 2004)

Counterexample-Based Refinement for a Boundedness Test for CFSM Languages. - Stefan Leue; Wei Wei 015 (SPIN, 2005)

A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems. - Stefan Leue; Alin Stefanescu; Wei Wei 015 (CONCUR, 2006)

A Region Graph Based Approach to Termination Proofs. - Stefan Leue; Wei Wei 015 (TACAS, 2006)

Dependency Analysis for Control Flow Cycles in Reactive Communicating Processes. - Stefan Leue; Alin Stefanescu; Wei Wei 015 (SPIN, 2008)

An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT. - Stefan Leue; Alin Stefanescu; Wei Wei 015 (TOOLS (46), 2008)

Incomplete property checking for asynchronous reactive systems. - Wei Wei 015 (2008)

An Executable and Extensible Formal Semantics for UML-RT. - Stefan Leue; Wei Wei 015 (MBEES, 2009)

Formal Analysis of BPMN Models Using Event-B. - Jeremy W. Bryans; Wei Wei 015 (FMICS, 2010)

Checking Consistency Between Message Choreographies And Their Implementation Models. - Vitaly Kozyura; Andreas Roth 001; Sebastian Wieczorek; Wei Wei 015 (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

A Survey on Event-B Decomposition. - Thai Son Hoang; Alexei Iliasov; Renato Silva; Wei Wei 015 (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

Business Information Sector. - Sebastian Wieczorek; Vitaly Kozyura; Wei Wei 015; Andreas Roth 001; Alin Stefanescu (Industrial Deployment of System Engineering Methods, 2013)

Method and System for In-Place Modeling of Business Process Extensions as First-Class Entities. - Heiko Witteborg; Anis Charfi; Wei Wei 015; Ta'id Holmes (ICSOC Workshops, 2013)

Integer Linear Programming-Based Property Checking for Asynchronous Reactive Systems. - Stefan Leue; Wei Wei 015 (IEEE Trans. Software Eng., 2013)