From

Institution

Field

Type

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

Reset

Papers matching “Docker” 55

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
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
DevOps for Automatic Train Operation with the DEFACTO Pipeline
2025 IEEE International Automated Vehicle Validation Conference (IAVVC) conference-paper Computer Science Software Engineering Techniques and Practices

Raphael Pfaff, Maria-Lenka Wolter, Luigi Ferraioli

1

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
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
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
GenUI: Interactive and Extensible Open Source Software Platform for De Novo Molecular Generation
2021 ChemRxiv preprint Computer Science Computational Drug Discovery Methods Open access

Martin Šícho, Xuhan Liu, Daniel Svozil, Gerard J. P. van Westen

0

citations
DiSSCo/dissco-export-job: v1.4.1-patch
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Research Data Management Practices Open access

Sam Leeflang, southeo

0

citations
GenUI: Interactive and Extensible Open Source Software Platform for De Novo Molecular Generation
2021 ChemRxiv preprint Computer Science Computational Drug Discovery Methods Open access

Martin Šícho, Xuhan Liu, Daniel Svozil, Gerard J. P. van Westen

0

citations
GenUI: Interactive and Extensible Open Source Software Platform for De Novo Molecular Generation
2021 ChemRxiv preprint Computer Science Computational Drug Discovery Methods Open access

Martin Šícho, Xuhan Liu, Daniel Svozil, Gerard J. P. van Westen

0

citations
DiSSCo/dissco-core-translator: v1.3.5-alpha
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Research Data Management Practices Open access

Sam Leeflang, southeo

0

citations
DiSSCo/dissco-core-annotation-processing-service: v1.4.2-alpha
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Research Data Management Practices Open access

Sam Leeflang, southeo, Sharif Islam

0

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
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
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
GALOIS: A Hybrid and Platform-Agnostic Stream Processing Architecture
2023 conference-paper Computer Science Advanced Database Systems and Queries Open access

Tarek Stolz, István Koren, Liam Tirpitz, Sandra Geisler

9

citations