Maria Spichkova
Maria Spichkova
RMIT, Australia
Bestätigte E-Mail-Adresse bei rmit.edu.au - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
452013
Human Factors of Formal Methods
M Spichkova
IADIS Interfaces and Human Computer Interaction 2012 (IHCI 2012), 2012
452012
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
422009
Towards verified automotive software
J Botaschanjan, L Kof, C Kühnel, M Spichkova
ACM SIGSOFT Software Engineering Notes 30 (4), 1-6, 2005
412005
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
322014
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
322012
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
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
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
29*2008
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
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
282008
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
262015
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
262011
Architecture: Requirements+ Decomposition+ Refinement
M Spichkova
Softwaretechnik-Trends 31 (4), 2011
252011
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
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
232008
From abstract modelling to remote cyberphysical integration/interoperability testing.
M Spichkova, H Schmidt, I Peake
Improving Systems and Software Engineering Conference, 2013
222013
Fault-tolerant communication for distributed embedded systems
C Kuhnel, M Spichkova
Software Engineering of Fault Tolerance Systems (Series on Software …, 2007
222007
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20