deadlock analysis Latest Research Papers

Quantitative Deadlock Analysis in Petri Nets using Inconsistency Measures

10.1109/cbi52690.2021.00015 ◽

2021 ◽

Author(s):

Elina Unruh ◽

Patrick Delfmann ◽

Matthias Thimm

Keyword(s):

Petri Nets ◽

Deadlock Analysis

Download Full-text

Deadlock Analysis and Resolution for Multi-robot Systems

Algorithmic Foundations of Robotics XIV - Springer Proceedings in Advanced Robotics ◽

10.1007/978-3-030-66723-8_18 ◽

2021 ◽

pp. 294-312

Author(s):

Jaskaran Singh Grover ◽

Changliu Liu ◽

Katia Sycara

Keyword(s):

Deadlock Analysis ◽

Robot Systems ◽

Multi Robot

Download Full-text

On Limitations of Abstraction-Based Deadlock-Analysis of Service-Oriented Systems

Communications in Computer and Information Science - Advances in Service-Oriented and Cloud Computing ◽

10.1007/978-3-030-63161-1_6 ◽

2020 ◽

pp. 79-90

Author(s):

Mandy Weißbach ◽

Wolf Zimmermann

Keyword(s):

Deadlock Analysis ◽

Service Oriented

Download Full-text

A lightweight deadlock analysis for programs with threads and reentrant locks

Science of Computer Programming ◽

10.1016/j.scico.2019.06.002 ◽

2019 ◽

Vol 181 ◽

pp. 64-81 ◽

Cited By ~ 1

Author(s):

Cosimo Laneve

Keyword(s):

Deadlock Analysis

Download Full-text

Deadlock Analysis of Hybrid Lottery scheduling algorithm using Markov Chain model

International Journal of Computer Sciences and Engineering ◽

10.26438/ijcse/v7i5.13011318 ◽

2019 ◽

Vol 7 (5) ◽

pp. 1301-1318

Author(s):

Pradeep KumarJatav ◽

Rahul Singhai ◽

Saurabh Jain

Keyword(s):

Markov Chain ◽

Markov Chain Model ◽

Scheduling Algorithm ◽

Chain Model ◽

Deadlock Analysis

Download Full-text

Deadlock analysis and control using Petri net decomposition techniques

Information Sciences ◽

10.1016/j.ins.2019.01.029 ◽

2019 ◽

Vol 482 ◽

pp. 440-456 ◽

Cited By ~ 2

Author(s):

Chunfu Zhong ◽

Wenlong He ◽

Zhiwu Li ◽

Naiqi Wu ◽

Ting Qu

Keyword(s):

Petri Net ◽

Decomposition Techniques ◽

Deadlock Analysis ◽

And Control

Download Full-text

The Implementation of a Communication Deadlock Analysis Based on the Theory of Deadlock Analysis for the Actor Model

Journal of Software Engineering and Applications ◽

10.4236/jsea.2019.1210024 ◽

2019 ◽

Vol 12 (10) ◽

pp. 393-405

Author(s):

Yupeng Xi ◽

Jianrui Zhang ◽

Furi Xiang

Keyword(s):

Actor Model ◽

Deadlock Analysis

Download Full-text

Deadlock Analysis of Wait-Notify Coordination

The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Lecture Notes in Computer Science ◽

10.1007/978-3-030-31175-9_4 ◽

2019 ◽

pp. 50-67

Author(s):

Cosimo Laneve ◽

Luca Padovani

Keyword(s):

Deadlock Analysis

Download Full-text

Deadlock Analysis of Service-Oriented Systems with Recursion and Concurrency

Communications in Computer and Information Science - Advances in Service-Oriented and Cloud Computing ◽

10.1007/978-3-319-72125-5_20 ◽

2018 ◽

pp. 247-259

Author(s):

Mandy Weißbach

Keyword(s):

Deadlock Analysis ◽

Service Oriented

Download Full-text

A Lightweight Deadlock Analysis for Programs with Threads and Reentrant Locks

Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-319-95582-7_36 ◽

2018 ◽

pp. 608-624 ◽

Cited By ~ 1

Author(s):

Cosimo Laneve

Keyword(s):

Deadlock Analysis

Download Full-text

deadlock analysis
Recently Published Documents

TOTAL DOCUMENTS

H-INDEX

Quantitative Deadlock Analysis in Petri Nets using Inconsistency Measures

Deadlock Analysis and Resolution for Multi-robot Systems

On Limitations of Abstraction-Based Deadlock-Analysis of Service-Oriented Systems

A lightweight deadlock analysis for programs with threads and reentrant locks

Deadlock Analysis of Hybrid Lottery scheduling algorithm using Markov Chain model

Deadlock analysis and control using Petri net decomposition techniques

The Implementation of a Communication Deadlock Analysis Based on the Theory of Deadlock Analysis for the Actor Model

Deadlock Analysis of Wait-Notify Coordination

Deadlock Analysis of Service-Oriented Systems with Recursion and Concurrency

A Lightweight Deadlock Analysis for Programs with Threads and Reentrant Locks

Export Citation Format

deadlock analysisRecently Published Documents

TOTAL DOCUMENTS

H-INDEX

Quantitative Deadlock Analysis in Petri Nets using Inconsistency Measures

Deadlock Analysis and Resolution for Multi-robot Systems

On Limitations of Abstraction-Based Deadlock-Analysis of Service-Oriented Systems

A lightweight deadlock analysis for programs with threads and reentrant locks

Deadlock Analysis of Hybrid Lottery scheduling algorithm using Markov Chain model

Deadlock analysis and control using Petri net decomposition techniques

The Implementation of a Communication Deadlock Analysis Based on the Theory of Deadlock Analysis for the Actor Model

Deadlock Analysis of Wait-Notify Coordination

Deadlock Analysis of Service-Oriented Systems with Recursion and Concurrency

A Lightweight Deadlock Analysis for Programs with Threads and Reentrant Locks

deadlock analysis
Recently Published Documents