Login / Signup
Xiuna Zhu
Publication Activity (10 Years)
Years Active: 2013-2015
Publications (10 Years): 1
Top Topics
Stereo Video
Scene Flow Estimation
Tool Support
Formal Models
Top Venues
CoRR
RE
FACS
MODELSWARD
</>
Publications
</>
Alarico Campetelli
,
Maximilian Junker
,
Birthe Böhm
,
Maria Davidich
,
Vasileios Koutsoumpas
,
Xiuna Zhu
,
Jan Christoph Wehrstedt
A Model-Based Approach to Formal Verification in Early Development Phases: A Desalination Plant Case Study.
Software Engineering (Workshops)
(2015)
Xiuna Zhu
,
Dongyue Mou
,
Daniel Ratiu
Structured multi-view modeling by tabular notation.
RE
(2014)
Maria Spichkova
,
Xiuna Zhu
,
Dongyue Mou
Do we really need to write documentation for a system? CASE tool add-ons: generator+editor for a precise documentation.
CoRR
(2014)
Xiuna Zhu
A Formal Model for Service-Based Behavior Specification Using Stream-Based I/O Tables.
FACS
(2013)
Maria Spichkova
,
Xiuna Zhu
,
Dongyue Mou
Do we Really Need to Write Documentation for a System? - CASE Tool Add-ons: Generator+Editor for a Precise Documentation.
MODELSWARD
(2013)