Heinrich Schmidt

Publications

• Barus, A, Chen, T, Kuo, F, Liu, H and Schmidt, H 2016, ‘The impact of source test case selection on the effectiveness of metamorphic testing‘, in Proceedings of the 1st International Workshop on Metamorphic Testing (MET 2016), New York, United States, 16 May 2016, pp. 5-11.
• Spichkova, M, Simic, M and Schmidt, H 2016, ‘From automotive to autonomous: Time-triggered operating systems‘ in Giuseppe De Pietro, Luigi Gallo, Robert J. Howlett and Lakhmi C. Jain (ed.)Intelligent Interactive Multimedia Systems and Services 2016, Springer, Switzerland, pp. 347-359.
• Herrmann, P, Blech, J, Han, F and Schmidt, H 2016, ‘A model-based toolchain to verify spatial behavior of cyber-physical systems‘, International Journal of Web Services Research, vol. 13, no.1, pp. 40-52.
• Spichkova, M, Schmidt, H, Thomas, I, Yusuf, I, Androulakis, S and Meyer, G 2016, ‘Managing usability and reliability aspects in cloud computing‘, in Leszek Maciaszek and Joaquim Filipe (ed.)Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering (ENASE 2016), Setúbal, Portugal, 27-28 April 2016, pp. 288-295.
• Laali, M, Liu, H, Hamilton, M, Spichkova, M and Schmidt, H 2016, ‘Test case prioritization using online fault detection information‘, in Proceedings of the 21st Ada-Europe International Conference on Reliable Software Technologies, Switzerland, 13-17 June 2016, pp. 78-93.
• Peake, I, Blech, J, Watkins, E, Greuter, S and Schmidt, H 2016, ‘The virtual experiences portals – a reconfigurable platform for immersive visualization‘, in Proceedings of the 3rd International Conference on Augmented Reality, Virtual Reality and Computer Graphics (AVR 2016),Switzerland, 15-18 June 2016, pp. 186-197.
• Spichkova, M, Simic, M, Schmidt, H, Cheng, J, Dong, X, Gui, Y, Liang, Y, Ling, P and Yin, Z2016, ‘Formal models for intelligent speed validation and adaptation‘, Procedia Computer Science, vol. 96, pp. 1609-1618.
• Spichkova, M and Schmidt, H 2015, ‘Formal-based framework for analysis of logical architecture‘,International Journal of Services Computing (IJSC), vol. 3, no. 3, pp. 1-15.
• Yusuf, I, Thomas, I, Spichkova, M, Androulakis, S, Meyer, G, Drumm, D, Opletal, G, Russo, S,Buckle, A and Schmidt, H 2015, ‘Chiminey: reliable computing and data management platform in the cloud‘, in A. Bertolino (ed.) Proceedings of the 37th International Conference on Software Engineering (ICSE 2015), Piscataway, United States, 16-24 May 2015, pp. 677-680.
• Blech, J, Spichkova, M, Peake, I and Schmidt, H 2015, ‘Visualization, simulation and validation for cyber-virtual systems‘ in Leszek A. Maciaszek, Joaquim Filipe (ed.) Evaluation of Novel Approaches to Software Engineering, Springer, Switzerland, pp. 140-154.
• Blech, J, Herrmann, P, Peake, I and Schmidt, H 2015, ‘Towards a model-based toolchain for remote configuration and maintenance of space-aware systems‘, in 2015 International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), Portugal, 29-30 April 2015, pp. 331-336.
• Blech, J, Schmidt, H and Sellis, T 2015, ‘Emergency Management Support by Spatial Reasoning‘ in Ingemar Denbratt, Aleksandar Subic, Jörg Wellnitz (ed.) Sustainable Automotive Technologies 2014, Springer, Switzerland, pp. 227-232.
• Liu, H, Spichkova, M, Schmidt, H, Sellis, T and Duckham, M 2015, ‘Spatio-temporal architecture-based framework for testing services in the cloud‘, in Fei-Ching (Diana) Kuo, Stuart Marshall, Haifeng Shen, Markus Stumptner and M. (ed.) Proceedings of the 24th Australasian Software Engineering Conference (ASWEC 2015), Volume II, New York, United States, 28 September – 1 October 2015, pp. 18-22.
• Spichkova, M, Liu, H and Schmidt, H 2015, ‘Towards quality-oriented architecture: Integration in a global context‘, in Proceedings of the 9th European Conference on Software Architecture (ECSA 2015), New York, United States, 7 – 11 September 2015, pp. 64-1-64-5.
• Spichkova, M, Schmidt, H, Nekvi, R and Madhavji, N 2015, ‘Structuring diverse regulatory requirements for global product development‘, in A. Anton, T. Breaux, S. Ghanavati, A. Massey(ed.) Proceedings of the 2015 IEEE Eighth International Workshop on Requirements Engineering and Law (RELAW), IEEE Xplore Digital Library, 25-25 August 2015, pp. 57-60.
• Spichkova, M, Simic, M and Schmidt, H 2015, ‘Formal model for intelligent route planning‘,Procedia Computer Science, vol. 60, pp. 1299-1308.
• Liu, H, Spichkova, M, Schmidt, H, Ulrich, A, Sauer, H and Wieghardt, J 2015, ‘Efficient testing based on logical architecture‘, in Proceedings of the 24th Australasian Software Engineering Conference (ASWEC 2015), United States, 28 September – 1 October 2015, pp. 49-53.
• Spichkova, M and Schmidt, H 2015, ‘Reconciling a component and process view‘, in Proceedings of the 7th International Workshop on Modelling in Software Engineering (MiSE 2015), United States, 16-17 May 2015, pp. 1-6.
• Spichkova, M and Schmidt, H 2015, ‘Requirements Engineering Aspects of a Geographically Distributed Architecture‘, in International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2015), United States, 29-30 April 2015, pp. 276-281.
• Ahmed, K, Blech, J, Gregory, M and Schmidt, H 2015, ‘Software defined networking for communication and control of cyber-physical systems‘, in Proceedings of the IEEE 21st International Conference on Parallel and Distributed Systems(ICPADS 2015), United States, 14-17 December 2015, pp. 803-808.
• Spichkova, M, Thomas, I, Schmidt, H, Yusuf, I, Drumm, D, Androulakis, S, Opletal, G and Russo, S 2015, ‘Scalable and fault-tolerant cloud computations: modelling and implementation‘, inProceedings of the 21st IEEE International Conference on Parallel and Distributed Systems (ICPADS 2015), United States, 14-17 December 2015, pp. 396-404.
• Han, F, Blech, J, Herrmann, P and Schmidt, H 2014, ‘Towards verifying safety properties of real-time probabilistic systems‘, in Bara Buhnova, Lucia Happe and Jan Kofron (ed.) Proceedings 11th International Workshop on Formal Engineering approaches to Software Components and Architectures, Australia, 12th April 2014, pp. 1-15.
• Liu, H, YUSUF, I, Schmidt, H and Chen, T 2014, ‘Metamorphic fault tolerance: an automated and systematic methodology for fault tolerance in the absence of test oracle‘, in Pankaj Jalote, Vasudeva Varma (ed.) Proceedings of the 36th International Conference on Software Engineering, ICSE Companion 2014, New York, United States, 31 May – 7 June 2014, pp. 420-423.
• Blech, J, Spichkova, M, Peake, I and Schmidt, H 2014, ‘Cyber-virtual systems: Simulation, validation and visualization‘, in Joaquim Filipe, Leszek Maciaszek (ed.) Proceedings of the 9th International Conference on Evaluation of Novel Approaches to Software Engineering ENASE 2014, Lisbon, Portugal, 28-30 April 2014, pp. 218-225.
• Spichkova, M, Blech, J, Herrmann, P and Schmidt, H 2014, ‘Modeling spatial aspects of safety-critical systems with focus-ST‘, in Frédéric Boulanger, Michalis Famelis, Daniel Ratiu (ed.)Proceedings of the 11th Workshop on Model-Driven Engineering, Verification and Validation, MoDeVVa2014, Aachen, Germany, 30 September 2014, pp. 49-58.
• Spichkova, M, Blech, J, Herrmann, P and Schmidt, H 2014, ‘Modeling spatial aspects of safety-critical systems with focus-ST‘, in Frédéric Boulanger, Michalis Famelis, Daniel Ratiu (ed.)Proceedings of the 11th Workshop on Model-Driven Engineering, Verification and Validation, MoDeVVa2014, Aachen, Germany, 30 September 2014, pp. 49-58.
• Blech, J, Peake, I, Schmidt, H, Kande, M, Rahman, A, Ramaswamy, S, SD, S and Narayanan, V2014, ‘Collaborative engineering through integration of architectural, social and spatial models‘, inProceedings of the 19th IEEE International conference on Emerging Technology and Factory Automation (ETFA 2014), United States, 16-19 September 2014, pp. 1-4.
• Schmidt, H, Peake, I, Aysan, H, Punnekkat, S and Dobrin, R 2012, ‘Towards probabilistic mode automata for adaptable resource-aware component-based systems design‘, in A. Tuffley and C. Tudge (ed.) Proceedings of the Improving Systems and Software Engineering Conference Incorporating SEPG Asia-Pacific Conference 2012, Australia, 15-16 August 2012, pp. 47-60.
• Wickramasinghe, L, Georgeff, M, Schmidt, H, Thomas, I and Guttmann, C 2012, ‘Goal-directed approach for process specification and service selection in customer life cycle management‘ in Klaus Fischer, Jorg P Muller, Renato Levy (ed.) Agent-Based Technologies and Applications for Enterprise Interoperability, Springer, Berlin, Germany, pp. 151-169.
• Goel, A, Jha, S, Garibay, I, Schmidt, H and Gilbert, D 2011, ‘A survey of approaches to Virtual Enterprise Architecture: modeling languages, reference models, and architecture frameworks‘,Journal of Enterprise Architecture, vol. 7, no. 4, pp. 42-51.
• Goel, A, Tiwary, A and Schmidt, H 2011, ‘Green ICT and architectural frameworks‘ in Bhuvan Unhelkar (ed.) Handbook of Research on Green ICT: Technology, Business and Social Perspectives, IGI, Hershey PA, United States, pp. 546-558.
• Peake, I and Schmidt, H 2011, ‘Systematic simplicity – Accuracy tradeoffs in parameterised contract models‘, in Jens Happe and Dorina Petriu (ed.) Proceedings of the joint ACM SIGSOFT conference — QoSA and ACM SIGSOFT symposium — ISARCS on Quality of software architectures — QoSA and architecting critical systems — ISARCS, New York, USA, 21-23 June 2011, pp. 95-104.
• Guttmann, C, Thomas, I, Wickramasinghe, L, Georgeff, M, Gharib, H, Thompson, S and Schmidt, H 2011, ‘Intelligent Collaborative Care Management (ICCM): Achieving and Managing Contractual Relationships and Service Delivery‘, in C. Guttmann, F. Dignum, M. Georgeff (ed.)Coordination, Organization, Institutions and Norms in Multi-Agent Systems @AAMAS2010 – Lecture Notes in Computer Science, Germany, 1 Dec 2009, pp. 68-84.
• Goel, A, Tiwary, A and Schmidt, H 2011, ‘Approaches and initiatives to green IT strategy in business‘ in Bhuvan Unhelkar (ed.) Handbook of Research on Green ICT: Technology, Business and Social Perspectives – Vol I, IGI Global, Hershey, PA, United States, pp. 169-183.
• Yusuf, I, Schmidt, H and Peake, I 2011, ‘Architecture-based fault tolerance support for grid applications‘, in Jens Happe and Dorina Petriu (ed.) Proceedings of the Joint ACM SIGSOFT Conference, Boulder, Colorado, USA, June 21-23, 2011, pp. 177-181.
• Wickramasinghe, L, Guttmann, C, Georgeff, M, Thomas, I and Schmidt, H 2011, ‘An Adherence Support Framework for Service Delivery in Customer Life Cycle Management‘, in M De Vos, N Fornara, J Pitt, G Vouros (ed.) The 9th International Workshop on Coordination, Organization, Institutions and Norms in Multi-Agent Systems (COIN@AAMAS2010) – Lecture Notes in Computer Science, Germany, May 2010, pp. 210-229.
• Ivanova, E, Truong, V, Wang, J, Berndt, C, Jones, R, Yusuf, I, Peake, I, Schmidt, H, Fluke, C,Barnes, D and Crawford, R 2010, ‘Impact of nanoscale roughness of titanium thin film surfaces on bacterial retention‘, Langmuir, vol. 26, no. 3, pp. 1973-1982.
• Goel, A, Schmidt, H and Gilbert, D 2010, ‘Formal models of virtual enterprise architecture: Motivations and approaches‘, in Ting-Peng Liang; Houn-Gee Chen (ed.) Proceedings of the Pacific Asia Conference on Information Systems – PACIS 2010, United States, 09/07/10 to 12/07/10, pp. 1206-1217.
• Wickramasinghe, K, Guttmann, C, Georgeff, M, Gharib, H, Thomas, I, Thompson, S and Schmidt, H 2009, ‘Agent-based intelligent collaborative care management‘, in Decker; Sichman; Sierra; Castelfranchi (ed.) Proceedings of the Eighth International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Richland, South Carolina, 10th-11th May 2009, pp. 1387-1388.
• Gilbert, D and Schmidt, H 2009, ‘Innovating business reporting: XBRL enables social and environmental sustainability reporting‘, in Dr. Ayman El Tarabishy (ed.) Proceedings of the 2009 ICSB World Conference, Seoul, Korea, 21-24 June, 2009, pp. 1-20.
• Peake, I, Thomas, I and Schmidt, H 2009, ‘Typed formal concept analysis‘, in Karl Erich Wolff, Sebastian Rudolph, Sebastien Ferre (ed.) Contributions to ICFCA 2009 (Supplementary Proceedings), 7th International Conference on Formal Concept Analysis (ICFCA09), Berlin, Germany, 21st-24th May 2009, pp. 35-51.
• Yusuf, I, Schmidt, H and Peake, I 2009, ‘Evaluating recovery aware components for grid reliability‘, in Hans van Vliet; Valérie Issarny (ed.) Proceedings of the Seventh European Software Engineering Conference and Seventeenth ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC-FSE), Amsterdam, The Netherlands, 24th-28th August 2009, pp. 277-280.
• Aryani, A, Peake, I, Hamilton, M and Schmidt, H 2009, ‘Change propagation analysis using domain information‘, in C. Gidge (ed.) Proceedings 20th Australian Software Engineering Conference (ASWEC 2009), Gold Coast, Australia, 14-17 April 2009, pp. 34-43.
• Goel, A, Schmidt, H and Gilbert, D 2009, ‘Towards formalizing virtual enterprise architecture‘, inGerald Weber (ed.) Proceedings of the 13th IEEE International EDOC Conference 2009, United States, 1-4 September, 2009.
• Koetters, J, Schmidt, H and Squire, D 2009, ‘Context graphs – representing formal concepts by connected subgraphs‘, Lecture Notes in Computer Science, vol. 5548, pp. 178-193.
• Ivanova, E, Truong, V, Wang, J, Bendt, C, Jones, R, Yusuf, I, Peake, I, Schmidt, H, Fluke, C,Barnes, D and Crawford, R 2009, ‘Impact of nanoscale roughness of titanium thin films surfaces on bacterial retention‘, Langmuir, vol. 26, no. 3, pp. 1973-1982.
• May, N, Schmidt, H and Thomas, I 2009, ‘Service redundancy strategies in service-oriented architectures‘, in Juan E. Guerrero (ed.) Proceedings of the 35th Euromicro Conference on Software Engineering and Advanced Applications, California, United States, 27th-29th August 2009, pp. 383-387.
• Perepletchikov, M, Ryan, C, Frampton, K and Schmidt, H 2008, ‘Fomalising service oriented design‘, Journal of Software, vol. 3, no. 2, pp. 1-14.
• Perepletchikov, M, Ryan, C, Frampton, K and Schmidt, H 2007, ‘A formal model of service-orientated design structure‘, in J.Grundy and J. Han (ed.) Proceedings of the 2007 Australian Software Engineering Conference, Melbourne, Australia, 10-13 April 2007, pp. 71-80.
• Peake, I and Schmidt, H 2007, ‘Parameterised extra-functional prediction of component-based control systems – industrial experience‘, Lecture Notes in Computer Science: SOFSEM 2007: Theory and Practice of Computer Science, pp. 911-922.
• Hashim, N, Ramakrishnan, S and Schmidt, H 2007, ‘Architectural test coverage for component-based integration testing‘, in Aditya Mathur, W. Eric Wong, M.F. Lau (ed.) Proceedings of Seventh International Conference on Quality Software (QSIC 2007), United States, 11-12 October 2007, pp. 262-267.
• Fredriksson, J, Nolte, T, Nolin, M and Schmidt, H 2007, ‘Contract-based reusable worst-case execution time estimate‘, in Proceedings of the 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA07), USA, 21-24 August 2007, pp.39-46.
• Entwisle, S, Schmidt, H, Peake, I and Kendall, E 2006, ‘A model driven exception management framework for developing reliable software systems‘, in Patrick C K Hung (ed.) Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006),United States, 16-20 October 2006, pp. 307-318.
• Hashim, N, Schmidt, H and Ramakrishnan, S 2006, ‘Interface faults injection for component-based integration testing‘, in Proceedings of the International Conference on Computing and Informatics 2006, Kuala Lumpur, Malaysia, 6-8 June 2006, pp. 1-6.
• Schmidt, H, Poernomo, I and Jayaputera, J 2006, ‘Verification and prediction of timed probabilistic properties over the DMTF CIM‘, International Journal of Cooperative Information Systems, vol. 15, no. 4, pp. 633-658.
• Fredriksson, J, Nolte, T, Nolin, M and Schmidt, H 2006, ‘Predicting execution-time for variable behaviour embedded real-time components‘, in Marco Di Natale, Luis Almeida (ed.) Workshop on Models and Analysis for Automotive Systems (WMAAS’06), in conjunction with the 27th IEEE Real-Time Systems Symposium (RTSS’06), United States, December 2006, pp. 1-4.
• Moller, A, Nolin, M, Peake, I and Schmidt, H 2005, ‘Probabilistic analysis and predictions of component-based real-time systems‘, in WiP Session of the 17th Euromicro Conference on Real-Time Systems, USA, 6-8 July, 2005.
• Hashim, N, Schmidt, H and Ramakrishnan, S 2005, ‘Test order for class-based integration testing of Java applications‘, in Douglas G Mitchell (ed.) Proceedings of the Fifth International Conference on Quality Software, United States, 19/09/2005 to 20/09/2005, pp. 11-18.
• Peake, I, Nolin, M, Moller, A, Schmidt, H and Fredriksson, J 2005, ‘Component-based context dependent hybrid property prediction‘, in A. Skavhaug and E. Schoitsch (ed.) Proceedings of the 1st ERCIM Workshop on Dependable Software-Intensive Embedded Systems, Sophia Antipolis Cedex, France, 30 August-1 September 2005, pp. 69-74.
• Goeschka, K, Smeikal, R and Schmidt, H 2005, ‘Fault tolerant and dependable distributed systems‘, in Jr. Ralph, H. Sprague (ed.) Proceedings of the 38th Annual Hawaii International Conference on System Sciences, United States, January 3-6 2005, pp. 1-1.
• Lu, S, Halang, W, Schmidt, H and Gumzej, R 2005, ‘A component-based approach to specify hazards in the design of safety-critical systems‘, in T Dillon; X Yu (ed.) Proceedings of the 2005 3rd International Conference on Industrial Informatics, United States, 10/08/2005 to 12/08/2005, pp. 1-6.
• Schmidt, H, Crnkovic, I, Reussner, R, Simons, K, Stafford, J and Wallnau, K 2005, ‘Report on the international symposium on component-based software engineering‘, ACM SIGSOFT Software Engineering Notes, vol. 30, no. 3, pp. 1-9.
• Chan, K, Poernomo, I, Schmidt, H and Jayaputera, J 2005, ‘A model-oriented framework for runtime monitoring of nonfunctional properties‘, Lecture Notes in Computer Science, vol. 3712, pp. 38-52.
• Huda, M, Schmidt, H and Peake, I 2005, ‘An agent oriented proactive fault-tolerant framework for grid computing‘, in H. Stockinger, R. Buyya and R. Perrott (ed.) Proceedings of the 1st International Conference on e-Science and Grid Computing, California, United States, 5-8 December 2005, pp. 304-311.
• Poernomo, I, Jayaputera, J and Schmidt, H 2005, ‘Timed probabilistic constraints over the distributed management taskforce common information model‘, in MJ van Sinderen, MWA Steen and MM Lankhorst (ed.) Proceedings of the Ninth IEEE International EDOC Enterprise Computing Conference, United States, 19/09/2005 to 20/09/2005, pp. 261-272.
• Schmidt, H, Kramer, B, Poernomo, I and Reussner, R 2004, ‘Predictable component architectures using dependent finite state machines‘, Radical Innovations of Software and Systems Engineering in the Future, vol. 2941, pp. 310-324.
• Schmidt, H, Crnkovic, I, Stafford, J and Wallnau, K 2004, ‘The sixth ICSE workshop on component-based software engineering: automated reasoning and prediction.‘, ACM SIGSOFT Software EngineeringNotes, vol. 29, no. 4, pp. 1-7.
• Schmidt, H, Poernomo, I and Reussner, R 2003, ‘Trust-by-contract: Modelling, analysing and predicting behaviour in software architectures‘, Journal of Systems and Software, vol. 5, no. 3, pp. 22-51.
• Reussner, R, Schmidt, H and Poernomo, I 2003, ‘Reliability prediction for component-based software architectures‘, Journal of Systems and Software, vol. 66, no. 3, pp. 241-252.
• Schmidt, H 2003, ‘Trustworthy components: compositionality and prediction‘, Journal of Systems and Software, vol. 65, no. 3, pp. 215-225.
• Ling, S, Poernomo, I and Schmidt, H 2003, ‘Describing web service architectures through design-by-contract‘, Lecture Notes in Computer Science ISCIS 2003, vol. 2869, pp. 1008-1018.
• Reussner, R, Poernomo, I and Schmidt, H 2003, ‘Reasoning about software architectures with contractually specified components‘, Lecture Notes in Computer Science, vol. 2693, pp. 287-325.