default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIgor Buzhinsky
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j9]Antti Pakonen
, Igor Buzhinsky, Valeriy Vyatkin:
Evaluation of visual property specification languages based on practical model-checking experience. J. Syst. Softw. 216: 112153 (2024)- 2023
- [j8]Igor Buzhinsky, Arseny Nerinovsky, Stavros Tripakis:
Metrics and methods for robustness evaluation of neural networks with generative models. Mach. Learn. 112(10): 3977-4012 (2023) - 2021
- [j7]Polina Ovsiannikova, Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin:
Oeritte: User-Friendly Counterexample Explanation for Model Checking. IEEE Access 9: 61383-61397 (2021) - [j6]Arseny Nerinovsky, Igor Buzhinsky, Andrey Filchenkov:
Realistic Text Replacement With Non-Uniform Style Conditioning. IEEE Access 9: 92706-92714 (2021) - [j5]Antti Pakonen, Igor Buzhinsky, Kim Björkman:
Model checking reveals design issues leading to spurious actuation of nuclear instrumentation and control systems. Reliab. Eng. Syst. Saf. 205: 107237 (2021) - 2020
- [j4]Igor Buzhinsky, Antti Pakonen:
Symmetry Breaking in Model Checking of Fault-Tolerant Nuclear Instrumentation and Control Systems. IEEE Access 8: 197684-197694 (2020) - [c19]Polina Ovsiannikova, Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin:
Visual counterexample explanation for model checking with OERITTE. ICECCS 2020: 1-10 - [c18]Igor Buzhinsky, Antti Pakonen:
Timed model checking of fault-tolerant nuclear I&C systems. INDIN 2020: 159-164 - [i5]Igor Buzhinsky, Arseny Nerinovsky, Stavros Tripakis:
Metrics and methods for robustness evaluation of neural networks with generative models. CoRR abs/2003.01993 (2020) - [i4]Arseny Nerinovsky, Igor Buzhinsky, Andey Filchencov:
Realistic text replacement with non-uniform style conditioning. CoRR abs/2006.04170 (2020) - [i3]Polina Ovsiannikova, Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin:
Visual counterexample explanation for model checking with Oeritte. CoRR abs/2012.15097 (2020)
2010 – 2019
- 2019
- [j3]Igor Buzhinsky, Antti Pakonen:
Model-Checking Detailed Fault-Tolerant Nuclear Power Plant Safety Functions. IEEE Access 7: 162139-162156 (2019) - [c17]Antti Pakonen, Igor Buzhinsky:
Verification of fault tolerant safety I&C systems using model checking. ICIT 2019: 969-974 - [c16]Igor Buzhinsky:
Formalization of natural language requirements into temporal logics: a survey. INDIN 2019: 400-406 - [i2]Igor Buzhinsky, Valeriy Vyatkin:
Combining closed-loop test generation and execution by means of model checking. CoRR abs/1907.11895 (2019) - 2018
- [j2]Vladimir Ulyantsev, Igor Buzhinsky, Anatoly Shalyto:
Exact finite-state machine identification from scenarios and temporal properties. Int. J. Softw. Tools Technol. Transf. 20(1): 35-55 (2018) - [c15]Daniil Chivilikhin, Igor Buzhinsky, Vladimir I. Ulyantsev, Andrey Stankevich, Anatoly Shalyto, Valeriy Vyatkin:
Counterexample-guided inference of controller logic from execution traces and temporal formulas. ETFA 2018: 91-98 - [c14]Antti Pakonen, Igor Buzhinsky, Valeriy Vyatkin:
Counterexample visualization and explanation for function block diagrams. INDIN 2018: 747-753 - [c13]Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin:
Synthesis-Aided Reliability Assurance of Basic Block Models for Model Checking Purposes. ISIE 2018: 669-674 - 2017
- [j1]Igor Buzhinsky, Valeriy Vyatkin:
Automatic Inference of Finite-State Plant Models From Traces and Temporal Properties. IEEE Trans. Ind. Informatics 13(4): 1521-1530 (2017) - [c12]Igor Buzhinsky, Valeriy Vyatkin:
Modular plant model synthesis from behavior traces and temporal properties. ETFA 2017: 1-7 - [c11]Igor Buzhinsky, Valeriy Vyatkin:
Testing automation systems by means of model checking. ETFA 2017: 1-7 - [c10]Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin:
Explicit-state and symbolic model checking of nuclear I&C systems: A comparison. IECON 2017: 5439-5446 - [c9]Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin:
Scalable methods of discrete plant model generation for closed-loop model checking. IECON 2017: 5483-5488 - 2016
- [c8]Antti Pakonen, Cheng Pang, Igor Buzhinsky, Valeriy Vyatkin:
User-friendly formal specification languages - conclusions drawn from industrial experience on model checking. ETFA 2016: 1-8 - [c7]Cheng Pang, Antti Pakonen, Igor Buzhinsky, Valeriy Vyatkin:
A study on user-friendly formal specification languages for requirements formalization. INDIN 2016: 676-682 - [c6]Igor Buzhinsky, Valeriy Vyatkin:
Plant model inference for closed-loop verification of control systems: Initial explorations. INDIN 2016: 736-739 - [i1]Vladimir Ulyantsev, Igor Buzhinsky, Anatoly Shalyto:
Exact Finite-State Machine Identification from Scenarios and Temporal Properties. CoRR abs/1601.06945 (2016) - 2015
- [c5]Igor Buzhinsky, Vladimir Ulyantsev, Jari Veijalainen, Valeriy Vyatkin:
Evolutionary approach to coverage testing of IEC 61499 function block applications. INDIN 2015: 1213-1218 - [c4]Igor Buzhinsky, Cheng Pang, Valeriy Vyatkin:
Formal Modeling of Testing Software for Cyber-Physical Automation Systems. TrustCom/BigDataSE/ISPA (3) 2015: 301-306 - 2014
- [c3]Igor Buzhinsky, Daniil Chivilikhin, Vladimir Ulyantsev, Fedor Tsarev:
Improving the quality of supervised finite-state machine construction using real-valued variables. GECCO (Companion) 2014: 1037-1040 - 2013
- [c2]Igor Buzhinsky, Vladimir Ulyantsev, Fedor Tsarev, Anatoly Shalyto:
Search-based construction of finite-state machines with real-valued actions: new representation model. GECCO (Companion) 2013: 199-200 - [c1]Igor Buzhinsky, Vladimir Ulyantsev, Anatoly Shalyto:
Test-Based Induction of Finite-State Machines with Continuous Output Actions. MIM 2013: 1049-1054
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-21 23:40 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
