Stefan Leue - List of Selected Publications

Overview

• PhD Thesis
• Journal Publications
• Conference Proceedings
• Refereed Papers (Conferences and Workshops)
• Non-Refereed Manuscripts and Extended Abstracts

PhD Thesis

• Leue, S.: Methods and Semantics for Telecommunications Systems Engineering, Doctoral Dissertation, University of Berne, December 1994. PostScript-File (243 p.)

Archival Journal Publications

• Stefan Edelkamp, Stefan Leue and Alberto Lluch-Lafuente: Directed Explicit-State Model Checking in the Validation of Communication Protocols, to appear in: Software Tools for Technology Transfer.
• Kamel, M. and Leue, S.: Formalization and Validation of the General Inter-ORB Protocol (GIOP) using Promela and Spin, Software Tools for Technology Transfer, April 2000.
• Fischer, S., Leue, S.: Formal Methods for Broadband and Multimedia Systems, Computer Networks and ISDN Systems 30 (1998), pp. 865-899.
• Leue, S., Oechslin, Ph.: Opparim - A Method and Tool for Optimized Parallel Protocol Implementation. Journal of High Speed Networks, Vol. 5, p. 125-143, 1996. PostScript-File
• Leue, S., Oechslin, Ph.: On Parallelising and Optimising the Implementation of Communication Protocols, IEEE/ACM Transactions on Networking, 4(1), p. 55-70, February 1996. PostScript-File.
• Ladkin, P.B., Leue, S.: Interpreting Message Flow Graphs, Formal Aspects of Computing 7(5), p. 473 - 509, Sept./Oct. 1995. PostScript-File (37 p.)
• Ladkin, P.B., Leue, S.: Comments on a Proposed Semantics for Basic Message Sequence Charts, The Computer Journal, 37(9), January 1995. PostScript-File (3 p.)

Edited Volumes

• Bosnachki, D. and Leue, S.: Software Model Checking - Proceedings of the 9th International SPIN Workshop, Lecture Notes in Computer Science, Volume 2318, Springer Verlag, April 2002.
• Dams, D., Gerth, R., Leue, S., Massink, M.: Theoretical and Practical Aspects of SPIN Model Checking - Proceedings of the 5th and 6th International SPIN Workshops. Lecture Notes in Computer Science, Volume 1680, Springer Verlag, September 1999.
• Hogrefe, D., Leue, S.: Formal Description Techniques VII, Proceedings of the Seventh IFIP International Conference on Formal Description Techniques FORTE'94, Chapman & Hall, 1995.

Refereed Papers

• Alberto Lluch-Lafuente, Stefan Edelkamp, Stefan Leue, Partial Order Reduction in Directed Model Checking, in: Proceedings of the 9th International SPIN Workshop on Software Model Checking, Lecture Notes in Computer Science, Volume 2318, Springer Verlag, April 2002.

Download PDF  Download Postscript.
• Stefan Edelkamp, Alberto Luch Lafuente and Stefan Leue, Trail-Directed Model Checking, Proc. of the Workshop on Software Model Checking, Electrical Notes in Theoretical Computer Science, Elsevier, Juli 2001. Download PDF.
• Stefan Edelkamp, Alberto Lluch Lafuente and Stefan Leue, Directed Explicit Model Checking with HSF-SPIN, in: Proc. 8th International SPIN Workshop on Model Checking Software, Springer LNCS, Toronto, May 2001
• Stefan Edelkamp, Alberto Lluch Lafuente and Stefan Leue, Protocol Verification with Heuristic Search, Proc. AAAI Spring Symposium, AAAI, Stanford, April 2001.
• M. Kamel and S. Leue: VIP: A Visual Editor and Compiler for v-Promela, in: S. Graf and M. Schwartzbach (eds.), Proceedings of the 6th International

Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS'2000, Lecture Notes in Computer Science, p. 471 - 486, Springer Verlag, March 2000. PDF version.
• P. Tysowski, M. Zulkernine, and S. Leue: JaCal: An Implementation of Linda in Java, in: Proceedings of the IASTED Conference on Parallel and Distributed Computing and Systems (PDCS'99), Cambridge, Massachusetts, 1999.
• S. Leue and G. Holzmann, v-Promela: A Visual, Object-Oriented Language for Spin, in: Proceedings of the Second IEEE International Symposium on Object-oriented Real-time Distributed Computing ISORC '99, Saint Malo, France, May 1999.
• M. Kamel and S. Leue, Validation of Remote Object Invocation and Object Migration in CORBA GIOP using Promela/Spin, in: G. Holzmann, E. Najm and A. Serhrouchni (eds.),  Actes/Proceedings Spin'98, Ecole Nationale Superieure des Telecommunications, Report no. ENST 98 S 002, Paris, France, November 1998.
• S. Leue, L. Mehrmann and M. Rezai, Synthesizing ROOM Models from Message Sequence Chart Specifications,  13th IEEE Conference on Automated Software Engineering,  Honolulu, Hawaii, October 1998. Based on Technical Report 98-06. Postcript version  of Technical Report 98-06 (27 p. plus appendix, compressed, 601 kBytes.)
• H. Ben-Abdallah and S. Leue, MESA: Support for Scenario-Based Design of Concurrent Systems, in: B. Steffen (ed.), Proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS'98, Lisbon, Portugal, March/April 1998, Vol. 1384 of Lecture Notes in Computer Science,  p. 118 - 135, Springer Verlag, 1998.  Postcript version (18p., compressed)
• H. Ben-Abdallah and S. Leue, Timing Constraints in Message Sequence Chart Specifications, in: Formal Description Techniques X, Proceedings of the Tenth International Conference on Formal Description Techniques FORTE/PSTV'97, Osaka, Japan, November 1997, Chapman & Hall. Postcript file (16 p.)
• H. Ben-Abdallah and S. Leue, Syntactic Detection of Process Divergence and non-Local Choice in Message Sequence Charts, in: E. Brinksma, (ed.), Proceedings of the Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems TACAS'97, Enschede, The Netherlands, April 1997, Lecture Notes in Computer Science, Volume 1217, p. 259 - 274 Springer-Verlag, 1997. Postcript file (16 p.)
• S. Leue and P.B. Ladkin. Implementing and Verifying MSC Specifications Using Promela/XSpin. In: J.-C. Gregoire, G. Holzmann and D. Peled (eds.), Proceedings of the DIMACS Workshop SPIN96, the 2nd International Workshop on the SPIN Verification System. DIMACS Series Series in Discrete Mathematics and Theoretical Computer Science, Volume 32, American Mathematical Society, Providence, R.I., p. 65-89, 1997. PostScript version (23 p.)
• Leue, S.: Specifying Real-Time Requirements for SDL Specifications - A Temporal Logic-Based Approach, in: Proceedings of the Fifteenth International Symposium on Protocol Specification, Testing, and Verification PSTV'95, Chapmann & Hall, 1995. PostScript-File (16 p.)
• Ladkin, P.B., Leue, S.: Four Issues Concerning the Semantics of Message Flow Graphs, in: D. Hogrefe and S. Leue (eds.) Formal Description Techniques VII, Proceedings of the Seventh IFIP International Conference on Formal Description Techniques FORTE'94, Oct. 4-7, 1994, Chapman & Hall, 1995, to appear. PostScript-File (15 p.)
• Oechslin, Ph., Leue, S.: Enhancing Integrated Layer Processing using Common Case Anticipation and Data Dependence Analysis, Extended Abstract, in: Proceedings of the First Internation Workshop on High Performance Protocol Architectures HIPPARCH '94, INRIA Sophia Antipolis, December 1994. PostScript-File (5 p.)
• Leue, S., Oechslin, Ph.: Formalizations and Algorithms for Optimized Parallel Protocol Implementation, Proceedings of the IEEE International Conference on Network Protocols ICNP-94, Oct. 25-28, 1994., IEEE Computer Scociety Press, Boston, Massachusetts, October 1994. PostScript-File (8 p.)
• Leue, S., Oechslin, Ph.: From SDL Specification to Optimized Parallel Protocol Implementations, Extended Abstract, in: M. Ito and G. Neufeld (eds.), Proceedings of the Fourth International IFIP Workshop on Protocols for High Speed Networks, Aug. 10-12, 1994, Chapman & Hall, 1994., to appear. Full paper with the same title in: M. Ito and G. Neufeld (eds.), Workshop Proceedings of the Fourth International IFIP Workshop on Protocols for High Speed Networks, Aug. 10-12, 1994, pp. 308-328, 1994. PostScript-File (20 p.)
• Ladkin, P.B., Leue, S.: What Do Message Sequence Charts Mean? In: R.L. Tenney, P.D. Amer, M.U. Uyar (eds.), Formal Description Techniques VI, IFIP Transactions C, Proceedings of the 6th International Conference on Formal Description Techniques, North-Holland, p. 301 - 316, 1994. PostScript-File (16 p.)
• Leue, S., Oechslin, Ph.: Optimization Techniques for Parallel Protocol Implementation, Proceedings of the Fourth Workshop on Future Trends of Distributed Computing Systems, IEEE Computer Society Press, September 1993. PostScript-File (8 p.)
• Ladkin, P. B., Leue, S.: On the Semantics of Message Sequence Charts. In: H. Koenig (Hrsg.), Formale Methoden für Verteilte Systeme, K.G. Saur-Verlag, München, ISBN 3-598-22409-5, 1993.

Non-Refereed Manuscripts and Extended Abstracts

• M. Kamel and S. Leue, VIP: A Visual Interface for Promela, Theoretical and Practical Aspects of SPIN Model Checking - Proceedings of the 5th and 6th International SPIN Workshops, Trento, Italy, July 1999, Toulouse, France, September 1999. Lecture Notes in Computer Science, Volume 1680, Springer Verlag, September 1999, p. 153.
• S. Leue, L. Mehrmann and M. Rezai, Synthesizing ROOM Models from Message Sequence Chart Specifications, Technical Report 98-06, Dept. of Electrical and Computer Engineering, University of Waterloo, April 1998. Postcript version (27 p. plus appendix, compressed, 601 kBytes.)
• H. Ben-Abdallah and S. Leue, Expressing and Analyzing Timing Constraints in Message Sequence Chart Specifications, Technical Report 97-04, Dept. of Electrical and Computer Engineering, University of Waterloo, April 1997. Postcript version (28 p.)
• H. Ben-Abdallah and S. Leue. Architecture of a Requirements and Design Tool Based on Message Sequence Charts, Technical Report 96-13, Dept. of Electrical and Computer Engineering, University of Waterloo, October 1996. Postcript version (19 p.)
• H. Ben-Abdallah and S. Leue. Syntactic Analysis of Message Sequence Chart Specifications, Technical Report 96-12, Dept. of Electrical and Computer Engineering, University of Waterloo, October 1996. Postcript version (39 p.)
• Leue, S. and Ladkin, P.B.: Implementing and Verifying Scenario-Based Specifications Using Promela/XSpin. Participant's Proceedings of the Second SPIN Workshop, Rutgers University, New Brunswick, New Jersey, August 1996. PostScript-File (18 p.)
• Leue, S. and Ladkin, P.B.: Implementing Message Sequence Charts in Promela. In: J.-Ch. Grégoire, ed., Proceedings of the First SPIN Workshop, Montreal, Canada, October 1995. PostScript-File
• Leue, S.: QoS Specification Based on SDL /MSC and Temporal Logic, in: G. v. Bochmann, J. de Meer, and A. Vogel (eds.), Proceedings of the Montreal Workshop on Multimedia Applications and Quality of Service Verification, Montreal, May 31 - June 2, 1994. PostScript-File (18 p.)
• Ladkin, P. B., Leue, S.: Interpreting Message Sequence Charts, Research Report RJ 8965, IBM Almaden Research Center, September 1992.
• Ladkin, P.B., Leue, S.: Interpreting Message Sequence Charts (revised version), Technical Report TR 101, Dept. of Computing Science, University of Stirling, United Kingdom, March 1993.

Last modified: June 20, 2002

Stefan Leue <leue@uni-freiburg.de>