Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Hansen, Simon Thrane
54  Ergebnisse:
Personensuche X
?
1

Co-simulation at different levels of expertise with Maestro:

Hansen, Simon Thrane ; Thule, Casper ; Gomes, Cláudio...
Journal of Systems and Software.  209 (2024)  - p. 111905 , 2024
Link: https://doi.org/10.1016/..
 
?
2

Daedalux: An Extensible Platform for Variability-Aware Mode..:

, In: Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings,
Lazreg, Sami ; Cordy, Maxime ; Hansen, Simon Thrane. - p. 21-25 , 2024
Link: https://dl.acm.org/doi/1..
 
?
3

Daedalux: An Extensible Platform for Variability-Aware Mode..:

, In: 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion),
Lazreg, Sami ; Cordy, Maxime ; Hansen, Simon Thrane. - p. 21-25 , 2024
Link: https://doi.org/10.1145/..
 
?
4

The FMI 3.0 Standard Interface for Clocked and Scheduled Si..:

Hansen, Simon Thrane ; Gomes, Cláudio Ângelo Gonçalves ; Najafi, Masoud...
Electronics.  11 (2022)  21 - p. 3635 , 2022
Link: https://doi.org/10.3390/..
 
?
5

Modeling, Algorithm Synthesis, and Instrumentation for Co-s..:

, In: Rewriting Logic and Its Applications; Lecture Notes in Computer Science,
Hansen, Simon Thrane ; Ölveczky, Peter Csaba - p. 130-150 , 2022
Link: https://doi.org/10.1007/..
 
?
6

Verification and synthesis of co-simulation algorithms subj..:

Hansen, Simon Thrane ; Thule, Casper ; Gomes, Cláudio...
International Journal on Software Tools for Technology Transfer.  24 (2022)  6 - p. 999-1024 , 2022
Link: https://doi.org/10.1007/..
 
?
7

An FMI-Based Initialization Plugin for INTO-CPS Maestro 2:

, In: Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops; Lecture Notes in Computer Science,
Hansen, Simon Thrane ; Thule, Casper ; Gomes, Cláudio - p. 295-310 , 2021
Link: https://doi.org/10.1007/..
 
?
8

Verification of Co-simulation Algorithms Subject to Algebra..:

, In: Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science,
Hansen, Simon Thrane ; Gomes, Cláudio ; Palmieri, Maurizio... - p. 3-20 , 2021
Link: https://doi.org/10.1007/..
 
?
9

Co-simulation at different levels of expertise with Maestro:

Hansen, Simon Thrane ; Thule, Casper ; Gomes, Cláudio...
https://pure.au.dk/portal/en/publications/9b86630e-c6c6-4958-adef-2dd296d2753c.  , 2024
Link: https://pure.au.dk/porta..
 
?
10

State of the Art Report: Verified Computation:

Woodcock, Jim ; Andersen, Mikkel Schimdt ; Aranha, Diego F...
http://arxiv.org/abs/2308.15191.  , 2023
Link: http://arxiv.org/abs/230..
 
?
11

The FMI 3.0 Standard Interface for Clocked and Scheduled Si..:

Hansen, Simon Thrane ; Gomes, Cláudio Ângelo Gonçalves ; Najafi, Masoud...
https://pure.au.dk/portal/en/publications/cb0bbaf7-7257-449a-9e6e-c6f0a55e3381.  , 2022
Link: https://pure.au.dk/porta..
 
?
12

The FMI 3.0 Standard Interface for Clocked and Scheduled Si..:

Simon Thrane Hansen ; Cláudio Ângelo Gonçalves Gomes ; Masoud Najafi...
https://www.mdpi.com/2079-9292/11/21/3635.  , 2022
Link: https://doi.org/10.3390/..
 
?
13

The FMI 3.0 Standard Interface for Clocked and Scheduled Si..:

Simon Thrane Hansen ; Cláudio Ângelo Gonçalves Gomes ; Masoud Najafi...
Computer Science & Engineering.  , 2022
Link: https://doi.org/10.3390/..
 
?
14

Hepatoprotective effects of semaglutide, lanifibranor and d..:

Møllerhøj, Mathias B. ; Veidal, Sanne S. ; Thrane, Kirstine Tølbøl...
Clinical and Translational Science.  15 (2022)  5 - p. 1167-1186 , 2022
Link: https://doi.org/10.1111/..
 
?
15

Hepatoprotective effects of semaglutide, lanifibranor and d..:

Mathias B. Møllerhøj ; Sanne S. Veidal ; Kirstine Tølbøl Thrane...
https://doi.org/10.1111/cts.13235.  , 2022
Link: https://doi.org/10.1111/..
 
1-15