From

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Reset

Papers matching “Docker image” 26

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

0

citations
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

0

citations
Tractable Hyperproperties for MDPs - Artifact
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Formal Methods in Verification Open access

Carolina Gerlach, Tobias Winkler, Erika Ábrahám, Borzoo Bonakdarpour, Sebastian Junges

0

citations
Artifact for "Probabilistic Model Checking Taken by Storm"
2026 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Formal Methods in Verification Open access

Matthias Volk, Linus Heck, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann

0

citations
Tractable Hyperproperties for MDPs - Artifact
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Formal Methods in Verification Open access

Carolina Gerlach, Tobias Winkler, Erika Ábrahám, Borzoo Bonakdarpour, Sebastian Junges

0

citations
Artifact for "Probabilistic Model Checking Taken by Storm"
2026 Radboud Repository (Radboud University) dataset Computer Science Formal Methods in Verification Open access

Matthias Volk, Linus Heck, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann

0

citations
Secrets Revealed in Container Images: An Internet-wide Study on Occurrence and Impact
2023 ACM Asia Conference on Computer and Communications Security (ASIA CCS) conference-paper Computer Science Web Application Security Vulnerabilities Open access

Markus Dahlmanns, Constantin Sander

22

citations
ENTIRETY — sEmanNTIc pRovisioning and govErning ioT devices in smart energY domain
2022 SoftwareX software-paper Computer Science Semantic Web and Ontologies Open access

Maliheh Haghgoo, Ilya Sychev, Antonello Monti, Frank H. P. Fitzek

6

citations
python-spectrometer
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Computational Physics and Python Applications Open access

Tobias Hangleiter, Simon Humpohl, Paul Surrey, René Otten

0

citations
Caesar: A Deductive Verifier for Probabilistic Programs (CAV26 Artifact)
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Logic, programming, and type systems Open access

Philipp Schröer, Kevin Batz, Umut Yiğit Dural, Darion Haase, Benjamin Lucien Kaminski, Joost-Pieter Katoen, +1 more

1

citations
Caesar: A Deductive Verifier for Probabilistic Programs (CAV26 Artifact)
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Logic, programming, and type systems Open access

Philipp Schröer, Kevin Batz, Umut Yiğit Dural, Darion Haase, Benjamin Lucien Kaminski, Joost-Pieter Katoen, +1 more

0

citations
FAIR Data Point
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Research Data Management Practices Open access

Luiz Olavo Bonino da Silva Santos, Rajaram Kaliyaperumal, Marek Suchánek, Jan Slifka, Mark D. Wilkinson

0

citations
Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Artifact Evaluation)
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Logic, programming, and type systems Open access

Philipp Schröer, Darion Haase, Joost-Pieter Katoen

0

citations
Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Artifact Evaluation)
2026 RWTH Publications (RWTH Aachen) article Computer Science Logic, programming, and type systems Open access

Philipp Schröer, Darion Haase, Joost-Pieter Katoen

0

citations
Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Artifact Evaluation)
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Logic, programming, and type systems Open access

Philipp Schröer, Darion Haase, Joost-Pieter Katoen

0

citations
FAIR Data Point
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Research Data Management Practices Open access

Luiz Olavo Bonino da Silva Santos, Rajaram Kaliyaperumal, Marek Suchánek, Jan Slifka, Mark D. Wilkinson

0

citations
Tools and Algorithms for Sound Multi-Objective Probabilistic Model Checking (Artifact)
2026 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Formal Methods in Verification Open access

Arnd Hartmanns, Tim Quatmann, Mark van Wijk

1

citations
MooViE – Engine for single-view visual analysis of multivariate data
2024 bioRxiv (Cold Spring Harbor Laboratory) preprint Computer Science Data Visualization and Analytics Open access

Anton Stratmann, Martin Beyß, Johann F. Jadebeck, Katharina Nöh

0

citations
Artifact for: Minimum Reachability Probabilities in Rectangular Automata with Random Clocks
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Formal Methods in Verification Open access

Joanna Delicaris, Erika Ábrahám, Anne Remke

0

citations
Datasets and figures from the "Design and evaluation of semantically-valid negative sample integration techniques for scalable semi-automated drug repurposing prediction pipelines in rare disease research" paper (BMC-Bioinformatics)
2025 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Computational Drug Discovery Methods Open access

0

citations
Artifact for Faster Signature Refinement for Branching Bisimilarity Minimization
2025 Zenodo (CERN European Organization for Nuclear Research) article Computer Science Formal Methods in Verification Open access

Maurice Laveaux, Jan Martens

0

citations
Artifact for Faster Signature Refinement for Branching Bisimilarity Minimization
2026 Zenodo (CERN European Organization for Nuclear Research) article Computer Science Formal Methods in Verification Open access

Maurice Laveaux, Jan Martens

0

citations
Artifact for Faster Signature Refinement for Branching Bisimilarity Minimization
2026 Zenodo (CERN European Organization for Nuclear Research) article Computer Science Formal Methods in Verification Open access

Maurice Laveaux, Jan Martens

0

citations
Artifact for: Minimum Reachability Probabilities in Rectangular Automata with Random Clocks
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Formal Methods in Verification Open access

Joanna Delicaris, Erika Ábrahám, Anne Remke

0

citations
Datasets and figures from the "Design and evaluation of semantically-valid negative sample integration techniques for scalable semi-automated drug repurposing prediction pipelines in rare disease research" paper (BMC-Bioinformatics)
2025 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Computational Drug Discovery Methods Open access

0

citations