10 citations · 24 across the 12 of their papers we have counts for
13 papers
Modelling Regime Shifts in Continuous Intraday Electricity Markets with State-dependent Hawkes Processes
Ayoub Jhabli, Tarek AlSkaif, Kwabena E. Bennin +3
The growing importance of intraday trading in Europe, driven by the increasing penetration of renewable energy sources, has led to higher volatility and periods of market stress. U…
AI4PLE: A Methodology for Integrating AI into Product Line Engineering
Bedir Tekinerdogan
Reuse-based development has become increasingly important in the creation of complex systems, offering significant opportunities to reduce costs, improve quality, and accelerate ti…
Evidence-Driven Decision Support for AI Model Selection in Research Software Engineering
Alireza Joonbakhsh, Alireza Rostami, AmirMohammad Kamalinia +4
The rapid proliferation of artificial intelligence (AI) models and methods presents growing challenges for research software engineers and researchers who must select, integrate, a…
Empirical Evaluation of AI-Assisted Software Package Selection: A Knowledge Graph Approach
Siamak Farshidi, Amir Saberhabibi, Behbod Eskafi +5
Selecting third-party software packages in open-source ecosystems like Python is challenging due to the large number of alternatives and limited transparent evidence for comparison…
A Tool for Automated Reasoning About Traces Based on Configurable Formal Semantics
Ferhat Erata, Arda Goknil, Bedir Tekinerdogan +1
We present Tarski, a tool for specifying configurable trace semantics to facilitate automated reasoning about traces. Software development projects require that various types of tr…
AlloyInEcore: Embedding of First-Order Relational Logic into Meta-Object Facility for Automated Model Reasoning
Ferhat Erata, Arda Goknil, Ivan Kurtev +1
We present AlloyInEcore, a tool for specifying metamodels with their static semantics to facilitate automated, formal reasoning on models. Software development projects require tha…