logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
M

Martin Fabian

chalmers university of technology

25H指数
245论文数
2.6K被引数
收录论文 28
发表时间
logo
Smart contract denial-of-service analysis using non-blocking verification使用非阻塞验证的智能合约拒绝服务分析
errDiscrete Event Dynamic Systems-Theory and Applications
IF1.6
err2025-12-01
err0
errOAAI
errParekh, Nishant; Ahrendt, Wolfgang; Fabian, Martin
err分享
err收藏
Supervisory Control Synthesis of Timed Automata Using Forcible Events
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2024-02-01
err2
errOAAI
errRashidinejad, Aida; Reniers, Michel; Fabian, Martin
err分享
err收藏
Robust stutter bisimulation for abstraction and controller synthesis with disturbance
errAUTOMATICA
IF5.9
err2024-02-01
err0
errOAAI
errKrook, Jonas; Malik, Robi; Mohajerani, Sahar; Fabian, Martin
err分享
err收藏
On Active Learning for Supervisor Synthesis
errIEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING
IF6.4
err2024-01-01
err1
PREAI
errFarooqui, Ashfaq; Claase, Ramon Tijsse; Fabian, Martin
err分享
err收藏
Formal Development of Safe Automated Driving Using Differential Dynamic Logic
errIEEE TRANSACTIONS ON INTELLIGENT VEHICLES
IF14.3
err2023-01-01
err6
errOAAI
errSelvaraj, Yuvaraj; Ahrendt, Wolfgang; Fabian, Martin
err分享
err收藏
A Compositional Algorithm for the Conflict-Free Electric Vehicle Routing Problem
errIEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING
IF6.4
err2022-07-01
err10
errOAAI
errRoselli, Sabino Francesco; Gotvall, Per-Lage; Fabian, Martin; Akesson, Knut
err分享
err收藏
On Optimization of Automation Systems: Integrating Modular Learning and Optimization
errIEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING
IF6.4
err2022-07-01
err5
PREAI
errHagebring, Fredrik; Farooqui, Ashfaq; Fabian, Martin; Lennartson, Bengt
err分享
err收藏
On test case reduction for testing safety properties of manufacturing systems
errJOURNAL OF MANUFACTURING SYSTEMS
IF14.2
err2022-04-01
err1
PREAI
errKhan, Adnan; Mohajerani, Sahar; Fabian, Martin
err分享
err收藏
Model properties for efficient synthesis of nonblocking modular supervisors
errCONTROL ENGINEERING PRACTICE
IF4.6
err2021-07-01
err3
errOAAI
errGoorden, Martijn; van de Mortel-Fronczak, Joanna; Reniers, Michel; Fabian, Martin; Fokkink, Wan; Rooda, Jacobus
err分享
err收藏
Solving the Conflict-Free Electric Vehicle Routing Problem Using SMT Solvers
err2021 29TH MEDITERRANEAN CONFERENCE ON CONTROL AND AUTOMATION (MED)
IF0
err2021-06-22
err5
PREAI
errRoselli, Sabino Francesco; Fabian, Martin; Akesson, Knut
err分享
err收藏
On the Use of Equivalence Classes for Optimal and Suboptimal Bin Packing and Bin Covering关于使用等价课程进行最佳和次优的装箱和装箱覆盖
errIEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING
IF6.4
err2021-01-01
err1
errOAAI
errRoselli, Sabino; Hagebring, Fredrik; Riazi, Sarmad; Fabian, Martin; Akesson, Knut
err分享
err收藏
Towards data-driven approaches in manufacturing: an architecture to collect sequences of operations
errINTERNATIONAL JOURNAL OF PRODUCTION RESEARCH
IF7.3
err2020-03-09
err20
errOAAI
errFarooqui, Ashfaq; Bengtsson, Kristofer; Falkman, Petter; Fabian, Martin
err分享
err收藏
Guest Editorial Special Section on the 2015 International Conference on Automation Science and Engineering
errIEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING
IF6.4
err2017-04-01
err0
PREAI
errFabian, Martin; Lennartson, Bengt; Akesson, Knut
err分享
err收藏
Compositional synthesis of supervisors in the form of state machines and state maps
errAUTOMATICA
IF5.9
err2017-02-01
err25
errOAAI
errMohajerani, Sahar; Malik, Robi; Fabian, Martin
err分享
err收藏
A Framework for Compositional Synthesis of Modular Nonblocking Supervisors
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2014-01-01
err51
errOAAI
errMohajerani, Sahar; Malik, Robi; Fabian, Martin
err分享
err收藏
Supervisory Control for State-Vector Transition Models-A Unified Approach
errIEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING
IF6.4
err2014-01-01
err7
PREAI
errLennartson, Bengt; Basile, Francesco; Miremadi, Sajed; Fei, Zhennan; Hosseini, Mona Noori; Fabian, Martin; Akesson, Knut
err分享
err收藏
Towards Industrial Formal Specification of Programmable Safety Systems
errIEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY
IF3.9
err2012-11-01
err10
PREAI
errLjungkrantz, Oscar; Akesson, Knut; Yuan, Chengyin; Fabian, Martin
err分享
err收藏
An empirical study of control logic specifications for programmable logic controllers
errEMPIRICAL SOFTWARE ENGINEERING
IF3.6
err2012-10-14
err11
PREAI
errLjungkrantz, Oscar; Akesson, Knut; Fabian, Martin; Ebrahimi, Amir Hossein
err分享
err收藏
Generation of restart states for manufacturing cell controllers
errCONTROL ENGINEERING PRACTICE
IF4.6
err2011-09-01
err12
PREAI
errAndersson, K.; Lennartson, B.; Falkman, P.; Fabian, M.
err分享
err收藏
Sequence Planning for Integrated Product, Process and Automation Design
errIEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING
IF6.4
err2010-10-01
err53
PREAI
errLennartson, Bengt; Bengtsson, Kristofer; Yuan, Chengyin; Andersson, Kristin; Fabian, Martin; Falkman, Petter; Akesson, Knut
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
R
Ratnesh Kumar
H 指数: 47 · 论文数: 403
B
Bengt Lennartson
H 指数: 39 · 论文数: 421
K
Kristoffer Andersson
H 指数: 39 · 论文数: 266
W
Wan Fokkink
H 指数: 31 · 论文数: 358
F
Francesco Basile
H 指数: 27 · 论文数: 181
查看更多