Sandeep Patil - Publications, H-index & Citations

Sandeep Patil

Lulea University of Technology

18H指数

93论文数

843被引数

收录论文 7

发表时间

A Framework for the Generation of Monitor and Plant Model From Event Logs Using Process Mining for Formal Verification of Event-Driven Systems

IEEE OPEN JOURNAL OF THE INDUSTRIAL ELECTRONICS SOCIETY

IF4.3

2024-01-01

OAAI

Xavier, Midhun; Dubinin, Victor; Patil, Sandeep; Vyatkin, Valeriy

A hybrid spatial-temporal deep learning architecture for lane detection

COMPUTER-AIDED CIVIL AND INFRASTRUCTURE ENGINEERING

IF9.1

2022-02-20

OAAI

Dong, Yongqi; Patil, Sandeep; van Arem, Bart; Farah, Haneen

A Formal Model of IEC 61499-Based Industrial Automation Architecture Supporting Time-Aware Computations

IEEE OPEN JOURNAL OF THE INDUSTRIAL ELECTRONICS SOCIETY

IF4.3

2021-01-01

OAAI

Drozdov, Dmitrii; Dubinin, Victor; Patil, Sandeep; Vyatkin, Valeriy

Automatic State Machine Reconstruction From Legacy Programmable Logic Controller Using Data Collection and SAT Solver

IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS

IF9.9

2020-12-01

PREAI

Chivilikhin, Daniil; Patil, Sandeep; Chukharev, Konstantin; Cordonnier, Anthony; Vyatkin, Valeriy

A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems

IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS

IF9.9

2019-07-01

OAAI

Sinha, Roopak; Patil, Sandeep; Gomes, Luis; Vyatkin, Valeriy

Reconstruction of Function Block Logic Using Metaheuristic Algorithm

IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS

IF9.9

2017-08-01

PREAI

Chivilikhin, Daniil; Shalyto, Anatoly; Patil, Sandeep; Vyatkin, Valeriy

Software Composition and Distributed Operation Scheduling in Modular Automated Machines

IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS

IF9.9

2015-08-01

PREAI

Sorouri, Majid; Patil, Sandeep; Salcic, Zoran; Vyatkin, Valeriy

研究方向