:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Orfanoudakis, Stavros, Diaz-Londono, Cesar, Yılmaz, Yunus E., Palensky, Peter, Vergara, Pedro P.
Format:	Preprint
Published:	2024
Subjects:	Software Engineering Artificial Intelligence
Online Access:	https://arxiv.org/abs/2404.01849
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Physics-Informed Reinforcement Learning for Large-Scale EV Smart Charging Considering Distribution Network Voltage Constraints
by: Orfanoudakis, Stavros, et al.
Published: (2025)

A Simulation Tool for V2G Enabled Demand Response Based on Model Predictive Control
by: Diaz-Londono, Cesar, et al.
Published: (2024)

Optimizing Electric Vehicles Charging using Large Language Models and Graph Neural Networks
by: Orfanoudakis, Stavros, et al.
Published: (2025)

Adaptive Informed Deep Neural Networks for Power Flow Analysis
by: Kaseb, Zeynab, et al.
Published: (2024)

V-GameGym: Visual Game Generation for Code Large Language Models
by: Zhang, Wei, et al.
Published: (2025)

GNN-DT: Graph Neural Network Enhanced Decision Transformer for Efficient Optimization in Dynamic Environments
by: Orfanoudakis, Stavros, et al.
Published: (2025)

The BrowserGym Ecosystem for Web Agent Research
by: De Chezelles, Thibault Le Sellier, et al.
Published: (2024)

Topology-Aware Graph Reinforcement Learning for Energy Storage Systems Optimal Dispatch in Distribution Networks
by: Gao, Shuyi, et al.
Published: (2026)

DevOps-Gym: Benchmarking AI Agents in Software DevOps Cycle
by: Tang, Yuheng, et al.
Published: (2026)

ReqElicitGym: An Evaluation Environment for Interview Competence in Conversational Requirements Elicitation
by: Jin, Dongming, et al.
Published: (2026)

V2E: Validating Smart Contract Vulnerabilities through Profit-driven Exploit Generation and Execution
by: Zhang, Jingwen, et al.
Published: (2026)

Training Software Engineering Agents and Verifiers with SWE-Gym
by: Pan, Jiayi, et al.
Published: (2024)

Smart but Costly? Benchmarking LLMs on Functional Accuracy and Energy Efficiency
by: Mehditabar, Mohammadjavad, et al.
Published: (2025)

PoC-Gym: Towards More Reliable LLM-Assisted Proof-of-Concept Exploit Generation
by: Gezgin, Derin, et al.
Published: (2026)

Smart Contract Vulnerabilities, Tools, and Benchmarks: an Updated Systematic Literature Review
by: Iuliano, Gerardo, et al.
Published: (2024)

EV-EcoSim: A grid-aware co-simulation platform for the design and optimization of electric vehicle charging infrastructure
by: Balogun, Emmanuel, et al.
Published: (2024)

QueenV2: Future of Quantum Circuit Simulation
by: Wang, Chuan-Chi
Published: (2024)

Beyond Code Similarity: Benchmarking the Plausibility, Efficiency, and Complexity of LLM-Generated Smart Contracts
by: Salzano, Francesco, et al.
Published: (2025)

Automated Vulnerability Injection in Solidity Smart Contracts: A Mutation-Based Approach for Benchmark Development
by: Iuliano, Gerardo, et al.
Published: (2025)

A Fuzzy Logic-Based Quality Model For Identifying Microservices With Low Maintainability
by: Yilmaz, Rahime, et al.
Published: (2024)

SAVGO: Learning State-Action Value Geometry with Cosine Similarity for Continuous Control
by: Orfanoudakis, Stavros, et al.
Published: (2026)

R2E-Gym: Procedural Environments and Hybrid Verifiers for Scaling Open-Weights SWE Agents
by: Jain, Naman, et al.
Published: (2025)

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair
by: Liu, Christian Gang, et al.
Published: (2025)

Hybrid-Gym: Training Coding Agents to Generalize Across Tasks
by: Xie, Yiqing, et al.
Published: (2026)

Validation Framework for E-Contract and Smart Contract
by: Godboley, Sangharatna, et al.
Published: (2025)

Transforming Automatically BPMN Models to Smart Contracts with Nested Collaborative Transactions (TABS+)
by: Liu, Christian Gang, et al.
Published: (2025)

SmartML: Towards a Modeling Language for Smart Contracts
by: Veschetti, Adele, et al.
Published: (2024)

Coverage measurement in model-based testing of web applications: Tool support and an industrial experience report
by: Garousi, Vahid, et al.
Published: (2024)

Benchmarking formalisms for dynamic structure system Modeling and Simulation
by: Attia, Aya, et al.
Published: (2024)

Demonstrating ARG-V's Generation of Realistic Java Benchmarks for SV-COMP
by: Moloney, Charles, et al.
Published: (2026)

Crowdfunding for Equitable EV Charging Infrastructure
by: Erfani, Abdolmajid, et al.
Published: (2024)

Text2BIM: Generating Building Models Using a Large Language Model-based Multi-Agent Framework
by: Du, Changyu, et al.
Published: (2024)

MBTModelGenerator: Automated Reverse Engineering of Test Models from Clickstream Data for Model-Based Testing of Web Applications
by: Garousi, Vahid, et al.
Published: (2025)

Teaching Simulation as a Research Method in Empirical Software Engineering
by: de França, Breno Bernard Nicolau, et al.
Published: (2025)

Demystifying the Characteristics for Smart Contract Upgrades
by: Liu, Ye, et al.
Published: (2024)

Effective Targeted Testing of Smart Contracts
by: Fooladgar, Mahdi, et al.
Published: (2024)

VecIntrinBench: Benchmarking Cross-Architecture Intrinsic Code Migration for RISC-V Vector
by: Han, Liutong, et al.
Published: (2025)

SmartState: Detecting State-Reverting Vulnerabilities in Smart Contracts via Fine-Grained State-Dependency Analysis
by: Liao, Zeqin, et al.
Published: (2024)

SmartAxe: Detecting Cross-Chain Vulnerabilities in Bridge Smart Contracts via Fine-Grained Static Analysis
by: Liao, Zeqin, et al.
Published: (2024)

The Opaque Pointer Design Pattern in Python: Towards a Pythonic PIMPL for Modularity, Encapsulation, and Stability
by: Saravanos, Antonios, et al.
Published: (2026)