Search results for "Promela/SPIN"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
81	Alastair F. Donaldson, Alice Miller 0001	Exact and Approximate Strategies for Symmetry Reduction in Model Checking.	FM	2006	DBLP DOI BibTeX RDF	Promela/Spin, computational group theory, model checking, symmetry, Gap
72	Alastair F. Donaldson, Alice Miller 0001	Automatic Symmetry Detection for Model Checking Using Computational Group Theory.	FM	2005	DBLP DOI BibTeX RDF	Promela /Spin, distributed systems, model checking, concurrency, formal modelling, communicating processes, Gap, symmetry reduction
68	Muffy Calder, Alice Miller 0001	Using SPIN for Feature Interaction Analysis - A Case Study.	SPIN	2001	DBLP DOI BibTeX RDF	Promela/SPIN, analysis and reasoning techniques, distributed systems, formal modelling, feature interaction, communicating processes, telecommunications services
64	Clement Yuen, Wei Tjioe	Modeling and Verifying a Price Model for Congestion Control in Computer Networks Using Promela/Spin.	SPIN	2001	DBLP DOI BibTeX RDF
56	Ramazan Savas Aygün, Aidong Zhang	Modeling and Verification of Interactive Flexible Multimedia Presentations Using PROMELA/SPIN.	SPIN	2002	DBLP DOI BibTeX RDF
50	Dragan Bosnacki, Dennis Dams	Discrete-Time Promela and Spin.	FTRTFT	1998	DBLP DOI BibTeX RDF
39	Moataz Kamel, Stefan Leue	Formalization and Validation of the General Inter-ORB Protocol (GIOP) using PROMELA and SPIN.	Int. J. Softw. Tools Technol. Transf.	2000	DBLP DOI BibTeX RDF	General Inter-ORB Protocol, Promela/Spin, Model checking, Temporal logic, Specification patterns
35	Bob de Vos, Lennart C. L. Kats, Cornelis Pronk	EpiSpin: An Eclipse Plug-In for Promela/Spin Using Spoofax.	SPIN	2011	DBLP DOI BibTeX RDF
35	Ling Yin, Frédéric Mallet, Jing Liu 0012	Verification of MARTE/CCSL Time Requirements in Promela/SPIN.	ICECCS	2011	DBLP DOI BibTeX RDF
35	Erich Mikk, Yassine Lakhnech, Michael Siegel, Gerard J. Holzmann	Implementing Statecharts in PROMELA/SPIN.	WIFT	1998	DBLP DOI BibTeX RDF
29	Stefan Edelkamp	Promela Planning.	SPIN	2003	DBLP DOI BibTeX RDF
21	Chunyan Fu, Roch H. Glitho, Ferhat Khendek	A Novel Session Recovery Mechanism for Cluster-based Signaling Architecture for Conferencing in MANETs.	ICDCS Workshops	2007	DBLP DOI BibTeX RDF	Session Recovery, Clustering, MANETs, Signaling, Heartbeat
21	Ramazan Savas Aygün, Aidong Zhang	SynchRuler: A Rule-Based Flexible Synchronization Model with Model Checking.	IEEE Trans. Knowl. Data Eng.	2005	DBLP DOI BibTeX RDF	synchronization rules, model checking, multimedia presentations, Multimedia synchronization
21	Manuel J. Fernández-Iglesias, Martín Llamas Nistal	An Undergraduate Course on Protocol Engineering - How to Teach Formal Methods Without Scaring Students.	TFM	2004	DBLP DOI BibTeX RDF	undergraduate courses, Spin, Protocol engineering, Promela, case-based learning
21	Christopher P. Fuhrman	Lightweight models for interpreting informal specifications.	Requir. Eng.	2003	DBLP DOI BibTeX RDF	Informal specifications, Iterative software development, Lightweight models, Request for Comments (RFC), Trivial File Transfer, Protocol (TFTP)SPIN, Process, PROMELA
21	Juan Carlos Augusto, Yvonne Howard, Andrew M. Gravell, Carla Ferreira 0001, Stefan Gruner, Michael Leuschel	Model-Based Approaches for Validating Business Critical Systems.	STEP	2003	DBLP DOI BibTeX RDF