default search action

combined dblp search
author search
venue search
publication search

ask others

23rd SPIN(@ETAPS) 2016: Eindhoven, The Netherlands

> Home > Conferences and Workshops > SPIN
> Home > Conferences and Workshops > ETAPS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/spin/2016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/2016
Dragan Bosnacki, Anton Wijs:
Model Checking Software - 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings. Lecture Notes in Computer Science 9641, Springer 2016, ISBN 978-3-319-32581-1
- view
  authority control:
- export record
  dblp key:
  - conf/spin/AkrounSY16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/AkrounSY16
Lakhdar Akroun, Gwen Salaün, Lina Ye:
Automated Analysis of Asynchronously Communicating Systems. 1-18
- view
  authority control:
- export record
  dblp key:
  - conf/spin/Dimovski16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/Dimovski16
Aleksandar S. Dimovski:
Symbolic Game Semantics for Model Checking Program Families. 19-37
- view
  authority control:
- export record
  dblp key:
  - conf/spin/DragomirPT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/DragomirPT16
Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis:
Compositional Semantics and Analysis of Hierarchical Block Diagrams. 38-56
- view
  authority control:
- export record
  dblp key:
  - conf/spin/EdelkampG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/EdelkampG16
Stefan Edelkamp, Christoph Greulich:
Using SPIN for the Optimized Scheduling of Discrete Event Systems in Manufacturing. 57-77
- view
  authority control:
- export record
  dblp key:
  - conf/spin/GallardoMPS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/GallardoMPS16
María-del-Mar Gallardo, Pedro Merino, Laura Panizo, Alberto Salmerón:
River Basin Management with Spin. 78-96
- view
  authority control:
- export record
  dblp key:
  - conf/spin/GarciaMCF16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/GarciaMCF16
Mário Garcia, Felipe R. Monteiro, Lucas C. Cordeiro, Eddie Batista de Lima Filho:
ESBMC^QtOM: A Bounded Model Checking Tool to Verify Qt Applications. 97-103
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/spin/HoffmannIMNV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/HoffmannIMNV16
Ruth Hoffmann, Murray L. Ireland, Alice Miller, Gethin Norman, Sandor M. Veres:
Autonomous Agent Behaviour Modelled in PRISM - A Case Study. 104-110
- view
  authority control:
- export record
  dblp key:
  - conf/spin/HofmannNR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/HofmannNR16
Martin Hofmann, Christian Neukirchen, Harald Rueß:
Certification for μ-Calculus with Winning Strategies. 111-128
- view
  authority control:
- export record
  dblp key:
  - conf/spin/JensenLS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/JensenLS16
Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba:
Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization. 129-146
- view
  authority control:
- export record
  dblp key:
  - conf/spin/KamalesonPR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/KamalesonPR16
Nishanthan Kamaleson, David Parker, Jonathan E. Rowe:
Finite-Horizon Bisimulation Minimisation for Probabilistic Systems. 147-164
- view
  authority control:
- export record
  dblp key:
  - conf/spin/KhamespanahMSA16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/KhamespanahMSA16
Ehsan Khamespanah, Kirill Mechitov, Marjan Sirjani, Gul A. Agha:
Schedulability Analysis of Distributed Real-Time Sensor Network Applications Using Actor-Based Model Checking. 165-181
- view
  authority control:
- export record
  dblp key:
  - conf/spin/KhazemT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/KhazemT16
Kareem Khazem, Michael Tautschnig:
smid: A Black-Box Program Driver. 182-188
- view
  authority control:
- export record
  dblp key:
  - conf/spin/MateescuR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/MateescuR16
Radu Mateescu, José Ignacio Requeno:
On-the-Fly Model Checking for Extended Action-Based Probabilistic Operators. 189-207
- view
  authority control:
- export record
  dblp key:
  - conf/spin/MrazekBLB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/MrazekBLB16
Jan Mrázek, Petr Bauch, Henrich Lauko, Jiri Barnat:
SymDIVINE: Tool for Control-Explicit Data-Symbolic State Space Exploration. 208-213
- view
  authority control:
- export record
  dblp key:
  - conf/spin/ShankarP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/ShankarP16
Subash Shankar, Gilbert Pajela:
A Tool Integrating Model Checking into a C Verification Toolset. 214-224
- view
  authority control:
- export record
  dblp key:
  - conf/spin/ValmariV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/ValmariV16
Antti Valmari, Walter Vogler:
Fair Testing and Stubborn Sets. 225-243

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.