Not finding it? Sign in to also search OpenAlex live.
-
HW/SW Formal Co-Verification of Rust-based Designs Using Hardware Abstraction Model2025 IEEE Computer Society Annual Symposium on VLSI conference-paper Computer Science Embedded Systems Design Techniques
Sascha Neske, Bryan Olmos, Shuhang Zhang, M. Kroening, Stefan Lankes, Wolfgang Gerhard Kunz, +1 more
0citations -
Reproducibility Report for SC25 Paper Demystifying the Resilience of Large Language Model Inference: An End-to-End Perspective0citations
-
Bridging Data Standards and FAIR Principles in Biodiversity Digital Twinning: Prototyping, Challenges, Lessons Learned, and Future Plans2024 Biodiversity Information Science and Standards article Computer Science Research Data Management Practices Open access
Sharif Islam, Julian Lopez Gordillo, Dag Endresen, Carrie J. Andrew
2citations -
STLScope: artifact for "Diverse STL Counterexample Pools for Hybrid Automata: Generation and Selection" (SEFM 2026)2026 IT University Of Copenhagen (IT University of Copenhagen) dataset Computer Science Formal Methods in Verification Open access
Sergio Quijano, József Kovács, Arapatsakos Georg, Erika Abraham, Mahsa Varshosaz, Andrzej Wąsowski
0citations -
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 -
Toward a Community-Curated Golden Dataset of UML Models2025 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) conference-paper Computer Science Model-Driven Software Engineering Techniques Open access
Charlotte Verbruggen, Lukas Netz, Philipp-Lorenz Glaser, Marion Scholz, Christian Huemer, Marco Calamo, +3 more
11citations -
Efficient hybrid multiobjective optimization of pressure swing adsorption2021 Chemical Engineering Journal article Computer Science Advanced Multi-Objective Optimization Algorithms Open access
Zhimian Hao, Adrian Caspari, Artur M. Schweidtmann, Yannic Vaupel, Alexei A. Lapkin, Adel Mhamdi
57citations -
Connecting the Dots: Aligning human capacity through networks toward a globally interoperable Digital Extended Specimen (DES) infrastructure2023 Biodiversity Information Science and Standards article Computer Science Research Data Management Practices Open access
Elizabeth R. Ellwood, Wouter Addink, John M. Bates, Andrew C. Bentley, Jutta Buschbom, Alina Freire‐Fierro, +18 more
0citations