no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
1 |
Assessing the usefulness of a visual programming IDE for large-scale automation software
|
Wiesmayr, Bianca |
|
|
22 |
5 |
p. 1619-1643 |
article |
2 |
Design and evaluation of a collaborative UML modeling environment in virtual reality
|
Yigitbas, Enes |
|
|
22 |
5 |
p. 1397-1425 |
article |
3 |
Efficient regression testing of distributed real-time reactive systems in the context of model-driven development
|
Babaei, Majid |
|
|
22 |
5 |
p. 1565-1587 |
article |
4 |
Execution trace analysis for a precise understanding of latency violations
|
Zoor, Maysam |
|
|
22 |
5 |
p. 1519-1541 |
article |
5 |
Guest editorial for the special section on MODELS 2021
|
Nejati, Shiva |
|
|
22 |
5 |
p. 1393-1396 |
article |
6 |
Involving users in the development of a modeling language for customer journeys
|
Halvorsrud, Ragnhild |
|
|
22 |
5 |
p. 1589-1618 |
article |
7 |
Large language models as an “operating” system for software and systems modeling
|
Combemale, Benoit |
|
|
22 |
5 |
p. 1391-1392 |
article |
8 |
MoDALAS: addressing assurance for learning-enabled autonomous systems in the face of uncertainty
|
Langford, Michael Austin |
|
|
22 |
5 |
p. 1543-1563 |
article |
9 |
Model-driven design space exploration for multi-robot systems in simulation
|
Harbin, James |
|
|
22 |
5 |
p. 1665-1688 |
article |
10 |
MORGAN: a modeling recommender system based on graph kernel
|
Di Sipio, Claudio |
|
|
22 |
5 |
p. 1427-1449 |
article |
11 |
OSTRICH: a rich template language for low-code development (extended version)
|
Lourenço, Hugo |
|
|
22 |
5 |
p. 1645-1663 |
article |
12 |
RaQuN: a generic and scalable n-way model matching algorithm
|
Schultheiß, Alexander |
|
|
22 |
5 |
p. 1495-1517 |
article |
13 |
Reasoning over time into models with DataTime
|
Lyan, Gauthier |
|
|
22 |
5 |
p. 1689-1712 |
article |
14 |
Repository mining for changes in Simulink and Stateflow models
|
Jaskolka, Monika |
|
|
22 |
5 |
p. 1713-1732 |
article |
15 |
Synthesizing verified components for cyber assured systems engineering
|
Mercer, Eric |
|
|
22 |
5 |
p. 1451-1471 |
article |
16 |
The ForeMoSt approach to building valid model-based safety arguments
|
Viger, Torin |
|
|
22 |
5 |
p. 1473-1494 |
article |