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
4142003
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
1762010
Time Petri nets for workflow modelling and analysis
S Ling, H Schmidt
Smc 2000 conference proceedings. 2000 ieee international conference on …, 2000
1592000
Generating adapters for concurrent component protocol synchronisation
HW Schmidt, RH Reussner
International Conference on Formal Methods for Open Object-Based Distributed …, 2002
1052002
Trustworthy components––compositionality and prediction
H Schmidt
Journal of Systems and Software 65 (3), 215-225, 2003
1022003
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, 287-325, 2003
802003
Signature Extraction for Overlap Detection in Documents.
RA Finkel, AB Zaslavsky, K Monostori, HW Schmidt
ACSC, 59-64, 2002
652002
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
652000
MatchDetectReveal: finding overlapping and similar digital documents.
K Monostori, AB Zaslavsky, HW Schmidt
IRMA Conference, 955-957, 2000
582000
Using parameterised contracts to predict properties of component based software architectures
R Reussner, H Schmidt
522002
Formalising Service-Oriented Design.
M Perepletchikov, C Ryan, K Frampton, HW Schmidt
J. Softw. 3 (2), 1-14, 2008
502008
Component-based software engineering
GTHI Crnkovic, HWSJA Stafford, CSK Wallnau
J. of Systems and Software 74 (1), 1-3, 2005
492005
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
402005
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
382002
A complexity calculus for object-oriented programs
HW Schmidt, W Zimmermann
Journal of Object-Oriented Systems 1 (2), 117-147, 1994
381994
Towards formalizing virtual enterprise architecture
A Goel, H Schmidt, D Gilbert
2009 13th Enterprise Distributed Object Computing Conference Workshops, 238-242, 2009
372009
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
362015
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
362005
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
352003
The system can't perform the operation now. Try again later.
Articles 1–20