Friedrich-Alexander-Universität Univis FAU-Logo
Techn. Fakultät Willkommen am Department Informatik FAU-Logo
Logo IMMD
Department of Computer Science 4
MOSEL Publications
Dept. of Computer Science  >  CS 4  >  Projects  >  MOSEL  >  Download MOSEL
  • Retrial queues in the performance modeling of cellular mobile networks using MOSEL
    C.S. Kim, J. Roszik, J. Sztrik
    International Journal of Simulation: Systems, Science and Technology (submitted 2003)

  • Integration of the Petri Net Analysator TimeNET into the Model Analysis Environment MOSEL
    B. Beutel
    Diploma Thesis DA-I4-2002-17, Univ. of. Erlangen, Dept. of Comp. Science, Lehrstuhl 4, April 2003

  • Performance Modeling of Retrial Systems using the MOSEL Language
    J. Barner, G. Bolch
    Proceedings of the European Simulation Multiconference ESM'2002, Darmstadt, Germany, June 3-5, 2002

  • Stochastic Modeling of Multistage Interconnection Networks with MOSEL
    B. Almasi, G. Bolch, D. Tutsch
    Proceedings of the "XXII International Seminar on Stability Problems for Stochastic Models", Varna, May 2002

  • Performability Modeling of a Client-Server Communication System with Randomly Changing Parameters Using MOSEL
    B. Almasi, G. Bolch, J. Sztrik
    Proceedings of the 5th International Workshop on Performability Modeling of Computer and Communication Systems, Erlangen, Germany, September, 15-16, 2001

  • MOSEL - MOdeling, Specification and Evaluation Language
    J. Barner, K. Begain, G. Bolch, H. Herold
    Proceedings of the 2001 Aachen International Multiconference on Measurement, Modelling and Evaluation of Computer and Communication Systems, Aachen, Germany, September 11-14, 2001

  • Practical Performance Modeling. Application of the MOSEL Language
    K. Begain, G. Bolch, H. Herold
    Kluwer Academic Publishers 2001, 409 pages

  • Performance Modeling of Non-homogeneous Unreliable Multi-Server Systems using MOSEL
    G. Bolch, J. Sztrik, A. Zreikat
    Technical report, TR-I4-00-07, Dept. CS 4, Univ. Erlangen Nov, 2000, 12 pages
    [Abstract] [Full Paper (ps,http) , 344 kB] [Full Paper (pdf) , 233 kB] [Full Paper (ps,ftp)]

  • Performance Modeling of Non-homogeneous Multi-Server Systems using MOSEL
    G. Bolch, A. Zreikat
    Presentation ESS 2000 Hamburg
    [Full Paper (ps,http) , 125 kB]

  • Performance Modeling of Queueing Networks with Finite Capacity using MOSEL
    K. Begain, G. Bolch
    Proceedings of the 4th International Workshop on Queueing Networks with Finite Capacity, Ilkley, UK, July 20-21, 2000

  • Modeling Non-Homogenous Terminal Systems Using MOSEL
    G. Bolch, B. Almasi, J. Sztrik
    Technical Report TR-I4-99-07, Univ. of. Erlangen, Dept. of Comp. Science, Lehrstuhl 4, Sep. 1999
    [Abstract] [Full Paper (ps,http) , 559 kB] [Full Paper (pdf) , 190 kB] [Full Paper (ps,ftp)]

  • Scalable Schemes for Call Admission and Handover in Cellular Networks with Multiple Services
    K. Begain, G. Bolch, M. Telek
    Wireless Personal Communications Journal , Kluwer Academic Publisher 1999, 25 pages
    [Abstract]

  • Scalable Schemes for Mobile Networks with Multiple Services.
    K. Begain, G. Bolch, M. Telek
    Technical Report, TR-I4-98-04, Univ. of. Erlangen, Dept. of Comp. Science, Lehrstuhl 4, Aug. 1998, 24 pages
    [Abstract] [Full Paper (ps,http) , 188 kB] [Full Paper (pdf) , 492 kB] [Full Paper (ps,ftp)]

  • Analytical Model of Cellular Mobile Networks with Adaptive Data Connection
    K. Begain, H. Herold, G. Bolch
    Proceedings of the European Simulation Multiconference ESM'98, Manchester, UK, June 1998

  • New Handover Handling Mechanisms for Data in Cellular Mobile Networks with Multiple Services
    K. Begain, G. Bolch, H. Herold
    Proceedings of the 13th Intern. Symposium on Computer and Information Sciences, Antalya, Turkey, Oct. 1999

  • Queueing Networks and Markov Chains, Modeling and Performance Evaluation with Computer Science Applications
    G. Bolch, S. Greiner, H. de Meer, K.S. Trivedi
    John Wiley & Sons 1998, 726 pages
    [More information]

  • MOSES - Modeling, Specification and Evaluation System
    S. Greiner, G. Bolch, H. Herold
    Tool Descriptions, 9th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation June 1997, pp. 37-40

  • Modeling and Performance Evaluation using the Modeling Language MOSEL
    S. Greiner, G. Bolch, H. Herold
    Kurzbeiträge und Toolbeschreibungen zur 9.ITG/GI-Fachtagung MMB'97 17.-19.9.1997, Freiberg , Institut für Informatik, Band 4 1997, Freiberg Sep. 1997, pp. 144-151

  • Modeling and Performance Evaluation of Production Lines Using the Modeling Language MOSEL
    G. Bolch, S. Greiner
    Technical Report TR-I4-96-01, Univ. of. Erlangen, Dept. of Comp. Science, Lehrstuhl 4, March 1996, 9 pages
    [Abstract] [Full Paper (ps,http) , 93 kB] [Full Paper (pdf) , 197 kB] [Full Paper (ps,ftp)]

  • Modeling and Performance Evaluation of Production Lines Using the Modeling Language MOSEL
    G. Bolch, S. Greiner
    Proceedings of th 2nd IEEE/ECLA/IFIP Intern. Conf. on Architectures and Design Methods for Balanced Automation Systems, Portugal, 1996, pp. 163-174

  • MOSEL - MOdeling Specification and Evaluation Language
    G. Bolch, H. Herold Technical Report TR-I4-95-02, Univ. of. Erlangen, Dept. of Comp. Science, Lehrstuhl 4, March 1995, 51 pages
    [Abstract] [Full Paper (ps,http) , 78 kB] [Full Paper (pdf) , 90 kB] [Full Paper (ps,ftp)]
  Contact Last modified: 2004-01-11 15:50   ba