2
Publications
42
Citations
2
H-Index
2016
Active since
Affiliations
Alexander Schulz-Rosengarten is an author at Christian-Albrechts-Universität zu Kiel specializing in computer science, software analysis, and formal specification.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningFormal VerificationSystems EngineeringFormal Specification
Publications per year
2016–2020
2
2
Time for Reactive System Modeling
Insa Fuhrmann, David Broman, Reinhard von Hanxleden et al. · 2016 · 28 citations · Full text
A Language for Deterministic Coordination Across Multiple Timelines
Marten Lohstroh, Christian Menard, Alexander Schulz-Rosengarten et al. · 2020 · 14 citations
Rows per page
1–2 of 2