Search results for "Spin"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
5	Muffy Calder, Alice Miller	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
4	Martin Pelikan, Helmut G. Katzgraber	Analysis of evolutionary algorithms on the one-dimensional spin glass with power-law interactions.	GECCO	2009	DBLP DOI BibTeX RDF	hboa, power-law interactions, sherrington-kirkpatrick spin glass, ga, genetic algorithm, evolutionary computation, estimation of distribution algorithms, hybridization, physics, crossover, hierarchical boa, spin glass
4	Tim Kovse, Bostjan Vlaovic, Aleksander Vreze, Zmago Brezocnik	Eclipse Plug-In for Spin and st2msc Tools-Tool Presentation.	SPIN	2009	DBLP DOI BibTeX RDF
4	Oliver Sharma, Jonathan Lewis, Alice Miller, Alan Dearle, Dharini Balasubramaniam, Ronald Morrison, Joe Sventek	Towards Verifying Correctness of Wireless Sensor Network Applications Using Insense and Spin.	SPIN	2009	DBLP DOI BibTeX RDF	Wireless Sensor Networks, Distributed systems, Concurrency, Formal Modelling
4	Sebastian Schmerl, Michael Vogel, Hartmut König	Identifying Modeling Errors in Signatures by Model Checking.	SPIN	2009	DBLP DOI BibTeX RDF	Attack Signatures, Intrusion Detection, Computer Security, Signature Verification, Misuse Detection, Promela, Spin model checker
4	David Faragó, Peter H. Schmitt	Improving Non-Progress Cycle Checks.	SPIN	2009	DBLP DOI BibTeX RDF	Non-progress cycles, Model Checking, SPIN, partial order reduction, depth-first search, livelocks
4	Martin Pelikan, Helmut G. Katzgraber, Sigismund Kobe	Finding ground states of Sherrington-Kirkpatrick spin glasses with hierarchical boa and genetic algorithms.	GECCO	2008	DBLP DOI BibTeX RDF	hBOA, sherrington-kirkpatrick spin glass, sk spin glass, genetic algorithm, evolutionary computation, branch and bound, estimation of distribution algorithms, EDA, hierarchical boa
4	Viet Yen Nguyen, Theo C. Ruys	Incremental Hashing for Spin.	SPIN	2008	DBLP DOI BibTeX RDF
4	Anna Zaks, Rajeev Joshi	Verifying Multi-threaded C Programs with SPIN.	SPIN	2008	DBLP DOI BibTeX RDF
4	Gaurav Singh, Sandeep K. Shukla	Verifying Compiler Based Refinement of BluespecTM.	SPIN	2008	DBLP DOI BibTeX RDF	Bluespec System Verilog (BSV), Formal Verification, Hardware Designs, SPIN Model Checker
4	Alberto Lluch-Lafuente	Towards Model Checking Spatial Properties with SPIN.	SPIN	2007	DBLP DOI BibTeX RDF
4	Paul Gastin, Pierre Moro	Minimal Counterexample Generation for SPIN.	SPIN	2007	DBLP DOI BibTeX RDF
4	Xiang Wan, Guohui Lin	CISA: Combined NMR Resonance Connectivity Information Determination and Sequential Assignment.	IEEE/ACM Trans. Comput. Biology Bioinform.	2007	DBLP DOI BibTeX RDF	NMR sequential resonance assignment, spin system, spin system sequential connectivity, spin system residual signature, spin system assignment
4	Satoshi Sugahara, Masaaki Tanaka	Spin MOSFETs as a basis for spintronics.	TOS	2006	DBLP DOI BibTeX RDF	spin MOSFETs, spin transistors, MOSFETs, Spintronics
4	Corina S. Pasareanu, Dimitra Giannakopoulou	Towards a Compositional SPIN.	SPIN	2006	DBLP DOI BibTeX RDF	model checking, learning, Assume-guarantee reasoning
4	Gerrit Rothmaier, Tobias Kneiphoff, Heiko Krumm	Using SPIN and Eclipse for Optimized High-Level Modeling and Analysis of Computer Network Attack Models.	SPIN	2005	DBLP DOI BibTeX RDF
4	Gerard J. Holzmann, Theo C. Ruys	Effective Bug Hunting with Spin and Modex.	SPIN	2005	DBLP DOI BibTeX RDF
4	Paul Gastin, Pierre Moro, Marc Zeitoun	Minimization of Counterexamples in SPIN.	SPIN	2004	DBLP DOI BibTeX RDF
4	Theo C. Ruys, Gerard J. Holzmann	Advanced SPIN Tutorial.	SPIN	2004	DBLP DOI BibTeX RDF
4	Peter C. Dillinger, Panagiotis Manolios	Fast and Accurate Bitstate Verification for SPIN.	SPIN	2004	DBLP DOI BibTeX RDF
4	Murali Rangarajan, Samar Dajani-Brown, Kirk Schloegel, Darren D. Cofer	Analysis of Distributed Spin Applied to Industrial-Scale Models.	SPIN	2004	DBLP DOI BibTeX RDF
4	Jessica Chen, Hanmei Cui	Translation from Adapted UML to Promela for CORBA-Based Applications.	SPIN	2004	DBLP DOI BibTeX RDF	Model Checking, UML, Middleware, CORBA, SPIN, Distributed Object Systems, Formal Specification and Verification
4	Theo C. Ruys	Optimal Scheduling Using Branch and Bound with SPIN 4.0.	SPIN	2003	DBLP DOI BibTeX RDF
4	Ramazan Savas Aygün, Aidong Zhang	Modeling and Verification of Interactive Flexible Multimedia Presentations Using PROMELA/SPIN.	SPIN	2002	DBLP DOI BibTeX RDF
4	Paolo Maggi, Riccardo Sisto	Using SPIN to Verify Security Properties of Cryptographic Protocols.	SPIN	2002	DBLP DOI BibTeX RDF
4	Theo C. Ruys	SPIN Tutorial: How to Become a SPIN Doctor.	SPIN	2002	DBLP DOI BibTeX RDF
4	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
4	Marsha Chechik, Benet Devereux, Arie Gurfinkel	Model-Checking Infinite State-Space Systems with Fine-Grained Abstractions Using SPIN.	SPIN	2001	DBLP DOI BibTeX RDF
4	Fabrice Derepas, Paul Gastin	Model Checking Systems of Replicated Processes with Spin.	SPIN	2001	DBLP DOI BibTeX RDF
4	Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue	Directed Explicit Model Checking with HSF-SPIN.	SPIN	2001	DBLP DOI BibTeX RDF
4	Vivek K. Shanbhag, K. Gopinath	A SPIN-Based Model Checker for Telecommunication Protocols.	SPIN	2001	DBLP DOI BibTeX RDF
4	Jiri Barnat, Lubos Brim, Jitka Stríbrná	Distributed LTL Model-Checking in SPIN.	SPIN	2001	DBLP DOI BibTeX RDF
4	Flavio Lerda, Riccardo Sisto	Distributed-Memory Model Checking with SPIN.	SPIN	1999	DBLP DOI BibTeX RDF
4	Claudio Demartini, Radu Iosif, Riccardo Sisto	dSPIN: A Dynamic Extension of SPIN.	SPIN	1999	DBLP DOI BibTeX RDF
4	Injong Rhee	Optimizing a FIFO, scalable spin lock using consistent memory. (PDF / PS)	IEEE Real-Time Systems Symposium	1996	DBLP DOI BibTeX RDF	FIFO optimization, scalable spin lock, consistent memory, FIFO queue based scalable spin lock, non atomic read, atomic swap operation, timing guarantee, scalable mutual exclusion problem, NUMA architectures, FSSL algorithm, write operations, non atomic memory operations, weakly consistent memories, multiprocessors, shared memory systems, real time applications, atomic operations
3	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
3	Pedro Merino, Alberto Salmeron	Combining SPIN with ns-2 for Protocol Optimization.	SPIN	2010	DBLP DOI BibTeX RDF
3	Martin T. Vechev, Eran Yahav, Greta Yorsh	Experience with Model Checking Linearizability.	SPIN	2009	DBLP DOI BibTeX RDF
3	Mordechai Ben-Ari	Tool Presentation: Teaching Concurrency and Model Checking.	SPIN	2009	DBLP DOI BibTeX RDF
3	Wei Wang, Dongyao Ji	Using SPIN to Detect Vulnerabilities in the AACS Drive-Host Authentication Protocol.	FORTE	2008	DBLP DOI BibTeX RDF	AACS, Authenticity, SPIN, LTL, Collusion Attack, Model Checker
3	Alexander Khitun, Mingqiang Bao, Yina Wu, Ji-Young Kim, Augustin Hong, Ajey Jacob, Kosmas Galatsis, Kang L. Wang	Spin Wave Logic Circuit on Silicon Platform.	ITNG	2008	DBLP DOI BibTeX RDF	nanoscale architectures, logic circuit, spin waves
3	Todd R. Andel, Alec Yasinsac	Automated Evaluation of Secure Route Discovery in MANET Protocols.	SPIN	2008	DBLP DOI BibTeX RDF
3	Moonzoo Kim, Yunja Choi, Yunho Kim, Hotae Kim	Formal Verification of a Flash Memory Device Driver - An Experience Report.	SPIN	2008	DBLP DOI BibTeX RDF
3	Tonglaga Bao, Michael Jones	Model Checking Abstract Components within Concrete Software Environments.	SPIN	2008	DBLP DOI BibTeX RDF
3	Mary Mehrnoosh Eshaghian-Wilner, Alexander Khitun, Shiva Navab, Kang L. Wang	The spin-wave nanoscale reconfigurable mesh and the labeling problem.	JETC	2007	DBLP DOI BibTeX RDF	nanoscale architectures, image processing, reconfigurable mesh, Spin waves
3	Yunja Choi	From NuSMV to SPIN: Experiences with model checking flight guidance systems.	Formal Methods in System Design	2007	DBLP DOI BibTeX RDF	Flight guidance systems, Model checking, SPIN, NuSMV
3	Martin Pelikan, Alexander K. Hartmann	Obtaining ground states of ising spin glasses via optimizing bonds instead of spins.	GECCO	2007	DBLP DOI BibTeX RDF	problem transformation, genetic algorithm, hierarchical BOA, univariate marginal distribution algorithm, spin glass
3	Cong Tian, Zhenhua Duan	Model Checking Propositional Projection Temporal Logic Based on SPIN.	ICFEM	2007	DBLP DOI BibTeX RDF	Propositional Projection Temporal Logic, Model Checking, Verification, Spin, Automaton
3	Louis H. Kauffman, Samuel J. Lomonaco	Spin Networks, Quantum Topology and Quantum Computation.	WoLLIC	2007	DBLP DOI BibTeX RDF	braiding, spin network, Temperley - Lieb algebra, unitary representation, linking, knotting
3	Mordechai Ben-Ari	Teaching concurrency and nondeterminism with spin.	ITiCSE	2007	DBLP DOI BibTeX RDF	visualization, verification, concurrency, spin
3	Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino	Model Extraction for ARINC 653 Based Avionics Software.	SPIN	2007	DBLP DOI BibTeX RDF	apex, Real Time, software model checking, avionics, Model extraction
3	Kristin Y. Rozier, Moshe Y. Vardi	LTL Satisfiability Checking.	SPIN	2007	DBLP DOI BibTeX RDF
3	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
3	Michael Weber	An Embeddable Virtual Machine for State Space Generation.	SPIN	2007	DBLP DOI BibTeX RDF
3	Claus Traulsen, Jérôme Cornet, Matthieu Moy, Florence Maraninchi	A SystemC/TLM Semantics in Promelaand Its Possible Applications.	SPIN	2007	DBLP DOI BibTeX RDF
3	Alexander Khitun, Kang L. Wang	Nano Logic Circuits with Spin Wave Bus.	ITNG	2006	DBLP DOI BibTeX RDF	logic devices, spin waves, Spintronics
3	Federico Cristina, Sebastián H. Dapoto, Claudia Russo, Armando De Giusti, María José Abásolo	Mobile Path and Spin 3D Tracking and Reconstruction.	AMDO	2006	DBLP DOI BibTeX RDF	Image processing, objects tracking, spin, path
3	Indranil Saha, Suman Roy	A Finite State Modeling of AFDX Frame Management Using Spin.	FMICS/PDMC	2006	DBLP DOI BibTeX RDF	ARINC, AFDX frame management design, fault tolerance, verification, LTL, Industrial case study, Spin model checker, finite state modeling
3	Mary Mehrnoosh Eshaghian-Wilner, Alexander Khitun, Shiva Navab, Kang L. Wang	A nano-scale reconfigurable mesh with spin waves.	Conf. Computing Frontiers	2006	DBLP DOI BibTeX RDF	nano-scale architectures, reconfigurable mesh, spin waves
3	Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino	Abstract Matching for Software Model Checking.	SPIN	2006	DBLP DOI BibTeX RDF	Static Analysis, State Explosion, Model Extraction
3	Stefan Edelkamp, Shahid Jabbar	Large-Scale Directed Model Checking LTL.	SPIN	2006	DBLP DOI BibTeX RDF
3	Dragan Bosnacki, Stefan Leue, Alberto Lluch-Lafuente	Partial-Order Reduction for General State Exploring Algorithms.	SPIN	2006	DBLP DOI BibTeX RDF
3	Bram De Wachter, Alexandre Genon, Thierry Massart, Cédric Meuter	The formal design of distributed controllers with dSL and Spin.	Formal Asp. Comput.	2005	DBLP DOI BibTeX RDF	Transparent code distribution, Verification, Spin, Industrial process control
3	Carl Bracken, Gary McGuire	Characterization of SDP Designs That Yield Certain Spin Models.	Des. Codes Cryptography	2005	DBLP DOI BibTeX RDF	symmetric difference property, spin model, design, symplectic
3	Alastair F. Donaldson, Simon J. Gay	Etch: An Enhanced Type Checking Tool for Promela.	SPIN	2005	DBLP DOI BibTeX RDF
3	Abdul Sahid Khan, Madhavan Mukund, S. P. Suresh	Generic Verification of Security Protocols.	SPIN	2005	DBLP DOI BibTeX RDF
3	Sarfraz Khurshid, Iván García, Yuk Lai Suen	Repairing Structurally Complex Data.	SPIN	2005	DBLP DOI BibTeX RDF
3	Bas Luttik, Nikola Trcka	Stuttering Congruence for chi.	SPIN	2005	DBLP DOI BibTeX RDF
3	Dragan Bosnacki, Gerard J. Holzmann	Improving Spin's Partial-Order Reduction for Breadth-First Search.	SPIN	2005	DBLP DOI BibTeX RDF
3	Peter C. Dillinger, Panagiotis Manolios	Enhanced Probabilistic Verification with 3Spin and 3Murphi.	SPIN	2005	DBLP DOI BibTeX RDF
3	Salamah Salamah, Ann Q. Gates, Steve Roach, Oscar Mondragon	Verifying Pattern-Generated LTL Formulas: A Case Study.	SPIN	2005	DBLP DOI BibTeX RDF
3	Jaco Geldenhuys	State Caching Reconsidered.	SPIN	2004	DBLP DOI BibTeX RDF
3	Cormac Flanagan	Verifying Commit-Atomicity Using Model-Checking.	SPIN	2004	DBLP DOI BibTeX RDF
3	Stephen F. Siegel, George S. Avrunin	Verification of MPI-Based Software for Scientific Computation.	SPIN	2004	DBLP DOI BibTeX RDF
3	Muffy Calder, Alice Miller	Using SPIN to Analyse the Tree Identification Phase of the IEEE 1394 High-Performance Serial Bus (FireWire) Protocol.	Formal Asp. Comput.	2003	DBLP DOI BibTeX RDF	Model checking, Formal verification, SPIN
3	Hong Peng, Sofiène Tahar, Ferhat Khendek	Comparison of SPIN and VIS for protocol verification.	STTT	2003	DBLP DOI BibTeX RDF	VIS, Model checking, Protocols, Formal verification, SPIN
3	Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro, Paola Spoletini	Model-Checking TRIO Specifications in SPIN.	FME	2003	DBLP DOI BibTeX RDF	model checking, temporal logic, Spin, modular specifications
3	Deepak D'Souza, Madhavan Mukund	Checking Consistency of SDL+MSC Specifications.	SPIN	2003	DBLP DOI BibTeX RDF
3	Stefan Edelkamp	Promela Planning.	SPIN	2003	DBLP DOI BibTeX RDF
3	Sascha Konrad, Laura A. Campbell, Betty H. C. Cheng, Min Deng	A Requirements Patterns-Driven Approach to Specify Systems and Check Properties.	SPIN	2003	DBLP DOI BibTeX RDF
3	Dragan Bosnacki	A Light-Weight Algorithm for Model Checking with Symmetry Reduction and Weak Fairness.	SPIN	2003	DBLP DOI BibTeX RDF
3	Dragan Bosnacki, Dennis Dams, Leszek Holenderski	Symmetric Spin.	STTT	2002	DBLP DOI BibTeX RDF	Model checking, Spin, Symmetry reduction
3	María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel	alpha SPIN: Extending SPIN with Abstraction.	SPIN	2002	DBLP DOI BibTeX RDF
3	Michael L. Scott	Non-blocking timeout in scalable queue-based spin locks.	PODC	2002	DBLP DOI BibTeX RDF	spin locks, scalability, synchronization, timeout
3	Armelle Prigent, Franck Cassez, Philippe Dhaussy, Olivier Roux	Extending the Translation from SDL to Promela.	SPIN	2002	DBLP DOI BibTeX RDF	SDL formalism, save operator, model-checking, data abstraction
3	Christian Stehno	System Specification and Verification Using High Level Concepts - A Tool Demonstration.	SPIN	2002	DBLP DOI BibTeX RDF
3	James S. Pascoe, Roger J. Loader, Vaidy S. Sunderam	The Agreement Problem Protocol Verification Environment.	SPIN	2002	DBLP DOI BibTeX RDF
3	David A. Basin, Stefan Friedrich, Marek Gawkowski, Joachim Posegga	Bytecode Model Checking: An Experimental Analysis.	SPIN	2002	DBLP DOI BibTeX RDF
3	Wiebe van der Hoek, Michael Wooldridge	Model Checking Knowledge and Time.	SPIN	2002	DBLP DOI BibTeX RDF
3	Cindy Eisner, Doron Peled	Comparing Symbolic and Explicit Model Checking of a Software System.	SPIN	2002	DBLP DOI BibTeX RDF
3	Hyun-Wook Jin, Ki-Seok Bang, Chuck Yoo, Jin-Young Choi, Hojung Cha	Bottleneck Analysis of a Gigabit Network Interface Card: Formal Verification Approach.	SPIN	2002	DBLP DOI BibTeX RDF
3	Olga Shumsky Matlin, Ewing L. Lusk, William McCune	SPINning Parallel Systems Software.	SPIN	2002	DBLP DOI BibTeX RDF
3	Ki-Seok Bang, Jin-Young Choi, Chuck Yoo	Comments on 'The Model Checker SPIN'.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	ACSR, model checking, SPIN, process scheduling, LTL
3	Mats Bengtsson, Johan Schubert	Dempster-Shafer clustering using Potts spin mean field theory.	Soft Comput.	2001	DBLP DOI BibTeX RDF	Dempster, Shafer theory, Potts spin, Clustering, Neural network, Simulated annealing
3	Shin Nakajima, Tetsuo Tamai	Behavioural Analysis of the Enterprise JavaBeansTM Component Architecture.	SPIN	2001	DBLP DOI BibTeX RDF
3	Michael Baldamus, Jochen Schröder-Babo	p2b: A Translation Utility for Linking Promela and Symbolic Model Checking (Tool Paper).	SPIN	2001	DBLP DOI BibTeX RDF
3	Willem Visser, Howard Barringer	Practical CTL* Model Checking: Should SPIN be Extended?	STTT	2000	DBLP DOI BibTeX RDF	Büchi automata, Hesitant alternating automata, Model checking, Games, Spin
3	Moataz Kamel, Stefan Leue	Formalization and Validation of the General Inter-ORB Protocol (GIOP) using PROMELA and SPIN.	STTT	2000	DBLP DOI BibTeX RDF	General Inter-ORB Protocol, Promela/Spin, Model checking, Temporal logic, Specification patterns
3	René G. de Vries, Jan Tretmans	On-the-fly Conformance Testing using SPIN.	STTT	2000	DBLP DOI BibTeX RDF	Spin verification tool, Formal methods, Conformance testing, Test automation, Test generation algorithms
3	Nicholas Weininger, Darren D. Cofer	Modeling the ASCB-D Synchronization Algorithm with SPIN: A Case Study.	SPIN	2000	DBLP DOI BibTeX RDF