Elena Fersman

I did my Ph.D. at the Department of Information Technology, Uppsala University, Sweden with Professor Wang Yi as a supervisor. I have been involved in the development of the Times Tool, a Tool for Modeling and Implementation of Embedded Systems.

After graduating in 2003 I have been working as a Post-Doc at Laboratoire Spécification et Vérification (LSV). Here is my web page @LSV.

My short CV is available here.

My PhD thesis "A Generic Approach to Schedulability Analysis of Real-Time Systems" is available online here.

Publications

• [PDF] [PS.GZ] Elena Fersman. A Generic Approach to Schedulability Analysis of Real-Time Systems. (Ph.D. Thesis, Uppsala Dissertations from Faculty of Science and Technology 49, ISBN 91-554-5774-6, ISSN 1104-2516, Uppsala University, November 2003.)
• [PDF] [PS.GZ] Elena Fersman and Wang Yi. A Generic Approach to Schedulability Analysis of Real-Time Tasks. (Submitted for publication, 2003.)
• [PDF] [PS.GZ] Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson, and Wang Yi. TIMES: a Tool for Schedulability Analysis and Code Generation of Real-Time Systems. (To appear in Proceedings of the 1st International Workshop on Formal Modeling and Analysis of Timed Systems, FORMATS 2003, Marseille, France, September 6-7, 2003.)
• [PDF] [PS.GZ] Elena Fersman, Leonid Mokrushin, Paul Pettersson, and Wang Yi. Schedulability Analysis using Two Clocks. (Proceedings of 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2003, Warsaw, Poland, April 7-11, 2003), Springer-Verlag, LNCS 2619, pages 224-239, Hubert Garavel, John Hatcliff (Eds.), 2003.
• [PDF] [PS.GZ] Tobias Amnell, Elena Fersman, Paul Pettersson, Hongyan Sun, Wang Yi. Code Synthesis for Timed Automata. (Nordic Journal of Computing (NJC), pp.269-300, 2002.)
• [PDF] [PS.GZ] Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson, and Wang Yi. Times - A Tool for Modelling and Implementation of Embedded Systems. (Proceedings of 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2002, Grenoble, France, April 8-12, 2002), pp.460-464, Springer-Verlag, 2002. Lecture Notes in Computer Science, Vol.2280.
• [PDF] [PS.GZ] Elena Fersman, Paul Pettersson, and Wang Yi. Timed Automata with Asynchronous Processes: Schedulability and Decidability. (Proceedings of 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2002, Grenoble, France, April 8-12, 2002), pp.67-82, Springer-Verlag, 2002. Lecture Notes in Computer Science, Vol.2280.
• [PDF] [PS.GZ] Tobias Amnell, Alexandre David, Elena Fersman, M.Oliver Möller, Paul Pettersson, and Wang Yi. Tools for Real-Time UML: Formal Verification and Code Synthesis. (Proceedings of workshop on Specification, Implementation and Validation of Object-oriented Embedded Systems, SIVOES 2001, Budapest, Hungary, June 18-22, 2001.)
• [PDF] [PS.GZ] Elena Fersman and Bengt Jonsson. Abstraction of Communication Channels in Promela: A Case Study. (Proceedings of 7th International SPIN Workshop, SPIN 2000, Stanford, CA, USA, August 30 - September 1, 2000), pp.187-204, Springer-Verlag, 2000. Lecture Notes in Computer Science, Vol.1885.

Teaching

• VT2003 - Cryptology and Data Security
• VT2003 - Cryptology and Data Security (distance course)

Contact info