• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • HSE University
  • Publications
  • Books
  • Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Priority areas
  • business informatics
  • economics
  • engineering science
  • humanitarian
  • IT and mathematics
  • law
  • management
  • mathematics
  • sociology
  • state and public administration
by year
  • 2028
  • 2027
  • 2026
  • 2025
  • 2024
  • 2023
  • 2022
  • 2021
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011
  • 2010
  • 2009
  • 2008
  • 2007
  • 2006
  • 2005
  • 2004
  • 2003
  • 2002
  • 2001
  • 2000
  • 1999
  • 1998
  • 1997
  • 1996
  • 1995
  • 1994
  • 1993
  • 1992
  • 1991
  • 1990
  • 1989
  • 1988
  • 1987
  • 1986
  • 1985
  • 1984
  • 1983
  • 1982
  • 1981
  • 1980
  • 1979
  • 1978
  • 1977
  • 1976
  • 1975
  • 1974
  • 1973
  • 1972
  • 1971
  • 1970
  • 1969
  • 1968
  • 1967
  • 1966
  • 1965
  • 1964
  • 1963
  • 1958
  • More
Subject
News
September 25, 2026
AI Users Earn Up to 41.8% More Than Non-Users
Research conducted by economists at HSE University has revealed a significant correlation between the regular use of GenAI in the workplace and higher pay among Russian employees. The study found that individuals who frequently use GenAI in their professional activities earn notably more than those who reject these new tools or resort to them occasionally. The salary premium for highly qualified specialists reaches 41.8%. The article was published in the Voprosy Ekonomiki journal.
September 24, 2026
‘Feedback and Constructive Criticism Are Essential in Our Profession
Vincent Fardeau, Associate Professor at HSE ICEF, has reached a major career milestone: he recently published his paper ‘Asymmetric Thin Markets’ in the Journal of Financial Economics, successfully passed his major academic review, and received tenure. In this interview, Vincent discusses the story behind the paper, explains the concept of asymmetric thin markets, and shares his advice for young scholars aiming to publish in top-tier journals.
September 22, 2026
Personal Interest in Doctoral Thesis Topic Most Important for Confidence in Successful Defence
A researcher at HSE University analysed data on 1,539 doctoral students from 161 Russian universities to identify which features of a thesis topic are associated with academic success and engagement. The most important factor was found to be personal interest in the research topic, which was associated with almost all key aspects of doctoral programme experience—from engaging with the academic supervisor to research activity and confidence about successfully defending the thesis. The findings have been published in Higher Education.

 

Have you spotted a typo?
Highlight it, click Ctrl+Enter and send us a message. Thank you for your help!

Publications
  • Books
  • Articles
  • Chapters of books
  • Working papers
  • Report a publication
  • Research at HSE

?

Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers

Vol. 12226: Software Engineering and Formal Methods. Champaign : Springer, 2020.

The volume LNCS 12226 constitutes the revised selected papers from the four workshops collocated with the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019.

Chapters
Two Cognitive Systems, Two Implications, and Selection Tasks
Bobrova A., Pietarinen A., , in: Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected PapersVol. 12226: Software Engineering and Formal Methods.: Champaign: Springer, 2020. P. 195–205.
Dual-process theories of reasoning take for granted the fundamental difference between the two cognitive systems, Systems 1 and 2. This paper, in contrast, argues that System 1, which is responsible for fast, intuitive, associative, and effortless reasoning, can be explained to be just as logical as System 2, which is said to draw consequences in ...
Added: October 20, 2022
Research target: Philosophy, Ethics, and Religious Studies
Language: English
DOI
Keywords: formal methods
Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers
Similar publications
Адаптивные стратегии истории русской философии
Malinov A. V., Соловьевские исследования 2026 № 3 С. 131–148
This article explores possible areas of integrating the history of Russian philosophy into the contemporary educational environment, its place in the cultural situation of our time and philosophy as a whole. It is noted that the history of Russian philosophy as an academic discipline began to fully develop only in the second half of the ...
Added: September 25, 2026
Иерусалим и Силиконовая долина: два полюса современной цивилизации
Рупова Р. М., Богословский вестник 2023 № № 2 (49) С. 38–52
Поставленный Тертуллианом во II веке вопрос, что может быть общего между Афинами и Иерусалимом, в приложении к нашему времени может звучать так: что может быть об щего между Силиконовой долиной и Иерусалимом? В данном случае Силиконовая до лина — символ современной технотронной цивилизации. Автор статьи строит анало гию, основанную на том, что очевидная в начале ...
Added: September 25, 2026
Коммуникативный декаданс: смертельные эффекты гедонизма в пространстве семиокапитализма и гиперреализма
Merzenina A., Логос 2026 Т. 35 № 2 С. 73–102
The article examines the functioning of digital communication in the era of semiocapitalism (F. Berardi) and hyperrealism (J. Baudrillard), as well as its influence on the psycho-social situation of the modern subject (based on the psychoanalysis of J. Lacan). Obsessive neurosis, aggressiveness and depression are considered by the author not only as the dominant mental ...
Added: September 21, 2026
Онтотеологический «остаток» современного политического нигилизма
Merzenina A., Социологическое обозрение 2026 Т. 25 № 2 С. 206–242
This article examines the transformation of political theology, or political ontotheology, in the era of late capitalism. The author first analyzes the specifics of nihilism as interpreted by Nietzsche and Heidegger, then moves on to a consideration of epistemological, ethical, and political relativism, the general essence of which consists of a nihilistic rejection of a ...
Added: September 20, 2026
CONVIVIAL OR MANIPULATIVE TOOLS? LLMS IN RUSSIAN HIGHER EDUCATION (THE CASE OF THE SCHOOL OF ADVANCED STUDIES)
Шиповалова Л. В., Социология власти 2026 Vol. 38 No. 1 P. 224–243
This article examines the integration of large language model based chatbots into educational practices in Russian higher education through the lens of critical theory and curriculum ideologies. Drawing on Ivan Illich’s concept of convivial tools and Jürgen Habermas’s distinction between instrumental and communicative rationality, the authors conceptualize large language models as technologies capable of operating ...
Added: September 18, 2026
Гуманизм и милосердие: доминирование добродетелей
Жигунов А. Ю., Patria 2026 Т. 3 № 3 С. 12–28
The study is devoted to the identification of the specifics of humanism and mercy as traditional spiritual and moral values of modern Russia. The special role of these axiological attitudes, frankly virtuous nature suggests their dominant position. Avoiding discussion about the interpretation of these categories, an attempt is made to identify the implementation of virtuous actions, which can be ...
Added: September 17, 2026
Российская история в философской перспективе (размышления над книгой). К 70-летию А.А. Кара-Мурзы
Zhukova O., Вопросы философии (Российская Федерация) 2026 № 8 С. 51–64
The article is a critical and philosophical analysis of a new book by the Russian philosopher and political scientist Aleksei A. Kara-Murza. His fundamental work “Selected Works on Russian Philosophy, Politics and Culture” (2024) contains articles in the field of philosophy of Russian history, completed by the author over the course of ten years. Essays, ...
Added: September 17, 2026
Пролетаризация труда в условиях развития искусственного интеллекта
Моисеев Г. В., Гуманитарные исследования в Восточной Сибири и на Дальнем Востоке 2026 № 2 (76) С. 58–68
The article presents a philosophical analysis of the transformation of labor in the context of the spread of AI technologies. Criticizing the notion of AI as an autonomous and neutral technology leading to the replacement of human labor, the author proposes to analyze the social consequences of AI development within the framework of automation processes ...
Added: September 17, 2026
Vague stimulating ideas, images and metaphors in scientific thinking: researchers' work with horizons of unclear knowledge
Poddiakov A., / Series Social Science Research Network "Social Science Research Network". 2026. No. 7437658.
Clarity of knowledge and reasoning is necessary in many cases. Yet vagueness in scientific thinking related to surprise, curiosity, "ability to engage with not-knowing" (de Freitas) and abductive reasoning is also a crucially important source of scientific creativity which supplements combinatorial logic when dealing with the already known. Starting from studies by C. S. Peirce ...
Added: September 15, 2026
СОЦИАЛЬНЫЙ КАПИТАЛ И ЭТИКА ОТМЕНЫ
Ермоленко Г. А., Кожевников С. Б., Вестник Московского городского педагогического университета. Серия: Философские науки 2026 № 1(57) С. 9–18
This article explores the phenomenon of social capital in the context of contemporary media communications and its relationship with the phenomenon of cancellation ethics. The authors examine the mechanisms by which social capital functions in the digital space and how it is transformed by cancellation practices. The research methodology draws on theoretical approaches to understanding the ...
Added: September 11, 2026
Может ли ИИ производить значение? Семантический капитал, «стохастический попугай» и пределы антропоцентризма
Филатова А. А., Эпистемология и философия науки 2026 Т. 63 № 2 С. 154–171
intelligence (hereafter, AI), particularly in the form of large lan guage models, has prompted a renewed wave of philosophical debates concerning the semantic competences of technical sys tems and the criteria for evaluating the outputs they generate, especially textual outputs. This article examines a set of central problem areas and their treatment in contemporary philosophical ...
Added: September 10, 2026
Знание в цифровую эпоху: избыточность романтизма
Faul B., Эпистемология и философия науки 2026 Т. 63 № 2 С. 41–50
In the article “Knowledge in the Digital Age: The Redundancy of Romanticism”, a critical analysis is offered of Konstantin Ocheretyany’s argumentation as presented in his essay “Epistemic Nihilism and Existential Romanticism: Knowledge in the Digital Age”. Two scenarios proposed by the author – techno-pessimistic and techno-optimistic – are examined, and it is shown that the ...
Added: September 9, 2026
АМБУЛАТОРНОЕ СЧАСТЬЕ
Малышкин Е. В., Логос 2024 Т. 34 № 6 (163) С. 217–232
In his main works, René Descartes, in addition to such an impressive metaphysical construction, over and over again gives promises of happiness, which must certainly accompany the study of philosophy according to a new model. What exactly is this happiness and is the Cartesian construction capable of fulfilling this promise? For whom can it come? ...
Added: September 8, 2026
ТЕСТ ТЬЮРИНГА И РАСПРЕДЕЛЕННОЕ ЗНАНИЕ
Малышкин Е. В., Эпистемология и философия науки 2026 Т. 63 № 2 С. 64–69
The article begins with several critical remarks about Konstantin Ocheretyany's paper. The conclusion of these remarks is that the dangers presented in the article under discussion, in the spirit of epistemic pessimism, are not frightening, and the problems raised are much older than the emergence of language models. The article is conceived in terms of ...
Added: September 8, 2026
Медиа в цифровом пространстве
Гришин С. Е., Дугарова С. Б., Завьялов А. Е. et al., М.: Издательство "Перо", 2026.
The monograph outlines the subject and problem fields of media research, highlights the role of media in modern society and the influence of media on social processes, and examines the main theoretical approaches and empirical methods for studying media in a digital society. The monograph is addressed to a wide range of researchers in the ...
Added: September 8, 2026
Культурно-исторические основы самобытности российской цивилизации
Ахмадуллин В. А., Базилико Э. А., Бакланов В. И. et al., М.: Издательско-торговая корпорация «Дашков и Ко», 2026.
The monograph is devoted to reconstructing the uniqueness of Russia’s historical path — its culture, social system, and religious, philosophical, and political thought. Based on a synthesis of various sciences and approaches, the authors summarize and comprehensively demonstrate the distinctiveness of Russian traditions.  The uniqueness of Russia is revealed through a vast body of factual material as a ...
Added: September 8, 2026
Логика Хоара для императивного языка, учитывающего некоторые аппаратные ограничения
Ковалев Д. Ю., Чебышевский сборник 2025 Т. 26 № 3 С. 113–124
In this paper, an imperative programming language considering some hardware limitations of a computer based on the RV32I instruction set is defined, including its syntax and semantics in a form of Hoare logic. The need for such language comes from the fact that formal proofs conducted for programs in languages not considering hardware limitations cannot ...
Added: November 5, 2025
6th International Conference, TMPA 2021, Tomsk, Russia, November 25–27, 2021, Revised Selected Papers. Tools and Methods of Program Analysis
Springer, 2024.
This book constitutes the refereed proceedings of the 6th International Conference on Tools and Methods of Program Analysis, TMPA 2021, held in Tomsk, Russia, during November 25–27, 2021. The 15 full papers and 3 short papers included in this book were carefully reviewed and selected from 45 submissions. They focus on various aspects of application of modern ...
Added: January 31, 2024
Ремонт и курирование большого формального метода
Orlova G., Новое литературное обозрение 2019 Т. 157 № 3 С. 26–34
The article is devoted to the design, curation and epistemological repair of the “big formal method” in the anthology of formalism and the Russian avant-garde, edited by Sergei Oushakin. ...
Added: June 19, 2019
Prosega/CPN: An Extension of CPN Tools for Automata-based Analysis and System Verification
Carrasquel Gamez J. C., Morales A., Villapol M. E., Proceedings of the Institute for System Programming of the RAS 2018 Vol. 30 No. 4 P. 107–128
This paper presents Prosega/CPN (Protocol Sequence Generator and Analyzer), an extension of CPN Tools for supporting automata-based analysis and verification. The tool implements several operations such as the  generation of a minimized deterministic finite-state automaton (FSA) from a CPN’s occurrence graph, language generation, and FSA comparison. The solution is supported by the Simulator Extensions feature ...
Added: November 19, 2018
Communications in Computer and Information Science
Springer, 2018.
This book constitutes the refereed proceedings of the 4th International Conference on Tools and Methods for Program Analysis, TMPA 2017, Moscow, Russia, March 3-4, 2017. The 12 revised full papers and 5 revised short papers presented together with three abstracts of keynote talks were carefully reviewed and selected from 51 submissions. The papers deal with topics such as ...
Added: November 12, 2018
Towards Model based Testing for Software Defined Networks
Berriri A., López J., Kushik N. et al., , in: In Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE.: SciTePress, 2018. P. 440–446.
oftware Defined Networks (SDNs) and corresponding platforms are expected to be widely used in future generation networks and especially deployed and activated on-demand as agile networking control service components. The correct functioning of SDN platforms must be assured, i.e., such platforms should be thoroughly tested before deployment. After thorough verification of SDN controllers and switches, ...
Added: November 1, 2018
The complexity of checking the existence and derivation of adaptive synchronizing experiments for deterministic FSMs.
Yenigün H., Nina Yevtushenko, Kushik N., Information Processing Letters 2017 Vol. 127 P. 49–53
In this paper, we address the problem of setting a deterministic Finite State Machine (FSM) to a designated initial state. Differently from other papers, we propose to use adaptive synchronizing sequences (test cases) for this purpose and show that for weakly-connected deterministic complete reduced FSMs the problem of checking the existence of an adaptive synchronizing ...
Added: October 31, 2018
Анализ непротиворечивости моделей архитектуры предприятия с использованием формальных методов верификации
Babkin E., Пономарев Н. О., Бизнес-информатика 2017 Т. 43 № 3 С. 30–40
Enterprise architecture design is a complex process which makes it possible to synchronize the capabilities and needs of business and information technologies (IT). It can be achieved by clarifying the understanding and formalization of the business processes and the interaction of the elements of the system through their formal description. The large number of interacting ...
Added: October 3, 2018
  • About
  • About
  • Key Figures & Facts
  • Sustainability at HSE University
  • Faculties & Departments
  • International Partnerships
  • Faculty & Staff
  • HSE Buildings
  • HSE University for Persons with Disabilities
  • Public Enquiries
  • Studies
  • Admissions
  • Programme Catalogue
  • Undergraduate
  • Graduate
  • Exchange Programmes
  • Summer University
  • Summer Schools
  • Semester in Moscow
  • Business Internship
  • Research
  • International Laboratories
  • Research Centres
  • Research Projects
  • Monitoring Studies
  • Conferences & Seminars
  • Academic Jobs
  • Yasin (April) International Academic Conference on Economic and Social Development
  • Media & Resources
  • Publications by staff
  • HSE Journals
  • Publishing House
  • iq.hse.ru: commentary by HSE experts
  • Library
  • Economic & Social Data Archive
  • Video
  • HSE Repository of Socio-Economic Information
  • HSE1993–2026
  • Contacts
  • Copyright
  • Privacy Policy
  • Site Map
Edit