Heinz W. Schmidt

Ian D. Peake, Heinz W. Schmidt: Systematic simplicity-accuracy tradeoffs in parameterised contract models. QoSA/ISARCS 2011: 95-104

Iman I. Yusuf, Heinz W. Schmidt, Ian D. Peake: Architecture-based fault tolerance support for grid applications. QoSA/ISARCS 2011: 177-182

Leelani Kumari Wickramasinghe, Michael P. Georgeff, Christian Guttmann, Ian E. Thomas, Heinz W. Schmidt: Cost/Benefit Analysis of an Adherence Support Framework for Chronic Disease Management. Behaviour Monitoring and Interpretation 2011: 105-127

Leelani Kumari Wickramasinghe, Christian Guttmann, Michael P. Georgeff, Ian E. Thomas, Heinz W. Schmidt: An Adherence Support Framework for Service Delivery in Customer Life Cycle Management. COIN@AAMAS&MALLOW 2010: 210-229

Christian Guttmann, Leelani Kumari Wickramasinghe, Ian E. Thomas, Michael P. Georgeff, Heinz W. Schmidt: Intelligent Adherence Support to Manage Contractual Relationships. Web Intelligence/IAT Workshops 2010: 342-345

Amir Aryani, Ian D. Peake, Margaret Hamilton, Heinz W. Schmidt, Michael Winikoff: Change Propagation Analysis Using Domain Information. Australian Software Engineering Conference 2009: 34-43

Leelani Kumari Wickramasinghe, Christian Guttmann, Michael P. Georgeff, Hamid Gharib, Ian E. Thomas, Simon G. Thompson, Heinz W. Schmidt: Agent-based intelligent collaborative care management. AAMAS (2) 2009: 1387-1388

Nicholas R. May, Heinz W. Schmidt, Ian E. Thomas: Service Redundancy Strategies in Service-Oriented Architectures. EUROMICRO-SEAA 2009: 383-387

Iman I. Yusuf, Heinz W. Schmidt, Ian D. Peake: Evaluating recovery aware components for grid reliability. ESEC/SIGSOFT FSE 2009: 277-280

Mikhail Perepletchikov, Caspar Ryan, Keith Frampton, Heinz W. Schmidt: Formalising Service-Oriented Design. JSW 3(2): 1-14 (2008)

Ivica Crnkovic, George T. Heineman, Heinz W. Schmidt, Judith A. Stafford, Kurt C. Wallnau: Guest Editorial. Journal of Systems and Software 80(5): 641-642 (2007)

Mikhail Perepletchikov, Caspar Ryan, Keith Frampton, Heinz W. Schmidt: A Formal Model of Service-Oriented Design Structure. ASWEC 2007: 71-80

Nor Laily Hashim, Sita Ramakrishnan, Heinz W. Schmidt: Architectural Test Coverage for Component-Based Integration Testing. QSIC 2007: 262-267

Heinz W. Schmidt: Architecture-Based Reasoning About Performability in Component-Based Systems. SOFSEM (1) 2007: 130-137

Ian D. Peake, Heinz W. Schmidt: Parameterised Extra-Functional Prediction of Component-Based Control Systems - Industrial Experience. SOFSEM (1) 2007: 911-922

Heinz W. Schmidt, Ivica Crnkovic, George T. Heineman, Judith A. Stafford (Eds.): Component-Based Software Engineering, 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007, Proceedings. Lecture Notes in Computer Science 4608, Springer 2007, isbn 978-3-540-73550-2

Iman Poernomo, Heinz W. Schmidt, Jane Jayaputera: Verification and Prediction of Timed Probabilistic Properties over the Dmtf CIM. Int. J. Cooperative Inf. Syst. 15(4): 633-658 (2006)

Susan Entwisle, Heinz W. Schmidt, Ian D. Peake, Elizabeth A. Kendall: A Model Driven Exception Management Framework for Developing Reliable Software Systems. EDOC 2006: 307-318

Ian Gorton, George T. Heineman, Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Clemens A. Szyperski, Kurt C. Wallnau (Eds.): Component-Based Software Engineering, 9th International Symposium, CBSE 2006, Västerås, Sweden, June 29 - July 1, 2006, Proceedings. Lecture Notes in Computer Science 4063, Springer 2006, isbn 3-540-35628-2

Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Kurt C. Wallnau: Automated Component-Based Software Engineering. Journal of Systems and Software 74(1): 1-3 (2005)

Ivica Crnkovic, Ralf Reussner, Heinz W. Schmidt, Kevin Simons, Judith A. Stafford, Kurt C. Wallnau: Report of the International Symposium on Component-Based Software Engineering. ACM SIGSOFT Software Engineering Notes 30(3): 1-9 (2005)

Mohammad Tanvir Huda, Heinz W. Schmidt, Ian D. Peake: An Agent Oriented Proactive Fault-Tolerant Framework for Grid Computing. e-Science 2005: 304-311

Iman Poernomo, Jane Jayaputera, Heinz W. Schmidt: Timed Probabilistic Constraints over the Distributed Management Taskforce Common Information Model. EDOC 2005: 261-272

Karl M. Göschka, Robert Smeikal, Heinz W. Schmidt: Fault-Tolerant and Dependable Distributed Systems - Minitrack within the Software Technology Track at the HICSS-38 Conference. HICSS 2005

Nor Laily Hashim, Heinz W. Schmidt, Sita Ramakrishnan: Test Order for Class-based Integration Testing of Java Applications. QSIC 2005: 11-18

Kenneth Chan, Iman Poernomo, Heinz W. Schmidt, Jane Jayaputera: A Model-Oriented Framework for Runtime Monitoring of Nonfunctional Properties. QoSA/SOQUA 2005: 38-52

George T. Heineman, Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Clemens A. Szyperski, Kurt C. Wallnau (Eds.): Component-Based Software Engineering, 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005, Proceedings. Lecture Notes in Computer Science 3489, Springer 2005, isbn 3-540-25877-9

Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Kurt C. Wallnau: 6th ICSE Workshop on Component-Based Software Engineering: automated reasoning and prediction. ACM SIGSOFT Software Engineering Notes 29(3): 1-7 (2004)

Jane Jayaputera, Iman Poernomo, Heinz W. Schmidt: Runtime Verification of Timing and Probabilistic Properties using WMI and .NET. EUROMICRO 2004: 100-106

Ivica Crnkovic, Judith A. Stafford, Heinz W. Schmidt, Kurt C. Wallnau (Eds.): Component-Based Software Engineering, 7th International Symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004, Proceedings. Lecture Notes in Computer Science 3054, Springer 2004, isbn 3-540-21998-6

Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Kurt C. Wallnau: Guest Editorial. Journal of Systems and Software 65(3): 169-171 (2003)

Heinz W. Schmidt: Trustworthy components - compositionality and prediction. Journal of Systems and Software 65(3): 215-225 (2003)

Ralf Reussner, Heinz W. Schmidt, Iman Poernomo: Reliability prediction for component-based software architectures. Journal of Systems and Software 66(3): 241-252 (2003)

Ralf Reussner, Iman Poernomo, Heinz W. Schmidt: Reasoning about Software Architectures with Contractually Specified Components. Component-Based Software Quality 2003: 287-325

Iman Poernomo, Ralf Reussner, Heinz W. Schmidt: Architectural Configuration with EDOC and .NET Component Services. EUROMICRO 2003: 61-69

Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Kurt C. Wallnau: 6th ICSE Workshop on Component-Based Software Engineering: Automated Reasoning and Prediction. ICSE 2003: 775-776

Sea Ling, Iman Poernomo, Heinz W. Schmidt: Describing Web Service Architectures through Design-by-Contract. ISCIS 2003: 1008-1018

Heinz W. Schmidt, Ian D. Peake, Jue Xie, Ian E. Thomas, Bernd J. Krämer, Alexander Fay, Peter Bort: Modelling Predictable Component-Based Distributed Control Architectures. WORDS Fall 2003: 339-346

Raphael A. Finkel, Arkady B. Zaslavsky, Krisztián Monostori, Heinz W. Schmidt: Signature Extraction for Overlap Detection in Documents. ACSC 2002: 59-64

Krisztián Monostori, Arkady B. Zaslavsky, Heinz W. Schmidt: Suffix Vector: Space- and Time-Efficient Alternative to Suffix Trees. ACSC 2002: 157-165

Iman Poernomo, Ralf Reussner, Heinz W. Schmidt: Architectures of Enterprise Systems: Modelling Transactional Contexts. Component Deployment 2002: 233-243

Heinz W. Schmidt, Ralf Reussner: Generating Adapters for Concurrent Component Protocol Synchronisation. FMOODS 2002: 213-229

Ralf Reussner, Iman Poernomo, Heinz W. Schmidt: Using the TrustME Tool Suite for Automatic Component Protocol Adaptation. International Conference on Computational Science (2) 2002: 854-863

Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Kurt C. Wallnau: 5^th ICSE workshop on component-based software engineering: benchmarks for predictable assembly. ICSE 2002: 655-656

Heinz W. Schmidt, Bernd J. Krämer, Iman Poernomo, Ralf Reussner: Predictable Component Architectures Using Dependent Finite State Machines. RISSEF 2002: 310-324

Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Kurt C. Wallnau: 4th ICSE workshop on component-based software engineering: component certification and system prediction. ACM SIGSOFT Software Engineering Notes 26(6): 33-40 (2001)

Krisztián Monostori, Arkady B. Zaslavsky, Heinz W. Schmidt: Efficiency of Data Structures for Detecting Overlaps in Digital Documents. ACSC 2001: 140-147

Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Kurt C. Wallnau: 4th ICSE Workshop on Component-Based Software Engineering: Component Certification and System Prediction. ICSE 2001: 771-772

Krisztián Monostori, Arkady B. Zaslavsky, Heinz W. Schmidt: Digital documents in educational environment (poster session): misuse, appropriation and detection issues. ACSE 2000: 254-255

Aaron J. Quigley, Margot Postema, Heinz W. Schmidt: ReVis: Reverse Engineering by Clustering and Visual Object Classification. Australian Software Engineering Conference 2000: 119-128

Krisztián Monostori, Arkady B. Zaslavsky, Heinz W. Schmidt: Document overlap detection system for distributed digital libraries. ACM DL 2000: 226-227

Krisztián Monostori, Arkady B. Zaslavsky, Heinz W. Schmidt: MatchDetectReveal: finding overlapping and similar digital documents. IRMA Conference 2000: 955-957

Sita Ramakrishnan, Heinz W. Schmidt: Model Engineering for Distributed O-O Component Testing. OOIS 2000: 407-413

Krisztián Monostori, Arkady B. Zaslavsky, Heinz W. Schmidt: Parallel and Distributed Document Overlap Detection on the Web. PARA 2000: 206-214

Lutz Michael Wegner, Heinz W. Schmidt: Shared XML Documents in Service Centers of the Future. WISE (2) 2000: 105-112

Seng Wai Loke, Heinz W. Schmidt, Arkady B. Zaslavsky: Programming the Mobility Behaviour of Agents by Composing Itineraries. ASIAN 1999: 214-226

Sea Ling, Heinz W. Schmidt, Rohan Fletcher: Constructing Interoperable Components in Distributed Systems. TOOLS (32) 1999: 274-

Bertrand Meyer, Christine Mingins, Heinz W. Schmidt: Providing Trusted Components to the Industry. IEEE Computer 31(5): 104-105 (1998)

Margot Postema, Heinz W. Schmidt: Reverse Engineering and Abstaction of Legacy Systems. Informatica (Slovenia) 22(3) (1998)

Stephen Ransom, Xindong Wu, Heinz W. Schmidt: Disorientation and Cognitive Overhead in Hypertext Systems. International Journal on Artificial Intelligence Tools 6(2): 227-253 (1997)

Kevin Cai, Xindong Wu, Heinz W. Schmidt: Schedular++: Scheduling with Knowledge Objects. ICTAI 1997: 480-483

Sea Ling, Heinz W. Schmidt: Towards Analysing a Class of Object Petri Nets. Australian Software Engineering Conference 1996: 81-92

Sea Ling, Heinz W. Schmidt: Towards Analysing a Class of Object Petri Nets. ASYNC 1996: 81-92

Xindong Wu, Sita Ramakrishnan, Heinz W. Schmidt: Knowledge Objects. Informatica (Slovenia) 19(4) (1995)

Heinz W. Schmidt, Jian Chen: Reasoning about Concurrent Objects. APSEC 1995: 86-95

Heinz W. Schmidt, Wolf Zimmermann: Reasoning about Complexity of Object-Oriented Programs. PROCOMET 1994: 553-572

Heinz W. Schmidt: Prototyping and analysis of non-sequential systems using predicate-event nets. Journal of Systems and Software 15(1): 43-62 (1991)

Dimitris Karagiannis, Franz J. Kurfess, Heinz W. Schmidt: Knowledge Selection in Large Knowledge Bases. The Next Generation of Information Systems 1991: 291-310

Bernd J. Krämer, Heinz W. Schmidt: Developing Integrated Environments with ASDL. IEEE Software 6(1): 98-107 (1989)

Bernd J. Krämer, Heinz W. Schmidt: Object-Oriented Development of Integrated Programming Environments with ASDL. SIGSMALL/PC 1988: 11-21

Marie-Luise Christ-Neumann, Heinz W. Schmidt: ASDL - An Object-Oriented Specification Language for Syntax-Directed Environments. ESEC 1987: 71-79

Heinz W. Schmidt: Polymorphic Types and Algebraic Specifications. ADT 1986

Bernd J. Krämer, Heinz W. Schmidt: A High Level Net Language for Stepwise Modeling of Organizational Systems. International Working Conference on Model Realism 1982: 156-170

Heinz W. Schmidt: Zweischichtige Grammatiken. Informatik Spektrum 4(2): 90-100 (1981)

Bernd J. Krämer, Heinz W. Schmidt: Der Entwurf nebenläfiger Systeme mit Handlungs-Entscheidungs-Netzen. GI Jahrestagung 1981: 460-471

Bernd J. Krämer, Heinz W. Schmidt: Interaktive Softwareentwicklung durch schrittweise Formalisierung. Software Engineering 1980: 310-311

Bernd J. Krämer, Heinz W. Schmidt: Locally Nondeterministic and Hybrid Syntax Analyzers from Partitioned Two-Level Grammars. GI Jahrestagung 1979: 194-205