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

Interaktive Softwareentwicklung durch schrittweise Formalisierung. - Bernd J. Krämer; Heinz W. Schmidt (Software Engineering, 1980)

Der Entwurf nebenläfiger Systeme mit Handlungs-Entscheidungs-Netzen. - Bernd J. Krämer; Heinz W. Schmidt (GI Jahrestagung, 1981)

Zweischichtige Grammatiken. - Heinz W. Schmidt (Inform. Spektrum, 1981)

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

Polymorphic Types and Algebraic Specifications. - Heinz W. Schmidt (ADT, 1986)

ASDL - An Object-Oriented Specification Language for Syntax-Directed Environments. - Marie-Luise Christ-Neumann; Heinz W. Schmidt (ESEC, 1987)

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

Developing Integrated Environments with ASDL. - Bernd J. Krämer; Heinz W. Schmidt (IEEE Softw., 1989)

Specification and correct implementation of non-sequential systems combining abstract data types and Petri nets. - Heinz W. Schmidt (Oldenbourg, 1989)

Knowledge Selection in Large Knowledge Bases. - Dimitris Karagiannis; Franz J. Kurfess; Heinz W. Schmidt (The Next Generation of Information Systems, 1991)

Prototyping and analysis of non-sequential systems using predicate-event nets. - Heinz W. Schmidt (J. Syst. Softw., 1991)

Reasoning about Complexity of Object-Oriented Programs. - Heinz W. Schmidt; Wolf Zimmermann (PROCOMET, 1994)

Reasoning about Concurrent Objects. - Heinz W. Schmidt; Jian Chen (APSEC, 1995)

Knowledge Objects. - Xindong Wu 001; Sita Ramakrishnan; Heinz W. Schmidt (Informatica (Slovenia), 1995)

Towards Analysing a Class of Object Petri Nets. - Sea Ling; Heinz W. Schmidt (Australian Software Engineering Conference, 1996)

Integrating concurrency and object-orientation using boolean, access and path guards. - A. S. M. Sajeev; Heinz W. Schmidt (HiPC, 1996)

Schedular++: Scheduling with Knowledge Objects. - Kevin Cai; Xindong Wu 001; Heinz W. Schmidt (ICTAI, 1997)

Disorientation and Cognitive Overhead in Hypertext Systems. - Stephen Ransom; Xindong Wu 001; Heinz W. Schmidt (Int. J. Artif. Intell. Tools, 1997)

Providing Trusted Components to the Industry. - Bertrand Meyer 001; Christine Mingins; Heinz W. Schmidt (Computer, 1998)

Reverse Engineering and Abstaction of Legacy Systems. - Margot Postema; Heinz W. Schmidt (Informatica (Slovenia), 1998)

Programming the Mobility Behaviour of Agents by Composing Itineraries. - Seng Wai Loke; Heinz W. Schmidt; Arkady B. Zaslavsky (ASIAN, 1999)

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

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

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

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

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

Model Engineering for Distributed O-O Component Testing. - Sita Ramakrishnan; Heinz W. Schmidt (OOIS, 2000)

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

Time Petri nets for workflow modelling and analysis. - Sea Ling; Heinz W. Schmidt (SMC, 2000)

Shared XML Documents in Service Centers of the Future. - Lutz M. Wegner; Heinz W. Schmidt (WISE (2), 2000)

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

Trust-by-Contract: Modelling, Analysing and Predicting Behaviour of Software Architectures. - Heinz W. Schmidt; Iman Poernomo; Ralf H. Reussner (Trans. SDPS, 2001)

4th ICSE workshop on component-based software engineering: component certification and system prediction. - Ivica Crnkovic; Heinz W. Schmidt; Judith A. Stafford; Kurt C. Wallnau (ACM SIGSOFT Softw. Eng. Notes, 2001)

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

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

Architectures of Enterprise Systems: Modelling Transactional Contexts. - Iman Poernomo; Ralf H. Reussner; Heinz W. Schmidt (Component Deployment, 2002)

Generating Adapters for Concurrent Component Protocol Synchronisation. - Heinz W. Schmidt; Ralf H. Reussner (FMOODS, 2002)

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

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

Predictable Component Architectures Using Dependent Finite State Machines. - Heinz W. Schmidt; Bernd J. Krämer; Iman Poernomo; Ralf H. Reussner (RISSEF, 2002)

Reasoning about Software Architectures with Contractually Specified Components. - Ralf H. Reussner; Iman Poernomo; Heinz W. Schmidt (Component-Based Software Quality, 2003)

Architectural Configuration with EDOC and .NET Component Services. - Iman Poernomo; Ralf H. Reussner; Heinz W. Schmidt (EUROMICRO, 2003)

Describing Web Service Architectures through Design-by-Contract. - Sea Ling; Iman Poernomo; Heinz W. Schmidt (ISCIS, 2003)

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

Guest Editorial. - Ivica Crnkovic; Heinz W. Schmidt; Judith A. Stafford; Kurt C. Wallnau (J. Syst. Softw., 2003)

Reliability prediction for component-based software architectures. - Ralf H. Reussner; Heinz W. Schmidt; Iman Poernomo (J. Syst. Softw., 2003)

Trustworthy components - compositionality and prediction. - Heinz W. Schmidt (J. Syst. Softw., 2003)

Runtime Verification of Timing and Probabilistic Properties using WMI and .NET. - Jane Jayaputera; Iman Poernomo; Heinz W. Schmidt (EUROMICRO, 2004)

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

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

Timed Probabilistic Constraints over the Distributed Management Taskforce Common Information Model. - Iman Poernomo; Jane Jayaputera; Heinz W. Schmidt (EDOC, 2005)

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

Test Order for Class-based Integration Testing of Java Applications. - Nor Laily Hashim; Heinz W. Schmidt; Sita Ramakrishnan (QSIC, 2005)

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

Automated Component-Based Software Engineering. - Ivica Crnkovic; Heinz W. Schmidt; Judith A. Stafford; Kurt C. Wallnau (J. Syst. Softw., 2005)

Report of the International Symposium on Component-Based Software Engineering. - Ivica Crnkovic; Ralf H. Reussner; Heinz W. Schmidt; Kevin Simons; Judith A. Stafford; Kurt C. Wallnau (ACM SIGSOFT Softw. Eng. Notes, 2005)

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

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

A Formal Model of Service-Oriented Design Structure. - Mikhail Perepletchikov; Caspar Ryan; Keith Frampton; Heinz W. Schmidt (ASWEC, 2007)

Architectural Test Coverage for Component-Based Integration Testing. - Nor Laily Hashim; Sita Ramakrishnan; Heinz W. Schmidt (QSIC, 2007)

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

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

Guest Editorial. - Ivica Crnkovic; George T. Heineman; Heinz W. Schmidt; Judith A. Stafford; Kurt C. Wallnau (J. Syst. Softw., 2007)

Formalising Service-Oriented Design. - Mikhail Perepletchikov; Caspar Ryan; Keith Frampton; Heinz W. Schmidt (J. Softw., 2008)

Change Propagation Analysis Using Domain Information. - Amir Aryani; Ian D. Peake; Margaret Hamilton 001; Heinz W. Schmidt; Michael Winikoff (Australian Software Engineering Conference, 2009)

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

Service Redundancy Strategies in Service-Oriented Architectures. - Nicholas R. May; Heinz W. Schmidt; Ian E. Thomas (EUROMICRO-SEAA, 2009)

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

Goal-Directed Approach for Process Specification and Service Selection in Customer Life Cycle Management. - Kumari Wickramasinghe; Michael P. Georgeff; Heinz W. Schmidt; Ian E. Thomas; Christian Guttmann (ATOP@AAMAS, 2010)

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

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

Systematic simplicity-accuracy tradeoffs in parameterised contract models. - Ian D. Peake; Heinz W. Schmidt (QoSA/ISARCS, 2011)

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

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

Parameterised architectural patterns for providing cloud service fault tolerance with accurate costings. - Iman I. Yusuf; Heinz W. Schmidt (CBSE, 2013)

Towards cost-aware service recovery. - Terry G. Zhou; Ian D. Peake; Heinz W. Schmidt (QoSA, 2013)

Towards Logical Architecture and Formal Analysis of Dependencies between Services. - Maria Spichkova; Heinrich-Wilhelm Schmidt (APSCC, 2014)

Cyber-virtual Systems - Simulation, Validation & Visualization. - Jan Olaf Blech; Maria Spichkova; Ian D. Peake; Heinz W. Schmidt (ENASE, 2014)

Visualization, Simulation and Validation for Cyber-Virtual Systems. - Jan Olaf Blech; Maria Spichkova; Ian Peake; Heinz W. Schmidt (ENASE (Selected Papers), 2014)

Collaborative engineering through integration of architectural, social and spatial models. - Jan Olaf Blech; Ian D. Peake; Heinz W. Schmidt; Mallikarjun Kande; Srini Ramaswamy; Sithu D. Sudarsan; Venkateswaran Narayanan (ETFA, 2014)

Metamorphic fault tolerance: an automated and systematic methodology for fault tolerance in the absence of test oracle. - Huai Liu; Iman I. Yusuf; Heinz W. Schmidt; Tsong Yueh Chen (ICSE Companion, 2014)

Modeling Spatial Aspects of Safety-Critical Systems with Focus-ST. - Maria Spichkova; Jan Olaf Blech; Peter Herrmann; Heinz W. Schmidt (MoDeVVa@MoDELS, 2014)

BeSpaceD: Towards a Tool Framework and Methodology for the Specification and Verification of Spatial Behavior of Distributed Software Component Systems. - Jan Olaf Blech; Heinz W. Schmidt (CoRR, 2014)

Towards Verifying Safety Properties of Real-Time Probabilistic Systems. - Fenglin Han; Jan Olaf Blech; Peter Herrmann; Heinz W. Schmidt (FESCA, 2014)

From abstract modelling to remote cyber-physical integration/interoperability testing. - Maria Spichkova; Heinz W. Schmidt; Ian D. Peake (CoRR, 2014)

Spatio-Temporal Architecture-Based Framework for Testing Services in the Cloud. - Huai Liu; Maria Spichkova; Heinz W. Schmidt; Timos K. Sellis; Matt Duckham (ASWEC (2), 2015)

Efficient Testing based on Logical Architecture. - Huai Liu; Maria Spichkova; Heinz W. Schmidt; Andreas Ulrich; Horst Sauer; Jan Wieghardt (ASWEC (2), 2015)

Model-Based Engineering and Analysis of Space-Aware Systems Communicating via IEEE 802.11. - Fenglin Han; Jan Olaf Blech; Peter Herrmann; Heinz W. Schmidt (COMPSAC, 2015)

Towards Quality-Oriented Architecture: Integration in a Global Context. - Maria Spichkova; Huai Liu; Heinz W. Schmidt (ECSA Workshops, 2015)

Introduction to the SAGRA 2015 workshop. - Maria Spichkova; Heinz W. Schmidt; Catia Trubiani (ECSA Workshops, 2015)

Towards a Model-based Toolchain for Remote Configuration and Maintenance of Space-aware Systems. - Jan Olaf Blech; Peter Herrmann; Ian D. Peake; Heinz W. Schmidt (ENASE, 2015)

Requirements Engineering Aspects of a Geographically Distributed Architecture. - Maria Spichkova; Heinz W. Schmidt (ENASE, 2015)

Efficient incident handling in industrial automation through collaborative engineering. - Jan Olaf Blech; Ian D. Peake; Heinz W. Schmidt; Mallikarjun Kande; Akilur Rahman; Srini Ramaswamy; Sithu D. Sudarsan; Venkateswaran Narayanan (ETFA, 2015)

Visualization facilities for distributed and remote industrial automation: VxLab. - Ian D. Peake; Jan Olaf Blech; Lasith Fernando; Heinz W. Schmidt; Ravi Sreenivasamurthy; Sithu D. Sudarsan (ETFA, 2015)

Software Defined Networking for Communication and Control of Cyber-Physical Systems. - Khandakar Ahmed; Jan Olaf Blech; Mark A. Gregory; Heinrich-Wilhelm Schmidt (ICPADS, 2015)

Scalable and Fault-Tolerant Cloud Computations: Modelling and Implementation. - Maria Spichkova; Ian E. Thomas; Heinz W. Schmidt; Iman I. Yusuf; Daniel W. Drumm; Steve G. Androulakis; George Opletal; Salvy P. Russo (ICPADS, 2015)

Reconciling a Component and Process View. - Maria Spichkova; Heinz W. Schmidt (MiSE@ICSE, 2015)

Chiminey: Reliable Computing and Data Management Platform in the Cloud. - Iman I. Yusuf; Ian E. Thomas; Maria Spichkova; Steve G. Androulakis; Grischa R. Meyer; Daniel W. Drumm; George Opletal; Salvy P. Russo; Ashley M. Buckle; Heinz W. Schmidt (ICSE (2), 2015)

Formal Model for Intelligent Route Planning. - Maria Spichkova; Milan Simic; Heinz W. Schmidt (KES, 2015)

Structuring diverse regulatory requirements for global product development. - Maria Spichkova; Heinz W. Schmidt; Md. Rashed Iqbal Nekvi; Nazim H. Madhavji (RELAW, 2015)

The Virtual Experiences Lab - a platform for global collaborative engineering and beyond. - Ian D. Peake; Jan Olaf Blech; Ian E. Thomas; Nicholas R. May; Heinz W. Schmidt; Lasith Fernando; Ravi Sreenivasamurthy (CoRR, 2015)

Human Factors in Software Reliability Engineering. - Maria Spichkova; Huai Liu; Mohsen Laali; Heinz W. Schmidt (CoRR, 2015)

Test Case Prioritization Using Online Fault Detection Information. - Mohsen Laali; Huai Liu; Margaret Hamilton 001; Maria Spichkova; Heinz W. Schmidt (Ada-Europe, 2016)

The Virtual Experiences Portals - A Reconfigurable Platform for Immersive Visualization. - Ian D. Peake; Jan Olaf Blech; Edward Watkins; Stefan Greuter; Heinz W. Schmidt (AVR (1), 2016)

Managing Usability and Reliability Aspects in Cloud Computing. - Maria Spichkova; Heinz W. Schmidt; Ian E. Thomas; Iman I. Yusuf; Steve G. Androulakis; Grischa R. Meyer (ENASE, 2016)

Towards Modelling and Implementation of Reliability and Usability Features for Research-Oriented Cloud Computing Platforms. - Maria Spichkova; Heinz W. Schmidt; Iman I. Yusuf; Ian E. Thomas; Steve G. Androulakis; Grischa R. Meyer (ENASE (Selected Papers), 2016)

The impact of source test case selection on the effectiveness of metamorphic testing. - Arlinta Christy Barus; Tsong Yueh Chen; Fei-Ching Kuo; Huai Liu; Heinz W. Schmidt (MET@ICSE, 2016)

From Automotive to Autonomous: Time-Triggered Operating Systems. - Maria Spichkova; Milan Simic; Heinz W. Schmidt (IIMSS, 2016)

Formal Models for Intelligent Speed Validation and Adaptation. - Maria Spichkova; Milan Simic; Heinrich-Wilhelm Schmidt; Jian Cheng; Xuening Dong; Yuxi Gui; Yin Liang; Peng Ling; Zixiong Yin (KES, 2016)

A Model-Based Toolchain to Verify Spatial Behavior of Cyber-Physical Systems. - Peter Herrmann; Jan Olaf Blech; Fenglin Han; Heinz W. Schmidt (Int. J. Web Serv. Res., 2016)

Role of women in software architecture: an attempt at a systematic literature review. - Maria Spichkova; Heinz W. Schmidt; Catia Trubiani (ECSA (Companion), 2017)

An Architecture for Visualization of Industrial Automation Data. - Guillaume Prévost 001; Jan Olaf Blech; Keith Foster; Heinrich-Wilhelm Schmidt (ENASE, 2017)

Software defined industry automation networks. - Khandakar Ahmed; Nazmus S. Nafi; Jan Olaf Blech; Mark A. Gregory; Heinrich-Wilhelm Schmidt (ITNAC, 2017)

Modelling and Implementation of Humanoid Robot Behaviour. - Leroy Clunne-Kiely; Bijin Idicula; Luke Payne; Enrico Ronggowarsito; Maria Spichkova; Milan Simic; Heinrich-Wilhelm Schmidt (KES, 2017)

Spatio-Temporal Aware Testing for Complex Systems. - Huai Liu; Jan Olaf Blech; Matt Duckham; Heinz W. Schmidt (QRS Companion, 2017)

Chiminey: Connecting Scientists to HPC, Cloud and Big Data. - Iman I. Yusuf; Ian E. Thomas; Maria Spichkova; Heinz W. Schmidt (Big Data Res., 2017)

Monitoring Informed Testing for IoT. - Ahmed Abdullah; Heinz W. Schmidt; Maria Spichkova; Huai Liu (ASWEC, 2018)

Software Defined Networks in Industrial Automation. - Khandakar Ahmed; Jan Olaf Blech; Mark A. Gregory; Heinz W. Schmidt (J. Sens. Actuator Networks, 2018)

Petri Nets: The Next 50 Years - An Invitation and Interpretative Translation. - Heinz W. Schmidt (Carl Adam Petri: Ideas, Personality, Impact, 2019)

Towards Readability Aspects of Probabilistic Mode Automata. - Heinz W. Schmidt; Maria Spichkova (ENASE, 2019)

Requirements Engineering for Global Systems: Cultural, Regulatory and Technical Aspects. - Maria Spichkova; Heinz W. Schmidt (ENASE, 2019)

How to Bake Quantum into Your Pet Petri Nets and Have Your Net Theory Too. - Heinz W. Schmidt (SummerSOC, 2021)

Spatio-Temporal Analysis of Concurrent Networks. - Heinz W. Schmidt; Peter Herrmann; Maria Spichkova; James Harland; Ian Peake; Ergys Puka (CoRR, 2024)