Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
20 | Benedetta Flammini, Davide Azzalini, Francesco Amigoni |
Preventing Deadlocks for Multi-Agent Pickup and Delivery in Dynamic Environments. |
AAMAS |
2024 |
DBLP BibTeX RDF |
|
20 | Wei-Cheng Wang, Y.-W. Yeh, Rong-Shun Chen |
A polynomial-time hybrid solver for multi-agent motion navigation against deadlocks. |
J. Intell. Fuzzy Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Frantisek Capkovic |
Dealing with Deadlocks in Industrial Multi Agent Systems. |
Future Internet |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Rendong Chen, Fa Wu |
Dynamically Interrupting Deadlocks in Game Learning Using Multisampling Multiarmed Bandits. |
IEEE Trans. Games |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Xinyu Chen, Zichao Xing, Ligen Feng, Tingqi Zhang, Weimin Wu, Ruifen Hu |
An ETCEN-Based Motion Coordination Strategy Avoiding Active and Passive Deadlocks for Multi-AGV System. |
IEEE Trans Autom. Sci. Eng. |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Lili Bo, Yanchi Yuan, Xiaobing Sun 0001, Hao Xie, Bin Li 0006 |
TemLock: A Lightweight Template-based Approach for Fixing Deadlocks Caused by ReentrantLock. |
SANER |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Khalid Hamada, Rabah Ammour, Leonardo Brenner, Isabel Demongodin |
Attack Synchronizing Sequence Computation for Output Synchronized Petri Nets with Multiple Deadlocks. |
ICNSC |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Kaiwen Zhang 0010, Guanjun Liu |
Automatically Transform Rust Source to Petri Nets for Checking Deadlocks. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Selvaraj Srinivasan |
An incremental approach for detecting distributed deadlocks in the generalized model. |
Computing |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Gabriel Juhás, Ana Juhásová, Tomás Kovácik |
Deadlocks and Livelocks in Resource Constrained Workflow Nets. |
ATAED@Petri Nets |
2022 |
DBLP BibTeX RDF |
|
20 | Jia-Ju Bai, Tuo Li, Shi-Min Hu 0001 |
DLOS: Effective Static Detection of Deadlocks in OS Kernels. |
USENIX Annual Technical Conference |
2022 |
DBLP BibTeX RDF |
|
20 | Xinyu Crystal Wu, T. S. Eugene Ng |
Detecting and Resolving PFC Deadlocks with ITSY Entirely in the Data Plane. |
INFOCOM |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Raina Zakir, Marco Dorigo, Andreagiovanni Reina |
Robot Swarms Break Decision Deadlocks in Collective Perception Through Cross-Inhibition. |
ANTS Conference |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Dhriti Khanna, Rahul Purandare, Subodh Sharma 0001 |
Synthesizing Multi-threaded Tests from Sequential Traces to Detect Communication Deadlocks. |
ICST |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Zhengyi Qiu, Shudi Shao, Qi Zhao 0003, Guoliang Jin |
A Characteristic Study of Deadlocks in Database-Backed Web Applications. |
ISSRE |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Caleb Voss 0001 |
Addressing Logical Deadlocks through Task-Parallel Language Design. |
|
2021 |
RDF |
|
20 | Yuan Zhou 0005, Hesuan Hu, Yang Liu 0003, Shang-Wei Lin 0001, Zuohua Ding |
A distributed method to avoid higher-order deadlocks in multi-robot systems. |
Autom. |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Damian Giebas, Rafal Wojszczyk |
Rules in Detection of Deadlocks in Multithreaded Applications. |
DCAI (Special Sessions) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | H. Akin Ünver |
Internet, Social Media and Conflict Studies Can Greater Interdisciplinarity Solve the Analytical Deadlocks in Cybersecurity Research? |
CoRR |
2019 |
DBLP BibTeX RDF |
|
20 | Toshihiro Kujirai, Takayoshi Yokota |
Breaking Deadlocks in Multi-agent Reinforcement Learning with Sparse Interaction. |
PRICAI (1) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Paul Cazenave, Manel Khlif-Bouassida, Armand Toguyéni |
Collisions avoidance and deadlocks prevention, for dynamic routing of trains in a railway node. |
CoDIT |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Ji Liu 0001, Shaoshuai Mou, A. Stephen Morse, Brian D. O. Anderson, Changbin Brad Yu |
Request-based gossiping without deadlocks. |
Autom. |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Tatiana R. Shmeleva |
Comparative Analysis of Stability to Induced Deadlocks for Computing Grids with Various Node Architectures. |
Autom. Control. Comput. Sci. |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Eduard Kamburjan |
Detecting Deadlocks in Formal System Models with Condition Synchronization. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Chelsea A. Metcalf, Tuba Yavuz |
Detecting potential deadlocks through change impact analysis. |
Softw. Qual. J. |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Ruochen Tai, Jingchuan Wang, Wei Tian, Weidong Chen 0001, Hesheng Wang 0001, Yue Zhou |
A Time-Efficient Approach to Solve Conflicts and Deadlocks for Scheduling AGVs in Warehousing Applications. |
RCAR |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Shira Werman, Aviv Zohar |
Avoiding Deadlocks in Payment Channel Networks. |
DPM/CBT@ESORICS |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Yong Cui 0003, Ullrich Martin, Jiajian Liang |
Searching feasible resources to reduce false-positive situations for resolving deadlocks with the Banker's algorithm in railway simulation. |
J. Rail Transp. Plan. Manag. |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Yong Yang 0007, Wei Lu 0010, Weiwei Xing, Liqiang Wang, Xiaoping Che, Lei Chen 0047 |
Detecting and resolving deadlocks in mobile agent systems. |
J. Vis. Lang. Comput. |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Vojtech Forejt, Saurabh Joshi 0001, Daniel Kroening, Ganesh Narayanaswamy, Subodh Sharma 0001 |
Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs. |
ACM Trans. Program. Lang. Syst. |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Lorenzo Maggi, Pierre-Louis Poirion, Jeremie Leguay |
Reroute backward to better break deadlocks. |
CloudNet |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Jinpeng Zhou, Sam Silvestro, Hongyu Liu 0005, Yan Cai 0001, Tongping Liu |
UNDEAD: detecting and preventing deadlocks in production software. |
ASE |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Thomas Lienert, Johannes Fottner |
No More Deadlocks - Applying The Time Window Routing Method To Shuttle Systems. |
ECMS |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Yan Cai 0001, Qiong Lu |
Dynamic Testing for Deadlocks via Constraints. |
IEEE Trans. Software Eng. |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Ji Liu 0001, Shaoshuai Mou, A. Stephen Morse, Brian D. O. Anderson, Changbin Yu |
Request-Based Gossiping without Deadlocks. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
20 | Shuihai Hu, Yibo Zhu, Peng Cheng 0005, Chuanxiong Guo, Kun Tan, Jitendra Padhye, Kai Chen 0005 |
Deadlocks in Datacenter Networks: Why Do They Form, and How to Avoid Them. |
HotNets |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Alexander Shpiner, Eitan Zahavi, Vladimir Zdornov, Tal Anker, Matty Kadosh |
Unlocking Credit Loop Deadlocks. |
HotNets |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Yan Cai 0001, Zijiang Yang 0006 |
Radius aware probabilistic testing of deadlocks with guarantees. |
ASE |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Yan Cai 0001, Lingwei Cao |
Fixing deadlocks via lock pre-acquisitions. |
ICSE |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Seyed Morteza Babamir, Elmira Hassanzade, Mona Azimpour |
Predicting potential deadlocks in multithreaded programs. |
Concurr. Comput. Pract. Exp. |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Yan Cai 0001, Changjiang Jia, Shangru Wu, Ke Zhai 0002, Wing Kwong Chan |
ASN: A Dynamic Barrier-Based Approach to Confirmation of Deadlocks from Warnings for Large-Scale Multithreaded Programs. |
IEEE Trans. Parallel Distributed Syst. |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Ibrahim Al-Bahadly, Justin Moloney |
Remote monitoring system for deadlocks. |
ICST |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Rafael Lobo, Fernando Castor |
Deadlocks as Runtime Exceptions. |
SBLP |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Helidon Karcanaj, Edra Bumci, Igli Tafa, Julian Fejzaj |
Deadlocks in Different Operating Systems. |
ITNG |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Mehdi Foumani, Indra Gunawan, Kate Smith-Miles |
Resolution of deadlocks in a robotic cell scheduling problem with post-process inspection system: Avoidance and recovery scenarios. |
IEEM |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Christian Reuter 0003, Stefan Göbel 0001, Ralf Steinmetz |
Detecting structural deadlocks in Multiplayer Games using automatically generated Petri Nets. |
FDG |
2015 |
DBLP BibTeX RDF |
|
20 | Yan Cai 0001, W. K. Chan 0001 |
Magiclock: Scalable Detection ofPotential Deadlocks in Large-ScaleMultithreaded Programs. |
IEEE Trans. Software Eng. |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Georgiana Caltais, Bertrand Meyer 0001 |
Coffman deadlocks in SCOOP. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
20 | Katarzyna Sznajd-Weron, Karol Michal Suszczynski |
Nonlinear q-voter model with deadlocks on the Watts-Strogatz graph. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
20 | Vojtech Forejt, Daniel Kroening, Ganesh Narayanaswamy, Subodh Sharma 0001 |
Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs. |
FM |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Rania Mzid, Chokri Mraidha, Jean-Philippe Babau, Mohamed Abid |
SRMP: a software pattern for deadlocks prevention inreal-time concurrency models. |
QoSA |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Zhi Tao, Hui Li 0022, Bing Zhu 0003, Yunmin Wang |
A Semi-centralized Algorithm to Detect and Resolve Distributed Deadlocks in the Generalized Model. |
CSE |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Wei Song 0002, Guangda Zhang, Jim D. Garside |
On-line detection of the deadlocks caused by permanently faulty links in quasi-delay insensitive networks on chip. |
ACM Great Lakes Symposium on VLSI |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Yan Cai 0001, Shangru Wu, W. K. Chan 0001 |
ConLock: a constraint-based approach to dynamic checking on deadlocks in multithreaded programs. |
ICSE |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Surabhi Pandey, Sushanth Bhat, Vivek K. Shanbhag |
Avoiding deadlocks using stalemate and dimmunix. |
ICSE Companion |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Michal Zarnay, Fernando Tricas García |
Enhancing banker's algorithm for avoiding deadlocks in systems with non-sequential processes. |
ETFA |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Vaithianathan Geetha, Niladhuri Sreenath |
Preventing deadlocks and starvation in distributed object oriented systems. |
Comput. Electr. Eng. |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Xiaohang Wang 0001, Peng Liu 0016, Mei Yang, Yingtao Jiang |
Avoiding request-request type message-dependent deadlocks in networks-on-chips. |
Parallel Comput. |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Mark Grechanik, B. M. Mainul Hossain, Ugo A. Buy |
Testing Database-Centric Applications for Causes of Database Deadlocks. |
ICST |
2013 |
DBLP DOI BibTeX RDF |
|
20 | B. M. Mainul Hossain, Mark Grechanik, Ugo A. Buy, Haisheng Wang |
REDACT: preventing database deadlocks from application-based transactions. |
ESEC/SIGSOFT FSE |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Mark Grechanik, B. M. Mainul Hossain, Ugo A. Buy, Haisheng Wang |
Preventing database deadlocks in applications. |
ESEC/SIGSOFT FSE |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Ruisheng Wang, Lizhong Chen, Timothy Mark Pinkston |
Bubble coloring: avoiding routing- and protocol-induced deadlocks with minimal virtual channel requirement. |
ICS |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Yan Cai 0001, W. K. Chan 0001, Yuen-Tak Yu |
Taming Deadlocks in Multithreaded Programs. |
QSIC |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Yan Cai 0001, Ke Zhai 0002, Shangru Wu, Wing Kwong Chan |
TeamWork: synchronizing threads globally to detect real deadlocks for multithreaded programs. |
PPoPP |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Mark Grechanik |
The curse of database deadlocks: the problem with no good solution. |
ACM SIGSOFT Softw. Eng. Notes |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Marwa Shousha, Lionel C. Briand, Yvan Labiche |
A UML/MARTE Model Analysis Method for Uncovering Scenarios Leading to Starvation and Deadlocks in Concurrent Systems. |
IEEE Trans. Software Eng. |
2012 |
DBLP DOI BibTeX RDF |
|
20 | K. S. Rashmi, V. Suma 0001, M. Vaidehi |
Enhanced Load Balancing Approach to Avoid Deadlocks in Cloud |
CoRR |
2012 |
DBLP BibTeX RDF |
|
20 | Steinar Hugi Sigurdarson, Marjan Sirjani, Yngvi Björnsson, Arni Hermann Reynisson |
Guided Search for Deadlocks in Actor-Based Models. |
FACS |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Frank S. de Boer, Mario Bravetti, Immo Grabe, Matias David Lee, Martin Steffen, Gianluigi Zavattaro |
A Petri Net Based Analysis of Deadlocks for Active Objects and Futures. |
FACS |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Matthieu Perin, Jean-Marc Faure |
Coupling timed plant and controller models with urgent transitions without introducing deadlocks. |
ETFA |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Roy H. Campbell |
Deadlocks. |
Encyclopedia of Parallel Computing |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Selvaraj Srinivasan, Ramasamy Rajaram |
Message-Optimal Algorithm for Detection and Resolution of Generalized Deadlocks in Distributed Systems. |
Informatica (Slovenia) |
2011 |
DBLP BibTeX RDF |
|
20 | Hari K. Pyla |
Composing locks by decomposing deadlocks. |
OOPSLA Companion |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Ian Pye |
Locks, deadlocks and abstractions: experiences with multi-threaded programming at CloudFlare, Inc. |
SPLASH Workshops |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Wladimir Araujo, Lionel C. Briand, Yvan Labiche |
On the Effectiveness of Contracts as Test Oracles in the Detection and Diagnosis of Race Conditions and Deadlocks in Concurrent Object-Oriented Software. |
ESEM |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Elena Giachino, Cosimo Laneve |
Analysis of Deadlocks in Object Groups. |
FMOODS/FORTE |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Freek Verbeek, Julien Schmaltz |
Hunting deadlocks efficiently in microarchitectural models of communication fabrics. |
FMCAD |
2011 |
DBLP BibTeX RDF |
|
20 | Horatiu Jula |
Deadlock Immunity - Enabling General-Purpose Software to Defend Itself against Deadlocks. |
|
2011 |
DOI RDF |
|
20 | Nariman Mani, Vahid Garousi, Behrouz H. Far |
Search-Based Testing of Multi-Agent Manufacturing Systems for Deadlocks Based on Models. |
Int. J. Artif. Intell. Tools |
2010 |
DBLP DOI BibTeX RDF |
|
20 | P. Yvars |
A Constraint Based Decision Support System for Deadlocks Resolution in Collaborative New Product Design. |
J. Decis. Syst. |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Ciprian Seiculescu, Srinivasan Murali, Luca Benini, Giovanni De Micheli |
A method to remove deadlocks in Networks-on-Chips with Wormhole flow control. |
DATE |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Jan-Philipp Steghöfer, Pratik Mandrekar, Florian Nafz, Hella Seebach, Wolfgang Reif |
On Deadlocks and Fairness in Self-organizing Resource-Flow Systems. |
ARCS |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Pallavi Joshi, Mayur Naik, Koushik Sen, David Gay |
An effective dynamic analysis for detecting generalized deadlocks. |
SIGSOFT FSE |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Richard Müller 0001 |
On the Notion of Deadlocks in Open Nets. |
AWPN |
2010 |
DBLP BibTeX RDF |
|
20 | Byung-Chul Kim, Yong-Kee Jun |
Program Visualization for Debugging Deadlocks in Multithreaded Programs. |
FGIT-ASEA |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Michele Portolan, Bradford G. Van Treuren, Suresh Goyal |
Scan chain securization though Open-Circuit Deadlocks. |
ITC |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Jong Hyuk Park, Hyoung Joong Kim, Chulung Lee |
Ubiquitous software controller to prevent deadlocks for automated guided vehicle systems in a container port terminal environment. |
J. Intell. Manuf. |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Xiaoyu Song, Limei Sun, Qiuhong Meng |
Deadlocks Solving Strategies in Hybrid PSO Algorithm for JSSP. |
ICNC (7) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Enrique Alba 0001, Francisco Chicano, Marco Ferreira, Juan Antonio Gómez Pulido |
Finding deadlocks in large concurrent Java programs using genetic algorithms. |
GECCO |
2008 |
DBLP DOI BibTeX RDF |
memory operator, genetic algorithm, model checking, graph search |
20 | Horatiu Jula, Daniel M. Tralamazza, Cristian Zamfir, George Candea |
Deadlock Immunity: Enabling Systems to Defend Against Deadlocks. |
OSDI |
2008 |
DBLP BibTeX RDF |
|
20 | Gabriela Avram |
Of Deadlocks and Peopleware - Collaborative Work Practices in Global Software Development. |
ICGSE |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Martin Raußen |
Deadlocks and dihomotopy in mutual exclusion models. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Soojung Lee, Kil Hong Joo |
Efficient detection and resolution of OR deadlocks in distributed systems. |
J. Parallel Distributed Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Sara Gradara, Antonella Santone, Maria Luisa Villani |
Using heuristic search for finding deadlocks in concurrent systems. |
Inf. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Martin Raussen |
Deadlocks and Dihomotopy in Mutual Exclusion Models. |
Spatial Representation |
2005 |
DBLP BibTeX RDF |
|
20 | Soojung Lee |
Fast, Centralized Detection and Resolution of Distributed Deadlocks in the Generalized Model. |
IEEE Trans. Software Eng. |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Xinli Wang, Jean Mayo |
A Distributed Algorithm for Detecting Deadlocks under the OR Model and the Resolution Based on Hardware Clocks. |
PDCS |
2004 |
DBLP BibTeX RDF |
|
20 | Michael Kersten, Wolfgang Nebel |
On Detecting Deadlocks in Large UML Models. |
DIPES |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Fragkiskos Pentaris, Yannis E. Ioannidis |
Self-Deadlocks in Disparate Scientific Data Management Systems. |
SSDBM |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Bassel R. Arafeh |
A task duplication scheme for resolving deadlocks in clustered DAGs. |
Parallel Comput. |
2003 |
DBLP DOI BibTeX RDF |
|