Not finding it? Sign in to also search OpenAlex live.
-
STLScope: artifact for "Diverse STL Counterexample Pools for Hybrid Automata: Generation and Selection" (SEFM 2026)2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Formal Methods in Verification Open access
Sergio Quijano, Arapatsakos Georg, Erika Abraham, Mahsa Varshosaz, Andrzej Wąsowski
0citations -
[Artifact] Arancini: A Hybrid Binary Translator for Weak Memory Model Architectures2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Parallel Computing and Optimization Techniques Open access
Sebastian Reimers, Dennis Sprokholt, Martin Fink, Theofilos Augoustis, Simon Kammermeier, Rodrigo Caetano de Oliveira Rocha, +4 more
0citations -
[Artifact] Arancini: A Hybrid Binary Translator for Weak Memory Model Architectures2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Parallel Computing and Optimization Techniques Open access
Sebastian Reimers, Dennis Sprokholt, Martin Fink, Theofilos Augoustis, Simon Kammermeier, Rodrigo C. O. Rocha, +4 more
0citations -
Open-Source Intelligent Tutoring System for Programming Exercises in Engineering Education; v1.0.12026 RWTH Publications (RWTH Aachen) software Computer Science Intelligent Tutoring Systems and Adaptive Learning Open access
Robert Helmut Walter Göllinger, Jens Daniel Simon Ahlers, Sebastian Stemmler
0citations
6 results