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
4292003
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
2292010
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
1162002
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
861998
Reasoning about software architectures with contractually specified components
RH Reussner, IH Poernomo, HW Schmidt
Component-Based Software Quality: Methods and Techniques, 287-325, 2003
842003
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
692000
Signature Extraction for Overlap Detection in Documents.
RA Finkel, AB Zaslavsky, K Monostori, HW Schmidt
ACSC, 59-64, 2002
672002
MatchDetectReveal: finding overlapping and similar digital documents.
K Monostori, AB Zaslavsky, HW Schmidt
IRMA Conference, 955-957, 2000
602000
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
582015
Formalising Service-Oriented Design.
M Perepletchikov, C Ryan, K Frampton, HW Schmidt
J. Softw. 3 (2), 1-14, 2008
542008
Using parameterised contracts to predict properties of component based software architectures
R Reussner, H Schmidt
542002
Prophylactic infusion regimens in the management of hemophilia
RCR Ljung
Thrombosis and haemostasis 82 (08), 525-530, 1999
511999
Phosphanstabilisierte Silber (I)–Carboxylate: Synthese und Verwendung in der Silber-CVD
H Schmidt, Y Shen, M Leschke, T Haase, K Kohse-Höinghaus, H Lang
Journal of organometallic chemistry 669 (1-2), 25-31, 2003
502003
Modelling and analysing resilient cyber-physical systems
A Bennaceur, C Ghezzi, K Tei, T Kehrer, D Weyns, R Calinescu, ...
2019 IEEE/ACM 14th International Symposium on Software Engineering for …, 2019
452019
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
452005
Software defined networks in industrial automation
K Ahmed, JO Blech, MA Gregory, HW Schmidt
Journal of Sensor and Actuator Networks 7 (3), 33, 2018
442018
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
The system can't perform the operation now. Try again later.
Articles 1–20