logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
M

Martin Fabian

chalmers university of technology

25H-index
245Paper Count
2.6KCitation Count
Published Papers 28
Publication Date
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
errShare
errSave
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
errShare
errSave
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
errShare
errSave
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
errShare
errSave
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
errShare
errSave
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
errShare
errSave
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
errShare
errSave
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
errShare
errSave
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
errShare
errSave
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
errShare
errSave
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
errShare
errSave
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
errShare
errSave
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
errShare
errSave
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
errShare
errSave
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
errShare
errSave
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
errShare
errSave
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
errShare
errSave
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
errShare
errSave
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.
errShare
errSave
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
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
R
Ratnesh Kumar
H-index: 47 · Papers: 403
B
Bengt Lennartson
H-index: 39 · Papers: 421
K
Kristoffer Andersson
H-index: 39 · Papers: 266
W
Wan Fokkink
H-index: 31 · Papers: 358
F
Francesco Basile
H-index: 27 · Papers: 181
View more