• Modelscope
• CPN tools

 TU Eindhoven, Eindhoven Embedded Systems Institute,
 Faculty of Mathematics and Informatics
 Role: a researcher

1. E.E.Roubtsova. UML-based Tool for Component Specification.
In Proceedings of 2nd Workshop on Embedded Systems PROGRESS 2001. 18 October 2001, Veldhoven, the Netherlands, STW,pp.203-210.
2. E.E.Roubtsova, L.C.M.van Gool, R.Kuiper, H.M.Jonkers. A Specification Model for Interface Suites. In Proceedings of 4th International Conference on the Unified Modelling Language,UML'01, "Modelling Languages, Concepts and Tools", LNCS 2185, Springer Verlag, 2001, Toronto, Canada, pp.457-471 SpringerLink pdf
3. E.E.Roubtsova, L.C.M.van Gool, R.Kuiper, H.M.Jonkers. Consistent specification of interface suites in UML. Journal on Software & System Modeling (SoSym ) V1, N2, Springer, 2002, pp.98-112. SpringerLink  pdf
4. E.E.Roubtsova, H.B.M. Jonkers, R.Kuiper. Interface Suites as Contracts. Composition of Contracts in UML. Proceedings of 3d Workshop on Embedded Systems, PROGRESS 2002. October 2002, The Netherlands. STW, pp.203-210.
5. E.E.Roubtsova, H.B.M. Jonkers, R.Kuiper. Component Specification and Composition in a UML-based tool.The 6th World Multiconference on Systemics, Cybernetics and Informatics, Orlando, Florida. International Conference on Information Systems, Analysis and Synthesis, Orlando, USA, Proceedings, volume XVII, Information Systems Development III pp. 85-90;
6. E.E.Roubtsova,S.A.Roubtsov.A Human-Centric Tool for Component Design and Reuse in the UML. Proceedings of 2003 IEEE Symposium on Human Centric Computing Languages and Environments Visual Languages and Formal Methods, IEEE Catalog Number 03TH8722, ISBN: 0-7803-8225-0, Auckland, New Zealand, 2003, pp. 177-179. pdf
http://ieeexplore.ieee.org/search/wrapper.jsp?arnumber=1260222
7. Serguei Roubtsov, Ella Roubtsova, Pekka Abrahamsson. Evolutionary Product Line Modelling. International Workshop Evolution of Large-scale Industrial Software Applications (ELISA), Amsterdam,September 23rd, 2003
8.  E.E.Roubtsova,S.A.Roubtsov.UML-base Tool for Constructing Component Systems via Component Behaviour Inheritance. Proceedings of the Eighth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 03),Trondheim, Norway, pages 139-154. Elsevier Electronic Notes in Theoretical Computer Science V. 80 (2003), Elsevier Link
9.  E.E.Roubtsova, S.A.Roubtsov.UML-base Tool for Constructing Component Systems via Component Behaviour Inheritance. Proceedings of the Eighth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 03), Trondheim, Norway, pages 139-154
10. Ella Roubtsova and Ruurd Kuiper. Process Semantics for UML Component Specifications to Assess Inheritance. Electronic Notes in Theoretical Computer Science, 72,3 Elsevier Science Publishers, Paolo Bottoni and Mark Minas,2003 Elsevier Link
11. L. van Gool, H. Jonkers, E. Luit, R. Kuiper, S. Roubtsov. Plug-ins for ISpec. Proceeding of 5th PROGRESS Symposium on Embedded Systems. PROGRESS/STW, ISBN 90-73461-41-3, pages 35-40, 2004.
12. Ella Roubtsova and Ruurd Kuiper. Process Semantics for UML Component specifications to Assess Inheritance. GT-VMT'2002, Proceedings of the workshop on Graph Transformation and Visual Modelling Techniques (at the First International Conference on Graph Transformation), Barcelona,Spain,11 -12,October2002, pp. 151-165.
13.  S.A.Roubtsov, E.E.Roubtsova. Modelling Evolution and Variability of Software Product Lines Using Interface Suites.
In Proceedings of the Workshop on Software Variability Management. February 13,14, 2003, Editors Jilles van Gurp & Jan Bosch. University of Groningen, Groningen, The Netherlands. pp. 62-71.
14.  S.A. Roubtsov, E.E Roubtsova. A Verification Technique in Product Line Member Derivation (Extended Abstract). Proceedings of the 2nd Groningen Workshop on Software Variability Management (SVM2004). Editor J. Bosch. Groningen. IWI preprint 2004-7-01, 2004.
15. E.E.Roubtsova,S.A.Roubtsov. Constraints of Behavioural Inheritance. Proceedings of the First European Workshop on Software Architecture. St. Andrews, Editors: Flavio Oquendo, Brian Warboys, Ron Morrison. Springer LNCS 3047, pages 115-134, 2004. SpringerLink. pdf
16.   E.E.Roubtsova,S.A.Roubtsov. Behavioural Inheritance in the UML to Model Software Product Lines. Editor J. Bosch. Elsevier journal "Science of Computer Programming", Vol. 53/3,2004. pp 409-434. ElsevierLink . pdf

1999-2000 Project RAPPORT "Real-Time Applications. Object  Repository Toolset"

                  Technical University Delft. TNO-TPD;
                   role: a research fellow

Project publications

1. Hans Toetenel, Ella Roubtsova, Jan van Katwijk. A Timed Automata Semantics for Real-Time UML Specifications.
In Proceedings of IEEE Symposia on Human-Centric Computing Languages and Environments (HCC'01), Visual Languages and Formal Methods (VLFM'01), Stresa, Italy, September 5-7, 2001, IEEE Computer Society Catalog No.PE00474.pp.88-95. IEEE Link
2  E.E. Roubtsova, J. van Katwijk, W.J.Toetenel. Transformation of UML Specification to XTG. In Proceedings of the Andrei Ershov Fourth International Conference. Novosibirsk. LNCS 2244, Springer Verlag, 2001, pp.249-256. SpringerLink pdf
3. E.E. Roubtsova, J. van Katwijk, W.J.Toetenel, R.C.M.de Rooij. Real-Time Systems: Specification of Properties in UML. ASCI 2001 conference, May 30 - June 1, 2001,"Het Heijderbos", Heijen, The Netherlands. pp.188-195.
4.  E.E.Roubtsova, J.van Katwijk, W.J.Toetenel, C.Pronk, R.C.M.de Rooij. The Specification of Real-Time Systems in UML, MCTS2000, Electronic Notes in Theoretical Computer Science, V39, Ed. F. Corradini, Elsevier Science Publishers,  ElsevierLink

1998-1999 
"Methods of Analysis for Protocols of parallel interacted processes", N99-01-0029;
                    Yaroslavl State University. RFBR (Russian Foundation for Basic Research).
                 Role: the project leader

 "Models and tools for design, analysis and verification
of different classes of  Data-Flow Graphs with data structures".
                    Ministry of general and professional education of Russia
                    Role: the project leader
Project publications
1. E.E.Roubtsova, V.A.Sokolov. A  model for Reachability Analysis of Data-Flow Graphs with Queues. Modelling and analysis of informational systems. Yaroslavl State University,
 V6 (1), 1999, pp.82-89.( English)
2. Technical reports (Russion)

 1997-1998  "Formal Models of Parallel and Interactive Systems”, Yaroslavl State University. INTAS-RFBR N 95-0378
                        Role: a researcher
Project publications

1.  E.E.Roubtsova, N.S.Sidorova, V.A.Sokolov. Symbolic reachability analysis of dataflow graphs with data structures. Proceedings of III Siberia International Conference on  applied mathematics, INPRIM-98. Novosibirsk, p.111. ( English).
2. E.E.Roubtsova, N.S.Sidorova. Modelling of dataflow programs by pushdown multiautomata. Proceedings of V International Conference "Mathematics. Computer. Education." Dubna, 1998, p.175.  ( Russian).
3. E.E.Roubtsova, S.A.Roubtsov, V.A.Sokolov. Design and analysis method  for structured dataflow programs. Proceedings of International Conference "Informational technologies as special courses in universities" Part 2, Ulianovsk, 1997, pp.43-44. (Russian).
4. E.E.Roubtsova, S.A.Roubtsov, V.A.Sokolov. Structured dataflow nets. Proceedings of conference "Mathematics modelling and computer technologies", V.3, Kislovodsk,1997, pp.93,94. (Russian).
5. E.E.Roubtsova. Modelling of structured dataflow nets. Proceedings of V International conference of women-mathematicians, Rostov-on-Don, 1997, pp.103,104. ( Russian).

1994- 1996  "Models and Algorithms for Recursive-Parallel Programming".

                        Yaroslavl State University.RFBR (Russian Foundation for Basic Research), N9401-01431
                        Role: a researcher
Project publications
1. V.A.Sokolov, E.E.Roubtsova, S.A.Roubtsov. On a technology of design and analysis of dataflow programs. Springer-Verlag, Proceedings of international conference "Parallel computing technologies" (PACT-97), LNCS1277, 1997, pp.115-120.SpringerLink
2. E.E.Roubtsova, V.A.Sokolov. Models and properties of structured program class in dataflow languages. Modelling and analysis of informational systems. N.3, Yaroslavl, 1996, pp.127-157. ( Russian).
3. E.E.Roubtsova, S.A.Roubtsov, V.A.Sokolov. Instrumental system for design and analysis of dataflow programs. Scientific conference of Yaroslavl technical state university, 1995, pp. 14-15. ( Russian).
4.  N.A.Abramova, E.E.Roubtsova, V.A.Sokolov. External behaviour models of acyclic dataflow programs. Modelling, design and optimization of informational systems. Yaroslavl state university, 1994, pp.3-15. (Russian).
5.. S.A. Roubtsov, E. E.Roubtsova. Informational systems: flexibility and  simplicity.Software and program systems, N 3, 1994, pp.25-29. ( Russian).
6. S.A.Roubtsov, E.E.Roubtsova. Intuitive clear language for database queries. Proceedings of 3-d international conference "Theoretic and applied problems of modeling", Moscow, 1994, pp.90-95. ( Russian).
7.  S.A.Roubtsov, E.E.Roubtsova. Tune informational system. Modelling, design and optimization of informational systems. Yaroslavl state university, 1993, pp.116-120. (Russian).
8. N.A.Abramova, E.E.Roubtsova, V.A.Sokolov. External behaviour analysis of a class of dataflow programs. Modelling, design and optimization of informational systems. Yaroslavl state university, 1993, pp.116-120. ( Russian).
9. E.E.Roubtsova, V.A.Sokolov. Formal analysis method of dataflow programs. Proceedings of 2-nd international conference "Theoretic and practice problems of modelling", Kiev, 1993, pp.190-194. (Russian).
10. E.E.Roubtsova. Functional systems analysis method on the base of equivalent transformations. Proceedings of IV international conference "Discreet mathematics and applications", Moscow State University, Feb. 1993, pp,12-13. ( Russian).

1989-1990
"Analysis and verification of functional schemes of  regulator algorithms of heating plants"

 Institute of Control Science (IAT), Moscow.
 Role: the project leader
Project publications

1.N.A.Abramova, E.E.Roubtsova. On an analysis method of a class of nonlinear  cyclic  algorithms. Architecture and software of computer systems. Yarolslavl, 1992, pp.1-12. (Russian).
2. N.A.Abramova, A.I.Gastishev, C.V.Kovriga, E.E.Roubtsova. Functional- algebraic approach to behaviour analyses of control systems. Proceedings of 12 International conference "Application program packages", Adler,1991, pp.18-20. ( Russian).

1987-1989   "Instrumental Complex for Automation Design of Control Microsystems".

 1. N.A.Abramova, C.V.Kovriga, E.E.Roubtsova. Verification approach to reliability of instruments and programs. Instruments and control systems. INFORMPRIBOR 1-44, Moscow, 1990, pp.15-18. (Russian).
2. N.A.Abramova, A.A.Ambartsumyan, C.V.Kovriga, E.E.Roubtsova. Verification debug method for algorithms represented by functional schemes. Academy of science of USSR, Institute for control problems (IAT), Pre-print, 1990, 51 p. ( Russian).
3. N.A.Abramova, A.A. Ambartsumyan, E.E. Roubtsova. Formal analysis method of dynamic algorithms represented by functional schemes. Tech.rep. N 4349-B90, VINITI,18 p.  (Russian).
4.  A.A.Ambartsumyan, E.E.Roubtsova. Control of discrete systems. Lecture course, Moscow institute of steel and alloys. 1990, 96 p. (Russian).
5. E.E.Roubtsova. A Model Based Methodology for Adjustment of Microprocessor
Regulators. Journal "Control Instruments and Systems", N 6, 1990, pp 22-24. (Russian)
6. E.E.Roubtsova. Debugging methodology of regulator algorithms in instrumental system ICAR. Proceedings of the conference INTERPRIBOR-90, Section 1, Moscow, 1990, pp. 26-27. (Russian).
7. E.E.Roubtsova. A technology for design and verification of microprocessor controllers
(for ICAR-tool). Thesis Ph.D degree in Computer Science (System Analysis) at the Institute for Control Problems (IAT, Academy of Science) and Moscow Institute of Steel and Alloys, Moscow, Russia, 1989. (Russian).
8. A.Ambartsumyan, L.B. Porotsky, E.E.Roubtsova. Instrumental system for local control design based on dBase 3 Plus. Proceedings of the conference "Applications of databases for control problems". Penza, 1989, pp. 8-9. (Russian)
9. E.E.Roubtsova. Design technology for microprocessor regulators. Proceedings of XI International conference of control problems. Tashkent, 1989, pp. 490-491. (Russian)  

1985-1986 "Microprocessor  system for tire quality control".
                  Yaroslavl Technical University; N HP 0184U0004292.
                       Role: an engineer                

1984-1986 "Microprocessor system  for oil-products  density control"
                   Yaroslavl Technical University, N 02860016913,N 01860018786.
                   Role: an engineer       

1983-1984 "Microprocessor system for carbonic acid concentration control”.
                  Yaroslavl Technical University.
                        Role: an engineer  
Technical reports (Russian)