Heinz W. Schmidt

135 papers A* 3B 14C 6Misc 3Journal 36Unranked 66

Year	Rank	Type	Title / Venue / Authors
2024	C	`conf`	Spatio-Temporal Analysis of Concurrent Networks. MobiQuitous Heinz W. Schmidt, Peter Herrmann, Maria Spichkova, James Harland, Ian Peake, Ergys Puka
2024	J	`jnl`	Spatio-Temporal Analysis of Concurrent Networks. CoRR Heinz W. Schmidt, Peter Herrmann, Maria Spichkova, James Harland, Ian Peake, Ergys Puka
2021	—	`conf`	How to Bake Quantum into Your Pet Petri Nets and Have Your Net Theory Too. SummerSOC Heinz W. Schmidt
2021	J	`jnl`	How to Bake Quantum into Your Pet Petri Nets and Have Your Net Theory Too. CoRR Heinz W. Schmidt
2019	—	`ch.`	Petri Nets: The Next 50 Years - An Invitation and Interpretative Translation. Carl Adam Petri: Ideas, Personality, Impact Heinz W. Schmidt
2019	B	`conf`	Requirements Engineering for Global Systems: Cultural, Regulatory and Technical Aspects. ENASE Maria Spichkova, Heinz W. Schmidt
2019	J	`jnl`	Requirements Engineering for Global Systems: Cultural, Regulatory and Technical Aspects. CoRR Maria Spichkova, Heinz W. Schmidt
2019	B	`conf`	Towards Readability Aspects of Probabilistic Mode Automata. ENASE Heinz W. Schmidt, Maria Spichkova
2019	J	`jnl`	Towards Readability Aspects of Probabilistic Mode Automata. CoRR Heinz W. Schmidt, Maria Spichkova
2018	—	`conf`	Monitoring Informed Testing for IoT. ASWEC Ahmed Abdullah, Heinz W. Schmidt, Maria Spichkova, Huai Liu
2018	J	`jnl`	Monitoring Informed Testing for IoT. CoRR Ahmed Abdullah, Heinz W. Schmidt, Maria Spichkova, Huai Liu
2018	J	`jnl`	Software Defined Networks in Industrial Automation. J. Sens. Actuator Networks Khandakar Ahmed, Jan Olaf Blech, Mark A. Gregory, Heinz W. Schmidt
2017	J	`jnl`	Chiminey: Connecting Scientists to HPC, Cloud and Big Data. Big Data Res. Iman I. Yusuf, Ian E. Thomas, Maria Spichkova, Heinz W. Schmidt
2017	—	`conf`	Role of women in software architecture: an attempt at a systematic literature review. ECSA (Companion) Maria Spichkova, Heinz W. Schmidt, Catia Trubiani
2017	—	`conf`	Spatio-Temporal Aware Testing for Complex Systems. QRS Companion Huai Liu, Jan Olaf Blech, Matt Duckham, Heinz W. Schmidt
2016	J	`jnl`	A Model-Based Toolchain to Verify Spatial Behavior of Cyber-Physical Systems. Int. J. Web Serv. Res. Peter Herrmann, Jan Olaf Blech, Fenglin Han, Heinz W. Schmidt
2016	—	`conf`	From Automotive to Autonomous: Time-Triggered Operating Systems. IIMSS Maria Spichkova, Milan Simic, Heinz W. Schmidt
2016	B	`conf`	Managing Usability and Reliability Aspects in Cloud Computing. ENASE Maria Spichkova, Heinz W. Schmidt, Ian E. Thomas, Iman I. Yusuf, Steve G. Androulakis, Grischa R. Meyer
2016	J	`jnl`	Managing Usability and Reliability Aspects in Cloud Computing. CoRR Maria Spichkova, Heinz W. Schmidt, Ian E. Thomas, Iman I. Yusuf, Steve G. Androulakis, Grischa R. Meyer
2016	Misc	`conf`	Test Case Prioritization Using Online Fault Detection Information. Ada-Europe Mohsen Laali, Huai Liu, Margaret Hamilton, Maria Spichkova, Heinz W. Schmidt
2016	—	`conf`	The Virtual Experiences Portals - A Reconfigurable Platform for Immersive Visualization. AVR (1) Ian D. Peake, Jan Olaf Blech, Edward Watkins, Stefan Greuter, Heinz W. Schmidt
2016	—	`conf`	The impact of source test case selection on the effectiveness of metamorphic testing. MET@ICSE Arlinta Christy Barus, Tsong Yueh Chen, Fei-Ching Kuo, Huai Liu, Heinz W. Schmidt
2016	—	`conf`	Towards Modelling and Implementation of Reliability and Usability Features for Research-Oriented Cloud Computing Platforms. ENASE (Selected Papers) Maria Spichkova, Heinz W. Schmidt, Iman I. Yusuf, Ian E. Thomas, Steve G. Androulakis, Grischa R. Meyer
2015	—	`conf`	Chiminey: Reliable Computing and Data Management Platform in the Cloud. ICSE (2) 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
2015	J	`jnl`	Chiminey: Reliable Computing and Data Management Platform in the Cloud. CoRR 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
2015	—	`conf`	Efficient Testing based on Logical Architecture. ASWEC (2) Huai Liu, Maria Spichkova, Heinz W. Schmidt, Andreas Ulrich, Horst Sauer, Jan Wieghardt
2015	C	`conf`	Efficient incident handling in industrial automation through collaborative engineering. ETFA Jan Olaf Blech, Ian D. Peake, Heinz W. Schmidt, Mallikarjun Kande, Akilur Rahman, Srini Ramaswamy, Sithu D. Sudarsan, Venkateswaran Narayanan
2015	B	`conf`	Formal Model for Intelligent Route Planning. KES Maria Spichkova, Milan Simic, Heinz W. Schmidt
2015	J	`jnl`	Human Factors in Software Reliability Engineering. CoRR Maria Spichkova, Huai Liu, Mohsen Laali, Heinz W. Schmidt
2015	—	`conf`	Introduction to the SAGRA 2015 workshop. ECSA Workshops Maria Spichkova, Heinz W. Schmidt, Catia Trubiani
2015	B	`conf`	Model-Based Engineering and Analysis of Space-Aware Systems Communicating via IEEE 802.11. COMPSAC Fenglin Han, Jan Olaf Blech, Peter Herrmann, Heinz W. Schmidt
2015	—	`conf`	Reconciling a Component and Process View. MiSE@ICSE Maria Spichkova, Heinz W. Schmidt
2015	J	`jnl`	Reconciling a component and process view. CoRR Maria Spichkova, Heinz W. Schmidt
2015	B	`conf`	Requirements Engineering Aspects of a Geographically Distributed Architecture. ENASE Maria Spichkova, Heinz W. Schmidt
2015	J	`jnl`	Requirements Engineering Aspects of a Geographically Distributed Architecture. CoRR Maria Spichkova, Heinz W. Schmidt
2015	B	`conf`	Scalable and Fault-Tolerant Cloud Computations: Modelling and Implementation. ICPADS Maria Spichkova, Ian E. Thomas, Heinz W. Schmidt, Iman I. Yusuf, Daniel W. Drumm, Steve G. Androulakis, George Opletal, Salvy P. Russo
2015	—	`conf`	Spatio-Temporal Architecture-Based Framework for Testing Services in the Cloud. ASWEC (2) Huai Liu, Maria Spichkova, Heinz W. Schmidt, Timos K. Sellis, Matt Duckham
2015	—	`conf`	Structuring diverse regulatory requirements for global product development. RELAW Maria Spichkova, Heinz W. Schmidt, Md. Rashed Iqbal Nekvi, Nazim H. Madhavji
2015	J	`jnl`	The Virtual Experiences Lab - a platform for global collaborative engineering and beyond. CoRR Ian D. Peake, Jan Olaf Blech, Ian E. Thomas, Nicholas R. May, Heinz W. Schmidt, Lasith Fernando, Ravi Sreenivasamurthy
2015	—	`conf`	Towards Quality-Oriented Architecture: Integration in a Global Context. ECSA Workshops Maria Spichkova, Huai Liu, Heinz W. Schmidt
2015	B	`conf`	Towards a Model-based Toolchain for Remote Configuration and Maintenance of Space-aware Systems. ENASE Jan Olaf Blech, Peter Herrmann, Ian D. Peake, Heinz W. Schmidt
2015	C	`conf`	Visualization facilities for distributed and remote industrial automation: VxLab. ETFA Ian D. Peake, Jan Olaf Blech, Lasith Fernando, Heinz W. Schmidt, Ravi Sreenivasamurthy, Sithu D. Sudarsan
2014	J	`jnl`	BeSpaceD: Towards a Tool Framework and Methodology for the Specification and Verification of Spatial Behavior of Distributed Software Component Systems. CoRR Jan Olaf Blech, Heinz W. Schmidt
2014	C	`conf`	Collaborative engineering through integration of architectural, social and spatial models. ETFA Jan Olaf Blech, Ian D. Peake, Heinz W. Schmidt, Mallikarjun Kande, Srini Ramaswamy, Sithu D. Sudarsan, Venkateswaran Narayanan
2014	J	`jnl`	Cyber-Virtual Systems: Simulation, Validation & Visualization. CoRR Jan Olaf Blech, Maria Spichkova, Ian D. Peake, Heinz W. Schmidt
2014	B	`conf`	Cyber-virtual Systems - Simulation, Validation & Visualization. ENASE Jan Olaf Blech, Maria Spichkova, Ian D. Peake, Heinz W. Schmidt
2014	J	`jnl`	From abstract modelling to remote cyber-physical integration/interoperability testing. CoRR Maria Spichkova, Heinz W. Schmidt, Ian D. Peake
2014	—	`conf`	Metamorphic fault tolerance: an automated and systematic methodology for fault tolerance in the absence of test oracle. ICSE Companion Huai Liu, Iman I. Yusuf, Heinz W. Schmidt, Tsong Yueh Chen
2014	—	`conf`	Modeling Spatial Aspects of Safety-Critical Systems with Focus-ST. MoDeVVa@MoDELS Maria Spichkova, Jan Olaf Blech, Peter Herrmann, Heinz W. Schmidt
2014	J	`jnl`	Towards Logical Architecture and Formal Analysis of Dependencies Between Services. CoRR Maria Spichkova, Heinz W. Schmidt
2014	—	`conf`	Towards Verifying Safety Properties of Real-Time Probabilistic Systems. FESCA Fenglin Han, Jan Olaf Blech, Peter Herrmann, Heinz W. Schmidt
2014	—	`conf`	Visualization, Simulation and Validation for Cyber-Virtual Systems. ENASE (Selected Papers) Jan Olaf Blech, Maria Spichkova, Ian Peake, Heinz W. Schmidt
2013	—	`conf`	Parameterised architectural patterns for providing cloud service fault tolerance with accurate costings. CBSE Iman I. Yusuf, Heinz W. Schmidt
2013	—	`conf`	Towards cost-aware service recovery. QoSA Terry G. Zhou, Ian D. Peake, Heinz W. Schmidt
2011	—	`conf`	Architecture-based fault tolerance support for grid applications. QoSA/ISARCS Iman I. Yusuf, Heinz W. Schmidt, Ian D. Peake
2011	—	`ch.`	Cost/Benefit Analysis of an Adherence Support Framework for Chronic Disease Management. Behaviour Monitoring and Interpretation Kumari Wickramasinghe, Michael P. Georgeff, Christian Guttmann, Ian E. Thomas, Heinz W. Schmidt
2011	—	`conf`	Systematic simplicity-accuracy tradeoffs in parameterised contract models. QoSA/ISARCS Ian D. Peake, Heinz W. Schmidt
2010	—	`conf`	An Adherence Support Framework for Service Delivery in Customer Life Cycle Management. COIN@AAMAS&MALLOW Leelani Kumari Wickramasinghe, Christian Guttmann, Michael P. Georgeff, Ian E. Thomas, Heinz W. Schmidt
2010	—	`conf`	Goal-Directed Approach for Process Specification and Service Selection in Customer Life Cycle Management. ATOP@AAMAS Kumari Wickramasinghe, Michael P. Georgeff, Heinz W. Schmidt, Ian E. Thomas, Christian Guttmann
2010	—	`conf`	Intelligent Adherence Support to Manage Contractual Relationships. Web Intelligence/IAT Workshops Christian Guttmann, Leelani Kumari Wickramasinghe, Ian E. Thomas, Michael P. Georgeff, Heinz W. Schmidt
2009	—	`conf`	Agent-based intelligent collaborative care management. AAMAS (2) Leelani Kumari Wickramasinghe, Christian Guttmann, Michael P. Georgeff, Hamid Gharib, Ian E. Thomas, Simon G. Thompson, Heinz W. Schmidt
2009	—	`conf`	Change Propagation Analysis Using Domain Information. Australian Software Engineering Conference Amir Aryani, Ian D. Peake, Margaret Hamilton, Heinz W. Schmidt, Michael Winikoff
2009	—	`conf`	Evaluating recovery aware components for grid reliability. ESEC/SIGSOFT FSE Iman I. Yusuf, Heinz W. Schmidt, Ian D. Peake
2009	—	`conf`	Service Redundancy Strategies in Service-Oriented Architectures. EUROMICRO-SEAA Nicholas R. May, Heinz W. Schmidt, Ian E. Thomas
2008	J	`jnl`	Formalising Service-Oriented Design. J. Softw. Mikhail Perepletchikov, Caspar Ryan, Keith Frampton, Heinz W. Schmidt
2007	—	`conf`	A Formal Model of Service-Oriented Design Structure. ASWEC Mikhail Perepletchikov, Caspar Ryan, Keith Frampton, Heinz W. Schmidt
2007	—	`conf`	Architectural Test Coverage for Component-Based Integration Testing. QSIC Nor Laily Hashim, Sita Ramakrishnan, Heinz W. Schmidt
2007	—	`conf`	Architecture-Based Reasoning About Performability in Component-Based Systems. SOFSEM (1) Heinz W. Schmidt
2007	—	`ed.`	Component-Based Software Engineering, 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007, Proceedings CBSE Heinz W. Schmidt, Ivica Crnkovic, George T. Heineman, Judith A. Stafford
2007	J	`jnl`	Guest Editorial. J. Syst. Softw. Ivica Crnkovic, George T. Heineman, Heinz W. Schmidt, Judith A. Stafford, Kurt C. Wallnau
2007	—	`conf`	Parameterised Extra-Functional Prediction of Component-Based Control Systems - Industrial Experience. SOFSEM (1) Ian D. Peake, Heinz W. Schmidt
2006	B	`conf`	A Model Driven Exception Management Framework for Developing Reliable Software Systems. EDOC Susan Entwisle, Heinz W. Schmidt, Ian D. Peake, Elizabeth A. Kendall
2006	—	`ed.`	Component-Based Software Engineering, 9th International Symposium, CBSE 2006, Västerås, Sweden, June 29 - July 1, 2006, Proceedings CBSE Ian Gorton, George T. Heineman, Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Clemens A. Szyperski, Kurt C. Wallnau
2006	J	`jnl`	Verification and Prediction of Timed Probabilistic Properties over the Dmtf CIM. Int. J. Cooperative Inf. Syst. Iman Poernomo, Heinz W. Schmidt, Jane Jayaputera
2005	—	`conf`	A Model-Oriented Framework for Runtime Monitoring of Nonfunctional Properties. QoSA/SOQUA Kenneth Chan, Iman Poernomo, Heinz W. Schmidt, Jane Jayaputera
2005	B	`conf`	An Agent Oriented Proactive Fault-Tolerant Framework for Grid Computing. e-Science Mohammad Tanvir Huda, Heinz W. Schmidt, Ian D. Peake
2005	J	`jnl`	Automated Component-Based Software Engineering. J. Syst. Softw. Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Kurt C. Wallnau
2005	—	`ed.`	Component-Based Software Engineering, 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005, Proceedings CBSE George T. Heineman, Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Clemens A. Szyperski, Kurt C. Wallnau
2005	—	`conf`	Fault-Tolerant and Dependable Distributed Systems - Minitrack within the Software Technology Track at the HICSS-38 Conference. HICSS Karl M. Göschka, Robert Smeikal, Heinz W. Schmidt
2005	J	`jnl`	Report of the International Symposium on Component-Based Software Engineering. ACM SIGSOFT Softw. Eng. Notes Ivica Crnkovic, Ralf H. Reussner, Heinz W. Schmidt, Kevin Simons, Judith A. Stafford, Kurt C. Wallnau
2005	—	`conf`	Test Order for Class-based Integration Testing of Java Applications. QSIC Nor Laily Hashim, Heinz W. Schmidt, Sita Ramakrishnan
2005	B	`conf`	Timed Probabilistic Constraints over the Distributed Management Taskforce Common Information Model. EDOC Iman Poernomo, Jane Jayaputera, Heinz W. Schmidt
2004	J	`jnl`	6th ICSE Workshop on Component-Based Software Engineering: automated reasoning and prediction. ACM SIGSOFT Softw. Eng. Notes Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Kurt C. Wallnau
2004	—	`ed.`	Component-Based Software Engineering, 7th International Symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004, Proceedings CBSE Ivica Crnkovic, Judith A. Stafford, Heinz W. Schmidt, Kurt C. Wallnau
2004	—	`conf`	Runtime Verification of Timing and Probabilistic Properties using WMI and .NET. EUROMICRO Jane Jayaputera, Iman Poernomo, Heinz W. Schmidt
2003	A*	`conf`	6th ICSE Workshop on Component-Based Software Engineering: Automated Reasoning and Prediction. ICSE Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Kurt C. Wallnau
2003	—	`conf`	Architectural Configuration with EDOC and .NET Component Services. EUROMICRO Iman Poernomo, Ralf H. Reussner, Heinz W. Schmidt
2003	—	`conf`	Describing Web Service Architectures through Design-by-Contract. ISCIS Sea Ling, Iman Poernomo, Heinz W. Schmidt
2003	J	`jnl`	Guest Editorial. J. Syst. Softw. Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Kurt C. Wallnau
2003	—	`conf`	Modelling Predictable Component-Based Distributed Control Architectures. WORDS Fall Heinz W. Schmidt, Ian D. Peake, Jue Xie, Ian E. Thomas, Bernd J. Krämer, Alexander Fay, Peter Bort
2003	—	`conf`	Reasoning about Software Architectures with Contractually Specified Components. Component-Based Software Quality Ralf H. Reussner, Iman Poernomo, Heinz W. Schmidt
2003	J	`jnl`	Reliability prediction for component-based software architectures. J. Syst. Softw. Ralf H. Reussner, Heinz W. Schmidt, Iman Poernomo
2003	J	`jnl`	Trustworthy components - compositionality and prediction. J. Syst. Softw. Heinz W. Schmidt
2002	A*	`conf`	5 ICSE Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Kurt C. Wallnau
2002	—	`conf`	Architectures of Enterprise Systems: Modelling Transactional Contexts. Component Deployment Iman Poernomo, Ralf H. Reussner, Heinz W. Schmidt
2002	—	`conf`	Generating Adapters for Concurrent Component Protocol Synchronisation. FMOODS Heinz W. Schmidt, Ralf H. Reussner
2002	—	`conf`	Predictable Component Architectures Using Dependent Finite State Machines. RISSEF Heinz W. Schmidt, Bernd J. Krämer, Iman Poernomo, Ralf H. Reussner
2002	—	`conf`	Signature Extraction for Overlap Detection in Documents. ACSC Raphael A. Finkel, Arkady B. Zaslavsky, Krisztián Monostori, Heinz W. Schmidt
2002	—	`conf`	Suffix Vector: Space- and Time-Efficient Alternative to Suffix Trees. ACSC Krisztián Monostori, Arkady B. Zaslavsky, Heinz W. Schmidt
2002	Misc	`conf`	Using the TrustME Tool Suite for Automatic Component Protocol Adaptation. International Conference on Computational Science (2) Ralf H. Reussner, Iman Poernomo, Heinz W. Schmidt
2001	A*	`conf`	4th ICSE Workshop on Component-Based Software Engineering: Component Certification and System Prediction. ICSE Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Kurt C. Wallnau
2001	J	`jnl`	4th ICSE workshop on component-based software engineering: component certification and system prediction. ACM SIGSOFT Softw. Eng. Notes Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Kurt C. Wallnau
2001	—	`conf`	Efficiency of Data Structures for Detecting Overlaps in Digital Documents. ACSC Krisztián Monostori, Arkady B. Zaslavsky, Heinz W. Schmidt
2001	J	`jnl`	Trust-by-Contract: Modelling, Analysing and Predicting Behaviour of Software Architectures. Trans. SDPS Heinz W. Schmidt, Iman Poernomo, Ralf H. Reussner
2000	—	`conf`	Digital documents in educational environment (poster session): misuse, appropriation and detection issues. ACSE Krisztián Monostori, Arkady B. Zaslavsky, Heinz W. Schmidt
2000	—	`conf`	Document overlap detection system for distributed digital libraries. ACM DL Krisztián Monostori, Arkady B. Zaslavsky, Heinz W. Schmidt
2000	—	`conf`	MatchDetectReveal: finding overlapping and similar digital documents. IRMA Conference Krisztián Monostori, Arkady B. Zaslavsky, Heinz W. Schmidt
2000	—	`conf`	Model Engineering for Distributed O-O Component Testing. OOIS Sita Ramakrishnan, Heinz W. Schmidt
2000	—	`conf`	Parallel and Distributed Document Overlap Detection on the Web. PARA Krisztián Monostori, Arkady B. Zaslavsky, Heinz W. Schmidt
2000	—	`conf`	ReVis: Reverse Engineering by Clustering and Visual Object Classification. Australian Software Engineering Conference Aaron J. Quigley, Margot Postema, Heinz W. Schmidt
2000	—	`conf`	Shared XML Documents in Service Centers of the Future. WISE (2) Lutz M. Wegner, Heinz W. Schmidt
2000	B	`conf`	Time Petri nets for workflow modelling and analysis. SMC Sea Ling, Heinz W. Schmidt
1999	—	`conf`	Constructing Interoperable Components in Distributed Systems. TOOLS (32) Sea Ling, Heinz W. Schmidt, Rohan Fletcher
1999	—	`conf`	Programming the Mobility Behaviour of Agents by Composing Itineraries. ASIAN Seng Wai Loke, Heinz W. Schmidt, Arkady B. Zaslavsky
1998	J	`jnl`	Providing Trusted Components to the Industry. Computer Bertrand Meyer, Christine Mingins, Heinz W. Schmidt
1998	J	`jnl`	Reverse Engineering and Abstaction of Legacy Systems. Informatica (Slovenia) Margot Postema, Heinz W. Schmidt
1997	J	`jnl`	Disorientation and Cognitive Overhead in Hypertext Systems. Int. J. Artif. Intell. Tools Stephen Ransom, Xindong Wu, Heinz W. Schmidt
1997	B	`conf`	Schedular++: Scheduling with Knowledge Objects. ICTAI Kevin Cai, Xindong Wu, Heinz W. Schmidt
1996	Misc	`conf`	Integrating concurrency and object-orientation using boolean, access and path guards. HiPC A. S. M. Sajeev, Heinz W. Schmidt
1996	—	`conf`	Towards Analysing a Class of Object Petri Nets. Australian Software Engineering Conference Sea Ling, Heinz W. Schmidt
1995	J	`jnl`	Knowledge Objects. Informatica (Slovenia) Xindong Wu, Sita Ramakrishnan, Heinz W. Schmidt
1995	C	`conf`	Reasoning about Concurrent Objects. APSEC Heinz W. Schmidt, Jian Chen
1994	—	`conf`	Reasoning about Complexity of Object-Oriented Programs. PROCOMET Heinz W. Schmidt, Wolf Zimmermann
1991	—	`conf`	Knowledge Selection in Large Knowledge Bases. The Next Generation of Information Systems Dimitris Karagiannis, Franz J. Kurfess, Heinz W. Schmidt
1991	J	`jnl`	Prototyping and analysis of non-sequential systems using predicate-event nets. J. Syst. Softw. Heinz W. Schmidt
1989	J	`jnl`	Developing Integrated Environments with ASDL. IEEE Softw. Bernd J. Krämer, Heinz W. Schmidt
1989	—	`—`	Specification and correct implementation of non-sequential systems combining abstract data types and Petri nets. Heinz W. Schmidt
1988	—	`conf`	Object-Oriented Development of Integrated Programming Environments with ASDL. SIGSMALL/PC Bernd J. Krämer, Heinz W. Schmidt
1987	—	`conf`	ASDL - An Object-Oriented Specification Language for Syntax-Directed Environments. ESEC Marie-Luise Christ-Neumann, Heinz W. Schmidt
1986	—	`conf`	Polymorphic Types and Algebraic Specifications. ADT Heinz W. Schmidt
1982	—	`conf`	A High Level Net Language for Stepwise Modeling of Organizational Systems. International Working Conference on Model Realism Bernd J. Krämer, Heinz W. Schmidt
1981	—	`conf`	Der Entwurf nebenläfiger Systeme mit Handlungs-Entscheidungs-Netzen. GI Jahrestagung Bernd J. Krämer, Heinz W. Schmidt
1981	J	`jnl`	Zweischichtige Grammatiken. Inform. Spektrum Heinz W. Schmidt
1980	C	`conf`	Interaktive Softwareentwicklung durch schrittweise Formalisierung. Software Engineering Bernd J. Krämer, Heinz W. Schmidt
1979	—	`conf`	Locally Nondeterministic and Hybrid Syntax Analyzers from Partitioned Two-Level Grammars. GI Jahrestagung Bernd J. Krämer, Heinz W. Schmidt