Generating structurally realistic models with deep autoregressive networks
Model generators are important tools in model-based systems engineering to automate the
creation of software models for tasks like testing and benchmarking. Previous works have …
creation of software models for tasks like testing and benchmarking. Previous works have …
Towards the characterization of realistic model generators using graph neural networks
The automatic generation of software models is an important element in many software and
systems engineering scenarios such as software tool certification, validation of cyber …
systems engineering scenarios such as software tool certification, validation of cyber …
Assessing the specification of modelling language semantics: a study on UML PSSM
Modelling languages play a central role in develo** complex, critical systems. A precise,
comprehensible, and high-quality modelling language specification is essential to all …
comprehensible, and high-quality modelling language specification is essential to all …
Towards Generating Structurally Realistic Models by Generative Adversarial Networks
Context. Several activities in model-driven engineering (MDE), like model transformation
testing, would require the availability of big sets of realistic models. However, the commu …
testing, would require the availability of big sets of realistic models. However, the commu …
Attribute and closeness based scheduling model for vehicle-to-grid network
J Zhang, JY Hu, LW Lin, XC Ye - Peer-to-Peer Networking and …, 2024 - Springer
The proliferation of intelligent transportation systems is driving the rapid growth of Vehicle-to-
Grid (V2G). Efficient vehicle scheduling can promotes the development of power grid …
Grid (V2G). Efficient vehicle scheduling can promotes the development of power grid …
Refinery: Graph Solver as a Service: Refinement-based Generation and Analysis of Consistent Models
Various software and systems engineering scenarios rely on the systematic construction of
consistent graph models. However, automatically generating a diverse set of consistent …
consistent graph models. However, automatically generating a diverse set of consistent …
On the application of Machine Learning to Model-Driven Engineering
JA Hernández López - Proyecto de investigación, 2023 - digitum.um.es
Model-Driven Engineering (MDE) is a Software Engineering methodology that raises
models to first-class artifacts of the software engineering process. In this way, models are no …
models to first-class artifacts of the software engineering process. In this way, models are no …
Graph Solver as a Service
F Ahmad - 2023 IEEE/ACM 45th International Conference on …, 2023 - ieeexplore.ieee.org
Graphs can be a key abstraction for formal verifi-cation challenges. As such, graph solvers
are essential tools for synthesizing scalable domain-specific consistent graph models, which …
are essential tools for synthesizing scalable domain-specific consistent graph models, which …
[PDF][PDF] Refinery: Graph Solver as a Service
Various software and systems engineering scenarios rely on the systematic construction of
consistent graph models. However, automatically generating a diverse set of consistent …
consistent graph models. However, automatically generating a diverse set of consistent …
Generating Structurally Realistic Models With Deep Autoregressive Networks
JA Hernández López, J Sánchez Cuadrado - 2023 - digitum.um.es
Model generators are important tools in model-based systems engineering to automate the
creation of software models for tasks like testing and benchmarking. Previous works have …
creation of software models for tasks like testing and benchmarking. Previous works have …