Heinz Schmidt

Publication Activity (10 Years)

Years Active: 1987-2019
Publications (10 Years): 1

Top Topics

Top Venues

Publications

Amel Bennaceur, Carlo Ghezzi, Kenji Tei, Timo Kehrer, Danny Weyns, Radu Calinescu, Schahram Dustdar, Zhenjiang Hu, Shinichi Honiden, Fuyuki Ishikawa, Zhi Jin, Jeffrey Kramer, Marin Litoiu, Michele Loreti, Gabriel A. Moreno, Hausi A. Müller, Laura Nenzi, Bashar Nuseibeh, Liliana Pasquale, Wolfgang Reisig, Heinz Schmidt, Christos Tsigkanos, Haiyan Zhao
Modelling and analysing resilient cyber-physical systems. SEAMS@ICSE (2019)
Amit Goel, Heinz Schmidt, David R. Gilbert
Formal Models of Virtual Enterprise Architecture: Motivations and Approaches. PACIS (2010)
Amit Goel, Heinz Schmidt, David R. Gilbert
Towards formalizing Virtual Enterprise Architecture. EDOCW (2009)
Jens Kötters, Heinz Schmidt, David McG. Squire
Context Graphs - Representing Formal Concepts by Connected Subgraphs. ICFCA (2009)
Johan Fredriksson, Thomas Nolte, Mikael Nolin, Heinz Schmidt
Contract-Based ReusableWorst-Case Execution Time Estimate. RTCSA (2007)
Heinz Schmidt
Object-Oriented Programming: The Language Landscape. TOOLS (12/9) (1993)
Hans F. de Groote, Joos Heintz, Stefan Möhler, Heinz Schmidt
On the Complexity of Lie Algebras. FCT (1987)