Search results for "CFSMs"

Found 14 publication records. Showing 14 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
92	Wuxu Peng	Deadlock Detection in Communicating Finite State Machines by Even Reachability Analysis.	ICCCN	1995	DBLP DOI BibTeX RDF	Communication protocols, reachability analysis, specification and verification
46	Tristan Le Gall, Bertrand Jeannet, Thierry Jéron	Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues.	AMAST	2006	DBLP DOI BibTeX RDF
46	Suman Roy 0001, Bhaskar Chakraborty	A Finite Union of DFAs in Symbolic Model Checking of Infinite Systems.	CIAA	2006	DBLP DOI BibTeX RDF
46	Wuxu Peng, Kia Makki	Lossy Communicating Finite State Machines.	Telecommun. Syst.	2004	DBLP DOI BibTeX RDF	concurrency model, verification, specification, communication protocols
39	Karnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo 0001	Input Sequence Generation for Testing of Communicating Finite State Machines (CFSMs).	GECCO (2)	2004	DBLP DOI BibTeX RDF
39	Hans van der Schoot, Hasan Ural	On Improving Reachability Analysis for Verifying Progress Properties for Networks of CFSMs.	ICDCS	1998	DBLP DOI BibTeX RDF
39	Wuxu Peng, Kia Makki	Reachability and reverse reachability analysis of CFSMs.	Comput. Commun.	1996	DBLP DOI BibTeX RDF
39	Yves-Marie Quemener, Thierry Jéron	Finitely Representing Infinite Reachability Graphs of CFSMs with Graph Grammars.	FORTE	1996	DBLP BibTeX RDF
36	I. D. Bates, E. Graeme Chester, David J. Kinniment	A statechart based HW/SW codesign system.	CODES	1999	DBLP DOI BibTeX RDF	CFSMs, POLIS, statecharts
23	Stefan Leue, Richard Mayr, Wei Wei 0015	A Scalable Incomplete Test for Message Buffer Overflow in Promela Models.	SPIN	2004	DBLP DOI BibTeX RDF
23	Stefan Leue, Richard Mayr, Wei Wei 0015	A Scalable Incomplete Test for the Boundedness of UML RT Models.	TACAS	2004	DBLP DOI BibTeX RDF
23	Suman Roy 0001	Symbolic Verification of Infinite Systems using a Finite Union of DFAs.	SEFM	2004	DBLP DOI BibTeX RDF	Symbolic Verification, Accelerations, DFA, Infinite State Systems, FIFO queues
23	Partha S. Roop, Arcot Sowmya	CFSMcharts: A New Language for Microprocessor Based system Design.	VLSI Design	1998	DBLP DOI BibTeX RDF
23	Kassem Saleh, M. Ilangovan, Robert L. Probert	Recovery of Communications Protocol Design from Run Time Protocol Traces.	ICECCS	1996	DBLP DOI BibTeX RDF

Displaying result #1 - #14 of 14 (100 per page; Change: )