The following list of publications covers only those, which are or were published during participation at the Graduiertenkolleg / PhD program.
| 2008 |
|
- Leue, S., Stefanescu, A., Wei, W., Dependency analysis for control flow cycles in reactive communicating processes, International SPIN Workshop on Model Checking of Software (SPIN), Lecture Notes in Computer Science (LNCS), Vol. 5156, pp. 176-195, 2008, Springer-Verlag. abstract
- Leue, S., Stefanescu, A., Wei, W., An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT, International Conference on Objects, Models, Components, Patterns (TOOLS), Lecture Notes in Business and Information Processing, Vol. 11, pp. 238-257, 2008, Springer-Verlag. abstract
|
| 2006 |
|
- Leue, S., Wei, W., A region graph based approach to termination proofs, International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Lecture Notes in Computer Science (LNCS), Vol. 3920, pp. 318-333, Vienna, Austria, March 2006, Springer-Verlag. abstract
- Leue, S., Stefanescu, A., Wei, W., A livelock freedom analysis for infinite state asynchronous reactive systems, International Conference on Concurrency Theory (CONCUR), Lecture Notes in Computer Science (LNCS), Vol. 4137, pp. 79-94, Bonn, Germany, 2006, Springer-Verlag. abstract
|
| 2005 |
|
- Leue, S., Wei, W., Counterexample-based refinement for a boundedness test for CFSM languages, International Workshop on Model Checking Software (SPIN), Lecture Notes in Computer Science (LNCS), Godefroid, P. (ed.) , Vol. 3639, pp. 58-74, San Francisco, CA, USA, August 2005, Springer-Verlag. abstract
|