Cover Image

eUDEVS: Executable UML with DEVS Theory of Modeling and Simulation

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Risco-Martín, José L., Cruz, J. M., Mittal, Saurabh, Zeigler, Bernard P.
Format:	Preprint
Published:	2024
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Implementation of Formal Standard for Interoperability in M&S/System of Systems Integration with DEVS/SOA
by: Mittal, Saurabh, et al.
Published: (2024)

DEVS/SOA: A Cross-Platform Framework for Net-centric Modeling and Simulation in DEVS Unified Process
by: Mittal, Saurabh, et al.
Published: (2024)

Verification of Quantitative Temporal Properties in RealTime-DEVS
by: González, Ariel, et al.
Published: (2024)

From Image to UML: First Results of Image Based UML Diagram Generation Using LLMs
by: Conrardy, Aaron, et al.
Published: (2024)

Using the SOCIO Chatbot for UML Modelling: A Family of Experiments
by: Ren, Ranci, et al.
Published: (2024)

Systematic teaching of UML and behavioral diagrams
by: Metzner, Anja
Published: (2024)

How LLMs Aid in UML Modeling: An Exploratory Study with Novice Analysts
by: Wang, Beian, et al.
Published: (2024)

Assessing UML Diagrams by GPT: Implications for Education
by: Wang, Chong, et al.
Published: (2024)

QuanUML: Towards A Modeling Language for Model-Driven Quantum Software Development
by: Guo, Xiaoyu, et al.
Published: (2025)

Enhancing a gamified tool for UML modeling education
by: Garaccione, Giacomo, et al.
Published: (2026)

Formal Verification of Ecosystem Restoration Requirements using UML and Alloy
by: Sousa, Tiago, et al.
Published: (2024)

Event-Driven Inconsistency Detection Between UML Class and Sequence Diagrams
by: Lazzari, Luan, et al.
Published: (2025)

The Role of Cognitive Abilities in Requirements Inspection: Comparing UML and Textual Representations
by: Broccia, Giovanna, et al.
Published: (2026)

Learning Correct Behavior from Examples: Validating Sequential Execution in Autonomous Agents
by: Sharma, Reshabh K, et al.
Published: (2026)

Maestro: Intelligent Execution for Quantum Circuit Simulation
by: Bertomeu, Oriol, et al.
Published: (2025)

To Do or Not to Do: Semantics and Patterns for Do Activities in UML PSSM State Machines
by: Elekes, Márton, et al.
Published: (2023)

Agentic Scientific Simulation: Execution-Grounded Model Construction and Reconstruction
by: Lie, Knut-Andreas, et al.
Published: (2026)

Query2Diagram: Answering Developer Queries with UML Diagrams
by: Baryshnikov, Oleg, et al.
Published: (2026)

Demystifying Errors in LLM Reasoning Traces: An Empirical Study of Code Execution Simulation
by: Abdollahi, Mohammad, et al.
Published: (2025)

NOMAD: A Multi-Agent LLM System for UML Class Diagram Generation from Natural Language Requirements
by: Giannouris, Polydoros, et al.
Published: (2025)

Mokav: Execution-driven Differential Testing with LLMs
by: Etemadi, Khashayar, et al.
Published: (2024)

FIKA: Expanding Dependency Reachability with Executability Guarantees
by: Gamage, Yogya, et al.
Published: (2026)

Behavioral Augmentation of UML Class Diagrams: An Empirical Study of Large Language Models for Method Generation
by: Rouabhia, Djaber, et al.
Published: (2025)

Repairing Tool Calls Using Post-tool Execution Reflection and RAG
by: Tsay, Jason, et al.
Published: (2025)

Rethinking Scientific Modeling: Toward Physically Consistent and Simulation-Executable Programmatic Generation
by: Jiang, Yongqing, et al.
Published: (2026)

Can Large Language Models Simulate Symbolic Execution Output Like KLEE?
by: Feng, Rong, et al.
Published: (2025)

Data Dependency-Aware Code Generation from Enhanced UML Sequence Diagrams
by: Mao, Wenxin, et al.
Published: (2025)

Heterogeneous Prompting and Execution Feedback for SWE Issue Test Generation and Selection
by: Ahmed, Toufique, et al.
Published: (2025)

Systematic API Testing Through Model Checking and Executable Contracts
by: Ribeiro, Ana, et al.
Published: (2026)

Formalizing UML State Machines for Automated Verification -- A Survey
by: André, Étienne, et al.
Published: (2024)

Towards Generating Executable Metamorphic Relations Using Large Language Models
by: Shin, Seung Yeob, et al.
Published: (2024)

Assessing Coherency and Consistency of Code Execution Reasoning by Large Language Models
by: Liu, Changshu, et al.
Published: (2025)

Can Large Language Models Solve Path Constraints in Symbolic Execution?
by: Wang, Wenhan, et al.
Published: (2025)

Execution-free Program Repair
by: Huang, Li, et al.
Published: (2024)

Towards a UML Profile for Modeling WAP Applications
by: Ricardo Soto De Giorgis
Published: (2005)

ExeCoder: Empowering Large Language Models with Executability Representation for Code Translation
by: He, Minghua, et al.
Published: (2025)

A Tool for In-depth Analysis of Code Execution Reasoning of Large Language Models
by: Liu, Changshu, 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)

Trustworthy Distributed Certification of Program Execution
by: Wolf, Alex, et al.
Published: (2024)

Compiling Code LLMs into Lightweight Executables
by: Shi, Jieke, et al.
Published: (2026)