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.
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,
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.
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),
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),
9. E.E.
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
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.
14.
15. E.E.Roubtsova,S.A.Roubtsov. Constraints of Behavioural Inheritance.
Proceedings of the First European Workshop on Software Architecture.
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"
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),
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.
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 -
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
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
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.
V6 (1), 1999, pp.82-89.( English)
2. Technical reports (Russion)
Role: a researcher
Project
publications
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".
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,
3. E.E.Roubtsova, S.A.Roubtsov, V.A.Sokolov. Instrumental system for
design and
analysis of dataflow programs. Scientific conference of
4. N.A.Abramova, E.E.Roubtsova, V.A.Sokolov. External
behaviour
models of acyclic dataflow programs. Modelling, design and optimization
of
informational systems.
5..
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",
7. S.A.Roubtsov, E.E.Roubtsova. Tune informational system.
Modelling,
design and optimization of informational systems.
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.
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",
10. E.E.Roubtsova. Functional systems analysis method on the base of
equivalent
transformations. Proceedings of IV international conference "Discreet
mathematics and applications",
1989-1990
"Analysis and verification of functional schemes of regulator
algorithms of heating plants"
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".
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
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,
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,
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".
9. E.E.Roubtsova. Design technology for microprocessor regulators.
Proceedings
of XI International conference of control problems.
1985-1986 "Microprocessor
system for tire quality control".
Role: an
engineer
1984-1986 "Microprocessor
system for oil-products density control"
Role: an
engineer
1983-1984
"Microprocessor
system for carbonic acid concentration control”.
Role: an
engineer
Technical reports (Russian)