Login / Signup
Zhe Chen
ORCID
Publication Activity (10 Years)
Years Active: 2009-2010
Publications (10 Years): 0
</>
Publications
</>
Zhe Chen
,
Gilles Motet
Towards better support for the evolution of safety requirements via the model monitoring approach.
ICSE (2)
(2010)
Zhe Chen
,
Gilles Motet
Nevertrace Claims for Model Checking.
SPIN
(2010)
Zhe Chen
,
Gilles Motet
Separating Functional and Dependability Requirements of Embedded Systems.
CIT
(2010)
Zhe Chen
,
Gilles Motet
Formalizing Safety Requirements Using Controlling Automata
CoRR
(2009)
Zhe Chen
,
Gilles Motet
Modeling System Safety Requirements Using Input/Output Constraint Meta-Automata
CoRR
(2009)
Zhe Chen
,
Gilles Motet
System Safety Requirements as Control Structures.
COMPSAC (1)
(2009)
Zhe Chen
,
Gilles Motet
A Language-Theoretic View on Guidelines and Consistency Rules of UML.
ECMDA-FA
(2009)
Zhe Chen
,
Gilles Motet
Modeling System Safety Requirements Using Input/Output Constraint Meta-automata.
ICONS
(2009)
Zhe Chen
,
Gilles Motet
A Language-theoretic View on Guidelines and Consistency Rules of UML
CoRR
(2009)