Heinz W. Schmidt

According to our database, Heinz W. Schmidt authored at least 124 papers between 1979 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Spatio-Temporal Analysis of Concurrent Networks.

Heinz W. Schmidt, Peter Herrmann, Maria Spichkova, James Harland, Ian Peake, Ergys Puka

CoRR, 2024

2021

How to Bake Quantum into Your Pet Petri Nets and Have Your Net Theory Too.

Heinz W. Schmidt

Proceedings of the Service-Oriented Computing, 2021

2019

Requirements Engineering for Global Systems: Cultural, Regulatory and Technical Aspects.

Maria Spichkova, Heinz W. Schmidt

Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, 2019

Towards Readability Aspects of Probabilistic Mode Automata.

Heinz W. Schmidt, Maria Spichkova

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.

Heinz W. Schmidt

Proceedings of the Carl Adam Petri: Ideas, Personality, Impact, 2019

2018

Software Defined Networks in Industrial Automation.

Khandakar Ahmed, Jan Olaf Blech, Mark A. Gregory, Heinz W. Schmidt

J. Sens. Actuator Networks, 2018

Monitoring Informed Testing for IoT.

Ahmed Abdullah, Heinz W. Schmidt, Maria Spichkova, Huai Liu

Proceedings of the 25th Australasian Software Engineering Conference, 2018

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

Spatio-Temporal Aware Testing for Complex Systems.

Huai Liu, Jan Olaf Blech, Matt Duckham, Heinz W. Schmidt

Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

Modelling and Implementation of Humanoid Robot Behaviour.

Leroy Clunne-Kiely, Bijin Idicula, Luke Payne, Enrico Ronggowarsito, Maria Spichkova, Milan Simic, Heinrich-Wilhelm Schmidt

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 21st International Conference KES-2017, 2017

Software defined industry automation networks.

Khandakar Ahmed, Nazmus S. Nafi, Jan Olaf Blech, Mark A. Gregory, Heinrich-Wilhelm Schmidt

Proceedings of the 27th International Telecommunication Networks and Applications Conference, 2017

An Architecture for Visualization of Industrial Automation Data.

Guillaume Prévost, Jan Olaf Blech, Keith Foster, Heinrich-Wilhelm Schmidt

Proceedings of the ENASE 2017, 2017

Role of women in software architecture: an attempt at a systematic literature review.

Maria Spichkova, Heinz W. Schmidt, Catia Trubiani

Proceedings of the 11th European Conference on Software Architecture, 2017

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

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

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.

Maria Spichkova, Milan Simic, Heinz W. Schmidt

Proceedings of the Intelligent Interactive Multimedia Systems and Services 2016, 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

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.

Maria Spichkova, Heinz W. Schmidt, Iman I. Yusuf, Ian E. Thomas, Steve G. Androulakis, Grischa R. Meyer

Proceedings of the Evaluation of Novel Approaches to Software Engineering, 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

Proceedings of the ENASE 2016, 2016

The Virtual Experiences Portals - A Reconfigurable Platform for Immersive Visualization.

Ian D. Peake, Jan Olaf Blech, Edward Watkins, Stefan Greuter, Heinz W. Schmidt

Proceedings of the Augmented Reality, Virtual Reality, and Computer Graphics, 2016

Test Case Prioritization Using Online Fault Detection Information.

Mohsen Laali, Huai Liu, Margaret Hamilton, Maria Spichkova, Heinz W. Schmidt

Proceedings of the Reliable Software Technologies - Ada-Europe 2016, 2016

2015

Human Factors in Software Reliability Engineering.

Maria Spichkova, Huai Liu, Mohsen Laali, Heinz W. Schmidt

CoRR, 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

Structuring diverse regulatory requirements for global product development.

Maria Spichkova, Heinz W. Schmidt, Md. Rashed Iqbal Nekvi, Nazim H. Madhavji

Proceedings of the Eighth IEEE International Workshop on Requirements Engineering and Law, 2015

Formal Model for Intelligent Route Planning.

Maria Spichkova, Milan Simic, Heinz W. Schmidt

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.

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

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Reconciling a Component and Process View.

Maria Spichkova, Heinz W. Schmidt

Proceedings of the 7th IEEE/ACM International Workshop on Modeling in Software Engineering, 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

Proceedings of the 21st IEEE International Conference on Parallel and Distributed Systems, 2015

Software Defined Networking for Communication and Control of Cyber-Physical Systems.

Khandakar Ahmed, Jan Olaf Blech, Mark A. Gregory, Heinrich-Wilhelm Schmidt

Proceedings of the 21st IEEE International Conference on Parallel and Distributed Systems, 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

Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 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

Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

Requirements Engineering Aspects of a Geographically Distributed Architecture.

Maria Spichkova, Heinz W. Schmidt

Proceedings of the ENASE 2015, 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

Proceedings of the ENASE 2015, 2015

Introduction to the SAGRA 2015 workshop.

Maria Spichkova, Heinz W. Schmidt, Catia Trubiani

Proceedings of the 2015 European Conference on Software Architecture Workshops, 2015

Towards Quality-Oriented Architecture: Integration in a Global Context.

Maria Spichkova, Huai Liu, Heinz W. Schmidt

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.

Fenglin Han, Jan Olaf Blech, Peter Herrmann, Heinz W. Schmidt

Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

Efficient Testing based on Logical Architecture.

Huai Liu, Maria Spichkova, Heinz W. Schmidt, Andreas Ulrich, Horst Sauer, Jan Wieghardt

Proceedings of the 24th Australasian Software Engineering Conference, 2015

Spatio-Temporal Architecture-Based Framework for Testing Services in the Cloud.

Huai Liu, Maria Spichkova, Heinz W. Schmidt, Timos K. Sellis, Matt Duckham

Proceedings of the 24th Australasian Software Engineering Conference, 2015

2014

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

Maria Spichkova, Heinz W. Schmidt, Ian D. Peake

CoRR, 2014

Towards Verifying Safety Properties of Real-Time Probabilistic Systems.

Fenglin Han, Jan Olaf Blech, Peter Herrmann, Heinz W. Schmidt

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.

Jan Olaf Blech, Heinz W. Schmidt

CoRR, 2014

Modeling Spatial Aspects of Safety-Critical Systems with Focus-ST.

Maria Spichkova, Jan Olaf Blech, Peter Herrmann, Heinz W. Schmidt

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.

Huai Liu, Iman I. Yusuf, Heinz W. Schmidt, Tsong Yueh Chen

Proceedings of the 36th International Conference on Software Engineering, 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

Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

Visualization, Simulation and Validation for Cyber-Virtual Systems.

Jan Olaf Blech, Maria Spichkova, Ian Peake, Heinz W. Schmidt

Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2014

Cyber-virtual Systems - Simulation, Validation & Visualization.

Jan Olaf Blech, Maria Spichkova, Ian D. Peake, Heinz W. Schmidt

Proceedings of the ENASE 2014, 2014

Towards Logical Architecture and Formal Analysis of Dependencies between Services.

Maria Spichkova, Heinrich-Wilhelm Schmidt

Proceedings of the 2014 Asia-Pacific Services Computing Conference, 2014

2013

Towards cost-aware service recovery.

Terry G. Zhou, Ian D. Peake, Heinz W. Schmidt

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.

Iman I. Yusuf, Heinz W. Schmidt

Proceedings of the CBSE'13, 2013

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

Proceedings of the Behaviour Monitoring and Interpretation - BMI - Well-Being, 2011

Architecture-based fault tolerance support for grid applications.

Iman I. Yusuf, Heinz W. Schmidt, Ian D. Peake

Proceedings of the 7th International Conference on the Quality of Software Architectures, 2011

Systematic simplicity-accuracy tradeoffs in parameterised contract models.

Ian D. Peake, Heinz W. Schmidt

Proceedings of the 7th International Conference on the Quality of Software Architectures, 2011

2010

Intelligent Adherence Support to Manage Contractual Relationships.

Christian Guttmann, Leelani Kumari Wickramasinghe, Ian E. Thomas, Michael P. Georgeff, Heinz W. Schmidt

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.

Leelani Kumari Wickramasinghe, Christian Guttmann, Michael P. Georgeff, Ian E. Thomas, Heinz W. Schmidt

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.

Kumari Wickramasinghe, Michael P. Georgeff, Heinz W. Schmidt, Ian E. Thomas, Christian Guttmann

Proceedings of the Agent-Based Technologies and Applications for Enterprise Interoperability, 2010

2009

Evaluating recovery aware components for grid reliability.

Iman I. Yusuf, Heinz W. Schmidt, Ian D. Peake

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.

Nicholas R. May, Heinz W. Schmidt, Ian E. Thomas

Proceedings of the 35th Euromicro Conference on Software Engineering and Advanced Applications, 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

Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

Change Propagation Analysis Using Domain Information.

Amir Aryani, Ian D. Peake, Margaret Hamilton, Heinz W. Schmidt, Michael Winikoff

Proceedings of the 20th Australian Software Engineering Conference (ASWEC 2009), 2009

2008

Formalising Service-Oriented Design.

Mikhail Perepletchikov, Caspar Ryan, Keith Frampton, Heinz W. Schmidt

J. Softw., 2008

2007

Guest Editorial.

Ivica Crnkovic, George T. Heineman, Heinz W. Schmidt, Judith A. Stafford, Kurt C. Wallnau

J. Syst. Softw., 2007

Architecture-Based Reasoning About Performability in Component-Based Systems.

Heinz W. Schmidt

Proceedings of the SOFSEM 2007: Theory and Practice of Computer Science, 2007

Parameterised Extra-Functional Prediction of Component-Based Control Systems - Industrial Experience.

Ian D. Peake, Heinz W. Schmidt

Proceedings of the SOFSEM 2007: Theory and Practice of Computer Science, 2007

Architectural Test Coverage for Component-Based Integration Testing.

Nor Laily Hashim, Sita Ramakrishnan, Heinz W. Schmidt

Proceedings of the Seventh International Conference on Quality Software (QSIC 2007), 2007

A Formal Model of Service-Oriented Design Structure.

Mikhail Perepletchikov, Caspar Ryan, Keith Frampton, Heinz W. Schmidt

Proceedings of the 18th Australian Software Engineering Conference (ASWEC 2007), 2007

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 Model Driven Exception Management Framework for Developing Reliable Software Systems.

Susan Entwisle, Heinz W. Schmidt, Ian D. Peake, Elizabeth A. Kendall

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.

Ivica Crnkovic, Ralf H. Reussner, Heinz W. Schmidt, Kevin Simons, Judith A. Stafford, Kurt C. Wallnau

ACM SIGSOFT Softw. Eng. Notes, 2005

Automated Component-Based Software Engineering.

Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Kurt C. Wallnau

J. Syst. Softw., 2005

A Model-Oriented Framework for Runtime Monitoring of Nonfunctional Properties.

Kenneth Chan, Iman Poernomo, Heinz W. Schmidt, Jane Jayaputera

Proceedings of the Quality of Software Architectures and Software Quality, 2005

Test Order for Class-based Integration Testing of Java Applications.

Nor Laily Hashim, Heinz W. Schmidt, Sita Ramakrishnan

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.

Karl M. Göschka, Robert Smeikal, Heinz W. Schmidt

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.

Iman Poernomo, Jane Jayaputera, Heinz W. Schmidt

Proceedings of the Ninth IEEE International Enterprise Distributed Object Computing Conference (EDOC 2005), 2005

An Agent Oriented Proactive Fault-Tolerant Framework for Grid Computing.

Mohammad Tanvir Huda, Heinz W. Schmidt, Ian D. Peake

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.

Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Kurt C. Wallnau

ACM SIGSOFT Softw. Eng. Notes, 2004

Runtime Verification of Timing and Probabilistic Properties using WMI and .NET.

Jane Jayaputera, Iman Poernomo, Heinz W. Schmidt

Proceedings of the 30th EUROMICRO Conference 2004, 31 August, 2004

2003

Trustworthy components - compositionality and prediction.

Heinz W. Schmidt

J. Syst. Softw., 2003

Reliability prediction for component-based software architectures.

Ralf H. Reussner, Heinz W. Schmidt, Iman Poernomo

J. Syst. Softw., 2003

Guest Editorial.

Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Kurt C. Wallnau

J. Syst. Softw., 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

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.

Sea Ling, Iman Poernomo, Heinz W. Schmidt

Proceedings of the Computer and Information Sciences, 2003

Architectural Configuration with EDOC and .NET Component Services.

Iman Poernomo, Ralf H. Reussner, Heinz W. Schmidt

Proceedings of the 29th EUROMICRO Conference 2003, 2003

Reasoning about Software Architectures with Contractually Specified Components.

Ralf H. Reussner, Iman Poernomo, Heinz W. Schmidt

Proceedings of the Component-Based Software Quality - Methods and Techniques, 2003

2002

Predictable Component Architectures Using Dependent Finite State Machines.

Heinz W. Schmidt, Bernd J. Krämer, Iman Poernomo, Ralf H. Reussner

Proceedings of the Radical Innovations of Software and Systems Engineering in the Future, 2002

5^th ICSE workshop on component-based software engineering: benchmarks for predictable assembly.

Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Kurt C. Wallnau

Proceedings of the 24th International Conference on Software Engineering, 2002

Using the TrustME Tool Suite for Automatic Component Protocol Adaptation.

Ralf H. Reussner, Iman Poernomo, Heinz W. Schmidt

Proceedings of the Computational Science - ICCS 2002, 2002

Generating Adapters for Concurrent Component Protocol Synchronisation.

Heinz W. Schmidt, Ralf H. Reussner

Proceedings of the Formal Methods for Open Object-Based Distributed Systems V, 2002

Architectures of Enterprise Systems: Modelling Transactional Contexts.

Iman Poernomo, Ralf H. Reussner, Heinz W. Schmidt

Proceedings of the Component Deployment, IFIP/ACM Working Conference, 2002

Suffix Vector: Space- and Time-Efficient Alternative to Suffix Trees.

Krisztián Monostori, Arkady B. Zaslavsky, Heinz W. Schmidt

Proceedings of the Computer Science 2002, 2002

Signature Extraction for Overlap Detection in Documents.

Raphael A. Finkel, Arkady B. Zaslavsky, Krisztián Monostori, Heinz W. Schmidt

Proceedings of the Computer Science 2002, 2002

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

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

Heinz W. Schmidt, Iman Poernomo, Ralf H. Reussner

Trans. SDPS, 2001

Efficiency of Data Structures for Detecting Overlaps in Digital Documents.

Krisztián Monostori, Arkady B. Zaslavsky, Heinz W. Schmidt

Proceedings of the 24th Australasian Computer Science Conference (ACSC 2001), 29 January, 2001

2000

Shared XML Documents in Service Centers of the Future.

Lutz M. Wegner, Heinz W. Schmidt

Proceedings of the WISE 2000, 2000

Time Petri nets for workflow modelling and analysis.

Sea Ling, Heinz W. Schmidt

Proceedings of the IEEE International Conference on Systems, 2000

Parallel and Distributed Document Overlap Detection on the Web.

Krisztián Monostori, Arkady B. Zaslavsky, Heinz W. Schmidt

Proceedings of the Applied Parallel Computing, 2000

Model Engineering for Distributed O-O Component Testing.

Sita Ramakrishnan, Heinz W. Schmidt

Proceedings of the 6th International Conference on Object Oriented Information Systems, 2000

MatchDetectReveal: finding overlapping and similar digital documents.

Krisztián Monostori, Arkady B. Zaslavsky, Heinz W. Schmidt

Proceedings of the Challenges of Information Technology Management in the 21st Century, 2000

Document overlap detection system for distributed digital libraries.

Krisztián Monostori, Arkady B. Zaslavsky, Heinz W. Schmidt

Proceedings of the Fifth ACM Conference on Digital Libraries, 2000

ReVis: Reverse Engineering by Clustering and Visual Object Classification.

Aaron J. Quigley, Margot Postema, Heinz W. Schmidt

Proceedings of the 12th Australian Software Engineering Conference (ASWEC 2000), 2000

Digital documents in educational environment (poster session): misuse, appropriation and detection issues.

Krisztián Monostori, Arkady B. Zaslavsky, Heinz W. Schmidt

Proceedings of the ACM SIGCSE 4th Australasian Conference on Computer Science Education, 2000

1999

Constructing Interoperable Components in Distributed Systems.

Sea Ling, Heinz W. Schmidt, Rohan Fletcher

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.

Seng Wai Loke, Heinz W. Schmidt, Arkady B. Zaslavsky

Proceedings of the Advances in Computing Science, 1999

1998

Reverse Engineering and Abstaction of Legacy Systems.

Margot Postema, Heinz W. Schmidt

Informatica (Slovenia), 1998

Providing Trusted Components to the Industry.

Bertrand Meyer, Christine Mingins, Heinz W. Schmidt

Computer, 1998

1997

Disorientation and Cognitive Overhead in Hypertext Systems.

Stephen Ransom, Xindong Wu, Heinz W. Schmidt

Int. J. Artif. Intell. Tools, 1997

Schedular++: Scheduling with Knowledge Objects.

Kevin Cai, Xindong Wu, Heinz W. Schmidt

Proceedings of the 9th International Conference on Tools with Artificial Intelligence, 1997

1996

Integrating concurrency and object-orientation using boolean, access and path guards.

A. S. M. Sajeev, Heinz W. Schmidt

Proceedings of the 3rd International Conference on High Performance Computing, 1996

Towards Analysing a Class of Object Petri Nets.

Sea Ling, Heinz W. Schmidt

Proceedings of the 1996 Australian Software Engineering Conference (ASWEC '96), 1996

1995

Knowledge Objects.

Xindong Wu, Sita Ramakrishnan, Heinz W. Schmidt

Informatica (Slovenia), 1995

Reasoning about Concurrent Objects.

Heinz W. Schmidt, Jian Chen

Proceedings of the 2nd Asia-Pacific Software Engineering Conference (APSEC '95), 1995

1994

Reasoning about Complexity of Object-Oriented Programs.

Heinz W. Schmidt, Wolf Zimmermann

Proceedings of the Programming Concepts, 1994

1991

Prototyping and analysis of non-sequential systems using predicate-event nets.

Heinz W. Schmidt

J. Syst. Softw., 1991

Knowledge Selection in Large Knowledge Bases.

Dimitris Karagiannis, Franz J. Kurfess, Heinz W. Schmidt

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.

Heinz W. Schmidt

PhD thesis, 1989

Developing Integrated Environments with ASDL.

Bernd J. Krämer, Heinz W. Schmidt

IEEE Softw., 1989

1988

Object-Oriented Development of Integrated Programming Environments with ASDL.

Bernd J. Krämer, Heinz W. Schmidt

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.

Marie-Luise Christ-Neumann, Heinz W. Schmidt

Proceedings of the ESEC '87, 1987

1986

Polymorphic Types and Algebraic Specifications.

Heinz W. Schmidt

Proceedings of the 4st Workshop on Abstract Data Type, 1986

1982

A High Level Net Language for Stepwise Modeling of Organizational Systems.

Bernd J. Krämer, Heinz W. Schmidt

Proceedings of the Adequate Modeling of Systems, 1982

1981

Zweischichtige Grammatiken.

Heinz W. Schmidt

Inform. Spektrum, 1981

Der Entwurf nebenläfiger Systeme mit Handlungs-Entscheidungs-Netzen.

Bernd J. Krämer, Heinz W. Schmidt

Proceedings of the GI, 1981

1980

Interaktive Softwareentwicklung durch schrittweise Formalisierung.

Bernd J. Krämer, Heinz W. Schmidt

Proceedings of the Software Engineering, 1980

1979

Locally Nondeterministic and Hybrid Syntax Analyzers from Partitioned Two-Level Grammars.

Bernd J. Krämer, Heinz W. Schmidt

Proceedings of the GI - 9. Jahrestagung, Bonn, 1.-5. Oktober 1979, Proceedings, 1979