Maria Spichkova

Cited by

	All	Since 2018
Citations	1756	906
h-index	23	14
i10-index	64	30

200

100

150

20062007200820092010201120122013201420152016201720182019202020212022202311 18 30 24 43 22 27 13 77 161 196 189 173 196 170 166 125 71

Public access

View all

1 article

0 articles

available

not available

Based on funding mandates

Co-authors

Heinrich (Heinz) Wilhelm SchmidtComputer Science, RMIT University & Innovation Software AdvisoryVerified email at rmit.edu.au
Milan SimicSchool of Engineering, RMIT University, AustraliaVerified email at rmit.edu.au
Margaret HamiltonProfessor, School of Computing Technologies, RMIT UniversityVerified email at rmit.edu.au
Tawfeeq AlsanoosyTaibah universityVerified email at taibahu.edu.sa
James HarlandSchool of Computing Technologies, RMIT UniversityVerified email at rmit.edu.au
Ahmed D. AlharthiUmm Al Qura UniversityVerified email at uqu.edu.sa
Anna ZamanskyAssociate Professor, Information Systems Dept. University of HaifaVerified email at is.haifa.ac.il
Jan Olaf BlechAalto UniversityVerified email at aalto.fi
Huai LiuSwinburne University of TechnologyVerified email at swin.edu.au
Martin FeilkasCQSE GmbH, Technische Universität MünchenVerified email at cqse.eu
Bernhard SchätzHead of Department, fortiss GmbH; Lecturerer, Technische Universität MünchenVerified email at fortiss.org
Grischa R MeyerVerified email at uqconnect.edu.au
Daniel DrummStatistician & Research Fellow, Deakin Rural Health, Deakin University, WarrnamboolVerified email at deakin.edu.au
George OpletalData61 - CSIROVerified email at data61.csiro.au
Salvy RussoProfessor of Applied Physics, RMIT UniversityVerified email at rmit.edu.au
Peter HerrmannProfessor in Communication Systems at the Norwegian University of Science and Technology, TrondheimVerified email at ntnu.no
Guillermo Rodriguez-NavasNokiaVerified email at nokia.com
Catia TrubianiGran Sasso Science Institute (GSSI), L'Aquila, ItalyVerified email at gssi.it
Michelle SpencerProfessor and Deputy Director, RMIT UniversityVerified email at rmit.edu.au
Oliver A.H. JonesProfessor of Analytical ChemistryVerified email at rmit.edu.au

Maria Spichkova

School of Computing Technologies, RMIT University, Australia

Verified email at rmit.edu.au - Homepage

Software Engineering Human Computer Interaction Human Oriented SE Formal Methods Computing Education


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Sustainability requirements for eLearning systems: a systematic literature review and analysis AD Alharthi, M Spichkova, M Hamilton Requirements Engineering 24 (4), 523-543, 2019	74	2019
Specification and seamless verification of embedded real-time systems: FOCUS on Isabelle M Spichkova Technical University Munich, Germany, 2007	60	2007
Chirality-2: Development of a Multilevel Mobile Gaming App To Support the Teaching of Introductory Undergraduate-Level Organic Chemistry OAH Jones, M Spichkova, MJS Spencer Journal of Chemical Education 95 (7), 1216-1220, 2018	51	2018
Design of formal languages and interfaces: “Formal” does not mean “unreadable” M Spichkova Emerging Research and Trends in Interactivity and the Human-Computer Interface, 2013	47	2013
Human Factors of Formal Methods M Spichkova IADIS Interfaces and Human Computer Interaction 2012 (IHCI 2012), 2012	45	2012
A top-down methodology for the development of automotive software M Feilkas, A Fleischmann, F Hölzl, C Pfaller, K Scheidemann, ... Technische Universität München, Tech. Rep. 902, 2009	44	2009
Towards verified automotive software J Botaschanjan, L Kof, C Kühnel, M Spichkova ACM SIGSOFT Software Engineering Notes 30 (4), 1-6, 2005	43	2005
Cyber-Virtual Systems: Simulation, Validation & Visualization JO Blech, M Spichkova, I Peake, H Schmidt 9th International Conference on Evaluation of Novel Approaches to Software …, 2014	34	2014
Verified System Development with the AutoFocus Tool Chain M Spichkova, F Hölzl, D Trachtenherz 2nd Workshop on Formal Methods in the Development of Software (WS-FMDS 2012 …, 2012	34	2012
Human Factors in Software Reliability Engineering M Spichkova, H Liu, M Laali, HW Schmidt Workshop on Applications of Human Error Research to Improve Software …, 2015	32	2015
Cultural influence on requirements engineering activities: a systematic literature review and analysis T Alsanoosy, M Spichkova, J Harland Requirements Engineering 25 (3), 339-362, 2020	31	2020
Do we really need to write documentation for a system M Spichkova, X Zhu, D Mou International Conference on Model-Driven Engineering and Software …, 2013	31*	2013
Service-oriented modeling of CoCoME with Focus and AutoFocus M Broy, J Fox, F Hölzl, D Koss, M Kuhrmann, M Meisinger, ... The Common Component Modeling Example: Comparing Software Component Models …, 2008	30	2008
Service-oriented modeling of CoCoME with Focus and AutoFocus M Broy, J Fox, F Hölzl, D Koss, M Kuhrmann, M Meisinger, ... The Common Component Modeling Example, 177-206, 2008	30	2008
On the correctness of upper layers of automotive systems J Botaschanjan, M Broy, A Gruler, A Harhurin, S Knapp, L Kof, W Paul, ... Formal aspects of computing 20 (6), 637-662, 2008	29	2008
Chiminey: Reliable Computing and Data Management Platform in the Cloud II Yusuf, IE Thomas, M Spichkova, S Androulakis, GR Meyer, DW Drumm, ... 37th International Conference on Software Engineering (ICSE 2015), 2015	28	2015
Test Case Prioritization Using Online Fault Detection Information M Laali, H Liu, M Hamilton, M Spichkova, HW Schmidt Reliable Software Technologies–Ada-Europe 2016, 78-93, 2016	27	2016
Towards modularized verification of distributed time-triggered systems J Botaschanjan, A Gruler, A Harhurin, L Kof, M Spichkova, D Trachtenherz International Symposium on Formal Methods, 163-178, 2006	27	2006
Enhancing learning experience by collaborative industrial projects M Simic, M Spichkova, H Schmidt, I Peake ICEER 2016, 1-8, 2016	26	2016
A Refined Top-Down Methodology for the Development of Automotive Software Systems - The KeylessEntry System Case Study M Feilkas, F Hölzl, C Pfaller, S Rittmann, B Schätz, W Schwitzer, W Sitou, ... Technische Universität München, Tech. Rep., 2011	26	2011

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors