Related Communities:

Sergey Stupnikov

Stupnikov
Sergey

sstupnikov at ipiran dot ru
Phone: +7 (499) 1291843

Qualifications

Research Interests

  • information models and specification languages: object, ontological, process and workflow models
  • integration and transformations of heterogeneous information models
  • formal semantics of object and process models
  • methods and tools for information model integration and compositional development of information systems

Links related to B-technology and Abstract Machine Notation

Publications

2017

D. Kovalev, L. Kalinichenko, S. Stupnikov. Organization of Virtual Experiments in Data-Intensive Domains: Hypotheses and Workflow Specification // Data Analytics and Management in Data Intensive Domains. Selected Papers of the XIX International Conference on Data Analytics and Management in Data Intensive Domains (DAMDID/RCDL 2017). CEUR Workshop Proceedings, ISSN 1613-0073, Vol. 2022. P. 293-300.

Sergey Stupnikov. Specification and Implementation of Multimodel Data Integration Rules // Data Analytics and Management in Data Intensive Domains. Selected Papers of the XIX International Conference on Data Analytics and Management in Data Intensive Domains (DAMDID/RCDL 2017). CEUR Workshop Proceedings, ISSN 1613-0073, Vol. 2022. P. 197-205. (In Russian)

Sergey Stupnikov. Semantics and Verification of Entity Resolution and Data Fusion Operations via Transformation into a Formal Notation // Data Analytics and Management in Data Intensive Domains, XVIII International Conference, DAMDID/RCDL 2016, Ershovo, Moscow, Russia, October 11-14, 2016, Revised Selected Papers, Springer International Publishing AG 2017 Springer. Communications in Computer and Information Science, Vol. 706, P. 145-162, 2017.

Briukhov D.O., Skvortsov N.A., Stupnikov S.A. Methods of integration of multistructured data on Arctic zone for extraction of information aimed at support of search and rescue operations // Highly available systems, M:Radiotekhnika, Vol. 13, 2, P. 3-19, 2017. (In Russian)

2016

Sergey Stupnikov Formal Semantics of a Language for Entity Resolution and Data Fusion and its Application for Verification of Data Integration Workflows Selected Papers of the XVII International Conference on Data Analytics and Management in Data Intensive Domains (DAMDID/RCDL 2015). CEUR Workshop Proceedings, ISSN 1613-0073, Vol. 1752. P. 159-167.

N. A. Skvortsov, E. A. Avvakumova, D. O. Bryukhov, A. E. Vovchenko, A. A. Volnova, O. B. Dluzhnevskaya, P. V. Kaygorodov, L. A. Kalinichenko, A. Yu. Knyazev, D. A. Kovaleva, O. Yu. Malkov, A. S. Pozanenko, and S. A. Stupnikov Conceptual Approach to Astronomical Problems Astrophysical Bulletin. 71(1):114-124, 2016.

Stupnikov S. A., Briukhov D. O., Skvortsov N. A. Co-lending Systemic Risk Analysis over Heterogeneous Data Collections. Informatics and Applications. Moscow: IPI RAN, 2016. -- V. 10, Iss. 1. -- P. 24-34.

L. A. Kalinichenko, A. A. Volnova, E. P. Gordov, N. N. Kiselyova, D. A. Kovaleva, O. Yu. Malkov, I. G. Okladnikov, N. L. Podkolodnyy, A. S. Pozanenko, N. V. Ponomareva, S. A. Stupnikov, and A. Z. Fazliev. Data access challenges for data intensive research in Russia. Informatics and Applications. Moscow: IPI RAN, 2016. -- V. 10, Iss. 1. -- P. 3-23. (In Russian)

2015

Dmitry Briukhov, Sergey Stupnikov, Leonid Kalinichenko, Alexey Vovchenko. Information Extraction from Multistructured Data and its Transformation into a Target Schema. Selected Papers of the XVII International Conference on Data Analytics and Management in Data Intensive Domains (DAMDID/RCDL 2015). CEUR Workshop Proceedings 1536:81-90. (In Russian)

Leonid Kalinichenko, Alexander Fazliev, Eugene Gordov, Nadezhda Kiselyova, Dana Kovaleva, Oleg Malkov, I. Okladnikov, Nikolay Podkolodny, Natalia Ponomareva, Alexey Pozanenko, Sergey Stupnikov, Alina Volnova. New Data Access Challenges for Data Intensive Research in Russia. Selected Papers of the XVII International Conference on Data Analytics and Management in Data Intensive Domains (DAMDID/RCDL 2015). CEUR Workshop Proceedings 1536:215-237.

Stupnikov Sergey, Miloslavskaya Natalia, Budzko Vladimir. Unification of Graph Data Models for Heterogeneous Security Information Resources Integration. Proc. of the 3rd International Conference on Future Internet of Things and Cloud. IEEE, 2015. -- P. 457-464.

2014

Skvortsov N. A., Vovchenko A. E., Kalinichenko L. A., Kovalev D. A., Stupnikov S. A. Metadata Model for Semantic Search for Rule-Based Workflow Implementations. Systems and Means of Informatics. Moscow: IPI RAN, 2014. -- V. 24, Iss. 4. -- P. 4-28. (In Russian)

Stupnikov S. A., Vovchenko A. E. Methods for Mapping of Collections Presented in Nontraditional Data Models into the Integrated Representation. Systems and Means of Informatics. Moscow: IPI RAN, 2014. -- V. 24, Iss. 4. -- P. 29-44. (In Russian)

Kalinichenko L. A., Stupnikov S. A., Vovchenko A. E., Kovalev D. Y. Conceptual Modeling of Multidialect Workflows. Informatics and Applications. Moscow: IPI RAN, 2014. -- V. 8, Iss. 4. -- P. 110-124.

Sergey Stupnikov, Alexey Vovchenko. Combined Virtual and Materialized Environment for Integration of Large Heterogeneous Data Collections. 16th Russian Conference on Digital Libraries RCDL 2014 Proceedings. CEUR Workshop Proceedings 1297:339-348. (In Russian)

Budzko V. I., Kalinichenko L. A., Stupnikov S. A., Vovchenko E. A., Briukhov D. O., Kovalev D. Y. Environment for Integration of Large Heterogeneous Data Collections. Systems of High Availability. -- Moscow: Radiotechnika, 2014. -- Iss. 3. -- P. 3-19. (In Russian)

E. B. Kozerenko, Yu. I. Morozova, K. I. Kuznetsov, M. M. Sharnine, S. A. Stupnikov, D. O. Briukhov, A. E. Vovchenko. Social Monitoring System in the Subject Domain "Social and Political Life of Russian Federation Regions". Fundamentals, Technologies of Development, Social and Humanity Effects of Social Computing: Proc. of the Third International Conference ISC-14. -- M. A. Sholokhov Moscow State University of Humanities, 2014. -- P. 51-55. (In Russian)

L. A. Kalinichenko, S. A. Stupnikov, A. E. Vovchenko, D. Y. Kovalev. Multi-Dialect Workflows. Advances in Databases and Information Systems: Proc. of the 18th East European Conference. LNCS 8716. -- Berlin-Heidelberg: Springer-Verlag, 2014. -- P. 352-365.

Stupnikov S. A. Mapping of Graph Data Models into a Canonical Model for the Development of Data Intensive Systems. Systems of High Availability. -- Moscow: Radiotechnika, 2014. -- Iss. 2. -- P. 13-31. (In Russian)

Stupnikov S. A., Skvortsov N. A., Budzko V. I., Zakharov V. N., Kalinichenko L. A. Methods for Unification of Non-traditional Data Models. Systems of High Availability. -- Moscow: Radiotechnika, 2014. -- Iss. 1. -- P. 18-39. (In Russian)

2013

Kalinichenko L. A., Stupnikov S. A., Vovchenko E. A., Kovalev D. Y. Conceptual Declarative Problem Specification and Solving in Data Intensive Domains. Informatics and Applications. Moscow: IPI RAN, 2013. -- V. 7, Iss. 4. -- P. 112-139.

Skvortsov N. A., Briukhov D. O., Kalinichenko L. A., Kovalev D. Y., Stupnikov S. A. Scientific Methods Metadata for Provision of the Methods Reuse and Result Reproducibility. Proc. of the 15th Russian Conference on Digital Libraries RCDL'2013. -- CEUR Workshop Proceedings, 2013. Vol. 1108. P. 70--78. (In Russian)

Stupnikov S. A. Mapping of a Graph Data Model into an Object-Frame Canonical Information Model for the Development of Heterogeneous Information Resources Integration Systems. Proc. of the 15th Russian Conference on Digital Libraries RCDL'2013. -- CEUR Workshop Proceedings, 2013. Vol. 1108. P. 85--94. (In Russian)

Kalinichenko L. A., Stupnikov S. A., Vovchenko E. A., Kovalev D. Y. Rule-based Multi-dialect Infrastructure for Conceptual Problem Solving over Heterogeneous Distributed Information Resources. New Trends in Databases and Information Systems. Selected Papers of the 17th European Conference on Advances in Databases and Information Systems and Associated Satellite Events. Springer, 2013. Advances in Intelligent Systems and Computing, V. 241. P. 61-68.

Stupnikov S. A. A Varifiable Mapping of a Multidimensional Array Data Model into an Object Data Model. Informatics and Applications. Moscow: IPI RAN, 2013. -- V. 7, Iss. 3. -- P. 22--34. (In Russian)

2012

Stupnikov S. A. Unification of an Array Data Model for the Integration of Heterogeneous Information Resources. Proc. of the 14th Russian Conference on Digital Libraries RCDL'2012. -- CEUR Workshop Proceedings, 2012. Vol. 934. P. 42-52. (In Russian)

Kalinichenko L.A., Stupnikov S.A. Synthesis of the Canonical Models for Database Integration Preserving Semantics of the Value Inventive Data Models. Advances in Databases and Information Systems: Proc. of the 16th East European Conference. LNCS 7503. -- Berlin-Heidelberg: Springer-Verlag, 2012. -- P. 223-239.

Kalinichenko L. A., Stupnikov S. A., Zakharov V. N. Extending Information Integration Technologies for Problem Solving over Heterogeneous Information Resources. Informatics and Applications. -- 2012. -- V. 6, Issue 1. -- P. 69--76.

Kalinichenko L.A., Stupnikov S.A. Unification of the Rule-based System Languages to Provide Interoperability of Declarative Programs. Informatics and Applications. -- 2012. -- V. 6, Issue 2. -- P. 88--105. (In Russian)

Skvortsov N. A., Kalinichenko L. A., Stupnikov S. A. - . . . 1, 2012 . C. 157-167.

2011

Vovchenko A. E., Zakharov V. N., Kalinichenko L. A., Kovalyov D. Yu., Ryabukhin O. V., Skvortsov N. A., Stupnikov S. A. Multilayer Specifications in Conceptual and Ontological Modeling. Proc. of the 13th Russian Conference on Digital Libraries RCDL'2011. -- CEUR Workshop Proceedings, 2011. Vol. 803. P. 17-25. (In Russian)

Kalinichenko L. A., Stupnikov S. A. OWL as Yet Another Data Model to be Integrated. Advances in Databases and Information Systems: Proc. II of the 15th East-European Conference. - Vienna: Austrian Computer Society, 2011. - P. 178-189.

Kalinichenko L. A., Stupnikov S. A. Analysis of motivation, objectives and approaches of the project for the unification of the rule based languages. Proc. of the Second Symposium on Ontological Modeling. Moscow: IPI RAS, 2011. P. 79-122. (In Russian)

Kalinichenko L. A., Stupnikov S. A. RIF Framework for Logic Dialects: Analysis and a Case Study. Proc. of the Second Symposium on Ontological Modeling. Moscow: IPI RAS, 2011. P. 123-150. (In Russian)

2010

Stupnikov S. A. A semantic transformation of the canonical information model into a formal specification langage for the refinement verification. Proc. of the 12th Russian Conference on Digital Libraries RCDL'2010. -- Kazan: Kazan Federal University, 2010. -- P. 383--391.

Stupnikov S. A., Skvortsov N. A. A mutual mapping of the canonical information model and OWL. Proc. of the 12th Russian Conference on Digital Libraries RCDL'2010. -- Kazan: Kazan Federal University, 2010. -- P. 392-398.

Vovchenko A. E., Zakharov V. N., Kalinichenko L. A., Kovalyov D. Yu., Ryabukhin O. V., Skvortsov N. A., Stupnikov S. A. From specifications of requirements to conceptual schema. Proc. of the 12th Russian Conference on Digital Libraries RCDL'2010. -- Kazan: Kazan Federal University, 2010. -- P. 375--381.

Vovchenko A.E., Kalinichenko L.A., Stupnikov S.A. Mediation Based Semantic Grid. Distributed Computing and Grid-Technologies in Science and Education: Proceedings of the 4th International Conference. Dubna: JINR, 2010. -- P. 309-318.

Sukhomlin V.A., Afanasiev A.P., Kalinichenko L.., Posypkin M.A., Stupnikov S.A., Sukhoroslov O.V. On Professional Training and Education in the Field of Grid Technologies and Distributed Computing. Distributed Computing and Grid-Technologies in Science and Education: Proceedings of the 4th International Conference. Dubna: JINR, 2010. -- P. 284-289.

2009

Kalinichenko L.A., Stupnikov S.A. Heterogeneous information model unification as a pre-requisite to resource schema mapping. A. DAtri and D. Sacca (eds.), Information Systems: People, Organizations, Institutions, and Technologies (Proc. of the V Conference of the Italian Chapter of Association for Information Systems itAIS). -- Berlin-Heidelberg: Springer Physica Verlag, 2009. -- P. 373-380.

Vovchenko A.E., Zakharov V.N., Kalinichenko L.A., Stupnikov S.A., Skvortsov N.A. Subject Mediators in a Hybrid Grid-Infrastructure of Virtual Observatories for Problem Solving over Multiple Distributed Heterogeneous Information Resources. Modern Technologies and IT Education: Proc. of the International Conference. -- Moscow: Moscow State University, 2009. -- P. 762-770. (In Russian)

Stupnikov S.A., Kalinichenko L.A. Methods for automated generation of transformations of information models. The Systems and Means of Informatics, Issue 19. -- M.: Nauka, 2009. -- P. 34-62. (In Russian)

Stupnikov S.A., Kalinichenko L.A., Methods for Semi-automatic Construction of Information Models Transformations. Proc. of the 13th East-European Conference Advances in Databases and Information Systems, workshop Model Driven Architecture: Foundations, Practices and Implications (MDA). - Riga: Riga Technical University, 2009. P. 432-440.

Briukhov D., Kalinichenko L., Martynov D., Skvortsov N., Stupnikov S., Vovchenko A., Zakharov V., Zhelenkova O. Application driven mediation middleware of the Russian virtual observatory for scientific problem solving over multiple heterogeneous distributed information resources. Scientific Information for Society from Today to the Future: Proc. of the 21st CODATA Conference. -- 2009. -- P. 80-85.

2008

Skvortsov N.A., Stupnikov S.A. Application of upper level ontology for mapping of information models. Proc. of the Tenth Russian Conference on Digital Libraries RCDL'2008. -- Dubna: JINR, 2008. -- P. 122-127. (In Russian)

Kalinichenko L.A., Stupnikov S.A. Constructing of Mappings of Heterogeneous Information Models into the Canonical Models of Integrated Information Systems. Advances in Databases and Information Systems: Proc. of the 12th East-European Conference. -- Pori: Tampere University of Technology, 2008. -- P. 106-122.

Briukhov D., Kalinichenko L., Martynov D., Skvortsov N., Stupnikov S., Vovchenko A., Zakharov V., Zhelenkova O. Application driven mediation middleware grid-infrastucture for problem solving over multiple heterogeneous distributed information resources. Distributed computing and Grid technologies in science and education: Proc. of the International Conference GRID2008. -- Dubna: JINR, 2008. -- P. 330-336. (In Russian)

Briukhov D.O., Vovchenko A. E., Zakharov V.N., Zhelenkova O. P., Kalinichenko L.A., Martynov D.O., Skvortsov N.A., Stupnikov S.A. The Middleware Architecture of the Subject Mediators for Problem Solving over a Set of Integrated Heterogeneous Distributed Information Resources in the Hybrid Grid-Infrastucture of Virtual Observatories Informatics and Applications. -- 2008. -- V. 2, Issue 1. -- P. 2--34. (In Russian)

2007

Kalinichenko L.A., Stupnikov S.A., Martynov D.O. SYNTHESIS: a Language for Canonical Information Modeling and Mediator Definition for Problem Solving in Heterogeneous Information Resource Environments. Moscow: IPI RAN, 2007. - 171 p.

Zakharov V.N. , Kalinichenko L.A., Sokolov I.A., Stupnikov S.A. Development of Canonical Information Models for Integrated Information Systems. Informatics and Applications. -- 2007. -- V. 1, Issue 2. -- P. 15--38. (In Russian)

Kalinichenko L.A., Briukhov D.O., Martynov D.O., Skvortsov N.A., Stupnikov S.A. Mediation Framework for Enterprise Information System Infrastructures. Proc. of the 9th International Conference on Enterprise Information Systems ICEIS 2007. -- Funchal, 2007. -- Volume Databases and Information Systems Integration. -- P. 246--251.

2006

Kalinichenko L.A., Stupnikov S.A., Vovchenko A.E., Zakharov V.N., Zhelenkova O.P. Russian Virtual Observatory Community Centre for Scientific Problems Solving over Multiple Distributed Information Sources. Proc. of the Eighth Russian Conference on Digital Libraries RCDL'2006, Suzdal. -- Yaroslavl: P. G. Demidov Yaroslavl State University, 2006. -- P. 120-129.

Stupnikov S.A., Kalinichenko L.A., Bressan S. Interactive discovery and composition of complex Web services. Advances in Databases and Information Systems: Proc. of the 10th East European Conference. LNCS 4152. -- Berlin-Heidelberg: Springer-Verlag, 2006. -- P. 216--231.

Stupnikov S. A. Modeling of compositional refining specifications. Ph. D. Thesis. -- Moscow: IPI RAN, 2006. -- 195 p. (In Russian)

2005

Kalinichenko L.A., Stupnikov S.A., Zemtsov N.A. Extensible Canonical Process Model Synthesis Applying Formal Interpretation. Advances in Databases and Information Systems: Proc. of the 9th East European Conference. LNCS 3631. -- Berlin-Heidelberg: Springer-Verlag, 2005. -- P. 183--198.

Stupnikov S.A. Automation of refinement verification in information systems compositional design. Formal Methods and Models for Compositional Infrastuctures of Distributed Information Systems: The Systems and Means of Informatics, Special Issue. -- Moscow: IPI RAN, 2005. -- P. 96--119. (In Russian)

Kalinichenko L.A., Stupnikov S.A., Zemtsov N.A. Process canonical model and its formal interpretation. Formal Methods and Models for Compositional Infrastuctures of Distributed Information Systems: The Systems and Means of Informatics, Special Issue. -- Moscow: IPI RAN, 2005. -- P. 130--151. (In Russian)

Stupnikov S.A. Mapping of canonical model core specifications in Abstract Machine Notation. Formal Methods and Models for Compositional Infrastuctures of Distributed Information Systems: The Systems and Means of Informatics, Special Issue. -- Moscow: IPI RAN, 2005. -- P. 69--95. (In Russian)

Stupnikov S.A. Formal semantics of canonical information object model core. Formal Methods and Models for Compositional Infrastuctures of Distributed Information Systems: The Systems and Means of Informatics, Special Issue. -- Moscow: IPI RAN, 2005. -- P. 40--68. (In Russian)

Kalinichenko L. A., Martynov D.O., Stupnikov S.A. Query rewriting using views in a typed mediator environment. Formal Methods and Models for Compositional Infrastuctures of Distributed Information Systems: The Systems and Means of Informatics, Special Issue. -- Moscow: IPI RAN, 2005. -- P. 152--182. (In Russian)

Stupnikov S.A., Briukhov D.O. UML and OCL representation in canonical information model. Formal Methods and Models for Compositional Infrastuctures of Distributed Information Systems: The Systems and Means of Informatics, Special Issue. -- Moscow: IPI RAN, 2005. -- P. 120--129. (In Russian)

Stupnikov S.A., Kalinichenko L.A. Formal Semantics of the Canonical Information Model in Compositional Infrastructure of Distributed Information Systems. The Problems and Means of Informatics: Theses of the II Scientific Session of IPI RAN. -- Moscow: IPI RAN, 2005. -- P. 151--153. (In Russian)

Zemtsov N.A., Stupnikov S.A., Kalinichenko L.A. Canonical Process Model Synthesis for Interoperable Infrastructures of Information Systems. The Problems and Means of Informatics: Theses of the II Scientific Session of IPI RAN. -- Moscow: IPI RAN, 2005. -- P. 153--156. (In Russian)

Kalinichenko L.A., Stupnikov S.A., Zemtsov N.A. Synthesis of the Canonical Models for the Integration of Heterogeneous Information Resources. .: IPI RAN, 2005. -- 87 p. (In Russian)

2004

Kalinichenko L.A., Martynov D.O., Stupnikov S.A. Query rewriting using views in a typed mediator environment. Advances in Databases and Information Systems: Proc. of the 8th East European Conference. LNCS 3255. -- Berlin-Heidelberg: Springer-Verlag, 2004. -- P. 37-53.

Zemtsov N.A., Stupnikov S.A. Formal modeling of process specifications for compositional development of workflows. The Systems and Means of Informatics, Issue 14. -- M.: Nauka, 2004. -- P. 186-198. (In Russian)

2003

Briukhov D.O., Zakharov V.N., Kalinichenko L.A., Stupnikov S.A., Podkolodny N.L. Personalization of Subject Mediator in the Gene Expression Regulation Domain. Proc. of the Fifth Russian Conference on Digital Libraries RCDL'2003. -- St.-Petrsburg: St.-Petrsburg State University, 2003. -- P. 96--98. (In Russian)

Briukhov D.O., Kalinichenko L.A., Stupnikov S.A. Compositional approach for heterogeneous sources registration at a subject mediator. Emerging Database Research in Eastern Europe: Proc. of the Pre-Conference Workshop of VLDB 2003. -- Cottbus: Brandenburg University of Technology, 2003. -- P. 5-11.

2002

Stupnikov S.A.,Kalinichenko L.A., Jin Song DONG Applying CSP-like Workflow Process Specifications for their Refinement in AMN by Pre-existing Workflows. Advances in Databases and Information Systems: Proc. of the Sixth East-European Conference. Vol. 2: Research Communications. -- Bratislava: Slovak University of Technology, 2002. -- P. 206-215.

Briukhov D.O., Kalinichenko L.A., Skvortsov N.A., Stupnikov S.A. Value Reconciliation in Mediators of Heterogeneous Information Collections Applying Well-Structured Context Specifications Databases and Information Systems II: Proc. of the Fifth International Baltic Conference on Databases and Information Systems BalticDB&IS'2002. -- Dordrecht: Kluwer Academic Publishers, 2002. -- P. 15--28.

Stupnikov S.A., Kalinichenko L.A. Forming the Metainformation Repository on the Base of Canonical Model Specifications Problems of Programming: Special Issue. -- Proc. of the Third International Scientific and Practical Conference on Programming UkrPROG'2002. -- Kiev: Publishing House "Akadempereodika" of NAS of Ukraine, 2002. -- N 1-2. -- P. 301--308. (In Russian)

Stupnikov S.A. Mapping of Specification Canonical Model to Formal Notation for Refining Specifications Modelling. Proc. of the XXIV Conference of Young Scientists, Faculty of Mechanics and Mathematics, M. V. Lomonosov Moscow State University. -- Moscow: Center of Applied Research, Faculty of Mechanics and Mathematics, MSU. -- V. II. -- P. 169--172. (In Russian)

2001 2000 1999 1998 1997 1996 1995 1994 1993 1992 1991 1990
Supported by Synthesis Group