Publications Heinz W. Schmidt

For grant co-authors: Please contact me for an up-to-date list of relevant publications in bibtex and/or pdf.

For research administrators: Please cross-check this Personalised Google Scholar list for your Higher Education Research Data Collections entries. I try to keep this up to date when I find time.
Note: The Australian Government FoR codes (formerly RFCD) for my publications and grants can be found here.

If you are interested in my work: Please look at this Personalised Google Scholar sorted by citations.
Or you may use the tailored search links below to find my work in various digital libraries. Feel free to contact me if you cannot get access - I may have a digital version of the final or submitted paper, depending on copyrights.

Note: H. Schmidt is a common name and search engines limit the length of advanced search expressions. Hence a few links are needed to cover different cases and various collections. Through multi-disciplinary collaborations, some of my articles or grants are classified under codes other than computer science and engineering (for instance neuroscience or computational chemistry).

Although past papers are continuing to be digitized and included in digital collections, the different digital libraries all cover different patches serving their own publications and members first. Hence below, I also maintain a list of selected publications (currently up to 2005), despite the increasing overlap with the programmed searches below.

My Books

Digital-only

• Google Scholar Personalised list (sorted by year)
• Google Scholar Searches (customised to suppress false positives): H.W. Schmidt, Heinrich W. Schmidt, Heinrich Schmidt,
• Springer Link: Heinz W. Schmidt; Heinz Schmidt; H. W. Schmidt
• DBLP Uni Trier: Heinz W. Schmidt, Heinz Schmidt
• IEEE Explore: Schmidt, H.; Schmidt, H.W.;
• ACM Digital Library: Heinz W. Schmidt
• Monash University: My Research covers only papers that I authored while employed at Monash or papers with Monash co-authors. Several papers are not recorded. Some were missed. Others 'deemed not relevant' for HERDC (government) performance-based block funding - although a few of these now attract several citations.
• RMIT University: Research Repository likewise covers only certain years and misses several papers.
• Citeseer: Heinz Schmidt, H Schmidt, Heinrich Schmidt;
• Microsoft Academic: Heinz W. Schmidt

For years prior to and including 2005 - when publications data collection or search engine coverage was more patchy, I have also tracked this separately:

2005

• ImanPoernomo, Heinz Schmidt and Jane Jayaputera, "Timed Probabilistic Constraints over the DMTF Common Information Model", 9th IEEE International EDOC Conference (EDOC 2005), 19-23 September 2005, Enschede, The Netherlands, IEEE Computer Society, 2005, pp. 261-273
• Mohammad Tanvir Huda, Heinz W. Schmidt, Ian D. Peake: An Agent-Oriented Proactive Fault-tolerant Framework for Grid Computing, Proc. First International IEEE Conference on e-Science and Grid Technologies (e-Science 2005), Melbourne, Australia, 2005, IEEE Computer Society Press, Dec. 2005, to appear
• Nor Laily Hashim, Heinz W. Schmidt, Sita Ramakrishnan: Test Order for Class-based Integration Testing of Java Applications. Proceedings of the 5th International Conf. on Quality Software (QSIC 2005), IEEE Computer Society Press, Sep. 2005
• Anders Möller, Ian Peake, Mikael Nolin, Heinz W. Schmidt: Component-Based Context-Dependent Hybrid Property Prediction, Proc. of the ERCIM Workshop on Dependable Software-Intensive Embedded Systems (in Cooperation with the 31st EUROMICRO Conference on Software Engineering and Advanced Applications). European Research Consortium for Informatics and Mathematics (ERCIM), September 2005, ISBN 2-912335-15-9, pp. 69-75
• Shourong Lu, Wolfgang A. Halang, Heinz W. Schmidt, Roman Gumzej: A Component-based Approach to Safety Hazards in the Design of Safte-Critical Systems. in: Proceedings 3rd International IEEE Conference on Industrial Informatics, Perth, 2005
• Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Kurt Wallnau (Eds.): Component-Based Software Engineering, 8th International Symposium, CBSE, St. Louis, MO, USA, LNCS 3489, Springer Verlag, 2005.
• K. M. Goeschka, R. Smeikal, H. W. Schmidt: Fault-Tolerant and Dependable Distributed Systems - Minitrack within the Software Technology Track at the HICSS-38 Conference, Proc. 38th Hawaii Intl. Conf. on System Science (HICSS-38), p. 289, IEEE, 2005

2004

• J Jayaputera, I Poernomo, Heinz W Schmidt: ``Runtime Verification of Timing and Probabilistic Properties using WMI and .NET''. Proc. of the 30-th Euromicro Conference, Rennes, pp. 100-106, IEEE, 2004.
• Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Kurt Wallnau (Eds.): Component-Based Software Engineering, 7th International Symposium, CBSE 2004, Edinburgh, LNCS 3054, Springer Verlag, 2004.
• H W Schmidt, B J Krämer, I Poernomo and R Reussner: ``Predictable Component Architectures Using Dependent Finite State Machines'', in M Wirsing, A Knapp, S Balsamo (eds), LNCS 2941, Radical Innovations of Software and Systems Engineering in the Future, pp. 310-324
• Heinz W. Schmidt, Ian D. Peake, Jue Xie, Ian Thomas, Bernd J. Krämer, Alexander Fay, Peter Bort: Modelling Predictable Component-Based Distributed Control Architectures Proc. Ninth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS' 03 ), IEEE, pp. 339-346, Jan. 2004

2003

• S. Ling, I. Poernomo and H. Schmidt: Describing Web Service Architectures through Design-by-Contract, Proceedings of the 18th International Symposium on Computer and Information Sciences (ISCIS'03), Antalya, Turkey, LNCS 2869, Springer-Verlag, pp. 1008-1018, 2003
• Iman Poernomo, Ralf Reussner, Heinz Schmidt: Architectural Configuration with EDOC and .NET Component Services, in 29th EUROMICRO Conference 2003, New Waves in System Architecture, 3-5 September 2003, Belek-Antalya, Turkey. IEEE Computer Society 2003, ISBN 0-7695-1996-2, pp. 61-69, 2003
• Jane Jayaputera, Iman H. Poernomo, Heinz W. Schmidt: Timed Probabilistic Reasoning on UML Specialization for Fault Tolerant Component Based Architectures, Proceedings of the SAVCBS Workshop at European Software Engineering Conference, 2003
• Ralf H. Reussner, Iman H. Poernomo and Heinz W. Schmidt: ``Reasoning about Software Architectures with Contractually Specified Components'', LNCS vol 2693, pp. 287--325, Springer Verlag, 2003
• Ivica Crnkovic, H. Schmidt, Judith Stafford, Kurt Wallnau (eds): Proceedings of the 6th ICSE Workshop on Component-Based Software Engineering: Automated Reasoning and Prediction Portland, Oregon, USA May 3-4, 2003, Monash University, 5/2003
• Ivica Crnkovic, H. Schmidt, Judith Stafford, Kurt Wallnau: 6th ICSE Workshop on Component-Based Software Engineering: Automated Reasoning and Prediction. Proc. 25-th Intl. Conf. on Software Engineering (ICSE'03), p.775-776, IEEE Press, 2003
• R. Reussner, H. Schmidt, I. Poernomo: Reliability prediction for component-based software architectures In Journal of Systems and Software, 66(3), pp. 241-252, Elsevier Science Inc, 2003
• H. Schmidt, Trustworthy components: compositionality and prediction in Journal of Systems and Software 65(3), pp. 215-225, Elsevier Science Inc, 2003
• Ivica Crnkovic, H. Schmidt, Judith Stafford, Kurt Wallnau (eds): Journal of Systems and Software, Special Issue on Component-Based Software Engineering - Component Certification and System Prediction. 65/3, Elsevier Science Inc., 2003
• Ivica Crnkovic, H. Schmidt, Judith Stafford, Kurt Wallnau: Guest Editorial, in Journal of Systems and Software 65(3), pp. 169-171, Elsevier Science Inc, 2003

2002

• Heinz W. Schmidt, Bernd J. Krämer, Iman Poernomo, Ralf Reussner: ``Predictable Component Architectures Using Dependent Finite State Machines'', in M. Wirsing, S. Balsamo, A. Knapp (Eds.): Proceedings of the NATO Workshop Monterey 2002, Radical Innovations of Software and Systems Engineering in the Future, Universita Ca Foscari di Venezia, Dipartimento Informatica, TR CS-2002-10 Sep 2002, pp. 363-378
• Heinz W. Schmidt, Ralf H. Reussner. Generating Adapters for Concurrent Component Protocol Synchronisation Proceedings of the Fifth IFIP International conference on Formal Methods for Open Object-based Distributed Systems, Kluwer, pp. 213-229, 4/2002
• Heinz W. Schmidt. Compositional Software Architecture Definition. In Proc. Formal Methods in Software Engineering and Defence Systems 2002, Adelaide, Australia, Lakos, C., Esser, R., Kristensen, L. M. and Billington, J., Eds., ACS, 2002, invited keynote
• Heinz W. Schmidt, Ralf H. Reussner. ``Parameterised Contracts and Adaptor Synthesis'' Proc. 5th Intl Component-Based Software Engineering Workshop (CBSE5) of the ICSE Conference, SEI, May 2002
• Jane Jayaputera, Iman Poernomo, Ralf Reussner, Heinz Schmidt: Timed Probabilistic Reasoning for Component Based Architectures. In: Harald Sondergaad (ed.), Proc. 3rd Australasian Workshop on Computational Logic (AWCL 2002), Canberra, 2002
• Iman Poernomo, Ralf Reussner, Heinz Schmidt, Architectures of Enterprise Systems: Modelling Transactional Contexts, Proceedings of the First IFIP/ACM Working Conference on Component Deployment (CD 2002), LNCS Springer Verlag, 2002
• Ralf Reussner, Heinz Schmidt, Iman Poernomo:Using Parameterised Contracts for Component Reliability Prediction. Proc. of the 6th World Conference on Integrated Design and Process Technology, Pasadena, CA, 2002, Society for design and process science
• Ralf Reussner, Iman Poernomo, Heinz Schmidt, Using the TrustME Tool Suite for Automatic Component Protocol Adaptation, International Conference on Computational Science (ICCS 2002), The Netherlands, 2002, LNCS, Springer Verlag, 2002
• Ivica Crnkovic, Heinz Schmidt, Judith Stafford, Kurt Wallnau: 5th ICSE Workshop on Component-Based Software Engineering: Benchmarks for Predictable Assembly, Proc. 24th Intl. Conf. on Software Engineering (ICSE'02), p. 655-656, IEEE, 2002.
• Ivica Crnkovic, Heinz Schmidt, Judith Stafford, Kurt Wallnau (eds.): Proc. 5th ICSE Workshop on Component-Based Software Engineering: Benchmarks for Predictable Assembly, Software Engineering Institute, Pittsburgh, 2002
• Finkel, R.A., Zaslavsky, A., Monostori, K, Schmidt, H. "Signature Extraction for Overlap Detection in Documents", Twenty-Fifth Australasian Computer Science Conference (ACSC2002), Monash University, Melbourne, 28th January - 1st February, 2002
• Monostori, K, Zaslavsky, A., Schmidt, H. "Suffix Vector: Space-and Time-Efficient Alternative to Suffix Trees", Twenty-Fifth Australasian Computer Science Conference (ACSC2002), Monash University, Melbourne, 28th January - 1st February, 2002

2001

• Iman Poernomo, Heinz Schmidt, ``An Architectural Description Language for Enterprise Computing'', International Working Conference on Complex and Dynamic Systems Architecture, DSTC, 2001
• Heinz W. Schmidt, Iman Poernomo, and Ralf H. Reussner. Trust-By-Contract: Modelling, Analysing and Predicting Behaviour in Software Architectures Journal for Integrated Process and Development Science, 5(3), pp.25-51, SDPS, Sep. 2001.
• Ivica Crnkovic, H. Schmidt, Judith Stafford, Kurt Wallnau (eds): 4th ICSE Workshop on Component-Based Software Engineering - Component Certification and System Prediction, Monash University, 2001
• Ivica Crnkovic, H. Schmidt, Judith Stafford, Kurt Wallnau: 4th ICSE Workshop on Component-Based Software Engineering: Component Certification and System Prediction, Proc. 23rd Intl. Conf. on Software Engineering (ICSE'01), pp. 771-772, IEEE, 2001.
• H. Schmidt: Trusted Components: Towards Automated Assembly with Predictable Properties, Proc. ICSE CBSE4, Toronto, 6/2001, IEEE.
• B. Kraemer and H. Schmidt: Components and Tools for Online Education. European Journal of Education, vol. 36, no. 2, 2001
• G. Watson, D. Abramson, H. Schmidt: ``Data Transformation Techniques For Parallel Relative Debugging'', journal article under review.
• R. A. Finkel and H. Schmidt: Safe and efficient storage allocation for iterators. CSSE TR-2001/88, Monash University, March 2001
• K. Monostori, A. Zaslavsky, H. Schmidt, R. Finkel: ``Parallel Document Overlap Detection on a Cluster'', IEEE Proc Intl Symp. on Cluster Computing and the Grid (CCGrid'01), 2001

2000

• H. Schmidt and R. Reussner: Automatic Component Adaptation by Concurrent State Machine Retrofitting. Monash University, SCSSE TR 2000/81, 11/2000
• S. Ramakrishnan, H. Schmidt: ``Model Engineering for Distributed Component Testing'', Proc. 6th Intl Conf. on Object-Oriented Information Systems, London, Nov 2000
• L. Wegner, H. Schmidt: ``Shared XML Documents in Service Centres of the Future'', IEEE Proc. 10th Intl Database Symposium (IDS2000), Hong Kong, pp. 105-112, IEEE, June 2000
• S. Ling, H. Schmidt: ``Time Petri Nets for Workflow Modelling and Analysis'', IEEE Proc. Intl. Conf. Systems, Man and Cybernetics (SMC'2000), Nashville, Tenesee, USA, pp. 3039-3044, IEEE, 2000
• A.J. Quigley, M. Postema, H. Schmidt: ``Revis: Reverse Engineering by Clustering and Visual Object Classification'', IEEE Proc. Aus. Software Engineering Conf., Canberra, pp. 119-125, IEEE, 2000
• S. Ling, H. Schmidt: A Concept of Time for Workflow Modelling and Analysis, Monash University, SCCSE TR2000/72, 2000
• K. Monostori, A. Zaslavsky, H. Schmidt: ``MatchDetectReveal: Finding Overlapping and Similar Digital Documents'', Proc. Intl. Conf. Information Resources and Management Association,, Anchorage, Alaska, USA, 2000
• Monostori K., Zaslavsky A., Schmidt H., Parallel and Distributed Document Overlap Detection on the Web. In: Sorevik, T.; Manne, F.; Moe, R.; Gebremedhin, A.H., (Eds.): (2001) Applied Parallel Computing. New Paradigms for HPC in Industry and Academia, 5th International Workshop, PARA 2000 Bergen, Norway, June 18-20, 2000 Proceedings, ISBN: 3-540-41729-X, LNCS vol1947, Springer Verlag 2001, pp.206-214,
• Monostori K., Zaslavsky A., Schmidt H. Digital Documents in Educational Environment: Misuse, Appropriation, and Detection Issues. Fourth Australasian Computing Education Conference, 4 - 6 December 2000, Monash University, Melbourne.
• Monostori K., Zaslavsky A., Schmidt H. Document Overlap Detection System for Distributed Digital Libraries. ACM Digital Libraries 2000 (DL00), 2-7 June, 2000 in San Antonio, Texas, USA.
• Monostori K., Zaslavsky A., Schmidt H.: Efficiency of Data Structures for Detecting Overlaps in Digital Documents. Australasian Computer Science Conference (ACSC'01), Bond University, Gold Coast, Queensland, 29 January - 2 February, pp. 140-147, IEEE, 2001.

1999

• S. Ling, H. Schmidt, R. Fletcher: ``Constructing Interoperable Components in Distributed Systems'', IEEE Proc. TOOLS Pacific '99, Melbourne, pp. 274-284, 1999
• K. Monostori, A. Zaslavsky, H. Schmidt: ``Parallel Overlap and Similarity Detection in Semi-Structured Document Collections'', IEEE Proc. 6th Australasian Conf. on Parallel and Real-Time Systems (PART'99), Melbourne, 1999
• K. Monostori, A. Zaslavsky, H. Schmidt "Identifying Overlapping Documents in Semi-Structured Text Collections", Short paper at Australasian Conference in Computer Science, Feb, 2000.
• K. Monostori, A. Zaslavsky, H. Schmidt, "Parallel Overlap and Similarity Detection in Semi-Structured Document Collections", 6th Annual Australasian Conference on Parallel and Real-Time Systems, Melbourne (29th November - 1st December, 1999).
• K. Monostori, A. Zaslavsky, H. Schmidt, "Identifying Overlapping Documents in Semi-Structured Text Collections", Poster at ACIS'99, Wellington, 1-3 December, 1999.
• S.W. Loke, H. Schmidt, and A. Zaslavsky. ``Programming the Mobility Behaviour of Agents by Composing Itineraries''. Proc. 5th Asian Computing Science Conference (ASIAN'99), LNCS vol 1742, Springer Verlag, 1999, pp. 214--226, 1999.

1998

• B. Meyer, C. Mingins, H. Schmidt: Providing Trusted Components to the Industry, IEEE Computer 5/1998, pp. 104-105, 1998
• B. Kraemer, M. Papazoglou, H. Schmidt (eds): Information Systems Interoperability, Research Studies Press, 1998
• H.Schmidt: ``Compatibility of interoperable objects'', in: B. Kraemer, M. Papazoglou, H. Schmidt (eds) Information Systems Interoperability Research Studies Press, 1998
• Sita Ramakrishnan, Heinz Schmidt: A Study of Software Engineering Education Requirements within a Semiotics Framework, 1998 International Conference on Software Engineering: Education & Practice (SEEP'98), pp. 213ff, IEEE, 1998.
• M. Postema, H. Schmidt: Reverse Engineering and Abstraction of Legacy Systems, Informatica: An International Journal of Computing and Informatics, pp. 359-371, 1998
• M. Postema, H. Schmidt, X. Wu: ``Locating White Box Reuse via Data Mining'', In: B. Verma et al. (eds): IEEE Proc. 2nd Intl Conf. on Intelligent Systems (ICIP'98), Gold Coast Australia, pp. 478-482, 1998

1997

• M. Postema, H. Schmidt: Object Discovery from Design Abstractions of Legacy Systems, Monash, Dept. Software Development, TR97-6, 1997 (text, abstract)
• C. Ling, H.Schmidt: ``Using a notion of safety in Petri Nets to Analyse Real-Time Systems'', Proc. IASTED Intl Software Engineering Conference (IASTED-SE 97), San Francisco, pp. 344-350, 1997 (Techrep text, abstract)
• Tari, Z., Zaslavsky, A., Schmidt, H., Savnik, I., Cheng, W., "Towards cooperative databases: a distributed object approach", World Multiconference on Systemics, Cybernetics and Informatics, SCI'97, Caracas, Venezuela, July, 7-11, 1997
• K. Cai, H. Schmidt, X. Wu: ``Schedular++: Scheduling with Knowledge Objects'', Proc. 9th IEEE Intl Conf on Tools with AI (IEEE TAI'97), 1997.
• H.Dai, H. Schmidt, X.Wu: ``Intelligent Inference Within Objects Using Constraint Rules'', Proc. IEEE Intl Conf Intelligent Processing Systems, 1997
• S. Ramakrishnan, X. Wu, H. Schmidt, H. Dai: Intelligent Objects: An Integration of Knowledge, Inference and Objects Man and Computers, 1997
• S. Ransom, H. Schmidt, X. Wu: Disorientation and cognitive overhead in hypertext systems, International Journal of Artificial Intelligence Tools, 6(1997), 2: 227--253. (Techrep text, abstract)
• G. Goos, H. Schmidt: ``Sather-K - The Language'', Springer, Software - Concepts and Tools no 18, 1997

• S. Ling, H. Schmidt: ``Towards Analysing a Class of Object Petri Nets'', IEEE Proc. ASWEC'96, pp: 81--92, IEEE, 1996 (text, abstract)
• A.S.M. Sajeev, H. Schmidt: ``Integrating Concurrency and Object-Orientation using Boolean, Access and Path Guards'', IEEE Proc. 3rd Intl Conf HPC, 1996 pp: 68--72 (text, abstract)
• A. Zaslavski, A.S.M. Sajeev, H. Schmidt: ``Towards an object-oriented distributed programming environment for mobile computing'', Proc. 1st Aus. Workshop on Mobile Computing Databases and Applications, Monash University, 1996
• H Schmidt, S Sajeev and C Exton: ``Towards an object-oriented distributed programming environment for mobile computing'', First Australian Workshop on Mobile Computing & Databases & Applications, Monash University, Melbourne, 53-59, 7pp.
• S Ling and H Schmidt: A notion of safenes in time for petri nets , TR96-21, Department of Software Development Technical Report, Department of Software Development, Monash University, Melbourne, 1-13, 13pp. Technical report SD TR96-21. (text, abstract)

• J. Avotins, C. Mingins, H. Schmidt: ``Yes! An Object-Oriented Compiler Compiler (YOOCC)'', Proc. TOOLS USA, Prentice Hall, 1995 (text, abstract)
• A.S.M. Sajeev, H. Schmidt: ``Identification of Interfering Statements in a Shared Object Paradigm'', Proc. PART '95, 1995 (text, abstract)
• X. Wu, S. Ramakrishnan, H. Schmidt: Knowledge Objects, Informatica: An International Journal of Computing and Informatics, 1995, pp. 557--571 (text, abstract)
• H. W. Schmidt, J. Chen: ``Reasoning About Concurrent Objects'', IEEE Proc. Asia-Pacific Software Engineering Conf. (APSEC '95), pp. 86-95, IEEE, 1995 (text, abstract)
• H. Schmidt and J Chen: ``Reasoning about concurrent objects'', (TR95-11) Department of Software Development, Monash University, 17pp, 1995. (A longer version of the above paper, including multi-threading extensions. text, abstract)
• O. Bosman, H. Schmidt: ``Object Test Coverage Using Finite State Machines'', In Proc. TOOLS Pacific '95, pp. 171--178, Melbourne, Australia, November 1995. (text, abstract)

• H. Schmidt, W. Zimmermann: A complexity calculus for object-oriented programs Journal of Object-Oriented Systems, pp. 117-147, 1994 (text, abstract)
• H. Schmidt, W. Zimmermann: ``Reasoning about complexity in object-oriented programs'', Proc. International Conference Programming Concepts, Methods and Calculi, San Miniato, Italy, pp.541--560, 1994 (text, abstract)
• H. Schmidt: ``Stable object-oriented software constructions'', Proc. International Workshop Abstract Data Types, Santa Margherita, Italy, 1994
• S. Milton and Heinz W. Schmidt: Dynamic Dispatch in Object-Oriented Languages Technical Report TR-CS-94-02, The Australian National University, Canberra, January 1994. (Appeared also as Monash TR 95. text, abstract)
• A S M Sajeev and H Schmidt: A framework for semi-automated parallel program transformation , TR94-03 (Technical Report) Department of Software Development, Monash University, Melbourne, 9pp, 1994. Technical report SD 94-03. (text, abstract)

• M. Haghjoo, M. Papazoglou, H. Schmidt: ``A semantics-based nested transaction model for intelligent and cooperative information systems'', Proc. ICIS, 1993
• H. Schmidt, S. Omohundro: ``CLOS, Eiffel and Sather: A comparison,'' in: Paepcke (ed), Object-Oriented Programming: the CLOS Perspective, MIT Press, pp. 181-213, 1993
• H. Schmidt: ``Data-parallel object-oriented programming,'' Proc. 5th Australian Supercomputer Conference, Melbourne, 1992
• H. Schmidt: ``Towards data-parallel object-oriented programming,'' Proc. Third International Workshop on Compilers for Parallel Computers 1992, Vienna University, ACPC/TR 93-2, pp. 174--185, 1993
• H. Schmidt: Typing issues in object-oriented programming. In Tutorials of the Conference on Technology of Object-Oriented Languages and systems (TOOLS) Pacific, UTS Sydney, 1992.
• D. Karagiannis, F. Kurfess, H. Schmidt: Knowledge Selection in large knowledge bases, Springer LNAI 611, 1992, pp. 291--310. Selected from IJCAI, Sydney, 1991
• H. Schmidt: Prototyping and analysis of non-sequential systems using Pr/E nets JSS 15(1), pp. 43-62, 1991
• B. Kramer and H. W. Schmidt. Types and modules for net specifications, In: K. Jensen and G. Rozeberg, editors, High-Level Petri Nets: Theory and Application, pp. 171-188 (selected for reprint from Springer LNCS, Concurrency and Nets, 1987), Springer LNCS, 1991
• Heinz W. Schmidt Prototyping and analysis of non-sequential systems using predicate-event nets. Elsevier Journal of Systems and Software, 15(1), 1991.
• Heinz W. Schmidt and J. Bilmes. Exception handling in pSather. Workshop on Exception Handling, European Conference on Object-Oriented Programming (ECOOP), 1991.
• Heinz W. Schmidt and Benedict Gomes. ICSIM: An object-oriented connectionist simulator. Technical Report TR-91-048, International Computer Science Institute, UC Berkeley, November 1991.
• Heinz W. Schmidt and F. Mazzanti. Static typing and dynamic dispatch. Technical report, International Computer Science Institute, Berkeley, 1991.
• Heinz W. Schmidt and B. Kraemer. Architecture and functionality of a specification environment for distributed software. IEEE Fourth International COMPSAC Conference, Chicago, pp. 617-622 , IEEE, 1990.
• Heinz W. Schmidt. CASE Products '90 -- A survey of the US CASE market. Technical report, Gesellschaft fur Mathematik und Datenverarbeitung, Western Office, Berkeley, 1990.
• Heinz W. Schmidt Specification and Correct Implementation of Non-sequential Systems Combining Abstract Data Types and Petri Nets. Oldenbourg Verlag, Munchen, Wien, 1989.
• Heinz W. Schmidt and B. Kraemer. Developing integrated environments with ASDL. IEEE Software, January 1989.
• J. Burkhard and Heinz W. Schmidt. ``SECURE, das Uebel an der Wurzel packen''. GMD-Spiegel, 10/1989
• Heinz W. Schmidt and B. Kraemer. Object-oriented development of integrated programming environments with ASDL. Proceedings of the ACM SIGSMALL/PC Symposium, Cannes, 1988. ACM Press.
• Heinz W. Schmidt and R. Endres. Architecture of the GRASPIN environment. ESPRIT GRASPIN Technical Papers, Gesellschaft fur Mathematik und Datenverarbeitung, Sankt Augustin, 1988.
• Heinz W. Schmidt and M.-L. Christ-Neumann. ASDL -- an object-oriented specification language for syntax-directed environments. In Proc. of the European Software Engineering Conference, pages 77--85, Paris, 1987. AFCET.
• Heinz W. Schmidt and B. Kraemer. Chapter Types and Modules for Net Specifications, chapter in: Concurrency and Nets, pages 267--286. Springer Verlag, Berlin, 1987.
• Heinz W. Schmidt and B. Kraemer. Entwicklungslabor zur Spezifikation von Software-Systemen. Design and Elektronik, 13:29--31, 1986.
• Heinz W. Schmidt, B. Dehm et al. Description of validation and verification methods. ESPRIT GRASPIN technical papers, Gesellschaft fur Mathematik und Datenverarbeitung, 1985.
• Heinz W. Schmidt and B. Kraemer. Abstract modular implementation of processes by predicate-event systems. ESPRIT GRASPIN technical papers, Gesellschaft fur Mathematik und Datenverarbeitung, 1985
• Heinz W. Schmidt. Towards a net-theoretic notion of type based on predicate-transition nets. In Fifth European Workshop on Application and Theory of Petri Nets, Aarhus University, 1984.
• Heinz W. Schmidt, B. Kraemer, H. H. Nieters, M. Bayer, J.P. Dehottay, and K. Singer. A syntax directed editor for a semigraphical language to specifying concurrent systems. In H. Ganzinger, editor, Proceedings of the Eighth Symposium on Programming Languages and Program Development, Zurich, 1984.
• Heinz W. Schmidt and H. J. Kreowski. Some algebraic concepts of the specification language SEGRAS and their initial semantics. GMD Studien, Gesellschaft fur Mathematik und Datenverarbeitung, 1984.
• Heinz W. Schmidt and B. Kraemer. A high-level net language for stepwise modeling of organizational systems. In Wedde, editor, Proceedings of the International Working Conference on Model Realism, 1983. Springer Verlag.
• Heinz W. Schmidt and B. Kraemer. An approach to algebraic specification and stepwise implementation of nonsequential systems. Proceedings of the Sixth International Conference on Software Engineering, Tokyo, 1982.
• Heinz W. Schmidt. Zweischichtige Grammatiken. Springer Informatik Spektrum, 4(2):90--100, 1981.
• Heinz W. Schmidt and B. Kraemer. Der Entwurf nebenlaeufiger Systeme mit Handlungs-Entscheidungsnetzen. In W.Brauer, editor, Third Conference of the European Cooperation in Informatics, no 50, Springer Informatik Fachberichte, 1981.
• Heinz W. Schmidt, C.Hopmann, B. Kraemer, M. Moritz, and H. H. Nieters. Einfuehrung in Design-Techniken und Implementierungsverfahren und in das Implementationswerkzeug CDL/ECDL. GMD Technical Report, Gesellschaft fur Mathematik und Datenverarbeitung, Sankt Augustin, 1981.
• Heinz W. Schmidt and B. Kraemer. Interactive software development by stepwise formalization. Proceedings of the Sixth ACM European Regional Conference on Systems Architecture, 1981. Westbury House.
• K. H. Hauer, S. Herda, H.-W. Hovel, W. Lierz, J. Roskamp, H. W. Schmidt, M. Wladarz. Untersuchung ueber Massnahmen zur Verbesserung der Software-Produktion---Einsatzerfahrung mit Standard-Anwendungs-Software und Anforderungen an ein Bausteinkonzept. GMD Berichte 133. Oldenbourg Verlag, 1980.
• Heinz W. Schmidt and B. Kraemer. Interaktive Softwareentwicklung durch schrittweise Formalisierung. In Floyd and Kopetz, editors, Proc. of the Workshop on Software Engineering---Entwurf und Spezifikation, no. 5, German Chapter of the ACM, pages 310--311, Stuttgart, 1980. Teubner.
• Heinz W. Schmidt and B. Kraemer. Locally nondeterministic and hybrid syntax analysers from partitioned two-level grammars. In K. H. Boehling and P. P. Spies, editors, Springer Informatik Fachberichte, no 19, 1979.