Ella Roubtsova

Dr. Ir. Ella E. Roubtsova   

   http://www.open.ou.nl/elr/ 
  

Area of my professional interest:

  • Component technologies. Theory of object-oriented design.
  • Unified Modeling Language (UML) and other graphical notations
  • Software Evolution. Individuals and interactions over processes and tools.
  • Models, diagram languages and tools for design and validation of concurrent real-time systems.
  • Model checking, Computation Tree Logics (CTL), Timed Computation Tree Logics (TCTL).
  • Process Algebra Application.
  • Functional and non-functional requirements.

         
  SpecTEC project  

Organizational activities
- An organizer of the Second International Workshop on Aspect-Based and Model-Based Separation of Concerns in Software Systems, July 2006, Bilbao, Spain. http://www.open.ou.nl/ABMB
- An organizer of the 1st International Workshop on Aspect-Based and Model-Based  Separation of Concerns in Software Systems (the 7th 0f November 2005)  http://www.win.tue.nl/ABMB   
- An organizer of the 4th  Interenational Conference Parallel Computing   Technologies PACT'97 http://www.ssd.sscc.ru/PaCT/conference/pact97/
- A member of the IEEE, the Institute of Electrical and Electronics Engineers;
- A member of the Dutch Association for Theoretical Computer Science,
 NVTI (Nederlandse Vereniging voor Theoretische Informatica);                      

Membership
 Publications:

2006

55. E.E.Roubtsova, S.A.Roubtsov. A  Feature Computation Tree Model  to Specify  Requirements and Reuse. Proceedings of the  8th  International Conference on Enterprise Information Systems, ICEIS-2006, V.3. Information Systems Analysis and Specification. pp.118-125.

2005

54. M Aksit. E.E. Roubtsova How Can Model-Driven and Aspect-Oriented Approaches Enrich Each Other? In Proceedings of the First International Workshop on Aspect-Based and Model-Based Separation of Concerns in Software Systems (ABMB). Elsevier Electronic Notes in Theoretical Computer Science.

53. E.E. Roubtsova, M Aksit. Extension of Petri Nets by Aspects to Apply the Model Driven Architecture Approach. In Preliminary Proceedings of the First International Workshop on Aspect-Based and Model-Based Separation of Concerns in Software Systems (ABMB).Report TR-CTIT-05-56, 2005.

52. S.A.Roubtsov, E.E.Roubtsova. Incremental Product Line Modeling. Poster Proceedings of the International Conference on Software Maintenance, ICSM 2005, Budapest, 2005, pp.55-58.

51.E. E.Roubtsova, A.J.M.M. Weijters. Verzamelingenleer en Logica. Opdrachten en Uitwerkingen (1BB20). TU Eindhoven VeLoBoek21juli.

50.  E.E. Roubtsova. A Property Specification Language for Workflow Diagnostics. Proceedings of the 7th  ACM International Conference on Enterprise Information Systems, ICEIS-2005, May 2005, Volume 2., pp.297-302 .http://www.iceis.org/ pdf

49. E.E. Roubtsova. Property driven mining in workflow logs. Proceedings of the international conference Intelligent Information Systems 2005 - IIS'05, Gdansk, Poland, June 13-16. Springer Verlag series "Advances in Soft Computing" 2005, pp. 471-475, Series Ed.: Kacprzyk, J.
http://www.skattabrain.com/css-books-plain/3540250565.html http://www.springeronline.com/sgw/cda/frontpage/0,11855,5-175-69-1195386-0,00.html

2004

48. 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.

47. 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

46. 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

45. E.E. Roubtsova. Property Specification for Coloured Petri Nets. In Proceedings of the IEEE International Conference on Systems, Man and Cybernetics (SMC2004), Editors W.Thissen, P.Wieringa, M.Pantic, M.Ludema, IEEE Catalog Number 04CH37583C, ISBN 0-7803-8567-5, October 10-13 2004, The Hague, The Netherlands pdf

2003

44. 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

43.Serguei Roubtsov, Ella Roubtsova, Pekka Abrahamsson. Evolutionary Product Line Modelling. International Workshop Evolution of Large-scale Industrial Software Applications (ELISA), Amsterdam,September 23rd, 2003

42.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

41. 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

 40. 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

39. 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 Modeling Techniques (at the First International Conference on Graph Transformation), Barcelona,Spain,11 -12,October2002, pp. 151-165.

38.. S.A.Roubtsov, E.E.Roubtsova. Modeling 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.

2002

37.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

36. 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.

 35. 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,

2001

34.Ella Roubtsova,Hans Toetenel. Specification of Real-Time properties in UML. The 22nd IEEE Real-Time Systems Symposium RTSS, Work-In-Progress section, London UK, December 3-6 2001.p.61-64

33.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.

32.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 Modeling Language,UML'01, "Modeling Languages, Concepts and Tools", LNCS 2185, Springer Verlag, 2001, Toronto, Canada, pp.457-471 SpringerLink pdf

31.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

30.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

29.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.

2000

28. 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

1999

27. 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)

1998

26. 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).
25. 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).

1997

24. 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

23. 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).
22. 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).
21. E.E.Roubtsova. Modelling of structured dataflow nets. Proceedings of V International conference of women-mathematicians, Rostov-on-Don, 1997, pp.103,104. ( Russian).

1996

20. 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).

1995

19. 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).

1994

18.  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).

17. S.A. Roubtsov, E. E.Roubtsova. Informational systems: flexibility and  simplicity.Software and program systems, N 3, 1994, pp.25-29. ( Russian).

16. 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).

1993

15. S.A.Roubtsov, E.E.Roubtsova. Tune informational system. Modelling, design and optimization of informational systems. Yaroslavl state university, 1993, pp.116-120. (Russian).
14. 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).

13. 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).

12. 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).

1992

11.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).

1991

10. 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).

1990
9. 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).
8. 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).
7. 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).
6.  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)
4. 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).

1989

3. 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).
2. 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)
1. E.E.Roubtsova. Design technology for microprocessor regulators. Proceedings of XI International conference of control problems. Tashkent, 1989, pp. 490-491. (Russian)