Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHeinz W. Schmidt
Heinrich-Wilhelm Schmidt
Person information
- affiliation: RMIT University, Melbourne, School of Computer Science and Information Technology
- affiliation: Monash University, School of Computer Science and Software Engineering
- affiliation: University of California Berkeley, International Computer Science Institute (ICSI)
- affiliation: German National Research Centre for Information Technology (GMD)
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Books and Theses
- 1989
[b1]Heinz W. Schmidt:
Specification and correct implementation of non-sequential systems combining abstract data types and Petri nets. University of Bremen, Germany, Oldenbourg 1989, ISBN 978-3-486-21292-1, pp. 1-206
Journal Articles
- 2018
- [j21]Khandakar Ahmed
, Jan Olaf Blech, Mark A. Gregory, Heinz W. Schmidt:
Software Defined Networks in Industrial Automation. J. Sens. Actuator Networks 7(3): 33 (2018) - 2017
- [j20]Iman I. Yusuf, Ian E. Thomas, Maria Spichkova, Heinz W. Schmidt:
Chiminey: Connecting Scientists to HPC, Cloud and Big Data. Big Data Res. 8: 39-49 (2017) - 2016
- [j19]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): 40-52 (2016) - 2008
- [j18]Mikhail Perepletchikov, Caspar Ryan, Keith Frampton, Heinz W. Schmidt:
Formalising Service-Oriented Design. J. Softw. 3(2): 1-14 (2008) - 2007
- [j17]Ivica Crnkovic, George T. Heineman, Heinz W. Schmidt, Judith A. Stafford, Kurt C. Wallnau:
Guest Editorial. J. Syst. Softw. 80(5): 641-642 (2007) - 2006
- [j16]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): 633-658 (2006) - 2005
- [j15]Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Kurt C. Wallnau:
Automated Component-Based Software Engineering. J. Syst. Softw. 74(1): 1-3 (2005) - [j14]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): 1-9 (2005) - 2004
- [j13]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): 1-7 (2004) - 2003
- [j12]Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Kurt C. Wallnau:
Guest Editorial. J. Syst. Softw. 65(3): 169-171 (2003) - [j11]Heinz W. Schmidt:
Trustworthy components - compositionality and prediction. J. Syst. Softw. 65(3): 215-225 (2003) - [j10]Ralf H. Reussner, Heinz W. Schmidt, Iman Poernomo:
Reliability prediction for component-based software architectures. J. Syst. Softw. 66(3): 241-252 (2003) - 2001
- [j9]Heinz W. Schmidt, Iman Poernomo, Ralf H. Reussner:
Trust-by-Contract: Modelling, Analysing and Predicting Behaviour of Software Architectures. Trans. SDPS 5(3): 25-51 (2001) - [j8]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): 33-40 (2001) - 1998
- [j7]Bertrand Meyer, Christine Mingins, Heinz W. Schmidt:
Providing Trusted Components to the Industry. Computer 31(5): 104-105 (1998) - [j6]Margot Postema, Heinz W. Schmidt:
Reverse Engineering and Abstaction of Legacy Systems. Informatica (Slovenia) 22(3) (1998) - 1997
- [j5]Stephen Ransom, Xindong Wu, Heinz W. Schmidt:
Disorientation and Cognitive Overhead in Hypertext Systems. Int. J. Artif. Intell. Tools 6(2): 227-253 (1997) - 1995
- [j4]Xindong Wu, Sita Ramakrishnan, Heinz W. Schmidt:
Knowledge Objects. Informatica (Slovenia) 19(4) (1995) - 1991
- [j3]Heinz W. Schmidt:
Prototyping and analysis of non-sequential systems using predicate-event nets. J. Syst. Softw. 15(1): 43-62 (1991) - 1989
- [j2]Bernd J. Krämer, Heinz W. Schmidt:
Developing Integrated Environments with ASDL. IEEE Softw. 6(1): 98-107 (1989) - 1981
- [j1]Heinz W. Schmidt:
Zweischichtige Grammatiken. Inform. Spektrum 4(2): 90-100 (1981)
Conference and Workshop Papers
- 2021
- [c97]Heinz W. Schmidt:
How to Bake Quantum into Your Pet Petri Nets and Have Your Net Theory Too. SummerSOC 2021: 3-33 - 2019
- [c96]Heinz W. Schmidt, Maria Spichkova:
Towards Readability Aspects of Probabilistic Mode Automata. ENASE 2019: 555-562 - [c95]Maria Spichkova, Heinz W. Schmidt:
Requirements Engineering for Global Systems: Cultural, Regulatory and Technical Aspects. ENASE 2019: 563-569 - 2018
- [c94]Ahmed Abdullah, Heinz W. Schmidt, Maria Spichkova, Huai Liu:
Monitoring Informed Testing for IoT. ASWEC 2018: 91-95 - 2017
- [c93]Maria Spichkova, Heinz W. Schmidt, Catia Trubiani:
Role of women in software architecture: an attempt at a systematic literature review. ECSA (Companion) 2017: 31-34 - [c92]Guillaume Prévost, Jan Olaf Blech, Keith Foster, Heinrich-Wilhelm Schmidt:
An Architecture for Visualization of Industrial Automation Data. ENASE 2017: 38-46 - [c91]Khandakar Ahmed, Nazmus S. Nafi, Jan Olaf Blech, Mark A. Gregory, Heinrich-Wilhelm Schmidt:
Software defined industry automation networks. ITNAC 2017: 1-3 - [c90]Leroy Clunne-Kiely, Bijin Idicula, Luke Payne, Enrico Ronggowarsito, Maria Spichkova, Milan Simic, Heinrich-Wilhelm Schmidt:
Modelling and Implementation of Humanoid Robot Behaviour. KES 2017: 2249-2258 - [c89]Huai Liu, Jan Olaf Blech, Matt Duckham, Heinz W. Schmidt:
Spatio-Temporal Aware Testing for Complex Systems. QRS Companion 2017: 569-570 - 2016
- [c88]Mohsen Laali, Huai Liu, Margaret Hamilton, Maria Spichkova, Heinz W. Schmidt:
Test Case Prioritization Using Online Fault Detection Information. Ada-Europe 2016: 78-93 - [c87]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: 186-197 - [c86]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: 158-178 - [c85]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: 288-295 - [c84]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: 5-11 - [c83]Maria Spichkova, Milan Simic, Heinz W. Schmidt:
From Automotive to Autonomous: Time-Triggered Operating Systems. IIMSS 2016: 347-359 - [c82]Maria Spichkova, Milan Simic, Heinrich-Wilhelm Schmidt, Jian Cheng, Xuening Dong, Yuxi Gui, Yin Liang, Peng Ling, Zixiong Yin:
Formal Models for Intelligent Speed Validation and Adaptation. KES 2016: 1609-1618 - 2015
- [c81]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: 18-22 - [c80]Huai Liu, Maria Spichkova, Heinz W. Schmidt, Andreas Ulrich, Horst Sauer, Jan Wieghardt:
Efficient Testing based on Logical Architecture. ASWEC (2) 2015: 49-53 - [c79]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: 638-646 - [c78]Maria Spichkova, Heinz W. Schmidt, Catia Trubiani:
Introduction to the SAGRA 2015 workshop. ECSA Workshops 2015: 60:1-60:2 - [c77]Maria Spichkova, Huai Liu, Heinz W. Schmidt:
Towards Quality-Oriented Architecture: Integration in a Global Context. ECSA Workshops 2015: 64:1-64:5 - [c76]Maria Spichkova, Heinz W. Schmidt:
Requirements Engineering Aspects of a Geographically Distributed Architecture. ENASE 2015: 276-281 - [c75]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: 331-336 - [c74]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: 1-8 - [c73]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: 1-4 - [c72]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: 396-404 - [c71]Khandakar Ahmed, Jan Olaf Blech, Mark A. Gregory, Heinrich-Wilhelm Schmidt:
Software Defined Networking for Communication and Control of Cyber-Physical Systems. ICPADS 2015: 803-808 - [c70]Maria Spichkova, Heinz W. Schmidt:
Reconciling a Component and Process View. MiSE@ICSE 2015: 1-6 - [c69]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: 677-680 - [c68]Maria Spichkova, Milan Simic, Heinz W. Schmidt:
Formal Model for Intelligent Route Planning. KES 2015: 1299-1308 - [c67]Maria Spichkova, Heinz W. Schmidt, Md. Rashed Iqbal Nekvi, Nazim H. Madhavji:
Structuring diverse regulatory requirements for global product development. RELAW 2015: 57-60 - 2014
- [c66]Maria Spichkova, Heinrich-Wilhelm Schmidt:
Towards Logical Architecture and Formal Analysis of Dependencies between Services. APSCC 2014: 121-128 - [c65]Jan Olaf Blech, Maria Spichkova, Ian Peake, Heinz W. Schmidt:
Visualization, Simulation and Validation for Cyber-Virtual Systems. ENASE (Selected Papers) 2014: 140-154 - [c64]Jan Olaf Blech, Maria Spichkova, Ian D. Peake, Heinz W. Schmidt:
Cyber-virtual Systems - Simulation, Validation & Visualization. ENASE 2014: 218-225 - [c63]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: 1-4 - [c62]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: 420-423 - [c61]Maria Spichkova, Jan Olaf Blech, Peter Herrmann, Heinz W. Schmidt:
Modeling Spatial Aspects of Safety-Critical Systems with Focus-ST. MoDeVVa@MoDELS 2014: 49-58 - [c60]Fenglin Han, Jan Olaf Blech, Peter Herrmann, Heinz W. Schmidt:
Towards Verifying Safety Properties of Real-Time Probabilistic Systems. FESCA 2014: 1-15 - 2013
- [c59]Iman I. Yusuf, Heinz W. Schmidt:
Parameterised architectural patterns for providing cloud service fault tolerance with accurate costings. CBSE 2013: 121-130 - [c58]Terry G. Zhou, Ian D. Peake, Heinz W. Schmidt:
Towards cost-aware service recovery. QoSA 2013: 53-62 - 2011
- [c57]Ian D. Peake, Heinz W. Schmidt:
Systematic simplicity-accuracy tradeoffs in parameterised contract models. QoSA/ISARCS 2011: 95-104 - [c56]Iman I. Yusuf, Heinz W. Schmidt, Ian D. Peake:
Architecture-based fault tolerance support for grid applications. QoSA/ISARCS 2011: 177-182 - 2010
- [c55]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: 151-169 - [c54]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: 210-229 - [c53]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: 342-345 - 2009
- [c52]Amir Aryani, Ian D. Peake, Margaret Hamilton, Heinz W. Schmidt, Michael Winikoff:
Change Propagation Analysis Using Domain Information. Australian Software Engineering Conference 2009: 34-43 - [c51]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: 1387-1388 - [c50]Nicholas R. May, Heinz W. Schmidt, Ian E. Thomas:
Service Redundancy Strategies in Service-Oriented Architectures. EUROMICRO-SEAA 2009: 383-387 - [c49]Iman I. Yusuf, Heinz W. Schmidt, Ian D. Peake:
Evaluating recovery aware components for grid reliability. ESEC/SIGSOFT FSE 2009: 277-280 - 2007
- [c48]Mikhail Perepletchikov, Caspar Ryan, Keith Frampton, Heinz W. Schmidt:
A Formal Model of Service-Oriented Design Structure. ASWEC 2007: 71-80 - [c47]Nor Laily Hashim, Sita Ramakrishnan, Heinz W. Schmidt:
Architectural Test Coverage for Component-Based Integration Testing. QSIC 2007: 262-267 - [c46]Heinz W. Schmidt:
Architecture-Based Reasoning About Performability in Component-Based Systems. SOFSEM (1) 2007: 130-137 - [c45]Ian D. Peake, Heinz W. Schmidt:
Parameterised Extra-Functional Prediction of Component-Based Control Systems - Industrial Experience. SOFSEM (1) 2007: 911-922 - 2006
- [c44]Susan Entwisle, Heinz W. Schmidt, Ian D. Peake, Elizabeth A. Kendall:
A Model Driven Exception Management Framework for Developing Reliable Software Systems. EDOC 2006: 307-318 - 2005
- [c43]Mohammad Tanvir Huda, Heinz W. Schmidt, Ian D. Peake:
An Agent Oriented Proactive Fault-Tolerant Framework for Grid Computing. e-Science 2005: 304-311 - [c42]Iman Poernomo, Jane Jayaputera, Heinz W. Schmidt:
Timed Probabilistic Constraints over the Distributed Management Taskforce Common Information Model. EDOC 2005: 261-272 - [c41]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 - [c40]Nor Laily Hashim, Heinz W. Schmidt, Sita Ramakrishnan:
Test Order for Class-based Integration Testing of Java Applications. QSIC 2005: 11-18 - [c39]Kenneth Chan, Iman Poernomo, Heinz W. Schmidt, Jane Jayaputera:
A Model-Oriented Framework for Runtime Monitoring of Nonfunctional Properties. QoSA/SOQUA 2005: 38-52 - 2004
- [c38]Jane Jayaputera, Iman Poernomo, Heinz W. Schmidt:
Runtime Verification of Timing and Probabilistic Properties using WMI and .NET. EUROMICRO 2004: 100-106 - 2003
- [c37]Ralf H. Reussner, Iman Poernomo, Heinz W. Schmidt:
Reasoning about Software Architectures with Contractually Specified Components. Component-Based Software Quality 2003: 287-325 - [c36]Iman Poernomo, Ralf H. Reussner, Heinz W. Schmidt:
Architectural Configuration with EDOC and .NET Component Services. EUROMICRO 2003: 61-69 - [c35]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: 775-776 - [c34]Sea Ling, Iman Poernomo, Heinz W. Schmidt:
Describing Web Service Architectures through Design-by-Contract. ISCIS 2003: 1008-1018 - [c33]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: 339-346 - 2002
- [c32]Raphael A. Finkel, Arkady B. Zaslavsky, Krisztián Monostori, Heinz W. Schmidt:
Signature Extraction for Overlap Detection in Documents. ACSC 2002: 59-64 - [c31]Krisztián Monostori, Arkady B. Zaslavsky, Heinz W. Schmidt:
Suffix Vector: Space- and Time-Efficient Alternative to Suffix Trees. ACSC 2002: 157-165 - [c30]Iman Poernomo, Ralf H. Reussner, Heinz W. Schmidt:
Architectures of Enterprise Systems: Modelling Transactional Contexts. Component Deployment 2002: 233-243 - [c29]Heinz W. Schmidt, Ralf H. Reussner:
Generating Adapters for Concurrent Component Protocol Synchronisation. FMOODS 2002: 213-229 - [c28]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: 854-863 - [c27]Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Kurt C. Wallnau:
5th ICSE workshop on component-based software engineering: benchmarks for predictable assembly. ICSE 2002: 655-656 - [c26]Heinz W. Schmidt, Bernd J. Krämer, Iman Poernomo, Ralf H. Reussner:
Predictable Component Architectures Using Dependent Finite State Machines. RISSEF 2002: 310-324 - 2001
- [c25]Krisztián Monostori, Arkady B. Zaslavsky, Heinz W. Schmidt:
Efficiency of Data Structures for Detecting Overlaps in Digital Documents. ACSC 2001: 140-147 - [c24]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: 771-772 - 2000
- [c23]Krisztián Monostori, Arkady B. Zaslavsky, Heinz W. Schmidt:
Digital documents in educational environment (poster session): misuse, appropriation and detection issues. ACSE 2000: 254-255 - [c22]Aaron J. Quigley, Margot Postema, Heinz W. Schmidt:
ReVis: Reverse Engineering by Clustering and Visual Object Classification. Australian Software Engineering Conference 2000: 119-128 - [c21]Krisztián Monostori, Arkady B. Zaslavsky, Heinz W. Schmidt:
Document overlap detection system for distributed digital libraries. ACM DL 2000: 226-227 - [c20]Krisztián Monostori, Arkady B. Zaslavsky, Heinz W. Schmidt:
MatchDetectReveal: finding overlapping and similar digital documents. IRMA Conference 2000: 955-957 - [c19]Sita Ramakrishnan, Heinz W. Schmidt:
Model Engineering for Distributed O-O Component Testing. OOIS 2000: 407-413 - [c18]Krisztián Monostori, Arkady B. Zaslavsky, Heinz W. Schmidt:
Parallel and Distributed Document Overlap Detection on the Web. PARA 2000: 206-214 - [c17]Sea Ling, Heinz W. Schmidt:
Time Petri nets for workflow modelling and analysis. SMC 2000: 3039-3044 - [c16]Lutz M. Wegner, Heinz W. Schmidt:
Shared XML Documents in Service Centers of the Future. WISE (2) 2000: 105-112 - 1999
- [c15]Seng Wai Loke, Heinz W. Schmidt, Arkady B. Zaslavsky:
Programming the Mobility Behaviour of Agents by Composing Itineraries. ASIAN 1999: 214-226 - [c14]Sea Ling, Heinz W. Schmidt, Rohan Fletcher:
Constructing Interoperable Components in Distributed Systems. TOOLS (32) 1999: 274- - 1997
- [c13]Kevin Cai, Xindong Wu, Heinz W. Schmidt:
Schedular++: Scheduling with Knowledge Objects. ICTAI 1997: 480-483 - 1996
- [c12]Sea Ling, Heinz W. Schmidt:
Towards Analysing a Class of Object Petri Nets. Australian Software Engineering Conference 1996: 81-92 - [c11]A. S. M. Sajeev, Heinz W. Schmidt:
Integrating concurrency and object-orientation using boolean, access and path guards. HiPC 1996: 68-72 - 1995
- [c10]Heinz W. Schmidt, Jian Chen:
Reasoning about Concurrent Objects. APSEC 1995: 86-95 - 1994
- [c9]Heinz W. Schmidt, Wolf Zimmermann:
Reasoning about Complexity of Object-Oriented Programs. PROCOMET 1994: 553-572 - 1991
- [c8]Dimitris Karagiannis, Franz J. Kurfess, Heinz W. Schmidt:
Knowledge Selection in Large Knowledge Bases. The Next Generation of Information Systems 1991: 291-310 - 1988
- [c7]Bernd J. Krämer, Heinz W. Schmidt:
Object-Oriented Development of Integrated Programming Environments with ASDL. SIGSMALL/PC 1988: 11-21 - 1987
- [c6]Marie-Luise Christ-Neumann, Heinz W. Schmidt:
ASDL - An Object-Oriented Specification Language for Syntax-Directed Environments. ESEC 1987: 71-79 - 1986
- [c5]Heinz W. Schmidt:
Polymorphic Types and Algebraic Specifications. ADT 1986 - 1982
- [c4]Bernd J. Krämer, Heinz W. Schmidt:
A High Level Net Language for Stepwise Modeling of Organizational Systems. International Working Conference on Model Realism 1982: 156-170 - 1981
- [c3]Bernd J. Krämer, Heinz W. Schmidt:
Der Entwurf nebenläfiger Systeme mit Handlungs-Entscheidungs-Netzen. GI Jahrestagung 1981: 460-471 - 1980
- [c2]Bernd J. Krämer, Heinz W. Schmidt:
Interaktive Softwareentwicklung durch schrittweise Formalisierung. Software Engineering 1980: 310-311 - 1979
- [c1]Bernd J. Krämer, Heinz W. Schmidt:
Locally Nondeterministic and Hybrid Syntax Analyzers from Partitioned Two-Level Grammars. GI Jahrestagung 1979: 194-205
Parts in Books or Collections
- 2019
- [p2]Heinz W. Schmidt:
Petri Nets: The Next 50 Years - An Invitation and Interpretative Translation. Carl Adam Petri: Ideas, Personality, Impact 2019: 45-66 - 2011
- [p1]Kumari Wickramasinghe, Michael P. Georgeff, Christian Guttmann, Ian E. Thomas, Heinz W. Schmidt:
Cost/Benefit Analysis of an Adherence Support Framework for Chronic Disease Management. Behaviour Monitoring and Interpretation 2011: 105-127
Editorship
- 2007
- [e4]Heinz W. Schmidt, Ivica Crnkovic, George T. Heineman, Judith A. Stafford:
Component-Based Software Engineering, 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007, Proceedings. Lecture Notes in Computer Science 4608, Springer 2007, ISBN 978-3-540-73550-2 [contents] - 2006
- [e3]Ian Gorton, George T. Heineman, Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Clemens A. Szyperski, Kurt C. Wallnau:
Component-Based Software Engineering, 9th International Symposium, CBSE 2006, Västerås, Sweden, June 29 - July 1, 2006, Proceedings. Lecture Notes in Computer Science 4063, Springer 2006, ISBN 3-540-35628-2 [contents] - 2005
- [e2]George T. Heineman, Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Clemens A. Szyperski, Kurt C. Wallnau:
Component-Based Software Engineering, 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005, Proceedings. Lecture Notes in Computer Science 3489, Springer 2005, ISBN 3-540-25877-9 [contents] - 2004
- [e1]Ivica Crnkovic, Judith A. Stafford, Heinz W. Schmidt, Kurt C. Wallnau:
Component-Based Software Engineering, 7th International Symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004, Proceedings. Lecture Notes in Computer Science 3054, Springer 2004, ISBN 3-540-21998-6 [contents]
Informal and Other Publications
- 2021
- [i14]Heinz W. Schmidt:
How to Bake Quantum into Your Pet Petri Nets and Have Your Net Theory Too. CoRR abs/2106.03539 (2021) - 2019
- [i13]Heinz W. Schmidt, Maria Spichkova:
Towards Readability Aspects of Probabilistic Mode Automata. CoRR abs/1910.05003 (2019) - [i12]Maria Spichkova, Heinz W. Schmidt:
Requirements Engineering for Global Systems: Cultural, Regulatory and Technical Aspects. CoRR abs/1910.05008 (2019) - 2018
- [i11]Ahmed Abdullah, Heinz W. Schmidt, Maria Spichkova, Huai Liu:
Monitoring Informed Testing for IoT. CoRR abs/1812.05776 (2018) - 2016
- [i10]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 abs/1612.01675 (2016) - 2015
- [i9]Maria Spichkova, Heinz W. Schmidt:
Reconciling a component and process view. CoRR abs/1503.03195 (2015) - [i8]Maria Spichkova, Huai Liu, Mohsen Laali, Heinz W. Schmidt:
Human Factors in Software Reliability Engineering. CoRR abs/1503.03584 (2015) - [i7]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 abs/1507.01321 (2015) - [i6]Maria Spichkova, Heinz W. Schmidt:
Requirements Engineering Aspects of a Geographically Distributed Architecture. CoRR abs/1508.01623 (2015) - [i5]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 abs/1510.09077 (2015) - 2014
- [i4]Maria Spichkova, Heinz W. Schmidt, Ian D. Peake:
From abstract modelling to remote cyber-physical integration/interoperability testing. CoRR abs/1403.1005 (2014) - [i3]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 abs/1404.3537 (2014) - [i2]Jan Olaf Blech, Maria Spichkova, Ian D. Peake, Heinz W. Schmidt:
Cyber-Virtual Systems: Simulation, Validation & Visualization. CoRR abs/1410.1258 (2014) - [i1]Maria Spichkova, Heinz W. Schmidt:
Towards Logical Architecture and Formal Analysis of Dependencies Between Services. CoRR abs/1412.3529 (2014)
Coauthor Index
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 01:12 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
