Wei Wei

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