BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Maria Spichkova
SearchCollections
Map detail
Maria Spichkova13 visible / 13 total nodes / 12 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipMaria SpichkovaAMaria SpichkovaResearcherVerified System Development with the AutoFocus Tool ChainWVerified System Develop...preprint / 2012Towards Focus on TimeWTowards Focus on Timepreprint / 2014Towards system development methodologies: From software to cyber-physical domainWTowards system developm...preprint / 2014Do we really need to write documentation for a system? CASE tool add-ons: generator+editor for a precise documentationWDo we really need to wr...preprint / 2014Human Factors of Formal MethodsWHuman Factors of Formal...preprint / 2014Refinement-Based Specification: Requirements and ArchitectureWRefinement-Based Specif...preprint / 2014From abstract modelling to remote cyber-physical integration/interoperability testingWFrom abstract modelling...preprint / 2014Stream processing components: Isabelle/HOL formalisation and case studiesWStream processing compo...preprint / 2014Formalisation and Analysis of Component DependenciesWFormalisation and Analy...preprint / 2014Compositional properties of crypto-based componentsWCompositional propertie...preprint / 2014Towards Logical Architecture and Formal Analysis of Dependencies Between ServicesWTowards Logical Archite...preprint / 2014Reconciling a component and process viewWReconciling a component...preprint / 2015
Person12 links

Maria Spichkova

Researcher

PaperVerified System Development with the AutoFocus Tool ChainAuthorship / preprint / 2012PaperTowards Focus on TimeAuthorship / preprint / 2014PaperTowards system development methodologies: From software to cyber-physical domainAuthorship / preprint / 2014PaperDo we really need to write documentation for a system? CASE tool add-ons: generator+editor for a precise documentationAuthorship / preprint / 2014PaperHuman Factors of Formal MethodsAuthorship / preprint / 2014PaperRefinement-Based Specification: Requirements and ArchitectureAuthorship / preprint / 2014PaperFrom abstract modelling to remote cyber-physical integration/interoperability testingAuthorship / preprint / 2014PaperStream processing components: Isabelle/HOL formalisation and case studiesAuthorship / preprint / 2014

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)