| 2008 |
|---|
| 65 | EE | Mikhail Perepletchikov,
Caspar Ryan,
Keith Frampton,
Heinz W. Schmidt:
Formalising Service-Oriented Design.
JSW 3(2): 1-14 (2008) |
| 2007 |
|---|
| 64 | | 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 |
| 63 | EE | Mikhail Perepletchikov,
Caspar Ryan,
Keith Frampton,
Heinz W. Schmidt:
A Formal Model of Service-Oriented Design Structure.
ASWEC 2007: 71-80 |
| 62 | EE | Nor Laily Hashim,
Sita Ramakrishnan,
Heinz W. Schmidt:
Architectural Test Coverage for Component-Based Integration Testing.
QSIC 2007: 262-267 |
| 61 | EE | Heinz W. Schmidt:
Architecture-Based Reasoning About Performability in Component-Based Systems.
SOFSEM (1) 2007: 130-137 |
| 60 | EE | Ian D. Peake,
Heinz W. Schmidt:
Parameterised Extra-Functional Prediction of Component-Based Control Systems - Industrial Experience.
SOFSEM (1) 2007: 911-922 |
| 59 | EE | 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 |
|---|
| 58 | | 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 |
| 57 | EE | 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 |
|---|
| 56 | | 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 |
| 55 | EE | Iman Poernomo,
Jane Jayaputera,
Heinz W. Schmidt:
Timed Probabilistic Constraints over the Distributed Management Taskforce Common Information Model.
EDOC 2005: 261-272 |
| 54 | EE | 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 |
| 53 | EE | Nor Laily Hashim,
Heinz W. Schmidt,
Sita Ramakrishnan:
Test Order for Class-based Integration Testing of Java Applications.
QSIC 2005: 11-18 |
| 52 | EE | Kenneth Chan,
Iman Poernomo,
Heinz W. Schmidt,
Jane Jayaputera:
A Model-Oriented Framework for Runtime Monitoring of Nonfunctional Properties.
QoSA/SOQUA 2005: 38-52 |
| 51 | EE | Mohammad Tanvir Huda,
Heinz W. Schmidt,
Ian D. Peake:
An Agent Oriented Proactive Fault-Tolerant Framework for Grid Computing.
e-Science 2005: 304-311 |
| 50 | EE | 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) |
| 49 | EE | 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 |
|---|
| 48 | | 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 |
| 47 | EE | Jane Jayaputera,
Iman Poernomo,
Heinz W. Schmidt:
Runtime Verification of Timing and Probabilistic Properties using WMI and .NET.
EUROMICRO 2004: 100-106 |
| 46 | EE | 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 |
|---|
| 45 | EE | Ralf Reussner,
Iman Poernomo,
Heinz W. Schmidt:
Reasoning about Software Architectures with Contractually Specified Components.
Component-Based Software Quality 2003: 287-325 |
| 44 | EE | Iman Poernomo,
Ralf Reussner,
Heinz W. Schmidt:
Architectural Configuration with EDOC and .NET Component Services.
EUROMICRO 2003: 61-69 |
| 43 | EE | 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 |
| 42 | EE | Sea Ling,
Iman Poernomo,
Heinz W. Schmidt:
Describing Web Service Architectures through Design-by-Contract.
ISCIS 2003: 1008-1018 |
| 41 | EE | 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.
WORDS Fall 2003: 339-346 |
| 40 | EE | Ivica Crnkovic,
Heinz W. Schmidt,
Judith A. Stafford,
Kurt C. Wallnau:
Guest Editorial.
Journal of Systems and Software 65(3): 169-171 (2003) |
| 39 | EE | Heinz W. Schmidt:
Trustworthy components - compositionality and prediction.
Journal of Systems and Software 65(3): 215-225 (2003) |
| 38 | EE | 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 |
|---|
| 37 | EE | Krisztián Monostori,
Arkady B. Zaslavsky,
Heinz W. Schmidt:
Suffix Vector: Space- and Time-Efficient Alternative to Suffix Trees.
ACSC 2002: 157-165 |
| 36 | EE | Raphael A. Finkel,
Arkady B. Zaslavsky,
Krisztián Monostori,
Heinz W. Schmidt:
Signature Extraction for Overlap Detection in Documents.
ACSC 2002: 59-64 |
| 35 | EE | Iman Poernomo,
Ralf Reussner,
Heinz W. Schmidt:
Architectures of Enterprise Systems: Modelling Transactional Contexts.
Component Deployment 2002: 233-243 |
| 34 | | Heinz W. Schmidt,
Ralf Reussner:
Generating Adapters for Concurrent Component Protocol Synchronisation.
FMOODS 2002: 213-229 |
| 33 | EE | 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 |
| 32 | EE | 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 |
| 31 | EE | Heinz W. Schmidt,
Bernd J. Krämer,
Iman Poernomo,
Ralf Reussner:
Predictable Component Architectures Using Dependent Finite State Machines.
RISSEF 2002: 310-324 |
| 2001 |
|---|
| 30 | EE | Krisztián Monostori,
Arkady B. Zaslavsky,
Heinz W. Schmidt:
Efficiency of Data Structures for Detecting Overlaps in Digital Documents.
ACSC 2001: 140-147 |
| 29 | | 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 |
|---|
| 28 | EE | Krisztián Monostori,
Arkady B. Zaslavsky,
Heinz W. Schmidt:
Document overlap detection system for distributed digital libraries.
ACM DL 2000: 226-227 |
| 27 | EE | 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 |
| 26 | EE | Aaron J. Quigley,
Margot Postema,
Heinz W. Schmidt:
ReVis: Reverse Engineering by Clustering and Visual Object Classification.
Australian Software Engineering Conference 2000: 119-128 |
| 25 | | Krisztián Monostori,
Arkady B. Zaslavsky,
Heinz W. Schmidt:
MatchDetectReveal: finding overlapping and similar digital documents.
IRMA Conference 2000: 955-957 |
| 24 | | Sita Ramakrishnan,
Heinz W. Schmidt:
Model Engineering for Distributed O-O Component Testing.
OOIS 2000: 407-413 |
| 23 | EE | Krisztián Monostori,
Arkady B. Zaslavsky,
Heinz W. Schmidt:
Parallel and Distributed Document Overlap Detection on the Web.
PARA 2000: 206-214 |
| 22 | EE | Lutz Michael Wegner,
Heinz W. Schmidt:
Shared XML Documents in Service Centers of the Future.
WISE (2) 2000: 105-112 |
| 1999 |
|---|
| 21 | EE | Seng Wai Loke,
Heinz W. Schmidt,
Arkady B. Zaslavsky:
Programming the Mobility Behaviour of Agents by Composing Itineraries.
ASIAN 1999: 214-226 |
| 20 | EE | Sea Ling,
Heinz W. Schmidt,
Rohan Fletcher:
Constructing Interoperable Components in Distributed Systems.
TOOLS (32) 1999: 274- |
| 1998 |
|---|
| 19 | | Margot Postema,
Heinz W. Schmidt:
Reverse Engineering and Abstaction of Legacy Systems.
Informatica (Slovenia) 22(3): (1998) |
| 1997 |
|---|
| 18 | EE | Kevin Cai,
Xindong Wu,
Heinz W. Schmidt:
Schedular++: Scheduling with Knowledge Objects.
ICTAI 1997: 480-483 |
| 17 | EE | 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 | EE | Sea Ling,
Heinz W. Schmidt:
Towards Analysing a Class of Object Petri Nets.
ASYNC 1996: 81-92 |
| 15 | EE | Sea Ling,
Heinz W. Schmidt:
Towards Analysing a Class of Object Petri Nets.
Australian Software Engineering Conference 1996: 81-92 |
| 1995 |
|---|
| 14 | EE | 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 | EE | 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 | EE | 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 |
