Heinz Schmidt

Identifiers

• name variant Heinz Schmidt 0.60 · backfill

Papers (5)

1. Requirements Engineering Aspects of a Geographically Distributed Architecture cs.SE · 2015 · author #2
2. Reconciling a component and process view cs.SE · 2015 · author #2
3. Cyber-Virtual Systems: Simulation, Validation & Visualization cs.SE · 2014 · author #4
4. BeSpaceD: Towards a Tool Framework and Methodology for the Specification and Verification of Spatial Behavior of Distributed Software Component Systems cs.SE · 2014 · author #2
5. Towards Verifying Safety Properties of Real-Time Probabilistic Systems cs.SE · 2014 · author #4

Mentions

• 1503.03195 #2 · backfill · confidence 0.70 Heinz Schmidt
• 1410.1258 #4 · backfill · confidence 0.70 Heinz Schmidt
• 1404.3537 #2 · backfill · confidence 0.70 Heinz Schmidt
• 1404.0846 #4 · backfill · confidence 0.70 Heinz Schmidt

Frequent Coauthors

• Jan Olaf Blech 3 shared papers
• Maria Spichkova 3 shared papers
• Fenglin Han 1 shared papers
• Ian Peake 1 shared papers
• Peter Herrmann 1 shared papers