The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase Deadlock-freeness (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1987-2001 (18) 2002-2006 (19) 2007-2010 (15) 2011-2023 (8)
Publication types (Num. hits)
article(11) inproceedings(49)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 55 occurrences of 44 keywords

Results
Found 60 publication records. Showing 60 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
102Kamel Barkaoui, Jean-Michel Couvreur, Kais Klai On the Equivalence Between Liveness and Deadlock-Freeness in Petri Nets. Search on Bibsonomy ICATPN The full citation details ... 2005 DBLP  DOI  BibTeX  RDF cs-property, liveness, structure theory, deadlock-freeness
97Kozo Okano, Satoshi Hattori, Akira Yamamoto, Teruo Higashino, Kenichi Taniguchi Specification of Real-Time Systems Using a Timed Automata Model with Shared Variables and Verification of Partial-Deadlock Freeness. Search on Bibsonomy ICPP Workshops The full citation details ... 1999 DBLP  DOI  BibTeX  RDF real-time systems, verification, timed automata, deadlock freeness
66Sandro Etalle, Maurizio Gabbrielli, Maria Chiara Meo Transformations of CCP programs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF optimization, Concurrent constraint programming, deadlock-freeness
59Yaoxue Zhang, Kaoru Takahashi, Norio Shiratori, Shoichi Noguchi An Interactive Protocol Synthesis Algorithm Using a Global State Transition Graph. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF interactive protocol synthesis algorithm, global state transition graph, global state transition graph, deadlock avoidance rules, complete reception, protocols, graph theory, finite-state machines, finite automata, buffer overflow, production rules, interactive programming, deadlock freeness
52Sandro Etalle, Maurizio Gabbrielli, Elena Marchiori A Transformation System for CLP with Dynamic Scheduling and CCP. Search on Bibsonomy PEPM The full citation details ... 1997 DBLP  DOI  BibTeX  RDF concurrent constraint logic programming, transformation, deadlock, coroutining
52Ryszard Janicki, Maciej Koutny Optimal simulations, nets and reachability graphs. Search on Bibsonomy Applications and Theory of Petri Nets The full citation details ... 1990 DBLP  DOI  BibTeX  RDF verification, Petri nets, traces, liveness, partial order semantics, reachability graphs, step sequences, state-space generation, deadlock-freeness
50Behzad Bordbar, Kozo Okano Testing Deadlock-Freeness in Real-Time Systems: A Formal Approach. Search on Bibsonomy FATES The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
40Seungjoo Lee, Dawn M. Tilbury Deadlock-Free Resource Allocation Control for a Reconfigurable Manufacturing System With Serial and Parallel Configuration. Search on Bibsonomy IEEE Trans. Syst. Man Cybern. Part C The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
40Gang Xu, Zhiming Wu Deadlock-free scheduling strategy for automated production cell. Search on Bibsonomy IEEE Trans. Syst. Man Cybern. Part A The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
38Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini A Non-Standard Semantics for Generating Reduced Transition Systems. Search on Bibsonomy LOMAPS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
38Walter Vogler Asynchronous Communication of Petri Nets and the Refinement of Transitions. Search on Bibsonomy ICALP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
33PengCheng Xiong, Mengchu Zhou, Calton Pu A Petri Net Siphon Based Solution to Protocol-Level Service Composition Mismatches. Search on Bibsonomy ICWS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
33Sami Taktak, Jean Lou Desbarbieux, Emmanuelle Encrenaz A tool for automatic detection of deadlock in wormhole networks on chip. Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF interconnection networks, networks on chip, Deadlock, wormhole routing
33R. C. Hansdah, Lalit M. Patnaik Weak Consistency Of Read-only Transactions: A Tool to Improve Concurrency in Heterogeneous Locking Protocols. Search on Bibsonomy FSTTCS The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
33Kawtar Benghazi Akhlaki, Miguel J. Hornos, Manuel Noguera Towards Compositional Verification in MEDISTAM-RT Methodological Framework. Search on Bibsonomy IWANN (2) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Real-time, Communication Protocols, Deadlock-freeness
31Jorge Júlvez On the Reachability Space and Deadlock-Freeness in Flexible Nets. Search on Bibsonomy CDC The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
31Lígia Maria Soares Passos, Stéphane Julia, Bruno Francisco Martins da Silva A Linear Logic Based Method for Deadlock-Freeness Scenarios Monitoring in Web Services Composition. Search on Bibsonomy SOSE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
31Aida Lahouij, Lazhar Hamel, Mohamed Graiet Deadlock-Freeness Verification of Cloud Composite Services Using Event-B. Search on Bibsonomy OTM Conferences (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
31Souha Boubaker, Kais Klai, Katia Schmitz, Mohamed Graiet, Walid Gaaloul Deadlock-Freeness Verification of Business Process Configuration Using SOG. Search on Bibsonomy ICSOC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
31Étienne André Parametric Deadlock-Freeness Checking Timed Automata. Search on Bibsonomy ICTAC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
31Lígia Maria Soares Passos, Stéphane Julia Deadlock-Freeness Scenarios Detection in Web Service Composition. Search on Bibsonomy ITNG The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
31Lígia Maria Soares Passos, Stéphane Julia Linear Logic as a Tool for Deadlock-Freeness Scenarios Detection in Interorganizational Workflow Processes. Search on Bibsonomy ICTAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
31Kais Klai, Samir Tata, Jörg Desel Symbolic abstraction and deadlock-freeness verification of inter-enterprise processes. Search on Bibsonomy Data Knowl. Eng. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
31Stefan Gruner, Theunis J. Steyn Deadlock-freeness of hexagonal systolic arrays. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
31Sami Taktak, Emmanuelle Encrenaz, Jean Lou Desbarbieux A Polynomial Algorithm to Prove Deadlock-Freeness of Wormhole Networks. Search on Bibsonomy PDP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF routing function, Network, deadlock, dependency graph, wormhole
31Kais Klai, Samir Tata, Jörg Desel Symbolic Abstraction and Deadlock-Freeness Verification of Inter-enterprise Processes. Search on Bibsonomy BPM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
31Jorge Júlvez, Laura Recalde, Manuel Silva Suárez Deadlock-Freeness Analysis of Continuous Mono-T-Semiflow Petri Nets. Search on Bibsonomy IEEE Trans. Autom. Control. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
31Rong Peng, Jingsong Cui, Yue Pan Efficient Deadlock-Freeness Detection in Real-time Systems. Search on Bibsonomy CIT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
31Jorge Júlvez, Laura Recalde, Manuel Silva 0001 On deadlock-freeness analysis of autonomous and timed continuous mono-T-semiflow nets. Search on Bibsonomy CDC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
31Yoram Ofek, Moti Yung Principle for High Speed Network Control: Congestion- and Deadlock-Freeness, Self-Routing, and a Single Buffer per Link. Search on Bibsonomy PODC The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
26Zhen Chen, Zengji Liu, Zhiliang Qiu A Deadlock-Free Wormhole Routing Scheme in the Pan-Mesh. Search on Bibsonomy AINA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
26Sandro Etalle, Maurizio Gabbrielli, Maria Chiara Meo Unfold/Fold Transformations of CCP Programs. Search on Bibsonomy CONCUR The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
19Wei Song 0003, Xiaoxing Ma, S. C. Cheung 0001, Wanchun Dou, Jian Lu 0001 A Public-View Approach to Timed Properties Verification for B2B Web Service Compositions. Search on Bibsonomy IEEE SCC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
19Idir Aït-Sadoune, Yamine Aït Ameur Animating Event B Models by Formal Data Models. Search on Bibsonomy ISoLA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
19Hongli Yang, Xiangpeng Zhao, Chao Cai, Zongyan Qiu Model-Checking of Web Services Choreography. Search on Bibsonomy SOSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
19Yang Liu 0003, Jun Sun 0001, Jin Song Dong An analyzer for extended compositional process algebras. Search on Bibsonomy ICSE Companion The full citation details ... 2008 DBLP  DOI  BibTeX  RDF simulation, model checking, fairness, sat solvers
19Ryo Suetsugu, Shoji Yuen, Kiyoshi Agusa A Synchronization Flow Analysis of Concurrent Objects in AIBO OPEN-R Programs Based on Communicating Processes. Search on Bibsonomy APSEC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
19Sami Evangelista, Christophe Pajault Some Solutions to the Ignoring Problem. Search on Bibsonomy SPIN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF explicit model checking, ignoring problem, cycle proviso, partial order reduction
19Laura Recalde, Serge Haddad, Manuel Silva Suárez Continuous Petri Nets: Expressive Power and Decidability Issues. Search on Bibsonomy ATVA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
19Fabrizio Montesi, Claudio Guidi, Gianluigi Zavattaro Composing Services with JOLIE. Search on Bibsonomy ECOWS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
19Jin Song Dong, Ping Hao, Jun Sun 0001, Xian Zhang 0007 A Reasoning Method for Timed CSP Based on Constraint Solving. Search on Bibsonomy ICFEM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
19Abdelaziz Guerrouat, Harald Richter 0001 A Combined Approach for Reachability Analysis. Search on Bibsonomy ICSEA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF testing and validation, formal specifications, Formal methods, reachability analysis
19Nabil Hameurlain A Formal Framework for Component Pr otocols Behavioural Compatibility. Search on Bibsonomy APSEC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
19Andreas Wombacher Decentralized Consistency Checking in Cross-organizationalWorkflows. Search on Bibsonomy CEC/EEE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
19Boudewijn R. Haverkort, Joost-Pieter Katoen Performance and verification. Search on Bibsonomy SIGMETRICS Perform. Evaluation Rev. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
19Sami Evangelista High Level Petri Nets Analysis with Helena. Search on Bibsonomy ICATPN The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
19Andreas Wombacher Overview on Decentralized Establishment of Multi-lateral Collaborations. Search on Bibsonomy From Integrated Publication and Information Systems to Virtual Information and Knowledge Environments The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
19Andreas Wombacher, Peter Fankhauser, Karl Aberer Overview on Decentralized Establishment of Consistent Multi-Lateral Collaborations Based on Asynchronous Communication. Search on Bibsonomy EEE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
19Nabil Hameurlain On Compatibility and Behavioural Substitutability of Component Protocols. Search on Bibsonomy SEFM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
19Andreas Wombacher, Karl Aberer Requirements for Workflow Modeling in P2P-Workflows Derived from Collaboration Establishment. Search on Bibsonomy DEXA Workshops The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
19Ghassan Chehaibar Integrating Formal Verification with Mur ? of Distributed Cache Coherence Protocols in FAME Multiprocessor System Design. Search on Bibsonomy FORTE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
19Cyril Carrez, Alessandro Fantechi, Elie Najm Behavioural Contracts for a Sound Assembly of Components. Search on Bibsonomy FORTE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
19Enric Pastor, Jordi Cortadella, Oriol Roig Symbolic Analysis of Bounded Petri Nets. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Binary Decition Diagrams, Petri nets, formal verification, symbolic methods
19Chun-Lung Chen, Ge-Ming Chiu A Fault-Tolerant Routing Scheme for Meshes with Nonconvex Faults. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF nonconvex fault, solid fault, Fault tolerance, mesh, wormhole routing
19Serge Haddad, Patrice Moreaux, Matteo Sereno, Manuel Silva Suárez Structural Characterization and Qualitative Properties of Product Form Stochastic Petri Nets. Search on Bibsonomy ICATPN The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
19Paul Dechering, Izak van Langevelde On the Verification of Coordination. Search on Bibsonomy COORDINATION The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
19Johann Blieberger, Bernd Burgstaller, Bernhard Scholz Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs. Search on Bibsonomy Ada-Europe The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
19Laura Recalde, Enrique Teruel, Manuel Silva Suárez Autonomous Continuous P/T Systems. Search on Bibsonomy ICATPN The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
19Ryszard Janicki, Maciej Koutny Using Optimal Simulations to Reduce Reachability Graphs. Search on Bibsonomy CAV The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
19Walter Vogler Failures Semantics and Deadlocking of Modular Petri Nets. Search on Bibsonomy MFCS The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #60 of 60 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license