From

Institution

Field

Type

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

Reset

Papers matching “Java” 32

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

Two Things Every Java Developer Should Know
2021 IEEE Software article Computer Science Logic, programming, and type systems Open access

Felienne Hermans

0

citations
Leveraging LLMs for Automated Translation of Legacy Code: A Case Study on PL/SQL to Java Transformation
2025 International Conference on Evaluation and Assessment in Software Engineering (EASE) conference-paper Computer Science Software Engineering Research Open access

Lola Solovyeva, Eduardo Carneiro de Oliveira, Shiyu Fan, Alper Tuncay, Shamil Gareev, Andrea Capiluppi

0

citations
Geospatial analysis of Indonesia's bankable utility-scale solar PV potential using elements of project finance
2023 Energy article Computer Science Solar Radiation and Photovoltaics Open access

Jannis Langer, Zenlin Kwee, Yilong Zhou, Olindo Isabella, Ziad Ashqar, Jaco Quist, +2 more

13

citations
JATOS/JATOS: JATOS v3.10.4
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Mobile Crowdsensing and Crowdsourcing Open access

Kristian Lange, Jelle Pleunes, Poulami Ghosh, Jori, Émile Enguehard, Shreshth Saxena, +1 more

0

citations
JATOS/JATOS: JATOS v3.10.4
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Mobile Crowdsensing and Crowdsourcing Open access

Kristian Lange, Jelle Pleunes, Poulami Ghosh, Jori, Émile Enguehard, Shreshth Saxena, +1 more

0

citations
Software Evolution of I4.0 Digital Twins with Semantic Patching
2024 IEEE International Symposium on Industrial Electronics (ISIE) conference-paper Computer Science Software Engineering Research Open access

Nico Braunisch, Sebastian Heppner, Igor Garmaev, Marko Ristin, Torben Miny, Tobias Kleinert, +2 more

9

citations
Verifying OpenJDK’s LinkedList using KeY (extended paper)
2022 International Journal on Software Tools for Technology Transfer article Computer Science Logic, programming, and type systems Open access

Hans-Dieter A. Hiep, Olaf Maathuis, Jinting Bian, Frank S. de Boer, Stijn de Gouw

5

citations
Integrating ADTs in KeY and their application to history-based reasoning about collection
2022 Formal Methods in System Design article Computer Science Logic, programming, and type systems Open access

Jinting Bian, Hans-Dieter A. Hiep, Frank S. de Boer, Stijn de Gouw

1

citations
TOSSS: a CVE-based Software Security Benchmark for Large Language Models
2026 arXiv (Cornell University) preprint Computer Science Software Engineering Research Open access

Marc Damie, Murat Bilgehan Ertan, Domenico Essoussi, Angela Makhanu, Gaëtan Peter, Roos Wensveen

0

citations
Modeling in advanced systems engineering
2022 Software & Systems Modeling article Computer Science Model-Driven Software Engineering Techniques Open access

Jeff Gray, Bernhard Rumpe⋆

0

citations
TOSSS: a CVE-based Software Security Benchmark for Large Language Models
2026 Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands other Computer Science Software Engineering Research Open access

Marc Damie, Murat Bilgehan Ertan, Domenico Essoussi, Angela Makhanu, Gaëtan Peter, Roos Wensveen

0

citations
Analysis and Formal Specification of OpenJDK’s BitSet
2023 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Andy S. Tatman, Hans-Dieter A. Hiep, Stijn de Gouw

1

citations
Formal Specification and Analysis of OpenJDK's BitSet class: Proof files
2023 Zenodo (CERN European Organization for Nuclear Research) dissertation Computer Science Logic, programming, and type systems Open access

Andy S. Tatman

0

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

Sam Leeflang

0

citations
cthoyt/class-resolver: v0.8.1
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Software Engineering Research Open access

Charles Tapley Hoyt, Max Berrendorf, Chris Mungall, Matthias Fey, Patrick Kalita

0

citations
Formal Specification and Analysis of OpenJDK's BitSet class: Proof files
2023 Zenodo (CERN European Organization for Nuclear Research) dissertation Computer Science Logic, programming, and type systems Open access

Andy S. Tatman

0

citations
Formal Specification and Analysis of OpenJDK's BitSet class: Proof files
2023 Zenodo (CERN European Organization for Nuclear Research) dissertation Computer Science Logic, programming, and type systems Open access

Andy S. Tatman

0

citations
JATOS/JATOS: JATOS v3.10.5
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Mobile Crowdsensing and Crowdsourcing Open access

Kristian Lange, Jelle Pleunes, Poulami Ghosh, Jori, Émile Enguehard, Shreshth Saxena, +1 more

0

citations
Standards in software development and modeling
2025 Software & Systems Modeling article Computer Science Software Engineering Techniques and Practices Open access

Marsha Chećhik, Benoît Combemale, Jeff Gray, Bernhard Rumpe⋆

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
Enabling scalable and fault-tolerant multi-agent systems by utilizing cloud-native computing
2021 Autonomous Agents and Multi-Agent Systems article Computer Science Multi-Agent Systems and Negotiation Open access cited by 1 patent

Stefan Dähling, Lukas Razik, Antonello Monti

30

citations
Automated reasoning and randomization in separation logic
2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Logic, programming, and type systems Open access

Christoph Matheja

6

citations
DiSSCo/dissco-core-backend: 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
DiSSCo/dissco-virtual-collection-service: v1.4.2-alpha
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Research Data Management Practices Open access

Sam Leeflang

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