Graduiertenkolleg / PhD Program
Computer and Information Science

	GK Home	Department	GK Internal	FAQ	Contact			Software
	People	Research	Teaching	Events	Publications	Applications	Gallery	PhD Colloquium

• Members
• Guests
• Alumni

Prof. Dr. Stefan Leue

Advisor in the PhD program. organisational data http://www.inf.uni-konstanz.de/~leue areas of research Design and analysis of complex software systems Embedded systems design Formal methods in software engineering Model checking

publications

The following list of publications covers only those, which are or were published due to participation at the Graduiertenkolleg / PhD program.

2009

Aljazzar, H., Leue, S., Directed explicit state-space search in the generation of counterexamples for stochastic model checking, IEEE Computer Society Digital Library, 2009.

2009		Aljazzar, H., Leue, S., Generation of counterexamples for model checking of Markov decision processes, 2009.
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 Aljazzar, H., Leue, S., Debugging of dependability models using interactive visualization of counterexamples, International Conference on the Quantitative Evaluation of SysTems (QEST),  IEEE Press, 2008, IEEE Press. 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		Di Fatta, G., Leue, S., Stegantova, E., Discriminative pattern mining in software fault detection, ACM Symposium on Foundations of Software Engineering, International Workshop on Software Quality Assurance (SOQUA) (SIGSOFT), pp. 62-69, Portland, USA, November 2006, ACM Press. abstract 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 Aljazzar, H., Leue, S., Extended directed search for probabilistic timed reachability, 4. International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS), Lecture Notes in Computer Science (LNCS), Vol. 4202, pp. 33-51, 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 Aljazzar, H., Hermanns, H., Leue, S., Counterexamples for timed probabilistic reachability, 3. International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS), Lecture Notes in Computer Science (LNCS), Vol. 3829, pp. 177-195, 2005, Springer-Verlag. abstract

2008		Aljazzar, H., Leue, S., K*: A directed on-the-fly algorithm for finding the k shortest paths, University of Konstanz, TR # soft-08-03, Technical Report, March 2008. abstract Leue, S., Stefanescu, A., Wei, W., An AsmL semantics for dynamic structures and run time schedulability in UML-RT (long version), University of Konstanz, TR # soft-08-02, Technical Report, 2008. abstract
2007		Aljazzar, H., Leue, S., Counterexamples for model checking of markov decision processes, University of Konstanz, TR # soft-08-01, Technical Report, December 2007. abstract

---

Last modified March 25, 2011 by webmaster.