Heinrich (Heinz) Wilhelm Schmidt
Heinrich (Heinz) Wilhelm Schmidt
Computer Science, RMIT University & Innovation Software Advisory
Verified email at
Cited by
Cited by
Reliability prediction for component-based software architectures
RH Reussner, HW Schmidt, IH Poernomo
Journal of systems and software 66 (3), 241-252, 2003
Impact of nanoscale roughness of titanium thin film surfaces on bacterial retention
EP Ivanova, VK Truong, JY Wang, CC Berndt, RT Jones, II Yusuf, I Peake, ...
Langmuir 26 (3), 1973-1982, 2010
Time Petri nets for workflow modelling and analysis
S Ling, H Schmidt
Smc 2000 conference proceedings. 2000 ieee international conference on …, 2000
Generating adapters for concurrent component protocol synchronisation
HW Schmidt, RH Reussner
International Conference on Formal Methods for Open Object-Based Distributed …, 2002
Trustworthy components––compositionality and prediction
H Schmidt
Journal of Systems and Software 65 (3), 215-225, 2003
Providing trusted components to the industry
B Meyer, C Mingins, H Schmidt
Computer 31 (5), 104-105, 1998
Reasoning about software architectures with contractually specified components
RH Reussner, IH Poernomo, HW Schmidt
Component-Based Software Quality, 287-325, 2003
Signature Extraction for Overlap Detection in Documents.
RA Finkel, AB Zaslavsky, K Monostori, HW Schmidt
ACSC, 59-64, 2002
Document overlap detection system for distributed digital libraries
K Monostori, A Zaslavsky, H Schmidt
Proceedings of the fifth ACM conference on Digital libraries, 226-227, 2000
MatchDetectReveal: finding overlapping and similar digital documents.
K Monostori, AB Zaslavsky, HW Schmidt
IRMA Conference, 955-957, 2000
Formalising Service-Oriented Design.
M Perepletchikov, C Ryan, K Frampton, HW Schmidt
J. Softw. 3 (2), 1-14, 2008
Using parameterised contracts to predict properties of component based software architectures
R Reussner, H Schmidt
Software defined networking for communication and control of cyber-physical systems
K Ahmed, JO Blech, MA Gregory, H Schmidt
2015 IEEE 21st International Conference on Parallel and Distributed Systems …, 2015
An agent oriented proactive fault-tolerant framework for grid computing
MT Huda, HW Schmidt, ID Peake
First International Conference on e-Science and Grid Computing (e-Science'05 …, 2005
Predictable component architectures using dependent finite state machines
HW Schmidt, BJ Krämer, I Poernomo, R Reussner
International Workshop on Radical Innovations of Software and Systems …, 2002
Towards formalizing virtual enterprise architecture
A Goel, H Schmidt, D Gilbert
2009 13th Enterprise Distributed Object Computing Conference Workshops, 238-242, 2009
Contracts and quality attributes of software components
RH Reussner, IH Poernomo, HW Schmidt
Proc. 8th Int’l Workshop on Component-Oriented Programming (WCOP’03) 29, 2003
A complexity calculus for object-oriented programs
HW Schmidt, W Zimmermann
Journal of Object-Oriented Systems 1 (2), 117-147, 1994
A model-oriented framework for runtime monitoring of nonfunctional properties
K Chan, I Poernomo, H Schmidt, J Jayaputera
Quality of Software Architectures and Software Quality, 38-52, 2005
Components and tools for on-line education
BJ Krämer, HW Schmidt
European Journal of Education, 195-222, 2001
The system can't perform the operation now. Try again later.
Articles 1–20