Heinz W. Schmidt

ORCID

Publication Activity (10 Years)

Years Active: 1979-2021
Publications (10 Years): 20

Top Venues

University of Bremen, Germany (PHD)

Education History

University of Bremen, Germany

PHD

Publications

Heinz W. Schmidt
How to Bake Quantum into Your Pet Petri Nets and Have Your Net Theory Too. SummerSOC (2021)
Heinz W. Schmidt
How to Bake Quantum into Your Pet Petri Nets and Have Your Net Theory Too. CoRR (2021)
Heinz W. Schmidt, Maria Spichkova
Towards Readability Aspects of Probabilistic Mode Automata. ENASE (2019)
Maria Spichkova, Heinz W. Schmidt
Requirements Engineering for Global Systems: Cultural, Regulatory and Technical Aspects. ENASE (2019)
Maria Spichkova, Heinz W. Schmidt
Requirements Engineering for Global Systems: Cultural, Regulatory and Technical Aspects. CoRR (2019)
Heinz W. Schmidt, Maria Spichkova
Towards Readability Aspects of Probabilistic Mode Automata. CoRR (2019)
Ahmed Abdullah, Heinz W. Schmidt, Maria Spichkova, Huai Liu
Monitoring Informed Testing for IoT. ASWEC (2018)
Ahmed Abdullah, Heinz W. Schmidt, Maria Spichkova, Huai Liu
Monitoring Informed Testing for IoT. CoRR (2018)
Khandakar Ahmed, Jan Olaf Blech, Mark A. Gregory, Heinz W. Schmidt
Software Defined Networks in Industrial Automation. J. Sens. Actuator Networks 7 (3) (2018)
Maria Spichkova, Heinz W. Schmidt, Catia Trubiani
Role of women in software architecture: an attempt at a systematic literature review. ECSA (Companion) (2017)
Huai Liu, Jan Olaf Blech, Matt Duckham, Heinz W. Schmidt
Spatio-Temporal Aware Testing for Complex Systems. QRS Companion (2017)
Iman I. Yusuf, Ian E. Thomas, Maria Spichkova, Heinz W. Schmidt
Chiminey: Connecting Scientists to HPC, Cloud and Big Data. Big Data Res. 8 (2017)
Maria Spichkova, Milan Simic, Heinz W. Schmidt
From Automotive to Autonomous: Time-Triggered Operating Systems. IIMSS (2016)
Mohsen Laali, Huai Liu, Margaret Hamilton, Maria Spichkova, Heinz W. Schmidt
Test Case Prioritization Using Online Fault Detection Information. Ada-Europe (2016)
Arlinta Christy Barus, Tsong Yueh Chen, Fei-Ching Kuo, Huai Liu, Heinz W. Schmidt
The impact of source test case selection on the effectiveness of metamorphic testing. MET@ICSE (2016)
Maria Spichkova, Heinz W. Schmidt, Ian E. Thomas, Iman I. Yusuf, Steve G. Androulakis, Grischa R. Meyer
Managing Usability and Reliability Aspects in Cloud Computing. ENASE (2016)
Peter Herrmann, Jan Olaf Blech, Fenglin Han, Heinz W. Schmidt
A Model-Based Toolchain to Verify Spatial Behavior of Cyber-Physical Systems. Int. J. Web Serv. Res. 13 (1) (2016)
Maria Spichkova, Heinz W. Schmidt, Ian E. Thomas, Iman I. Yusuf, Steve G. Androulakis, Grischa R. Meyer
Managing Usability and Reliability Aspects in Cloud Computing. CoRR (2016)
Maria Spichkova, Heinz W. Schmidt, Iman I. Yusuf, Ian E. Thomas, Steve G. Androulakis, Grischa R. Meyer
Towards Modelling and Implementation of Reliability and Usability Features for Research-Oriented Cloud Computing Platforms. ENASE (Selected Papers) (2016)
Ian D. Peake, Jan Olaf Blech, Edward Watkins, Stefan Greuter, Heinz W. Schmidt
The Virtual Experiences Portals - A Reconfigurable Platform for Immersive Visualization. AVR (1) (2016)
Maria Spichkova, Heinz W. Schmidt
Requirements Engineering Aspects of a Geographically Distributed Architecture. ENASE (2015)
Maria Spichkova, Heinz W. Schmidt, Md. Rashed Iqbal Nekvi, Nazim H. Madhavji
Structuring diverse regulatory requirements for global product development. RELAW (2015)
Maria Spichkova, Huai Liu, Mohsen Laali, Heinz W. Schmidt
Human Factors in Software Reliability Engineering. CoRR (2015)
Maria Spichkova, Heinz W. Schmidt
Reconciling a component and process view. CoRR (2015)
Ian D. Peake, Jan Olaf Blech, Lasith Fernando, Heinz W. Schmidt, Ravi Sreenivasamurthy, Sithu D. Sudarsan
Visualization facilities for distributed and remote industrial automation: VxLab. ETFA (2015)
Huai Liu, Maria Spichkova, Heinz W. Schmidt, Andreas Ulrich, Horst Sauer, Jan Wieghardt
Efficient Testing based on Logical Architecture. ASWEC (2) (2015)
Maria Spichkova, Heinz W. Schmidt
Requirements Engineering Aspects of a Geographically Distributed Architecture. CoRR (2015)
Huai Liu, Maria Spichkova, Heinz W. Schmidt, Timos K. Sellis, Matt Duckham
Spatio-Temporal Architecture-Based Framework for Testing Services in the Cloud. ASWEC (2) (2015)
Maria Spichkova, Milan Simic, Heinz W. Schmidt
Formal Model for Intelligent Route Planning. KES (2015)
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
Chiminey: Reliable Computing and Data Management Platform in the Cloud. CoRR (2015)
Jan Olaf Blech, Peter Herrmann, Ian D. Peake, Heinz W. Schmidt
Towards a Model-based Toolchain for Remote Configuration and Maintenance of Space-aware Systems. ENASE (2015)
Maria Spichkova, Heinz W. Schmidt
Reconciling a Component and Process View. MiSE@ICSE (2015)
Maria Spichkova, Huai Liu, Heinz W. Schmidt
Towards Quality-Oriented Architecture: Integration in a Global Context. ECSA Workshops (2015)
Jan Olaf Blech, Ian D. Peake, Heinz W. Schmidt, Mallikarjun Kande, Akilur Rahman, Srini Ramaswamy, Sithu D. Sudarsan, Venkateswaran Narayanan
Efficient incident handling in industrial automation through collaborative engineering. ETFA (2015)
Maria Spichkova, Ian E. Thomas, Heinz W. Schmidt, Iman I. Yusuf, Daniel W. Drumm, Steve G. Androulakis, George Opletal, Salvy P. Russo
Scalable and Fault-Tolerant Cloud Computations: Modelling and Implementation. ICPADS (2015)
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
Chiminey: Reliable Computing and Data Management Platform in the Cloud. ICSE (2) (2015)
Ian D. Peake, Jan Olaf Blech, Ian E. Thomas, Nicholas R. May, Heinz W. Schmidt, Lasith Fernando, Ravi Sreenivasamurthy
The Virtual Experiences Lab - a platform for global collaborative engineering and beyond. CoRR (2015)
Maria Spichkova, Heinz W. Schmidt, Catia Trubiani
Introduction to the SAGRA 2015 workshop. ECSA Workshops (2015)
Fenglin Han, Jan Olaf Blech, Peter Herrmann, Heinz W. Schmidt
Model-Based Engineering and Analysis of Space-Aware Systems Communicating via IEEE 802.11. COMPSAC (2015)
Jan Olaf Blech, Heinz W. Schmidt
BeSpaceD: Towards a Tool Framework and Methodology for the Specification and Verification of Spatial Behavior of Distributed Software Component Systems. CoRR (2014)
Maria Spichkova, Heinz W. Schmidt, Ian D. Peake
From abstract modelling to remote cyber-physical integration/interoperability testing. CoRR (2014)
Maria Spichkova, Jan Olaf Blech, Peter Herrmann, Heinz W. Schmidt
Modeling Spatial Aspects of Safety-Critical Systems with Focus-ST. MoDeVVa@MoDELS (2014)
Jan Olaf Blech, Ian D. Peake, Heinz W. Schmidt, Mallikarjun Kande, Srini Ramaswamy, Sithu D. Sudarsan, Venkateswaran Narayanan
Collaborative engineering through integration of architectural, social and spatial models. ETFA (2014)
Maria Spichkova, Heinz W. Schmidt
Towards Logical Architecture and Formal Analysis of Dependencies Between Services. CoRR (2014)
Jan Olaf Blech, Maria Spichkova, Ian D. Peake, Heinz W. Schmidt
Cyber-Virtual Systems: Simulation, Validation & Visualization. CoRR (2014)
Fenglin Han, Jan Olaf Blech, Peter Herrmann, Heinz W. Schmidt
Towards Verifying Safety Properties of Real-Time Probabilistic Systems. FESCA (2014)
Huai Liu, Iman I. Yusuf, Heinz W. Schmidt, Tsong Yueh Chen
Metamorphic fault tolerance: an automated and systematic methodology for fault tolerance in the absence of test oracle. ICSE Companion (2014)
Jan Olaf Blech, Maria Spichkova, Ian D. Peake, Heinz W. Schmidt
Cyber-virtual Systems - Simulation, Validation & Visualization. ENASE (2014)
Jan Olaf Blech, Maria Spichkova, Ian Peake, Heinz W. Schmidt
Visualization, Simulation and Validation for Cyber-Virtual Systems. ENASE (Selected Papers) (2014)
Iman I. Yusuf, Heinz W. Schmidt
Parameterised architectural patterns for providing cloud service fault tolerance with accurate costings. CBSE (2013)
Terry G. Zhou, Ian D. Peake, Heinz W. Schmidt
Towards cost-aware service recovery. QoSA (2013)
Ian D. Peake, Heinz W. Schmidt
Systematic simplicity-accuracy tradeoffs in parameterised contract models. QoSA/ISARCS (2011)
Iman I. Yusuf, Heinz W. Schmidt, Ian D. Peake
Architecture-based fault tolerance support for grid applications. QoSA/ISARCS (2011)
Kumari Wickramasinghe, Michael P. Georgeff, Heinz W. Schmidt, Ian E. Thomas, Christian Guttmann
Goal-Directed Approach for Process Specification and Service Selection in Customer Life Cycle Management. ATOP@AAMAS (2010)
Leelani Kumari Wickramasinghe, Christian Guttmann, Michael P. Georgeff, Ian E. Thomas, Heinz W. Schmidt
An Adherence Support Framework for Service Delivery in Customer Life Cycle Management. COIN@AAMAS&MALLOW (2010)
Christian Guttmann, Leelani Kumari Wickramasinghe, Ian E. Thomas, Michael P. Georgeff, Heinz W. Schmidt
Intelligent Adherence Support to Manage Contractual Relationships. Web Intelligence/IAT Workshops (2010)
Iman I. Yusuf, Heinz W. Schmidt, Ian D. Peake
Evaluating recovery aware components for grid reliability. ESEC/SIGSOFT FSE (2009)
Amir Aryani, Ian D. Peake, Margaret Hamilton, Heinz W. Schmidt, Michael Winikoff
Change Propagation Analysis Using Domain Information. Australian Software Engineering Conference (2009)
Nicholas R. May, Heinz W. Schmidt, Ian E. Thomas
Service Redundancy Strategies in Service-Oriented Architectures. EUROMICRO-SEAA (2009)
Leelani Kumari Wickramasinghe, Christian Guttmann, Michael P. Georgeff, Hamid Gharib, Ian E. Thomas, Simon G. Thompson, Heinz W. Schmidt
Agent-based intelligent collaborative care management. AAMAS (2) (2009)
Mikhail Perepletchikov, Caspar Ryan, Keith Frampton, Heinz W. Schmidt
Formalising Service-Oriented Design. J. Softw. 3 (2) (2008)
Nor Laily Hashim, Sita Ramakrishnan, Heinz W. Schmidt
Architectural Test Coverage for Component-Based Integration Testing. QSIC (2007)
Ian D. Peake, Heinz W. Schmidt
Parameterised Extra-Functional Prediction of Component-Based Control Systems - Industrial Experience. SOFSEM (1) (2007)
Heinz W. Schmidt
Architecture-Based Reasoning About Performability in Component-Based Systems. SOFSEM (1) (2007)
Ivica Crnkovic, George T. Heineman, Heinz W. Schmidt, Judith A. Stafford, Kurt C. Wallnau
Guest Editorial. J. Syst. Softw. 80 (5) (2007)
Mikhail Perepletchikov, Caspar Ryan, Keith Frampton, Heinz W. Schmidt
A Formal Model of Service-Oriented Design Structure. ASWEC (2007)
Susan Entwisle, Heinz W. Schmidt, Ian D. Peake, Elizabeth A. Kendall
A Model Driven Exception Management Framework for Developing Reliable Software Systems. EDOC (2006)
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) (2006)
Ivica Crnkovic, Ralf H. Reussner, Heinz W. Schmidt, Kevin Simons, Judith A. Stafford, Kurt C. Wallnau
Report of the International Symposium on Component-Based Software Engineering. ACM SIGSOFT Softw. Eng. Notes 30 (3) (2005)
Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Kurt C. Wallnau
Automated Component-Based Software Engineering. J. Syst. Softw. 74 (1) (2005)
Iman Poernomo, Jane Jayaputera, Heinz W. Schmidt
Timed Probabilistic Constraints over the Distributed Management Taskforce Common Information Model. EDOC (2005)
Nor Laily Hashim, Heinz W. Schmidt, Sita Ramakrishnan
Test Order for Class-based Integration Testing of Java Applications. QSIC (2005)
Mohammad Tanvir Huda, Heinz W. Schmidt, Ian D. Peake
An Agent Oriented Proactive Fault-Tolerant Framework for Grid Computing. e-Science (2005)
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)
Kenneth Chan, Iman Poernomo, Heinz W. Schmidt, Jane Jayaputera
A Model-Oriented Framework for Runtime Monitoring of Nonfunctional Properties. QoSA/SOQUA (2005)
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 Softw. Eng. Notes 29 (3) (2004)
Jane Jayaputera, Iman Poernomo, Heinz W. Schmidt
Runtime Verification of Timing and Probabilistic Properties using WMI and .NET. EUROMICRO (2004)
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)
Iman Poernomo, Ralf H. Reussner, Heinz W. Schmidt
Architectural Configuration with EDOC and .NET Component Services. EUROMICRO (2003)
Heinz W. Schmidt
Trustworthy components - compositionality and prediction. J. Syst. Softw. 65 (3) (2003)
Ralf H. Reussner, Heinz W. Schmidt, Iman Poernomo
Reliability prediction for component-based software architectures. J. Syst. Softw. 66 (3) (2003)
Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Kurt C. Wallnau
Guest Editorial. J. Syst. Softw. 65 (3) (2003)
Ralf H. Reussner, Iman Poernomo, Heinz W. Schmidt
Reasoning about Software Architectures with Contractually Specified Components. Component-Based Software Quality (2003)
Heinz W. Schmidt, Ian D. Peake, Jue Xie, Ian E. Thomas, Bernd J. Krämer, Alexander Fay, Peter Bort
Modelling Predictable Component-Based Distributed Control Architectures. WORDS Fall (2003)
Sea Ling, Iman Poernomo, Heinz W. Schmidt
Describing Web Service Architectures through Design-by-Contract. ISCIS (2003)
Heinz W. Schmidt, Bernd J. Krämer, Iman Poernomo, Ralf H. Reussner
Predictable Component Architectures Using Dependent Finite State Machines. RISSEF (2002)
Raphael A. Finkel, Arkady B. Zaslavsky, Krisztián Monostori, Heinz W. Schmidt
Signature Extraction for Overlap Detection in Documents. ACSC (2002)
Krisztián Monostori, Arkady B. Zaslavsky, Heinz W. Schmidt
Suffix Vector: Space- and Time-Efficient Alternative to Suffix Trees. ACSC (2002)
Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Kurt C. Wallnau
ICSE workshop on component-based software engineering: benchmarks for predictable assembly. ICSE (2002)
Heinz W. Schmidt, Ralf H. Reussner
Generating Adapters for Concurrent Component Protocol Synchronisation. FMOODS (2002)
Iman Poernomo, Ralf H. Reussner, Heinz W. Schmidt
Architectures of Enterprise Systems: Modelling Transactional Contexts. Component Deployment (2002)
Ralf H. Reussner, Iman Poernomo, Heinz W. Schmidt
Using the TrustME Tool Suite for Automatic Component Protocol Adaptation. International Conference on Computational Science (2) (2002)
Krisztián Monostori, Arkady B. Zaslavsky, Heinz W. Schmidt
Efficiency of Data Structures for Detecting Overlaps in Digital Documents. ACSC (2001)
Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Kurt C. Wallnau
4th ICSE workshop on component-based software engineering: component certification and system prediction. ACM SIGSOFT Softw. Eng. Notes 26 (6) (2001)
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)
Heinz W. Schmidt, Iman Poernomo, Ralf H. Reussner
Trust-by-Contract: Modelling, Analysing and Predicting Behaviour of Software Architectures. Trans. SDPS 5 (3) (2001)
Sea Ling, Heinz W. Schmidt
Time Petri nets for workflow modelling and analysis. SMC (2000)
Krisztián Monostori, Arkady B. Zaslavsky, Heinz W. Schmidt
Document overlap detection system for distributed digital libraries. ACM DL (2000)
Sita Ramakrishnan, Heinz W. Schmidt
Model Engineering for Distributed O-O Component Testing. OOIS (2000)
Krisztián Monostori, Arkady B. Zaslavsky, Heinz W. Schmidt
Parallel and Distributed Document Overlap Detection on the Web. PARA (2000)

Heinz W. Schmidt.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Heinz W. Schmidt