Wei Wei

According to our database, Wei Wei authored at least 15 papers between 2004 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Integer Linear Programming-Based Property Checking for Asynchronous Reactive Systems.

Stefan Leue, Wei Wei

IEEE Trans. Software Eng., 2013

Method and System for In-Place Modeling of Business Process Extensions as First-Class Entities.

Heiko Witteborg, Anis Charfi, Wei Wei, Ta'id Holmes

Proceedings of the Service-Oriented Computing - ICSOC 2012 Workshops, 2013

Business Information Sector.

Sebastian Wieczorek, Vitaly Kozyura, Wei Wei, Andreas Roth, Alin Stefanescu

Proceedings of the Industrial Deployment of System Engineering Methods, 2013

2011

A Survey on Event-B Decomposition.

Thai Son Hoang, Alexei Iliasov, Renato Silva, Wei Wei

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

2010

Checking Consistency Between Message Choreographies And Their Implementation Models.

Vitaly Kozyura, Andreas Roth, Sebastian Wieczorek, Wei Wei

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Formal Analysis of BPMN Models Using Event-B.

Jeremy W. Bryans, Wei Wei

Proceedings of the Formal Methods for Industrial Critical Systems, 2010

2009

An Executable and Extensible Formal Semantics for UML-RT.

Stefan Leue, Wei Wei

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme V, 2009

2008

Incomplete property checking for asynchronous reactive systems.

Wei Wei

PhD thesis, 2008

An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT.

Stefan Leue, Alin Stefanescu, Wei Wei

Proceedings of the Objects, Components, Models and Patterns, 46th International Conference, 2008

Dependency Analysis for Control Flow Cycles in Reactive Communicating Processes.

Stefan Leue, Alin Stefanescu, Wei Wei

Proceedings of the Model Checking Software, 2008

2006

A Region Graph Based Approach to Termination Proofs.

Stefan Leue, Wei Wei

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006

A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems.

Stefan Leue, Alin Stefanescu, Wei Wei

Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006

2005

Counterexample-Based Refinement for a Boundedness Test for CFSM Languages.

Stefan Leue, Wei Wei

Proceedings of the Model Checking Software, 2005

2004

A Scalable Incomplete Test for the Boundedness of UML RT Models.

Stefan Leue, Richard Mayr, Wei Wei

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004

A Scalable Incomplete Test for Message Buffer Overflow in Promela Models.

Stefan Leue, Richard Mayr, Wei Wei

Proceedings of the Model Checking Software, 2004