Publications by Spichkova, M

Browse Results (71 results found)

Subscribe to the RSS feed for this result setSubscribe to the RSS feed for this result set

Refine

  Abstract Views File Downloads Thomson Reuters Web of Science Citation Count Scopus Citation Count Altmetric Score
Book Chapters (15)
Alharthi, A, Alsanoosy, T, Spichkova, M and Hamilton, M 2019, 'Social Position and Gender Perspectives of eLearning Systems: A Study of Social Sustainability' in Bo Andersson, Björn Johansson, Chris Barry, Michael Lang, Henry Linger, Christoph Schneider (ed.) Advances in Information Systems Development: Designing Digitalization, Springer, Switzerland, pp. 169-185.     0
Spichkova, M 2018, 'Model-Based Analysis of Temporal Properties' in Ernesto Damiani, George Spanoudakis, Leszek Maciaszek (ed.) ENASE 2017: Evaluation of Novel Approaches to Software Engineering. Part of the Communications in Computer and Information Science book series (CCIS, volume 866), Springer International Publishing, Cham, Switzerland, pp. 208-223. 26   0
Sun, C, Zhang, J, Liu, C, King, B, Zhang, Y, Galle, M, Spichkova, M and Simic, M 2018, 'Software Development for Autonomous and Social Robotics Systems' in Giuseppe De Pietro, Luigi Gallo, Robert J. Howlett, Lakhmi C. Jain, Ljubo Vlacic (ed.) Intelligent Interactive Multimedia Systems and Services, Springer, Cham, Switzerland, pp. 151-160. 26   0
Spichkova, M and Simic, M 2017, 'Autonomous systems research embedded in teaching' in G. De Pietro, L. Gallo, R. J. Howlett and L. C. Jain (ed.) Intelligent Interactive Multimedia Systems and Services 2017, Springer, Cham, Switzerland, pp. 268-277. 72   0
Spichkova, M, Schmidt, H, Yusuf, I, Thomas, I, Androulakis, S and Meyer, G 2017, 'Towards modelling and implementation of reliability and usability features for research-oriented cloud computing platforms' in Leszek A. Maciaszek, Joaquim Filipe (ed.) Evaluation of Novel Approaches to Software Engineering: 11th International Conference, Springer, Cham, Switzerland, pp. 158-178. 129   0
Spichkova, M and Zamansky, A 2017, 'AHR: Human-centred aspects of test design' in L. A. Maciaszek and J. Filipe (ed.) Evaluation of Novel Approaches to Software Engineering: 11th International Conference, Springer, Cham, Switzerland, pp. 111-128. 95   0
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. 164   0
Vo, P and Spichkova, M 2016, 'Model-based generation of natural language specifications' in Paolo Milazzo, Dániel Varró, Manuel Wimmer (ed.) Software Technologies: Applications and Foundations, Springer, Switzerland, pp. 221-231. 89   0
Spichkova, M 2016, '''Boring formal methods'' or ''Sherlock Holmes deduction methods''?' in Paolo Milazzo, Dániel Varró, Manuel Wimmer (ed.) Software Technologies: Applications and Foundations, Springer, Switzerland, pp. 242-252. 82   0
Alzahrani, N, Spichkova, M and Blech, J 2016, 'Spatio-temporal models for formal analysis and property-based testing?' in Paolo Milazzo, Dániel Varró, Manuel Wimmer (ed.) Software Technologies: Applications and Foundations, Springer, Switzerland, pp. 196-206. 173   0
Spichkova, M and Hamilton, M 2015, 'Sustainable transport system: transport on demand' in Ebru V. Ocalir-Akunal (ed.) Using Decision Support Systems for Transportation Planning Efficiency, Engineering Science Reference (IGI Global), Hershey, Pennsylvania, United States, pp. 259-287. 113  
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. 160  
Spichkova, M and Simic, M 2015, 'Towards formal modelling of autonomous systems' in Ernesto Damiani, Robert J. Howlett, Lakhmi C Jain, Luigi Gallo, Giuseppe De Pietro (ed.) Intelligent Interactive Multimedia Systems and Services, Springer International Publishing, Cham; Heidelberg; New York; Dordrecht; London, pp. 279-288. 143   0
Spichkova, M 2014, 'Design of formal languages and interfaces: "formal" does not mean "unreadable".' in K. Blashki and P. Isaias (ed.) Emerging Research and Trends in Interactivity and the Human-Computer Interface, IGI Global, Hershey, US, pp. 301-314. 283 140 0
Kuhnel, C and Spichkova, M 2007, 'Fault-tolerant communication for distributed embedded systems' in P Pelliccione, H Muccini, N Guelfi and A Romanovsky (ed.) Software Engineering and Knowledge Engineering; Software engineering of fault tolerant systems, World Scientific Publishers, Singapore, pp. 175-198. 226  
Journal Articles (10)
Jones, O, Spichkova, M and Spencer, M 2018, 'Chirality-2: Development of a Multilevel Mobile Gaming App To Support the Teaching of Introductory Undergraduate-Level Organic Chemistry', Journal of Chemical Education, vol. 95, no. 7, pp. 1216-1220. 26   2 15
Yusuf, I, Thomas, I, Spichkova, M and Schmidt, H 2017, 'Chiminey: connecting scientists to HPC, cloud and big data', Big Data Research, vol. 8, pp. 39-49. 113   2 0 2
Spichkova, M, Simic, M, Schmidt, H, Cheng, J, Dong, X, Gui, Y, Liang, Y, Ling, P and Yin, Z 2016, 'Formal models for intelligent speed validation and adaptation', Procedia Computer Science, vol. 96, pp. 1609-1618. 126 11
Spichkova, M and Hamilton, M 2016, 'Dynamic decision making system for public transport routes', International Journal of System Dynamics Applications (IJSDA), vol. 5, no. 3, 3, pp. 47-70. 92   0
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. 163  
Spichkova, M, Simic, M and Schmidt, H 2015, 'Formal model for intelligent route planning', Procedia Computer Science, vol. 60, pp. 1299-1308. 105 6 4 Cited 2 times in Scopus2 0
Spichkova, M 2014, 'Compositional properties of crypto-based components', Archive of Formal Proofs, pp. 1-42. 130  
Spichkova, M 2014, 'Formalisation and analysis of component dependencies', Archive of Formal Proofs, pp. 1-60. 52  
Spichkova, M 2013, 'Stream processing components: Isabelle/HOL formalisation and case studies', Archive of Formal Proofs, vol. 2013, pp. 1-143. 75  
Botaschanjan, J, Broy, M, Gruler, A, Harhurin, A, Knapp, S, Kof, L, Paul, W and Spichkova, M 2008, 'On the correctness of upper layers of automotive systems', Formal Aspects of Computing, vol. 20, no. 6, pp. 637-662. 37   13 Cited 12 times in Scopus12
Conference Papers (40)
Alharthi, A, Spichkova, M, Hamilton, M and Alsanoosy, T 2018, 'Gender-Based Perspectives of eLearning Systems: An Empirical Study of Social Sustainability', in Proceedings of the 27th International Conference on Information Systems Development (ISD2018), Lund, Sweden, 22-24 August 2018, pp. 1-12. 31  
Alharthi, A, Spichkova, M and Hamilton, M 2018, 'Towards Tool-support for Sustainability Profiling', in Ruzanna Chitchyan; Birgit Penzenstadler; Colin C. Venters (ed.) Proceedings of the 7th International Workshop on Requirements Engineering for Sustainable Systems (RE4SuSy 2018) co-located with the 26th International Conference on Requirements Engineering (RE 2018), Banff, Alberta, Canada, 20 August 2018, pp. 6-14. 26  
Spichkova, M and Bhat, R 2018, 'FocusST Solution for Analysis of Cryptographic Properties', in Ernesto Damiani, George Spanoudakis and Leszek Maciaszek (ed.) Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2018), Madeira, Portugal, 23-24 March 2018, pp. 320-327. 24   0
Zamansky, A, Spichkova, M, Rodriguez-Navas, G, Herrmann, P and Blech, J 2018, 'Towards Classification of Lightweight Formal Methods', in Ernesto Damiani, George Spanoudakis and Leszek Maciaszek (ed.) Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2018), Madeira, Portugal, 23-24 March 2018, pp. 305-313. 15   1 0
Alsanoosy, T, Spichkova, M and Harland, J 2018, 'Cultural Influences on Requirements Engineering Process in the Context of Saudi Arabia', in Ernesto Damiani, George Spanoudakis and Leszek Maciaszek (ed.) Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2018), Madeira, Portugal, 23-24 March 2018, pp. 159-168. 33   1 0
Christianto, A, Chen, P, Walawedura, O, Vuong, A, Feng, J, Wang, D, Spichkova, M and Simic, M 2018, 'Enhancing the User Experience With Vertical Transportation Solutions', in Proceedings of the 22nd International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES 2018), Belgrade, Serbia, 3-5 September 2018, pp. 2075-2084. 22   0
Alharthi, A, Spichkova, M and Hamilton, M 2018, 'SuSoftPro: Sustainability Profiling for Software', in IEEE 26th International Requirements Engineering Conference, Banff, Canada, 20-24 August 2018, pp. 500-501. 11   0
Spichkova, M and Simic, M 2017, 'Human-centred analysis of the dependencies within sets of proofs', in Proceedings of the 21st International Conference on Knowledge-Based and Intelligent Information and Engineering Systems, Marseille, France, 6-8 September 2017, pp. 2290-2298. 24  
Clunne-Kiely, L, Idicula, B, Payne, L, Ronggowarsito, E, Spichkova, M, Simic, M and Schmidt, H 2017, 'Modelling and implementation of humanoid robot behaviour', in Proceedings of the 21st International Conference on Knowledge-Based and Intelligent Information and Engineering Systems, Marseille, France, 6-8 September 2017, pp. 2249-2258. 60  
Spichkova, M, Schmidt, H and Trubiani, C 2017, 'Role of women in software architecture: an attempt at a systematic literature review', in Proceedings of the 11th European Conference on Software Architecture (ECSA 2017), Canterbury, United Kingdom, 11-15 September 2017, pp. 31-34. 113   1
Ahmed, A and Spichkova, M 2017, 'Green architecture for sustainable eLearning systems', in Rogério de Lemos (ed.) Proceedings of the 11th European Conference on Software Architecture (ECSA 2017), Canterbury, United Kingdom, 11-15 September 2017, pp. 199-204. 35   0
Thevathayan, C, Spichkova, M and Hamilton, M 2017, 'Combining Agile Practices with Incremental Visual Tasks', in ACE '17 Proceedings of the Nineteenth Australasian Computing Education Conference, Geelong, Australia, 31 January - 3 February 2017, pp. 103-112. 91   0 0
Alharthi, A, Spichkova, M and Hamilton, M 2016, 'Sustainability profiling of long-living software systems', in H. Lichter, K. Fögen, T. Sunetnanta, T. Anwar, A. Yamashita, L. Moonen, T. Mens, A. Tahir and A. Sureka (ed.) Proceedings of the 4th International Workshop on Quantitative Approaches to Software Quality, Hamilton, New Zealand, 6 December 2016, pp. 12-19. 85  
Alharthi, A and Spichkova, M 2016, 'Individual and social requirement aspects of sustainable elearning systems', in Ataur Rahman and Vojislav Ilic (eds) (ed.) Proceedings of the International Conference on Engineering Education and Research (ICEER 2016), Sydney, Australia, 21-24 November 2016, pp. 1-8. 48  
Simic, M, Spichkova, M, Schmidt, H and Peake, I 2016, 'Enhancing learning experience by collaborative industrial projects', in Ataur Rahman, Vojislav Ilic (ed.) Proceedings of the International Conference on Engineering Education and Research (ICEER 2016), Sydney, Australia, 21-24 November 2016, pp. 1-8. 191 91
Spichkova, M and Zamansky, A 2016, 'A Human-Centred Framework for Supporting Model-Based Testing', in Proceedings of the CAiSE'16 Forum at the 28th International Conference on Advanced Information Systems Engineering (CAiSE 2016), Ljubljana, Slovenia, 13-17 June 2016, pp. 105-112. 65  
Spichkova, M, Harland, J and Alharthi, A 2016, 'Online support system for transnational education', in Ataur Rahman and Vojislav Ilic (eds) (ed.) Proceedings of the International Conference on Engineering Education and Research (ICEER 2016), Sydney, Australia, 21-24 November 2016, pp. 1-5. 93 5
Zamansky, A, Rodriguez-Navas, G, Adams, M and Spichkova, M 2016, 'Formal methods in collaborative projects', in Leszek Maciaszek and Joaquim Filipe (ed.) Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering (ENASE 2016), Rome, Italy, 27-28 April 2016, pp. 396-402. 62   0
Spichkova, M and Zamansky, A 2016, 'A human-centred framework for combinatorial test design', in Leszek Maciaszek and Joaquim Filipe (ed.) Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering (ENASE 2016), Rome, Italy, 27-28 April 2016, pp. 228-233. 45   0
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, Pisa, Italy, 13-17 June 2016, pp. 78-93. 194   3 0
Spichkova, M, Zamansky, A and Farchi, E 2016, 'A visual logical language for system modelling in combinatorial test design', in John Krogstie, Haralambos Mouratidis, Jianwen Su (ed.) Proceedings of the 28th International Conference on Advanced Information Systems Engineering (CAiSE 2016), Ljubljana, Slovenia, 13-17 June 2016, pp. 116-121. 131   0
Spichkova, M and Zamansky, A 2016, 'Teaching formal methods for software engineering', in Leszek Maciaszek and Joaquim Filipe (ed.) Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering (ENASE 2016), Rome, Italy, 27-28 April 2016, pp. 370-376. 171   0
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), Rome, Italy, 27-28 April 2016, pp. 288-295. 163   Cited 2 times in Scopus2 0
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), Barcelona, Spain, 29-30 April 2015, pp. 276-281. 113   Cited 6 times in Scopus6
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), Ottawa, ON, Canada, 25-25 August 2015, pp. 57-60. 130  
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), Florence, Italy, 16-24 May 2015, pp. 677-680. 158  
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', in Proceedings of the 21st IEEE International Conference on Parallel and Distributed Systems (ICPADS 2015), Melbourne, Australia, 14-17 December 2015, pp. 396-404. 161   4 0
Spichkova, M, Zamansky, A and Farchi, E 2015, 'Towards a human-centred approach in modelling and testing of cyber-physical systems', in Proceedings of the 21st IEEE International Conference on Parallel and Distributed Systems (ICPADS 2015), Melbourne, Australia, 14-17 Dec. 2015, pp. 847-851. 112   4 0
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), Florence, Italy, 16-17 May 2015, pp. 1-6. 134   0
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), Adelaide, Australia, 28 September - 1 October 2015, pp. 49-53. 154 47 0
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, Adelaide, Australia, 28 September - 1 October 2015, pp. 18-22. 158 63 0
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. 139 48 0
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, Valencia, Spain, 30 September 2014, pp. 49-58. 158   0
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. 175   Cited 23 times in Scopus23
Spichkova, M, Zhu, X and Mou, D 2013, 'Do we really need to write documentation for a system? CASE tool add-ons: generator+editor for a precise documentation', in Joaquim Filipe, Rui César das Neves (ed.) Proceedings of International Conference on Model-Driven Engineering and Software Development (MODELSWARD'13), Barcelona, Spain, 19-21 February 2013, pp. 1-5. 139   Cited 1 times in Scopus1
Spichkova, M and Campetelli, A 2012, 'Towards system development methodologies: From software to cyber-physical domain', in Cyrille Artho and Peter Csaba Olveczky (ed.) Proceedings of the First International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS'12), Kyoto, Japan, November 12, 2012, pp. 157-161. 110  
Spichkova, M 2012, 'Human factors of formal methods', in K. Blashki (ed.) Proceedings of the IADIS International Conference Interfaces and Human Computer Interaction 2012, Lisbon, Portugal, 17-23 July 2012, pp. 307-310. 105   Cited 22 times in Scopus22
Spichkova, M, Holzl, F and Trachtenherz, D 2012, 'Verified system development with the autofocus tool chain', in César Andrés and Luis Llana (ed.) Proceedings in the 2nd Workshop on Formal Methods in the Development of Software, Paris, France, August 28, 2012, pp. 17-24. 135   0
Spichkova, M 2008, 'Refinement-based verification of interactive real-time systems', in Eerke Boiten, John Derrick and Gerhard Schellhorn (ed.) Proceedings of the 13th BAC-FACS Refinement Workshop (REFINE 2008), Turku, Finland, 27 May, 2008, pp. 131-157. 84  
Spichkova, M 2008, 'Focus on Isabelle: From specifcation to verifcation', in Otmane Ait Mohamed, César Muñoz and Sofiène Tahar (ed.) Emerging Trends proceedings of the 21th International Conference on Theorem Proving in Higher Order Logics, Montreal, Canada, 18-21 August, 2008, pp. 104-115. 98  
All Others (6)
Sonila, D, Gleirscher, M, Spichkova, M and Struss, P 2013, Model-based hazard and impact analysis, TU Munchen, Munich, Germany 7  
Spichkova, M 2010, Architecture: Methodology of Decomposition, TU München, Munich, Germany 15  
Hoelzl, F, Spichkova, M and Trachtenherz, D 2010, Safety-Critical System Development Methodology, TU München, Munich, Germany 8  
Spichkova, M 2010, From Semiformal Requirements To Formal Specification, TU München, Munich, Germany 18  
Feilkas, M, Fleischmann, A, Holzl, F, Pfaller, C, Rittmann, S, Scheidemann, K, Spichkova, M and Trachtenherz, D 2009, A Top-Down Methodology for the Development of Automotive Software, TU München, Munich 60  
Spichkova, M and Juerjens, J 2008, Stream Based Specification of Cryptographic Protocols and Their Composition Properties, TU München, Munich, Germany 6  
© 2014 RMIT Research Repository • Powered by Fez SoftwareContact us