Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID29th SPIN 2023: Paris, France
- Georgiana Caltais
, Christian Schilling:
Model Checking Software - 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings. Lecture Notes in Computer Science 13872, Springer 2023, ISBN 978-3-031-32156-6
Binary Decision Diagrams
- Lieuwe Vinkhuijzen, Thomas Grurl, Stefan Hillmich, Sebastiaan Brand, Robert Wille, Alfons Laarman:
Efficient Implementation of LIMDDs for Quantum Circuit Simulation. 3-21 - Giso H. Dal, Alfons Laarman, Peter J. F. Lucas:
ParaGnosis: A Tool for Parallel Knowledge Compilation. 22-37
Concurrency
- Hugues Evrard, Alastair F. Donaldson:
Model Checking Futexes. 41-58 - Chukri Soueidi, Yliès Falcone:
Sound Concurrent Traces for Online Monitoring. 59-80
Testing
- Bryant Israelsen, Landon Taylor, Zhen Zhang:
Efficient Trace Generation for Rare-Event Analysis in Chemical Reaction Networks. 83-102 - Roi Fogler, Itay Cohen, Doron Peled:
Accelerating Black Box Testing with Light-Weight Learning. 103-120
Synthesis
- Théo Matricon, Nathanaël Fijalkow, Gaëtan Margueritte:
WikiCoder: Learning to Write Knowledge-Powered Code. 123-140 - Benedikt Maderbacher, Stefan Schupp, Ezio Bartocci, Roderick Bloem, Dejan Nickovic, Bettina Könighofer:
Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties. 141-160
Explicit-State Model Checking
- Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba, Nikolaj Jensen Ulrik:
Elimination of Detached Regions in Dependency Graph Verification. 163-179 - Emil G. Henriksen, Alan M. Khorsid, Esben Nielsen, Theodor Risager, Jirí Srba, Adam M. Stück, Andreas S. Sørensen:
Potency-Based Heuristic Search with Randomness for Explicit Model Checking. 180-187 - Anton Wijs, Muhammad Osama:
GPUexplore 3.0: GPU Accelerated State Space Exploration for Concurrent Systems with Data. 188-197
a service of 
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.
last updated on 2024-05-15 21:41 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
