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 |
|