Sebastian Post

According to our database, Sebastian Post authored at least 2 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Constructive Model Analysis of SysMLv2 Models by Constraint Propagation.

Axel Ratzke, Sebastian Post, Johannes Koch, Christoph Grimm

Proceedings of the 19th Annual System of Systems Engineering Conference, 2024

2021

APPEL - AGILA ProPErty and Dependency Description Language.

Christoph Grimm, Frank Wawrzik, Alexander Louis-Ferdinand Jung, Konstantin Lübeck, Sebastian Post, Johannes Koch, Oliver Bringmann

Proceedings of the Methods and Description Languages for Modelling and Verification of Circuits and Systems, 2021