Maria Spichkova
Maria Spichkova
RMIT, Australia
Geverifieerd e-mailadres voor rmit.edu.au - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Specification and seamless verification of embedded real-time systems: FOCUS on Isabelle
M Spichkova
Technische Universität München, 2007
592007
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
482013
Human Factors of Formal Methods
M Spichkova
IADIS Interfaces and Human Computer Interaction 2012 (IHCI 2012), 2012
472012
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
432009
Towards verified automotive software
J Botaschanjan, L Kof, C Kühnel, M Spichkova
ACM SIGSOFT Software Engineering Notes 30 (4), 1-6, 2005
422005
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
332014
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
33*2013
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
332012
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
312008
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
292015
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
292008
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
292008
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
292006
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
272011
Architecture: Requirements+ Decomposition+ Refinement
M Spichkova
Softwaretechnik-Trends 31 (4), 2011
262011
Upcoming automotive standards for fault-tolerant communication: FlexRay and OSEKtime FTCom
C Kühnel, M Spichkova
EFTS 2006 International Workshop on Engineering of Fault Tolerant Systems …, 2006
252006
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
242018
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
242015
Refinement-based verification of interactive real-time systems
M Spichkova
Electronic Notes in Theoretical Computer Science 214, 131-157, 2008
242008
From abstract modelling to remote cyberphysical integration/interoperability testing.
M Spichkova, H Schmidt, I Peake
Improving Systems and Software Engineering Conference, 2013
232013
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20