Wei Wei

Publication Activity (10 Years)

Years Active: 2004-2013
Publications (10 Years): 0

Top Venues

ICSOC Workshops

IEEE Trans. Software Eng.

University of Konstanz (PHD)

Education History

University of Konstanz

PHD

Publications

Stefan Leue, Wei Wei
Integer Linear Programming-Based Property Checking for Asynchronous Reactive Systems. IEEE Trans. Software Eng. 39 (2) (2013)
Heiko Witteborg, Anis Charfi, Wei Wei, Ta'id Holmes
Method and System for In-Place Modeling of Business Process Extensions as First-Class Entities. ICSOC Workshops (2013)
Thai Son Hoang, Alexei Iliasov, Renato Silva, Wei Wei
A Survey on Event-B Decomposition. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 46 (2011)
Vitaly Kozyura, Andreas Roth, Sebastian Wieczorek, Wei Wei
Checking Consistency Between Message Choreographies And Their Implementation Models. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 35 (2010)
Jeremy W. Bryans, Wei Wei
Formal Analysis of BPMN Models Using Event-B. FMICS (2010)
Stefan Leue, Wei Wei
An Executable and Extensible Formal Semantics for UML-RT. MBEES (2009)
Stefan Leue, Alin Stefanescu, Wei Wei
An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT. TOOLS (46) (2008)
Stefan Leue, Alin Stefanescu, Wei Wei
Dependency Analysis for Control Flow Cycles in Reactive Communicating Processes. SPIN (2008)
Stefan Leue, Alin Stefanescu, Wei Wei
A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems. CONCUR (2006)
Stefan Leue, Wei Wei
A Region Graph Based Approach to Termination Proofs. TACAS (2006)
Stefan Leue, Wei Wei
Counterexample-Based Refinement for a Boundedness Test for CFSM Languages. SPIN (2005)
Stefan Leue, Richard Mayr, Wei Wei
A Scalable Incomplete Test for Message Buffer Overflow in Promela Models. SPIN (2004)
Stefan Leue, Richard Mayr, Wei Wei
A Scalable Incomplete Test for the Boundedness of UML RT Models. TACAS (2004)

Wei Wei.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Wei Wei