3
Publications
79
Citations
3
H-Index
2011
Active since
Affiliations
Amalinda Post is an author at University of Freiburg specializing in software engineering, systems engineering, and engineering.
Top concepts
EngineeringSoftware DesignSystems EngineeringSoftware EngineeringDesignAutomationVerificationFormal MethodsSystem SoftwareComputer Science
Publications per year
2011–2019
3
3
Scalable Analysis of Real-Time Requirements
Vincent Langenfeld, Daniel Dietsch, Bernd Westphal et al. · 2019 · 27 citations
Vacuous real-time requirements
Amalinda Post, Jochen Hoenicke, Andreas Podelski · 2011 · 15 citations
Rows per page
1–3 of 3