Heinz W. Schmidt

Affiliations:
  • RMIT University, Melbourne, School of Computer Science and Information Technology
  • Monash University, School of Computer Science and Software Engineering
  • University of California Berkeley, International Computer Science Institute (ICSI)
  • German National Research Centre for Information Technology (GMD)


According to our database1, Heinz W. Schmidt authored at least 123 papers between 1979 and 2021.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
How to Bake Quantum into Your Pet Petri Nets and Have Your Net Theory Too.
Proceedings of the Service-Oriented Computing, 2021

2019
Requirements Engineering for Global Systems: Cultural, Regulatory and Technical Aspects.
Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, 2019

Towards Readability Aspects of Probabilistic Mode Automata.
Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, 2019

Petri Nets: The Next 50 Years - An Invitation and Interpretative Translation.
Proceedings of the Carl Adam Petri: Ideas, Personality, Impact, 2019

2018
Software Defined Networks in Industrial Automation.
J. Sens. Actuator Networks, 2018

Monitoring Informed Testing for IoT.
Proceedings of the 25th Australasian Software Engineering Conference, 2018

2017
Chiminey: Connecting Scientists to HPC, Cloud and Big Data.
Big Data Res., 2017

Spatio-Temporal Aware Testing for Complex Systems.
Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

Modelling and Implementation of Humanoid Robot Behaviour.
Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 21st International Conference KES-2017, 2017

Software defined industry automation networks.
Proceedings of the 27th International Telecommunication Networks and Applications Conference, 2017

An Architecture for Visualization of Industrial Automation Data.
Proceedings of the ENASE 2017, 2017

Role of women in software architecture: an attempt at a systematic literature review.
Proceedings of the 11th European Conference on Software Architecture, 2017

2016
A Model-Based Toolchain to Verify Spatial Behavior of Cyber-Physical Systems.
Int. J. Web Serv. Res., 2016

Formal Models for Intelligent Speed Validation and Adaptation.
Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 20th International Conference KES-2016, 2016

From Automotive to Autonomous: Time-Triggered Operating Systems.
Proceedings of the Intelligent Interactive Multimedia Systems and Services 2016, 2016

The impact of source test case selection on the effectiveness of metamorphic testing.
Proceedings of the 1st International Workshop on Metamorphic Testing, 2016

Towards Modelling and Implementation of Reliability and Usability Features for Research-Oriented Cloud Computing Platforms.
Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2016

Managing Usability and Reliability Aspects in Cloud Computing.
Proceedings of the ENASE 2016, 2016

The Virtual Experiences Portals - A Reconfigurable Platform for Immersive Visualization.
Proceedings of the Augmented Reality, Virtual Reality, and Computer Graphics, 2016

Test Case Prioritization Using Online Fault Detection Information.
Proceedings of the Reliable Software Technologies - Ada-Europe 2016, 2016

2015
Human Factors in Software Reliability Engineering.
CoRR, 2015

The Virtual Experiences Lab - a platform for global collaborative engineering and beyond.
CoRR, 2015

Structuring diverse regulatory requirements for global product development.
Proceedings of the Eighth IEEE International Workshop on Requirements Engineering and Law, 2015

Formal Model for Intelligent Route Planning.
Proceedings of the 19th International Conference in Knowledge Based and Intelligent Information and Engineering Systems, 2015

Chiminey: Reliable Computing and Data Management Platform in the Cloud.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Reconciling a Component and Process View.
Proceedings of the 7th IEEE/ACM International Workshop on Modeling in Software Engineering, 2015

Scalable and Fault-Tolerant Cloud Computations: Modelling and Implementation.
Proceedings of the 21st IEEE International Conference on Parallel and Distributed Systems, 2015

Software Defined Networking for Communication and Control of Cyber-Physical Systems.
Proceedings of the 21st IEEE International Conference on Parallel and Distributed Systems, 2015

Visualization facilities for distributed and remote industrial automation: VxLab.
Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

Efficient incident handling in industrial automation through collaborative engineering.
Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

Requirements Engineering Aspects of a Geographically Distributed Architecture.
Proceedings of the ENASE 2015, 2015

Towards a Model-based Toolchain for Remote Configuration and Maintenance of Space-aware Systems.
Proceedings of the ENASE 2015, 2015

Introduction to the SAGRA 2015 workshop.
Proceedings of the 2015 European Conference on Software Architecture Workshops, 2015

Towards Quality-Oriented Architecture: Integration in a Global Context.
Proceedings of the 2015 European Conference on Software Architecture Workshops, 2015

Model-Based Engineering and Analysis of Space-Aware Systems Communicating via IEEE 802.11.
Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

Efficient Testing based on Logical Architecture.
Proceedings of the 24th Australasian Software Engineering Conference, 2015

Spatio-Temporal Architecture-Based Framework for Testing Services in the Cloud.
Proceedings of the 24th Australasian Software Engineering Conference, 2015

2014
From abstract modelling to remote cyber-physical integration/interoperability testing.
CoRR, 2014

Towards Verifying Safety Properties of Real-Time Probabilistic Systems.
Proceedings of the Proceedings 11th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2014

BeSpaceD: Towards a Tool Framework and Methodology for the Specification and Verification of Spatial Behavior of Distributed Software Component Systems.
CoRR, 2014

Modeling Spatial Aspects of Safety-Critical Systems with Focus-ST.
Proceedings of the 11th Workshop on Model-Driven Engineering, 2014

Metamorphic fault tolerance: an automated and systematic methodology for fault tolerance in the absence of test oracle.
Proceedings of the 36th International Conference on Software Engineering, 2014

Collaborative engineering through integration of architectural, social and spatial models.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

Visualization, Simulation and Validation for Cyber-Virtual Systems.
Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2014

Cyber-virtual Systems - Simulation, Validation & Visualization.
Proceedings of the ENASE 2014, 2014

Towards Logical Architecture and Formal Analysis of Dependencies between Services.
Proceedings of the 2014 Asia-Pacific Services Computing Conference, 2014

2013
Towards cost-aware service recovery.
Proceedings of the 9th international ACM SIGSOFT conference on Quality of Software Architectures, 2013

Parameterised architectural patterns for providing cloud service fault tolerance with accurate costings.
Proceedings of the CBSE'13, 2013

2011
Cost/Benefit Analysis of an Adherence Support Framework for Chronic Disease Management.
Proceedings of the Behaviour Monitoring and Interpretation - BMI - Well-Being, 2011

Architecture-based fault tolerance support for grid applications.
Proceedings of the 7th International Conference on the Quality of Software Architectures, 2011

Systematic simplicity-accuracy tradeoffs in parameterised contract models.
Proceedings of the 7th International Conference on the Quality of Software Architectures, 2011

2010
Intelligent Adherence Support to Manage Contractual Relationships.
Proceedings of the 2010 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology - Workshops, Toronto, Canada, August 31, 2010

An Adherence Support Framework for Service Delivery in Customer Life Cycle Management.
Proceedings of the Coordination, Organizations, Institutions, and Norms in Agent Systems VI, 2010

Goal-Directed Approach for Process Specification and Service Selection in Customer Life Cycle Management.
Proceedings of the Agent-Based Technologies and Applications for Enterprise Interoperability, 2010

2009
Evaluating recovery aware components for grid reliability.
Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

Service Redundancy Strategies in Service-Oriented Architectures.
Proceedings of the 35th Euromicro Conference on Software Engineering and Advanced Applications, 2009

Agent-based intelligent collaborative care management.
Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

Change Propagation Analysis Using Domain Information.
Proceedings of the 20th Australian Software Engineering Conference (ASWEC 2009), 2009

2008
Formalising Service-Oriented Design.
J. Softw., 2008

2007
Guest Editorial.
J. Syst. Softw., 2007

Architecture-Based Reasoning About Performability in Component-Based Systems.
Proceedings of the SOFSEM 2007: Theory and Practice of Computer Science, 2007

Parameterised Extra-Functional Prediction of Component-Based Control Systems - Industrial Experience.
Proceedings of the SOFSEM 2007: Theory and Practice of Computer Science, 2007

Architectural Test Coverage for Component-Based Integration Testing.
Proceedings of the Seventh International Conference on Quality Software (QSIC 2007), 2007

A Formal Model of Service-Oriented Design Structure.
Proceedings of the 18th Australian Software Engineering Conference (ASWEC 2007), 2007

2006
Verification and Prediction of Timed Probabilistic Properties over the Dmtf CIM.
Int. J. Cooperative Inf. Syst., 2006

A Model Driven Exception Management Framework for Developing Reliable Software Systems.
Proceedings of the Tenth IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006), 2006

2005
Report of the International Symposium on Component-Based Software Engineering.
ACM SIGSOFT Softw. Eng. Notes, 2005

Automated Component-Based Software Engineering.
J. Syst. Softw., 2005

A Model-Oriented Framework for Runtime Monitoring of Nonfunctional Properties.
Proceedings of the Quality of Software Architectures and Software Quality, 2005

Test Order for Class-based Integration Testing of Java Applications.
Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), 2005

Fault-Tolerant and Dependable Distributed Systems - Minitrack within the Software Technology Track at the HICSS-38 Conference.
Proceedings of the 38th Hawaii International Conference on System Sciences (HICSS-38 2005), 2005

Timed Probabilistic Constraints over the Distributed Management Taskforce Common Information Model.
Proceedings of the Ninth IEEE International Enterprise Distributed Object Computing Conference (EDOC 2005), 2005

An Agent Oriented Proactive Fault-Tolerant Framework for Grid Computing.
Proceedings of the First International Conference on e-Science and Grid Technologies (e-Science 2005), 2005

2004
6th ICSE Workshop on Component-Based Software Engineering: automated reasoning and prediction.
ACM SIGSOFT Softw. Eng. Notes, 2004

Runtime Verification of Timing and Probabilistic Properties using WMI and .NET.
Proceedings of the 30th EUROMICRO Conference 2004, 31 August, 2004

2003
Trustworthy components - compositionality and prediction.
J. Syst. Softw., 2003

Reliability prediction for component-based software architectures.
J. Syst. Softw., 2003

Guest Editorial.
J. Syst. Softw., 2003

Modelling Predictable Component-Based Distributed Control Architectures.
Proceedings of the 9th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS Fall 2003), 2003

Describing Web Service Architectures through Design-by-Contract.
Proceedings of the Computer and Information Sciences, 2003

Architectural Configuration with EDOC and .NET Component Services.
Proceedings of the 29th EUROMICRO Conference 2003, 2003

Reasoning about Software Architectures with Contractually Specified Components.
Proceedings of the Component-Based Software Quality - Methods and Techniques, 2003

2002
Predictable Component Architectures Using Dependent Finite State Machines.
Proceedings of the Radical Innovations of Software and Systems Engineering in the Future, 2002

5<sup>th</sup> ICSE workshop on component-based software engineering: benchmarks for predictable assembly.
Proceedings of the 24th International Conference on Software Engineering, 2002

Using the TrustME Tool Suite for Automatic Component Protocol Adaptation.
Proceedings of the Computational Science - ICCS 2002, 2002

Generating Adapters for Concurrent Component Protocol Synchronisation.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems V, 2002

Architectures of Enterprise Systems: Modelling Transactional Contexts.
Proceedings of the Component Deployment, IFIP/ACM Working Conference, 2002

Suffix Vector: Space- and Time-Efficient Alternative to Suffix Trees.
Proceedings of the Computer Science 2002, 2002

Signature Extraction for Overlap Detection in Documents.
Proceedings of the Computer Science 2002, 2002

2001
4th ICSE workshop on component-based software engineering: component certification and system prediction.
ACM SIGSOFT Softw. Eng. Notes, 2001

Trust-by-Contract: Modelling, Analysing and Predicting Behaviour of Software Architectures.
Trans. SDPS, 2001

Efficiency of Data Structures for Detecting Overlaps in Digital Documents.
Proceedings of the 24th Australasian Computer Science Conference (ACSC 2001), 29 January, 2001

2000
Shared XML Documents in Service Centers of the Future.
Proceedings of the WISE 2000, 2000

Time Petri nets for workflow modelling and analysis.
Proceedings of the IEEE International Conference on Systems, 2000

Parallel and Distributed Document Overlap Detection on the Web.
Proceedings of the Applied Parallel Computing, 2000

Model Engineering for Distributed O-O Component Testing.
Proceedings of the 6th International Conference on Object Oriented Information Systems, 2000

MatchDetectReveal: finding overlapping and similar digital documents.
Proceedings of the Challenges of Information Technology Management in the 21st Century, 2000

Document overlap detection system for distributed digital libraries.
Proceedings of the Fifth ACM Conference on Digital Libraries, 2000

ReVis: Reverse Engineering by Clustering and Visual Object Classification.
Proceedings of the 12th Australian Software Engineering Conference (ASWEC 2000), 2000

Digital documents in educational environment (poster session): misuse, appropriation and detection issues.
Proceedings of the ACM SIGCSE 4th Australasian Conference on Computer Science Education, 2000

1999
Constructing Interoperable Components in Distributed Systems.
Proceedings of the TOOLS Pacific 1999: 32nd International Conference on Technology of Object-Oriented Languages and Systems, 1999

Programming the Mobility Behaviour of Agents by Composing Itineraries.
Proceedings of the Advances in Computing Science, 1999

1998
Reverse Engineering and Abstaction of Legacy Systems.
Informatica (Slovenia), 1998

Providing Trusted Components to the Industry.
Computer, 1998

1997
Disorientation and Cognitive Overhead in Hypertext Systems.
Int. J. Artif. Intell. Tools, 1997

Schedular++: Scheduling with Knowledge Objects.
Proceedings of the 9th International Conference on Tools with Artificial Intelligence, 1997

1996
Integrating concurrency and object-orientation using boolean, access and path guards.
Proceedings of the 3rd International Conference on High Performance Computing, 1996

Towards Analysing a Class of Object Petri Nets.
Proceedings of the 1996 Australian Software Engineering Conference (ASWEC '96), 1996

1995
Knowledge Objects.
Informatica (Slovenia), 1995

Reasoning about Concurrent Objects.
Proceedings of the 2nd Asia-Pacific Software Engineering Conference (APSEC '95), 1995

1994
Reasoning about Complexity of Object-Oriented Programs.
Proceedings of the Programming Concepts, 1994

1991
Prototyping and analysis of non-sequential systems using predicate-event nets.
J. Syst. Softw., 1991

Knowledge Selection in Large Knowledge Bases.
Proceedings of the Next Generation of Information Systems: From Data to Knowledge, 1991

1989
Specification and correct implementation of non-sequential systems combining abstract data types and Petri nets.
PhD thesis, 1989

Developing Integrated Environments with ASDL.
IEEE Softw., 1989

1988
Object-Oriented Development of Integrated Programming Environments with ASDL.
Proceedings of the 1988 ACM SIGSMALL/PC Symposium on ACTES, May 4-6, 1988, Cannes, France, 1988

1987
ASDL - An Object-Oriented Specification Language for Syntax-Directed Environments.
Proceedings of the ESEC '87, 1987

1986
Polymorphic Types and Algebraic Specifications.
Proceedings of the 4st Workshop on Abstract Data Type, 1986

1982
A High Level Net Language for Stepwise Modeling of Organizational Systems.
Proceedings of the Adequate Modeling of Systems, 1982

1981
Zweischichtige Grammatiken.
Inform. Spektrum, 1981

Der Entwurf nebenläfiger Systeme mit Handlungs-Entscheidungs-Netzen.
Proceedings of the GI, 1981

1980
Interaktive Softwareentwicklung durch schrittweise Formalisierung.
Proceedings of the Software Engineering, 1980

1979
Locally Nondeterministic and Hybrid Syntax Analyzers from Partitioned Two-Level Grammars.
Proceedings of the GI - 9. Jahrestagung, Bonn, 1.-5. Oktober 1979, Proceedings, 1979


  Loading...