Not finding it? Sign in to also search OpenAlex live.
-
Enabling Informed Sustainability Decisions: Sustainability Assessment in Iterative System Modeling2023 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
Gabriele Gramelsberger, Hendrik Kausch, Judith Michael, Frank Thomas Piller, Ferdinanda Ponci, Aaron Praktiknjo, +3 more
4citations -
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 -
New Tunable Test Problems for Benchmarking Niching Methods for Multimodal Optimization2024 Genetic and Evolutionary Computation Conference (GECCO) conference-paper Computer Science Metaheuristic Optimization Algorithms Research
Ali Ahrari, Jonathan Edward Fieldsend, Mike Preuß, Xiaodong Li, Michael G. Epitropakis
4citations -
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