| 2011 | ||
|---|---|---|
| 76 | Iman I. Yusuf, Heinz W. Schmidt, Ian D. Peake: Architecture-based fault tolerance support for grid applications. QoSA/ISARCS 2011: 177-182 | |
| 75 | Ian D. Peake, Heinz W. Schmidt: Systematic simplicity-accuracy tradeoffs in parameterised contract models. QoSA/ISARCS 2011: 95-104 | |
| 74 | 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 | |
| 2010 | ||
| 73 | 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 | |
| 72 | 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 | |
| 2009 | ||
| 71 | 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 | |
| 70 | 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 | |
| 69 | Iman I. Yusuf, Heinz W. Schmidt, Ian D. Peake: Evaluating recovery aware components for grid reliability. ESEC/SIGSOFT FSE 2009: 277-280 | |
| 68 | Nicholas R. May, Heinz W. Schmidt, Ian E. Thomas: Service Redundancy Strategies in Service-Oriented Architectures. EUROMICRO-SEAA 2009: 383-387 | |
| 2008 | ||
| 67 | Mikhail Perepletchikov, Caspar Ryan, Keith Frampton, Heinz W. Schmidt: Formalising Service-Oriented Design. JSW 3(2): 1-14 (2008) | |
| 2007 | ||
| 66 | Heinz W. Schmidt, Ivica Crnkovic, George T. Heineman, Judith A. Stafford: Component-Based Software Engineering, 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007, Proceedings Springer 2007 | |
| 65 | Mikhail Perepletchikov, Caspar Ryan, Keith Frampton, Heinz W. Schmidt: A Formal Model of Service-Oriented Design Structure. ASWEC 2007: 71-80 | |
| 64 | Nor Laily Hashim, Sita Ramakrishnan, Heinz W. Schmidt: Architectural Test Coverage for Component-Based Integration Testing. QSIC 2007: 262-267 | |
| 63 | Heinz W. Schmidt: Architecture-Based Reasoning About Performability in Component-Based Systems. SOFSEM (1) 2007: 130-137 | |
| 62 | Ian D. Peake, Heinz W. Schmidt: Parameterised Extra-Functional Prediction of Component-Based Control Systems - Industrial Experience. SOFSEM (1) 2007: 911-922 | |
| 61 | 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) | |
| 2006 | ||
| 60 | Ian Gorton, George T. Heineman, Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Clemens A. Szyperski, Kurt C. Wallnau: Component-Based Software Engineering, 9th International Symposium, CBSE 2006, Västerås, Sweden, June 29 - July 1, 2006, Proceedings Springer 2006 | |
| 59 | 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 | |
| 58 | 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) | |
| 2005 | ||
| 57 | George T. Heineman, Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Clemens A. Szyperski, Kurt C. Wallnau: Component-Based Software Engineering, 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005, Proceedings Springer 2005 | |
| 56 | Iman Poernomo, Jane Jayaputera, Heinz W. Schmidt: Timed Probabilistic Constraints over the Distributed Management Taskforce Common Information Model. EDOC 2005: 261-272 | |
| 55 | 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 | |
| 54 | Nor Laily Hashim, Heinz W. Schmidt, Sita Ramakrishnan: Test Order for Class-based Integration Testing of Java Applications. QSIC 2005: 11-18 | |
| 53 | Kenneth Chan, Iman Poernomo, Heinz W. Schmidt, Jane Jayaputera: A Model-Oriented Framework for Runtime Monitoring of Nonfunctional Properties. QoSA/SOQUA 2005: 38-52 | |
| 52 | Mohammad Tanvir Huda, Heinz W. Schmidt, Ian D. Peake: An Agent Oriented Proactive Fault-Tolerant Framework for Grid Computing. e-Science 2005: 304-311 | |
| 51 | 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) | |
| 50 | 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) | |
| 2004 | ||
| 49 | Ivica Crnkovic, Judith A. Stafford, Heinz W. Schmidt, Kurt C. Wallnau: Component-Based Software Engineering, 7th International Symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004, Proceedings Springer 2004 | |
| 48 | Jane Jayaputera, Iman Poernomo, Heinz W. Schmidt: Runtime Verification of Timing and Probabilistic Properties using WMI and .NET. EUROMICRO 2004: 100-106 | |
| 47 | 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) | |
| 2003 | ||
| 46 | Ralf Reussner, Iman Poernomo, Heinz W. Schmidt: Reasoning about Software Architectures with Contractually Specified Components. Component-Based Software Quality 2003: 287-325 | |
| 45 | Iman Poernomo, Ralf Reussner, Heinz W. Schmidt: Architectural Configuration with EDOC and .NET Component Services. EUROMICRO 2003: 61-69 | |
| 44 | 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 | |
| 43 | Sea Ling, Iman Poernomo, Heinz W. Schmidt: Describing Web Service Architectures through Design-by-Contract. ISCIS 2003: 1008-1018 | |
| 42 | 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 | |
| 41 | Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Kurt C. Wallnau: Guest Editorial. Journal of Systems and Software 65(3): 169-171 (2003) | |
| 40 | Heinz W. Schmidt: Trustworthy components - compositionality and prediction. Journal of Systems and Software 65(3): 215-225 (2003) | |
| 39 | Ralf Reussner, Heinz W. Schmidt, Iman Poernomo: Reliability prediction for component-based software architectures. Journal of Systems and Software 66(3): 241-252 (2003) | |
| 2002 | ||
| 38 | Krisztián Monostori, Arkady B. Zaslavsky, Heinz W. Schmidt: Suffix Vector: Space- and Time-Efficient Alternative to Suffix Trees. ACSC 2002: 157-165 | |
| 37 | Raphael A. Finkel, Arkady B. Zaslavsky, Krisztián Monostori, Heinz W. Schmidt: Signature Extraction for Overlap Detection in Documents. ACSC 2002: 59-64 | |
| 36 | Iman Poernomo, Ralf Reussner, Heinz W. Schmidt: Architectures of Enterprise Systems: Modelling Transactional Contexts. Component Deployment 2002: 233-243 | |
| 35 | Heinz W. Schmidt, Ralf Reussner: Generating Adapters for Concurrent Component Protocol Synchronisation. FMOODS 2002: 213-229 | |
| 34 | Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Kurt C. Wallnau: 5th ICSE workshop on component-based software engineering: benchmarks for predictable assembly. ICSE 2002: 655-656 | |
| 33 | 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 | |
| 32 | Heinz W. Schmidt, Bernd J. Krämer, Iman Poernomo, Ralf Reussner: Predictable Component Architectures Using Dependent Finite State Machines. RISSEF 2002: 310-324 | |
| 2001 | ||
| 31 | Krisztián Monostori, Arkady B. Zaslavsky, Heinz W. Schmidt: Efficiency of Data Structures for Detecting Overlaps in Digital Documents. ACSC 2001: 140-147 | |
| 30 | 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 | |
| 2000 | ||
| 29 | Krisztián Monostori, Arkady B. Zaslavsky, Heinz W. Schmidt: Document overlap detection system for distributed digital libraries. ACM DL 2000: 226-227 | |
| 28 | 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 | |
| 27 | Aaron J. Quigley, Margot Postema, Heinz W. Schmidt: ReVis: Reverse Engineering by Clustering and Visual Object Classification. Australian Software Engineering Conference 2000: 119-128 | |
| 26 | Krisztián Monostori, Arkady B. Zaslavsky, Heinz W. Schmidt: MatchDetectReveal: finding overlapping and similar digital documents. IRMA Conference 2000: 955-957 | |
| 25 | Sita Ramakrishnan, Heinz W. Schmidt: Model Engineering for Distributed O-O Component Testing. OOIS 2000: 407-413 | |
| 24 | Krisztián Monostori, Arkady B. Zaslavsky, Heinz W. Schmidt: Parallel and Distributed Document Overlap Detection on the Web. PARA 2000: 206-214 | |
| 23 | Lutz Michael Wegner, Heinz W. Schmidt: Shared XML Documents in Service Centers of the Future. WISE (2) 2000: 105-112 | |
| 1999 | ||
| 22 | Seng Wai Loke, Heinz W. Schmidt, Arkady B. Zaslavsky: Programming the Mobility Behaviour of Agents by Composing Itineraries. ASIAN 1999: 214-226 | |
| 21 | Sea Ling, Heinz W. Schmidt, Rohan Fletcher: Constructing Interoperable Components in Distributed Systems. TOOLS (32) 1999: 274- | |
| 1998 | ||
| 20 | Bertrand Meyer, Christine Mingins, Heinz W. Schmidt: Providing Trusted Components to the Industry. IEEE Computer 31(5): 104-105 (1998) | |
| 19 | Margot Postema, Heinz W. Schmidt: Reverse Engineering and Abstaction of Legacy Systems. Informatica (Slovenia) 22(3): (1998) | |
| 1997 | ||
| 18 | Kevin Cai, Xindong Wu, Heinz W. Schmidt: Schedular++: Scheduling with Knowledge Objects. ICTAI 1997: 480-483 | |
| 17 | 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) | |
| 1996 | ||
| 16 | Sea Ling, Heinz W. Schmidt: Towards Analysing a Class of Object Petri Nets. ASYNC 1996: 81-92 | |
| 15 | Sea Ling, Heinz W. Schmidt: Towards Analysing a Class of Object Petri Nets. Australian Software Engineering Conference 1996: 81-92 | |
| 1995 | ||
| 14 | Heinz W. Schmidt, Jian Chen: Reasoning about Concurrent Objects. APSEC 1995: 86-95 | |
| 13 | Xindong Wu, Sita Ramakrishnan, Heinz W. Schmidt: Knowledge Objects. Informatica (Slovenia) 19(4): (1995) | |
| 1994 | ||
| 12 | Heinz W. Schmidt, Wolf Zimmermann: Reasoning about Complexity of Object-Oriented Programs. PROCOMET 1994: 553-572 | |
| 1991 | ||
| 11 | Dimitris Karagiannis, Franz J. Kurfess, Heinz W. Schmidt: Knowledge Selection in Large Knowledge Bases. The Next Generation of Information Systems 1991: 291-310 | |
| 10 | Heinz W. Schmidt: Prototyping and analysis of non-sequential systems using predicate-event nets. Journal of Systems and Software 15(1): 43-62 (1991) | |
| 1989 | ||
| 9 | Bernd J. Krämer, Heinz W. Schmidt: Developing Integrated Environments with ASDL. IEEE Software 6(1): 98-107 (1989) | |
| 1988 | ||
| 8 | Bernd J. Krämer, Heinz W. Schmidt: Object-Oriented Development of Integrated Programming Environments with ASDL. SIGSMALL/PC 1988: 11-21 | |
| 1987 | ||
| 7 | Marie-Luise Christ-Neumann, Heinz W. Schmidt: ASDL - An Object-Oriented Specification Language for Syntax-Directed Environments. ESEC 1987: 71-79 | |
| 1986 | ||
| 6 | Heinz W. Schmidt: Polymorphic Types and Algebraic Specifications. ADT 1986 | |
| 1982 | ||
| 5 | 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 | |
| 1981 | ||
| 4 | Bernd J. Krämer, Heinz W. Schmidt: Der Entwurf nebenläfiger Systeme mit Handlungs-Entscheidungs-Netzen. GI Jahrestagung 1981: 460-471 | |
| 3 | Heinz W. Schmidt: Zweischichtige Grammatiken. Informatik Spektrum 4(2): 90-100 (1981) | |
| 1980 | ||
| 2 | Bernd J. Krämer, Heinz W. Schmidt: Interaktive Softwareentwicklung durch schrittweise Formalisierung. Software Engineering 1980: 310-311 | |
| 1979 | ||
| 1 | Bernd J. Krämer, Heinz W. Schmidt: Locally Nondeterministic and Hybrid Syntax Analyzers from Partitioned Two-Level Grammars. GI Jahrestagung 1979: 194-205 | |
Colors in the list of coauthors
Last update Fri May 25 01:42:58 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page