Follow
Heinrich (Heinz) Wilhelm Schmidt
Heinrich (Heinz) Wilhelm Schmidt
Computer Science, RMIT University & Innovation Software Advisory
Verified email at rmit.edu.au
Title
Cited by
Cited by
Year
Reliability prediction for component-based software architectures
RH Reussner, HW Schmidt, IH Poernomo
Journal of systems and software 66 (3), 241-252, 2003
4272003
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
2202010
Time Petri nets for workflow modelling and analysis
S Ling, H Schmidt
Smc 2000 conference proceedings. 2000 ieee international conference on …, 2000
1642000
Generating adapters for concurrent component protocol synchronisation
HW Schmidt, RH Reussner
Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6/WG6. 1 …, 2002
1152002
Trustworthy components––compositionality and prediction
H Schmidt
Journal of Systems and Software 65 (3), 215-225, 2003
1032003
Providing trusted components to the industry
B Meyer, C Mingins, H Schmidt
Computer 31 (5), 104-105, 1998
851998
Reasoning about software architectures with contractually specified components
RH Reussner, IH Poernomo, HW Schmidt
Component-Based Software Quality: Methods and Techniques, 287-325, 2003
822003
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
682000
Signature Extraction for Overlap Detection in Documents.
RA Finkel, AB Zaslavsky, K Monostori, HW Schmidt
ACSC, 59-64, 2002
662002
MatchDetectReveal: finding overlapping and similar digital documents.
K Monostori, AB Zaslavsky, HW Schmidt
IRMA Conference, 955-957, 2000
602000
Using parameterised contracts to predict properties of component based software architectures
R Reussner, H Schmidt
542002
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
532015
Formalising Service-Oriented Design.
M Perepletchikov, C Ryan, K Frampton, HW Schmidt
J. Softw. 3 (2), 1-14, 2008
532008
Prophylactic infusion regimens in the management of hemophilia
RCR Ljung
Thrombosis and haemostasis 82 (08), 525-530, 1999
491999
A model-oriented framework for runtime monitoring of nonfunctional properties
K Chan, I Poernomo, H Schmidt, J Jayaputera
International Conference on the Quality of Software Architectures, 38-52, 2005
442005
Towards formalizing virtual enterprise architecture
A Goel, H Schmidt, D Gilbert
2009 13th Enterprise Distributed Object Computing Conference Workshops, 238-242, 2009
412009
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
412005
Contracts and quality attributes for software components
RH Reussner, IH Poernomo, HW Schmidt
Proc. 8th Int’l Workshop on Component-Oriented Programming (WCOP’03) 29, 2003
412003
Predictable component architectures using dependent finite state machines
HW Schmidt, BJ Krämer, I Poernomo, R Reussner
Radical Innovations of Software and Systems Engineering in the Future: 9th …, 2004
402004
Components and tools for on-line education
BJ Krämer, HW Schmidt
European Journal of Education, 195-222, 2001
382001
The system can't perform the operation now. Try again later.
Articles 1–20