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