Search results for "spin"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
44	Stephen F. Siegel	Verifying Parallel Programs with MPI-Spin.	PVM/MPI	2007	DBLP DOI BibTeX RDF
44	Yang Li, William A. P. Smith, Edwin R. Hancock	Face Recognition with Irregular Region Spin Images.	SCIA	2007	DBLP DOI BibTeX RDF
44	Gerard J. Holzmann, Dragan Bosnacki	Multi-Core Model Checking with SPIN.	IPDPS	2007	DBLP DOI BibTeX RDF
44	Thomas P. Hayes	A simple condition implying rapid mixing of single-site dynamics on spin systems.	FOCS	2006	DBLP DOI BibTeX RDF
44	Masaaki Tanaka	Injecting and controlling spin populations and currents in semiconductors using optically induced quantum interference effects.	ICMENS	2005	DBLP DOI BibTeX RDF
44	Jürgen Assfalg, Alberto Del Bimbo, Pietro Pala	Spin Images for Retrieval of 3D Objects by Local and Global Similarity.	ICPR (3)	2004	DBLP DOI BibTeX RDF
44	Adrijean Andriahantenaina, Hervé Charlery, Alain Greiner, Laurent Mortiez, César Albenes Zeferino	SPIN: A Scalable, Packet Switched, On-Chip Micro-Network.	DATE	2003	DBLP DOI BibTeX RDF	Embedded Systems, Systems-on-Chip, Networks-on-Chip
44	Mark Johnson	Spintronics, and Electrical Spin Injection in a Two Dimensional Electron Gas.	ICMENS	2003	DBLP DOI BibTeX RDF
44	Min Shen, Semion Saikin, Ming-C. Cheng, Vladimir Privman	Monte Carlo Simulation of Spin-Polarized Transport.	ICCSA (2)	2003	DBLP DOI BibTeX RDF
44	Eunice E. Santos, Shuangtong Feng, Jeffrey M. Rickman	Efficient Parallel Algorithms for 2-Dimensional Ising Spin Models.	IPDPS	2002	DBLP DOI BibTeX RDF
44	Gerald C. Gannod, Sunil Gupta	An Automated Tool for Analyzing Petri Nets Using SPIN.	ASE	2001	DBLP DOI BibTeX RDF
44	Hong Peng, Sofiène Tahar, Ferhat Khendek	SPIN vs. VIS: A Case Study on the Formal Verification of the ATMR Protocol.	ICFEM	2000	DBLP DOI BibTeX RDF
43	Wei Wang 0062, 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
43	Mordechai Ben-Ari	Teaching concurrency and nondeterminism with spin.	ITiCSE	2007	DBLP DOI BibTeX RDF	visualization, verification, concurrency, spin
43	Hong Peng, Sofiène Tahar, Ferhat Khendek	Comparison of SPIN and VIS for protocol verification.	Int. J. Softw. Tools Technol. Transf.	2003	DBLP DOI BibTeX RDF	VIS, Model checking, Protocols, Formal verification, SPIN
43	Dragan Bosnacki, Dennis Dams, Leszek Holenderski	Symmetric Spin.	Int. J. Softw. Tools Technol. Transf.	2002	DBLP DOI BibTeX RDF	Model checking, Spin, Symmetry reduction
43	Michael L. Scott	Non-blocking timeout in scalable queue-based spin locks.	PODC	2002	DBLP DOI BibTeX RDF	spin locks, scalability, synchronization, timeout
43	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
43	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
43	Diego Latella, István Majzik, Mieke Massink	Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker.	Formal Aspects Comput.	1999	DBLP DOI BibTeX RDF	UML Statechart Diagrams, Model-checking, Program transformation, SPIN, PROMELA
41	Marko B. Popovic, Andreas G. Hofmann, Hugh M. Herr	Angular Momentum Regulation during Human Walking: Biomechanics and Control.	ICRA	2004	DBLP DOI BibTeX RDF
40	Larkhoon Leem, James A. Weaver, Metha Jeeradit, James S. Harris Jr.	Nano-magnetic non-volatile CMOS circuits for nano-scale FPGAs (abstract only).	FPGA	2010	DBLP DOI BibTeX RDF	spin-torque devices, fpga, spintronics
40	Michael Leuschel	The High Road to Formal Validation: .	ABZ	2008	DBLP DOI BibTeX RDF	Model Checking, Tool Support, Spin, B-Method, Symmetry Reduction
40	María-del-Mar Gallardo, Pedro Merino 0001, Ernesto Pimentel 0001	A generalized semantics of PROMELA for abstract model checking.	Formal Aspects Comput.	2004	DBLP DOI BibTeX RDF	Model checking, Abstraction, spin, Structured operational semantics, promela
40	Xiang Fu 0001, Tevfik Bultan, Jianwen Su	Analysis of interacting BPEL web services.	WWW	2004	DBLP DOI BibTeX RDF	synchronizability, web service, model checking, xpath, BPEL, conversation, asynchronous communication, spin
39	Daniel Gnad 0001, Patrick Dubbert, Alberto Lluch-Lafuente, Jörg Hoffmann 0001	Star-Topology Decoupling in SPIN.	SPIN	2018	DBLP DOI BibTeX RDF
39	Daniel Ratiu, Andreas Ulrich	Increasing usability of spin-based C code verification using a harness definition language: leveraging model-driven code checking to practitioners.	SPIN	2017	DBLP DOI BibTeX RDF
39	María-del-Mar Gallardo, Pedro Merino 0001, Laura Panizo, Alberto Salmerón	River Basin Management with Spin.	SPIN	2016	DBLP DOI BibTeX RDF
39	Stefan Edelkamp, Christoph Greulich	Using SPIN for the Optimized Scheduling of Discrete Event Systems in Manufacturing.	SPIN	2016	DBLP DOI BibTeX RDF
39	Ezio Bartocci, Richard DeFrancisco, Scott A. Smolka	Towards a GPGPU-parallel SPIN model checker.	SPIN	2014	DBLP DOI BibTeX RDF
39	Noomene Ben Henda	Generic and efficient attacker models in SPIN.	SPIN	2014	DBLP DOI BibTeX RDF
39	Zmago Brezocnik, Bostjan Vlaovic, Aleksander Vreze	SpinRCP: the eclipse rich client platform integrated development environment for the spin model checker.	SPIN	2014	DBLP DOI BibTeX RDF
39	Theo C. Ruys	Unit testing for SPIN: runspin and parsepan.	SPIN	2014	DBLP DOI BibTeX RDF
39	Yong Jiang, Zongyan Qiu	S2N: Model Transformation from SPIN to NuSMV - (Tool Paper).	SPIN	2012	DBLP DOI BibTeX RDF
39	Gerard J. Holzmann	Parallelizing the Spin Model Checker.	SPIN	2012	DBLP DOI BibTeX RDF
39	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
39	Pedro Merino 0001, Alberto Salmerón	Combining SPIN with ns-2 for Protocol Optimization.	SPIN	2010	DBLP DOI BibTeX RDF
39	Klaus Havelund, John Penix, Willem Visser (eds.)	SPIN Model Checking and Software Verification, 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000, Proceedings	SPIN	2000	DBLP DOI BibTeX RDF
39	Wayne Liu	Interaction Abstraction for Compositional Finite State Systems.	SPIN	2000	DBLP DOI BibTeX RDF
39	Philippa J. Broadfoot, A. W. Roscoe 0001	Tutorial on FDR and Its Applications.	SPIN	2000	DBLP DOI BibTeX RDF
39	Jerry J. Harrow	Runtime Checking of Multithreaded Applications with Visual Threads.	SPIN	2000	DBLP DOI BibTeX RDF
39	Elena Fersman, Bengt Jonsson 0001	Abstraction of Communication Channels in Promela: A Case Study.	SPIN	2000	DBLP DOI BibTeX RDF
39	Doron Drusinsky	The Temporal Rover and the ATG Rover.	SPIN	2000	DBLP DOI BibTeX RDF
39	Thomas Ball, Sriram K. Rajamani	Bebop: A Symbolic Model Checker for Boolean Programs.	SPIN	2000	DBLP DOI BibTeX RDF
39	Scott D. Stoller	Model-Checking Multi-threaded Distributed Java Programs.	SPIN	2000	DBLP DOI BibTeX RDF
39	Matthieu Martel, Marc Gengler	Communication Topology Analysis for Concurrent Programs.	SPIN	2000	DBLP DOI BibTeX RDF
39	Ed Brinksma, Angelika Mader	Verification and Optimization of a PLC Control Schedule.	SPIN	2000	DBLP DOI BibTeX RDF
39	Klaus Havelund	Using Runtime Analysis to Guide Model Checking of Java Programs.	SPIN	2000	DBLP DOI BibTeX RDF
39	James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby	A Language Framework for Expressing Checkable Properties of Dynamic Software.	SPIN	2000	DBLP DOI BibTeX RDF
39	Radu Iosif, Riccardo Sisto	Using Garbage Collection in Model Checking.	SPIN	2000	DBLP DOI BibTeX RDF
39	Mila E. Majster-Cederbaum, Frank Salger	Correctness by Construction: Towards Verification in Hierarchical System Development.	SPIN	2000	DBLP DOI BibTeX RDF
39	Bengi Karaçali, Kuo-Chung Tai	Model Checking Based on Simultaneous Reachability Analysis.	SPIN	2000	DBLP DOI BibTeX RDF
39	Dennis Dams, Rob Gerth, Stefan Leue, Mieke Massink (eds.)	Theoretical and Practical Aspects of SPIN Model Checking, 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24 1999, Proceedings	SPIN	1999	DBLP DOI BibTeX RDF
39	Carl B. Adekunle, Steve A. Schneider	Detecting Feature Interactions in the Terrestrial Trunked Radio (TETRA) Network Using Promela and Xspin.	SPIN	1999	DBLP DOI BibTeX RDF
39	Klaus Havelund, Jens U. Skakkebæk	Applying Model Checking in Java Verification.	SPIN	1999	DBLP DOI BibTeX RDF
39	Dan Craigen	Formal Methods Adoption: What's Working, What's Not!	SPIN	1999	DBLP DOI BibTeX RDF
39	John M. Rushby	Integrated Formal Verification: Using Model Checking with Automated Abstraction, Invariant Generation, and Theorem Proving.	SPIN	1999	DBLP DOI BibTeX RDF
39	Theo C. Ruys	Xspin/Project - Integrated Validation Management for Xspin.	SPIN	1999	DBLP DOI BibTeX RDF
39	Moataz Kamel, Stefan Leue	VIP: A Visual Interface for Promela.	SPIN	1999	DBLP DOI BibTeX RDF
39	Marsha Chechik, Dimitrie O. Paun	Events in Property Patterns.	SPIN	1999	DBLP DOI BibTeX RDF
39	Klaus Havelund	Java PathFinder, A Translator from Java to Promela.	SPIN	1999	DBLP DOI BibTeX RDF
39	María-del-Mar Gallardo, Pedro Merino 0001	A Framework for Automatic Construction of Abstract Promela Models.	SPIN	1999	DBLP DOI BibTeX RDF
39	Javier Tuya, José Ramón de Diego, Claudio de la Riva, José A. Corrales	Dynamic analysis of SA/RT models using Spin and modular verification.	The Spin Verification System	1996	DBLP DOI BibTeX RDF
39	Pedro Merino 0001, José María Troya Linero	Modelling and verification of the MCS layer with Spin.	The Spin Verification System	1996	DBLP DOI BibTeX RDF
39	Willem Visser, Howard Barringer	Memory efficient state storage in Spin.	The Spin Verification System	1996	DBLP DOI BibTeX RDF
39	Henrik Ejersbo Jensen, Kim G. Larsen, Arne Skou	Modelling and analysis of a collision avoidance protocol using Spin and Uppaal.	The Spin Verification System	1996	DBLP DOI BibTeX RDF
39	Pim Kars	The application of Promela and Spin in the BOS project.	The Spin Verification System	1996	DBLP DOI BibTeX RDF
39	Juliana Simeão Borges, Vitor Cardoso Costa, Milena Suemi Irie, Gabriella Lopes de Rezende Barbosa, Rubens Spin-Neto, Priscilla Barbosa Ferreira Soares	Definition of the Region of Interest for the Assessment of Alveolar Bone Repair Using Micro-computed Tomography.	J. Digit. Imaging	2023	DBLP DOI BibTeX RDF
39	Germana de Queiroz Tavares Borges Mesquita, Walbert A. Vieira, Maria Tereza Campos Vidigal, Bruno Augusto Nassif Travençolo, Thiago Leite Beaini, Rubens Spin-Neto, Luiz Renato Paranhos, Rui Barbosa de Brito Júnior	Artificial Intelligence for Detecting Cephalometric Landmarks: A Systematic Review and Meta-analysis.	J. Digit. Imaging	2023	DBLP DOI BibTeX RDF
39	L. M. Spin, M. C. F. Donkers	Dissipativity of Linear Periodic Jump-Flow Systems with Application to Sampled-Data Controller Synthesis.	CoRR	2023	DBLP DOI BibTeX RDF
39	Luuk M. Spin, Chris Verhoek, W. P. Maurice H. Heemels, Nathan van de Wouw, Roland Tóth	Unified Behavioral Data-Driven Performance Analysis: A Generalized Plant Approach.	CoRR	2023	DBLP DOI BibTeX RDF
39	Zan-Jun Wang, Ching-Chun Jim Huang, Shih-Wei Liao, Zih-shiuan Spin Yuan	A Two-Way Atomic Exchange Protocol for Peer-to-Peer Data Trading.	SAI (3)	2022	DBLP DOI BibTeX RDF
39	Ching-Hua Vivian Lin, Ching-Chun Jim Huang, Yang-Hao Yuan, Zih-shiuan Spin Yuan	A Fully Decentralized Infrastructure for Subscription-based IoT Data Trading.	Blockchain	2020	DBLP DOI BibTeX RDF
39	Rubens Spin-Neto, Erik Gotfredsen, Ann Wenzel	Impact of Voxel Size Variation on CBCT-Based Diagnostic Outcome in Dentistry: a Systematic Review.	J. Digit. Imaging	2013	DBLP DOI BibTeX RDF
39	Rubens Spin-Neto, Elcio Marcantonio, Erik Gotfredsen, Ann Wenzel	Exploring CBCT-Based DICOM Files. A Systematic Review on the Properties of Images Used to Evaluate Maxillofacial Bone Grafts.	J. Digit. Imaging	2011	DBLP DOI BibTeX RDF
39	Christoph Tribowski, Karsten Spin, Oliver Günther 0001, Olaf Sielemann	Storing data on RFID tags: A standards-based approach.	ECIS	2009	DBLP BibTeX RDF
39	Christoph Tribowski, Karsten Spin, Oliver Günther 0001, Olaf Sielemann	Unternehmensübergreifende RFID-Anwendungen.	PBFT	2009	DBLP BibTeX RDF
36	Martin T. Vechev, Eran Yahav, Greta Yorsh	Experience with Model Checking Linearizability.	SPIN	2009	DBLP DOI BibTeX RDF
36	Tonglaga Bao, Michael D. Jones	Model Checking Abstract Components within Concrete Software Environments.	SPIN	2008	DBLP DOI BibTeX RDF
36	Todd R. Andel, Alec Yasinsac	Automated Evaluation of Secure Route Discovery in MANET Protocols.	SPIN	2008	DBLP DOI BibTeX RDF
36	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
36	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
36	Kristin Y. Rozier, Moshe Y. Vardi	LTL Satisfiability Checking.	SPIN	2007	DBLP DOI BibTeX RDF
36	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
36	Michael Weber 0002	An Embeddable Virtual Machine for State Space Generation.	SPIN	2007	DBLP DOI BibTeX RDF
36	Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino 0001	Abstract Matching for Software Model Checking.	SPIN	2006	DBLP DOI BibTeX RDF	Static Analysis, State Explosion, Model Extraction
36	Stefan Edelkamp, Shahid Jabbar	Large-Scale Directed Model Checking LTL.	SPIN	2006	DBLP DOI BibTeX RDF
36	Sarfraz Khurshid, Iván García, Yuk Lai Suen	Repairing Structurally Complex Data.	SPIN	2005	DBLP DOI BibTeX RDF
36	Peter C. Dillinger, Panagiotis Manolios	Enhanced Probabilistic Verification with 3Spin and 3Murphi.	SPIN	2005	DBLP DOI BibTeX RDF
36	Bas Luttik, Nikola Trcka	Stuttering Congruence for chi.	SPIN	2005	DBLP DOI BibTeX RDF
36	Stephen F. Siegel, George S. Avrunin	Verification of MPI-Based Software for Scientific Computation.	SPIN	2004	DBLP DOI BibTeX RDF
36	Jaco Geldenhuys	State Caching Reconsidered.	SPIN	2004	DBLP DOI BibTeX RDF
36	Cormac Flanagan	Verifying Commit-Atomicity Using Model-Checking.	SPIN	2004	DBLP DOI BibTeX RDF
36	Deepak D'Souza, Madhavan Mukund	Checking Consistency of SDL+MSC Specifications.	SPIN	2003	DBLP DOI BibTeX RDF
36	Dragan Bosnacki	A Light-Weight Algorithm for Model Checking with Symmetry Reduction and Weak Fairness.	SPIN	2003	DBLP DOI BibTeX RDF
36	Armelle Prigent, Franck Cassez, Philippe Dhaussy, Olivier F. Roux	Extending the Translation from SDL to Promela.	SPIN	2002	DBLP DOI BibTeX RDF	SDL formalism, save operator, model-checking, data abstraction
36	Christian Stehno	System Specification and Verification Using High Level Concepts - A Tool Demonstration.	SPIN	2002	DBLP DOI BibTeX RDF
36	David A. Basin, Stefan Friedrich 0001, Marek Gawkowski, Joachim Posegga	Bytecode Model Checking: An Experimental Analysis.	SPIN	2002	DBLP DOI BibTeX RDF
36	Wiebe van der Hoek, Michael J. Wooldridge	Model Checking Knowledge and Time.	SPIN	2002	DBLP DOI BibTeX RDF
36	Cindy Eisner, Doron A. Peled	Comparing Symbolic and Explicit Model Checking of a Software System.	SPIN	2002	DBLP DOI BibTeX RDF