Search results for "spin"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
28	Alexandre David, Gerd Behrmann, Kim Guldstrand Larsen, Wang Yi 0001	Unification & Sharing in Timed Automata Verification.	SPIN	2003	DBLP DOI BibTeX RDF
28	Cormac Flanagan, Shaz Qadeer	Thread-Modular Model Checking.	SPIN	2003	DBLP DOI BibTeX RDF
28	David Garlan, Serge Khersonsky, Jung Soo Kim	Model Checking Publish-Subscribe Systems.	SPIN	2003	DBLP DOI BibTeX RDF
28	Steven Eker, José Meseguer 0001, Ambarish Sridharanarayanan	The Maude LTL Model Checker and Its Implementation.	SPIN	2003	DBLP DOI BibTeX RDF
28	Dragan Bosnacki, Stefan Leue (eds.)	Model Checking of Software, 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002, Proceedings	SPIN	2002	DBLP DOI BibTeX RDF
28	Dennis Dams	Abstraction in Software Model Checking: Principles and Practice (Tutorial Overview and Bibliography).	SPIN	2002	DBLP DOI BibTeX RDF
28	Tiziana Margaria, Oliver Niese, Bernhard Steffen	Demonstration of an Automated Integrated Test Environment for Web-Based Applications.	SPIN	2002	DBLP DOI BibTeX RDF
28	Benedikt Bollig, Martin Leucker, Michael Weber 0002	Local Parallel Model Checking for the Alternation-Free µ-Calculus.	SPIN	2002	DBLP DOI BibTeX RDF
28	Per Bjesse	Industrial Model Checking Based on Satisfiability Solvers.	SPIN	2002	DBLP DOI BibTeX RDF
28	Edmund M. Clarke	SAT-Based Counterexample Guided Abstraction Refinement.	SPIN	2002	DBLP DOI BibTeX RDF
28	Alex Groce, Willem Visser	Heuristic Model Checking for Java Programs.	SPIN	2002	DBLP DOI BibTeX RDF
28	Radu Iosif	Symmetry Reduction Criteria for Software Model Checking.	SPIN	2002	DBLP DOI BibTeX RDF
28	Patrick Cousot	Abstract Interpretation: Theory and Practice.	SPIN	2002	DBLP DOI BibTeX RDF
28	Harry C. Li, Kathi Fisler, Shriram Krishnamurthi	The Influence of Software Module Systems on Modular Verification.	SPIN	2002	DBLP DOI BibTeX RDF
28	Alberto Lluch-Lafuente, Stefan Edelkamp, Stefan Leue	Partial Order Reduction in Directed Model Checking.	SPIN	2002	DBLP DOI BibTeX RDF
28	Denis Lugiez, Peter Niebert, Sarah Zennou	Dynamic Bounds and Transition Merging for Local First Search.	SPIN	2002	DBLP DOI BibTeX RDF
28	Yves-Marie Quemener	A Typical Testing Problem: Validating WML Cellphones.	SPIN	2002	DBLP DOI BibTeX RDF
28	Matthew B. Dwyer (eds.)	Model Checking Software, 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001, Proceedings	SPIN	2001	DBLP DOI BibTeX RDF
28	Flavio Lerda, Willem Visser	Addressing Dynamic Issues of Program Model Checking.	SPIN	2001	DBLP DOI BibTeX RDF
28	Thomas Ball, Sriram K. Rajamani	Automatically Validating Temporal Safety Properties of Interfaces.	SPIN	2001	DBLP DOI BibTeX RDF
28	Doron A. Peled, Lenore D. Zuck	From Model Checking to a Temporal Proof.	SPIN	2001	DBLP DOI BibTeX RDF
28	Darren D. Cofer, Eric Engstrom, Robert P. Goldman, David J. Musliner, Steve Vestal	Applications of Model Checking at Honeywell Laboratories.	SPIN	2001	DBLP DOI BibTeX RDF
28	Bernhard Steffen, Tiziana Margaria, Volker Braun	Coarse-Granular Model Checking in Practice.	SPIN	2001	DBLP DOI BibTeX RDF
28	Javier Esparza, Keijo Heljanko	Implementing LTL Model Checking with Net Unfoldings.	SPIN	2001	DBLP DOI BibTeX RDF
28	Hubert Garavel, Radu Mateescu 0001, Irina M. Smarandache	Parallel State Space Construction for Model-Checking.	SPIN	2001	DBLP DOI BibTeX RDF	state space construction, model-checking, verification, distributed algorithms, labeled transition system, LOTOS
28	Rob Gerth	Model Checking if Your Life Depends on It a View from Intel's Trenches.	SPIN	2001	DBLP DOI BibTeX RDF
28	Scott D. Stoller, Yanhong A. Liu	Transformations for Model Checking Distributed Java Programs.	SPIN	2001	DBLP DOI BibTeX RDF
28	Leszek Holenderski	A Model Checking Project at Philips Research.	SPIN	2001	DBLP DOI BibTeX RDF
28	Guoping Jia, Susanne Graf	Verification Experiments on the MASCARA Protocol.	SPIN	2001	DBLP DOI BibTeX RDF
28	Jean-Charles Grégoire, Gerard J. Holzmann, Doron A. Peled (eds.)	The Spin Verification System, Proceedings of a DIMACS Workshop, New Brunswick, New Jersey, USA, August, 1996	The Spin Verification System	1997	DBLP DOI BibTeX RDF
28	Siedfried Löffler, Ahmed Serhrouchni	Creating implementations from Promela models.	The Spin Verification System	1996	DBLP DOI BibTeX RDF
28	Gerard J. Holzmann, Orna Kupferman	Not checking for closure under stuttering.	The Spin Verification System	1996	DBLP DOI BibTeX RDF
28	Sandeep K. Shukla, Daniel J. Rosenkrantz, S. S. Ravi	A simulation and validation tool for self-stabilizing protocols.	The Spin Verification System	1996	DBLP DOI BibTeX RDF
28	Jean-Charles Grégoire, Gerard J. Holzmann, Doron A. Peled	Preface.	The Spin Verification System	1996	DBLP BibTeX RDF
28	Fred S. Roberts, Bernard Chazelle, Stephen R. Mahaney	Foreword.	The Spin Verification System	1996	DBLP BibTeX RDF
28	Elie Najm, Frank Olsen	Protocol verification with reactive Promela/Rspin.	The Spin Verification System	1996	DBLP DOI BibTeX RDF
28	Stefan Leue, Peter B. Ladkin	Implementing and verifying MSC specifications using Promela/XSpin.	The Spin Verification System	1996	DBLP DOI BibTeX RDF
28	V. Natarajan, Gerard J. Holzmann	Outline for an operational semantics of Promela.	The Spin Verification System	1996	DBLP DOI BibTeX RDF
28	Gerard J. Holzmann, Doron A. Peled, Mihalis Yannakakis	On nested depth first search.	The Spin Verification System	1996	DBLP DOI BibTeX RDF
28	Jean-Charles Grégoire	State space compression with graph encoded sets.	The Spin Verification System	1996	DBLP DOI BibTeX RDF
28	John W. O'Leary, Bratin Saha, Mark R. Tuttle	Model Checking Transactional Memory with Spin.	ICDCS	2009	DBLP DOI BibTeX RDF
28	Jaewan Seo, Moonseong Kim, Sang-Hun Cho, Hyunseung Choo	An Energy and Distance Aware Data Dissemination Protocol Based on SPIN in Wireless Sensor Networks.	ICCSA (1)	2008	DBLP DOI BibTeX RDF	Data Dissemination Protocol, Wireless Sensor Networks, Energy Efficiency, Lifetime, SPMS
28	Yiran Chen 0001, Xiaobin Wang, Hai Li 0001, Harry Liu, Dimitar V. Dimitrov	Design Margin Exploration of Spin-Torque Transfer RAM (SPRAM).	ISQED	2008	DBLP DOI BibTeX RDF
28	Pieter H. Hartel, Theo C. Ruys, Marc C. W. Geilen	Scheduling Optimisations for SPIN to Minimise Buffer Requirements in Synchronous Data Flow.	FMCAD	2008	DBLP DOI BibTeX RDF
28	Gerard J. Holzmann, Dragan Bosnacki	The Design of a Multicore Extension of the SPIN Model Checker.	IEEE Trans. Software Eng.	2007	DBLP DOI BibTeX RDF	Logics and meanings of Programs, Model Checking, Distributed Programming, Models of Computation, Software/Program Verification
28	Andrei Bautu, Elena Bautu	Searching Ground States of Ising Spin Glasses with Genetic Algorithms and Binary Particle Swarm Optimization.	NICSO	2007	DBLP DOI BibTeX RDF
28	Miki Aoyagi, Sumio Watanabe	Resolution of Singularities and Stochastic Complexity of Complete Bipartite Graph-Type Spin Model in Bayesian Estimation.	MDAI	2007	DBLP DOI BibTeX RDF
28	Andrei Bautu, Elena Bautu, Henri Luchian	Particle Swarm Optimization Hybrids for Searching Ground States of Ising Spin Glasses.	SYNASC	2007	DBLP DOI BibTeX RDF
28	Martin Pelikan, Alexander K. Hartmann, Kumara Sastry	Hierarchical BOA, Cluster Exact Approximation, and Ising Spin Glasses.	PPSN	2006	DBLP DOI BibTeX RDF
28	Timothy Bisson, Scott A. Brandt, Darrell D. E. Long	NVCache: Increasing the Effectiveness of Disk Spin-Down Algorithms with Caching.	MASCOTS	2006	DBLP DOI BibTeX RDF
28	Makoto Uchida, Susumu Shirayama	A New Analysis Method for Complex Network Based on Dynamics of Spin Diffusion.	International Conference on Computational Science (3)	2006	DBLP DOI BibTeX RDF
28	Achraf Makni, Rafik Bouaziz, Faïez Gargouri	Formal Verification of an Optimistic Concurrency Control Algorithm using SPIN.	TIME	2006	DBLP DOI BibTeX RDF
28	Cristina Conde, Licesio J. Rodríguez-Aragón, Enrique Cabello	Automatic 3D Face Feature Points Extraction with Spin Images.	ICIAR (2)	2006	DBLP DOI BibTeX RDF
28	Joes Staal, Stiliyan Kalitzin, Max A. Viergever	A Trained Spin-Glass Model for Grouping of Image Primitives.	IEEE Trans. Pattern Anal. Mach. Intell.	2005	DBLP DOI BibTeX RDF
28	Jonathan Z. Sun	Spin-transfer Induced Switching in Magnetic Nanopillars.	ICMENS	2005	DBLP DOI BibTeX RDF
28	Alexandr A. Savinov	SPIN! Data Mining System Based on Component Architecture.	PKDD	2004	DBLP DOI BibTeX RDF
28	Yongjian Li, Rui Xue	Design of a CIL Connector to SPIN.	COMPSAC	2004	DBLP DOI BibTeX RDF
28	Eunice E. Santos, Gayathri Muthukrishnan	Efficient Simulation Based on Sweep Selection for 2-D and 3-D Ising Spin Models on Hierarchical Clusters.	IPDPS	2004	DBLP DOI BibTeX RDF
28	Vincent Beaudenon, Emmanuelle Encrenaz, Jean Lou Desbarbieux	Design Validation of ZCSP with SPIN.	ACSD	2003	DBLP DOI BibTeX RDF
28	Angelo Gargantini, Elvinia Riccobene, Salvatore Rinzivillo	Using Spin to Generate Testsfrom ASM Specifications.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
28	Grzegorz Kamieniarz, Ryszard Matysiak	Deterministic Large-Scale Simulations of the Low-Dimensional Magnetic Spin Systems.	PPAM	2003	DBLP DOI BibTeX RDF
28	Martha González	SPIN: A Toolkit for Distributed Scientific Computing.	SCCC	2003	DBLP DOI BibTeX RDF
28	Martin E. Dyer, Alistair Sinclair, Eric Vigoda, Dror Weitz	Mixing in Time and Space for Lattice Spin Systems: A Combinatorial View.	RANDOM	2002	DBLP DOI BibTeX RDF
28	S. Roy, G. Kar	Quantum Cryptography, Eavesdropping, and Unsharp Spin Measurement.	QCQC	1998	DBLP DOI BibTeX RDF
27	Kei Homma, Satoru Izumi, Yuki Abe, Kaoru Takahashi, Atsushi Togashi	Using the Model Checker Spin for Web Application Design.	SAINT	2010	DBLP DOI BibTeX RDF	Model Checking, Web Application, Spin
27	Hui Jin, Yue-ling Zhao, Da-zhi Wang	Optimal Scheduling for the Cleaning Spin Pack in Polyester Production.	HIS (1)	2009	DBLP DOI BibTeX RDF	Polyester filament, MNILP, spin pack, scheduling, Tabu search
27	Simon Kos, Marina Hruska, Scott A. Crooker, Avadh Saxena, Darryl L. Smith	Modeling Spin-Polarized Electron Transport in Semiconductors for Spintronics Applications.	Comput. Sci. Eng.	2007	DBLP DOI BibTeX RDF	semiconductor spintronics, electron charge, electronic spin, numerical solution
27	Peter Damaschke	Multiple Spin-Block Decisions.	Algorithmica	2006	DBLP DOI BibTeX RDF	Spin-block problem, Implementationlinebreak[4] issues, Multithreading, Online algorithms, Randomization
27	John Zahorjan, Edward D. Lazowska, Derek L. Eager	The Effect of Scheduling Discipline on Spin Overhead in Shared Memory Parallel Systems.	IEEE Trans. Parallel Distributed Syst.	1991	DBLP DOI BibTeX RDF	scheduling discipline, spin overhead, shared memory parallel systems, busywaiting, data-dependent execution, memoryarchitecture, scheduling, performance evaluation, parallel machines, spinning, multiprogramming, parallel processors
24	Feng Shi 0010, Yiorgos Makris	Enhancing Simulation Accuracy through Advanced Hazard Detection in Asynchronous Circuits.	IEEE Trans. Computers	2009	DBLP DOI BibTeX RDF
24	Edward G. Belaga, Daniel Grucker, Tarek Khalil, Jean Richert, Kees van Schenk Brill	Water as a Quantum Computing Device.	UC	2009	DBLP DOI BibTeX RDF
24	Toshiaki Aoki	Model Checking Multi-Task Software on Real-Time Operating Systems.	ISORC	2008	DBLP DOI BibTeX RDF
24	Alex Groce, Rajeev Joshi	Random testing and model checking: building a common framework for nondeterministic exploration.	WODA	2008	DBLP DOI BibTeX RDF	model checking, dynamic analysis, random testing, test frameworks
24	Annika Wolff, Paul Mulholland, Zdenek Zdráhal, Richard W. Joiner	Combining gameplay and narrative techniques to enhance the user experience of viewing galleries.	Comput. Entertain.	2007	DBLP DOI BibTeX RDF	child-friendly interface, content reuse, games, narrative
24	Jeffrey P. Rybczynski, Darrell D. E. Long, Ahmed Amer	Adapting Predictions and Workloads for Power Management.	MASCOTS	2006	DBLP DOI BibTeX RDF	Access Prediction, Disk Management, Energy Conservation, Power-Aware Computing
24	Shahid Jabbar, Stefan Edelkamp	I/O Efficient Directed Model Checking.	VMCAI	2005	DBLP DOI BibTeX RDF
24	Stéphane Louis Dit Picard, Samuel Degrande, Christophe Gransart, Christophe Chaillou, Grégory Saugis	VRML97 distributed authoring interface.	Web3D	2003	DBLP DOI BibTeX RDF	External Application Interface (EAI), Common Object Request Broker Architecture (CORBA), Virtual Reality Modeling Language (VRML), Collaborative Virtual Environment (CVE)
24	Taro Nagahama, Shinji Yuasa, Yoshishige Suzuki	Quantum Size Effect in Magnetic Tunnel Junctions with Single-Crystal Ultrathin Electrodes.	ICMENS	2003	DBLP DOI BibTeX RDF
24	Michael Schmitt, Maximilian Ibel, Anurag Acharya 0001, Klaus E. Schauser	Adaptive Receiver Notification for Non-Dedicated Workstation Clusters.	IEEE PACT	1998	DBLP DOI BibTeX RDF	Message Passing, Cluster Computing, SCI, Co-Scheduling, Active Messages
24	Andrea C. Arpaci-Dusseau, David E. Culler, Alan M. Mainwaring	Scheduling with Implicit Information in Distributed Systems.	SIGMETRICS	1998	DBLP DOI BibTeX RDF
24	John M. Mellor-Crummey, Michael L. Scott	Algorithms for Scalable Synchronization on Shared-Memory Multiprocessors.	ACM Trans. Comput. Syst.	1991	DBLP DOI BibTeX RDF
24	Anna R. Karlin, Kai Li 0001, Mark S. Manasse, Susan S. Owicki	Empirical Studies of Competitive Spinning for a Shared-Memory Multiprocessor.	SOSP	1991	DBLP DOI BibTeX RDF
24	D. G. McVitie, L. B. Wilson	The Stable Marriage Problem.	Commun. ACM	1971	DBLP DOI BibTeX RDF
23	Moonseong Kim, Matt W. Mutka, Hyunseung Choo	A Hierarchical Data Dissemination Protocol Using Probability-Based Clustering for Wireless Sensor Networks.	HCI (9)	2009	DBLP DOI BibTeX RDF	Data Dissemination Protocol, Wireless Sensor Networks (WSNs), Energy Efficiency, Network Lifetime, SPIN, SPMS
23	Amar Kumar Behera, Shiv G. Kapoor, Richard E. DeVor	A Classification and Coding System for Micro-Assembly.	IPAS	2008	DBLP DOI BibTeX RDF	micro-parts, micro-assembly, spin bearing, classification, coding
23	Haibin Ling, Kazunori Okada	An Efficient Earth Mover's Distance Algorithm for Robust Histogram Comparison.	IEEE Trans. Pattern Anal. Mach. Intell.	2007	DBLP DOI BibTeX RDF	histogram-based descriptor, interest point matching, shape matching, SIFT, transportation problem, Earth Mover's Distance, shape context, spin image
23	Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis	Intrusion Attack Tactics for the Model Checking of e-Commerce Security Guarantees.	SAFECOMP	2007	DBLP DOI BibTeX RDF	intrusion attacks, e-commerce protocols, model checking, SPIN
23	Indranil Saha, Debapriyay Mukhopadhyay	A Distributed Algorithm of Fault Recovery for Stateful Failover.	TAMC	2007	DBLP DOI BibTeX RDF	stateful failover, verification of programs, distributed algorithm, SPIN model checker
23	Domenico Bianculli, Paola Spoletini, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro	Model Checking Temporal Metric Specifications with Trio2Promela.	FSEN	2007	DBLP DOI BibTeX RDF	model checking, temporal logic, Spin
23	Rafael H. Bordini, Michael Fisher 0001, Willem Visser, Michael J. Wooldridge	Verifying Multi-agent Programs by Model Checking.	Auton. Agents Multi Agent Syst.	2006	DBLP DOI BibTeX RDF	AgentSpeak, JPF, Model checking, Spin, Agent-oriented programming
23	Xi Chen 0024, Harry Hsieh, Felice Balarin	Verification Approach of Metropolis Design Framework for Embedded Systems.	Int. J. Parallel Program.	2006	DBLP DOI BibTeX RDF	metropolis, simulation, formal verification, meta-model, spin, LTL, property, LOC
23	Yi Liu, Hongbin Zha, Hong Qin 0001	The Generalized Shape Distributions for Shape Matching and Analysis.	SMI	2006	DBLP DOI BibTeX RDF	Shape distributions, Vector quantization and spatial layouts, Spin images
23	Stéphane Maag, Fatiha Zaïdi	Testing methodology for an ad hoc routing protocol.	PM2HW2N	2006	DBLP DOI BibTeX RDF	PLTL, ad hoc network protocols, simulations, model checking, verification, testing, SPIN
23	John Penix, Willem Visser, Seungjoon Park, Corina S. Pasareanu, Eric Engstrom, Aaron Larson, Nicholas Weininger	Verifying Time Partitioning in the DEOS Scheduling Kernel.	Formal Methods Syst. Des.	2005	DBLP DOI BibTeX RDF	program model checking, time partitioning, verification, spin, predicate abstraction
23	YoungJoon Byun, Beverly A. Sanders	A pattern-based development methodology for communication protocols.	SAC	2005	DBLP DOI BibTeX RDF	design pattern, communication protocols, pattern language, development methodology, SPIN model checker
23	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
23	Noga Alon, Konstantin Makarychev, Yury Makarychev, Assaf Naor	Quadratic forms on graphs.	STOC	2005	DBLP DOI BibTeX RDF	Grothendieck's inequaity, rounding techniques, correlation clustering, spin glasses
23	Jeffrey P. Rybczynski, Darrell D. E. Long, Ahmed Amer	Expecting the unexpected: adaptation for predictive energy conservation.	StorageSS	2005	DBLP DOI BibTeX RDF	disk spin-down, mobile computing, prediction, power management, prefetching, adaptive policies
23	Twan Basten, Dragan Bosnacki, Marc Geilen	Cluster-Based Partial-Order Reduction.	Autom. Softw. Eng.	2004	DBLP DOI BibTeX RDF	(LTL) model checking, concurrency, formal verification, SPIN, partial-order reduction, state explosion
23	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