Search results for "deadlock-freeness"

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