Leonid Mokrushin

 Life is what happens when
you are making other plans.
John Lennon
I am a PhD student at the Department of Information Technology of Uppsala University. My supervisor is Wang Yi. We are located at the Polacksbacken Mathematics and Information Technology Campus (MIC) in Uppsala, Sweden.

Being a member of UPPAAL Research Group (Design and Analysis of Real Time Systems), currently I am working on design of the Times tool, a Tool for Modeling and Implementation of Embedded Systems .

I have got my BSc/MSc at the Department of Distributed Computing and Networks at St.Petersburg State Polytechnical University in my homecity St.Petersburg, Russia. Here is my CV.

Research interests

  • Formal Methods for Real-time Systems
  • Scheduling Theory
  • Component Based Development

Webcam

Teaching

Studies

  • HT06 - Algorithmic Program Verification (TAPVES Seminars)
  • HT05 - Hardware/Software Codesign of Embedded Systems
  • VT05 - Storage Systems for Embedded Systems
  • HT04 - Design of Embedded Real-Times Systems
  • HT04 - A Basic Course in Applied Mathematics
  • VT04 - Reactive Systems.
  • HT02 - PhD Student Seminars at the IT Department
  • HT02 - Formal Software Testing and Model Checking
  • HT01 - Tillämpad Logik DV1 (Applied Logic)
  • HT01 - Algorithmic Problem Solving

    • Publications

    • [PDF] [PS.GZ] [BibTeX] Elena Fersman, Leonid Mokrushin, Paul Pettersson and Wang Yi. Schedulability analysis of fixed-priority systems using timed automata Theoretical Computer Science, Volume 354, Issue 2, Pages 301-317, 28 March 2006. Full text supplied by ScienceDirect.
    • [PDF] [PS.GZ] Marianne Ahlford, Martin Andersson, Hanna Blomquist, Magnus Ekström, Lars Ericsson, Johannes Gumbel, Anna Holmgren, Petter Holmberg, Leonard Kia, Anton Lindström, Magnus Lyrberg, Shaman Mahmoudi, Bengt Nolin, Jesper Sundien, Henrik Wallentin, Olle Gällmo, Anders Hessel, Leonid Mokrushin, and Paul Pettersson. Uppsala Underdogs - A Robot Soccer Project. Technical report 2006-012, March 2006.
    • [PDF] [PS.GZ] John Håkansson, Leonid Mokrushin, Paul Pettersson and Wang Yi. An Analysis Tool for UML Models with SPT Annotations. In online proceedings of International Workshop on Specification and Validation of UML models for Real Time and Embedded Systems (SVERTS'04), Lisbon, Portugal, October 11, 2004.
    • [PDF] [PS.GZ] [BibTeX] Pavel Krčál, Leonid Mokrushin, P.S. Thiagarajan, and Wang Yi. Timed vs. Time-Triggered Automata. In proceedings of 15th International Conference on Concurrency Theory (CONCUR'04), London, UK, August 31 - September 3, 2004, LNCS, vol. 3170, pages 340-354, Springer-Verlag, 2004.
    • [PDF] [PS.GZ] [BibTeX] Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson, and Wang Yi. Times: a Tool for Schedulability Analysis and Code Generation of Real-Time Systems. In proceedings of 1st International Workshop, FORMATS'03, Marseille, France, September 6-7, 2003, LNCS, vol. 2791, pages 60-72, Springer-Verlag, 2004.
    • [PDF] [PS.GZ] [BibTeX] Elena Fersman, Leonid Mokrushin, Paul Pettersson, and Wang Yi. Schedulability Analysis using Two Clocks. In Proceedings of 9th International Conference TACAS'03, part of the Joint Europian Conferences on Theory and Practice of Software, ETAPS'03, Warsaw, Poland, April 7-11, 2003, LNCS, vol. 2619, pages 224-239, Springer-Verlag, 2003. The full version is to appear in journal: Theoretical Computer Science, 2004.
    • [PDF] [PS.GZ] [BibTeX] Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson, and Wang Yi. Times - A Tool for Modelling and Implementation of Embedded Systems. In Proceedings of 8th International Conference TACAS'02, part of the Joint European Conferences on Theory and Practice of Software, ETAPS'02, Grenoble, France, April 8-12, 2002, LNCS, vol. 2280, pages 460-464, Springer-Verlag, 2002.

    Earlier publications

    • [PDF] Giacomo Piccinelli, Giuliano Di Vitantonio, Leonid Mokrushin. Dynamic service aggregation in electronic marketplaces. Computer Networks, Volume 37, Issue 2, October 2001, Pages 95-109. Full text supplied by ScienceDirect. HP Labs Technical Report.
    • [PDF] Giacomo Piccinelli, Leonid Mokrushin Dynamic e-service composition in DySCo. Proceedings of International Workshop on Distributed Dynamic Multiservice Architecture, part 21, IEEE International Conference on Distributed Computing Systems (ISDCS-21), Phoenix, USA, 2001.
    • [PDF] Kirill Bolshakov, Leonid Mokrushin. Securing Java Application Servers. Proceeding of ApacheCon Europe 2000, London, England, United Kingdom, October 23-25, 2000.

    Contact info

    Postal Address Office Internet
    Leonid Mokrushin
    Box 337
    Uppsala University
    75105
    Uppsala
    Sweden
    		 MIC, Polacksbacken
    Building 1
    Room 1236
    Floor 2
    Phone +46 18 4716230
    Mobile +46 73 9224363
    Fax +46 18 550225
    		Web http://user.it.uu.se/~leom
    E-mail
    ICQ# 16626292
    Call me!
    Designed
    using VIM