Login / Signup
Nija Shi
Publication Activity (10 Years)
Years Active: 2002-2020
Publications (10 Years): 1
Top Topics
Abstract Interpretation
Active Databases
Space Shuttle
Static Analysis
Top Venues
HICSS
SEFM
REFSQ Workshops
</>
Publications
</>
Dimitra Giannakopoulou
,
Thomas Pressburger
,
Anastasia Mavridou
,
Julian Rhein
,
Johann Schumann
,
Nija Shi
Formal Requirements Elicitation with FRET.
REFSQ Workshops
(2020)
Guillaume Brat
,
Jorge A. Navas
,
Nija Shi
,
Arnaud Venet
IKOS: A Framework for Static Analysis Based on Abstract Interpretation.
SEFM
(2014)
Christopher Webster
,
Nija Shi
,
Sue Blumenberg
,
Irene Smith
,
Sylvia Lin
,
Benson Hong
,
Adam Crume
,
Peter Tran
User-Driven Collaboration for NASA Mission Control.
HICSS
(2012)
Nija Shi
,
Ronald A. Olsson
Reverse Engineering of Design Patterns from Java Source Code.
ASE
(2006)
Shivakant Mishra
,
Nija Shi
Improving the Performance of Distributed CORBA Applications.
IPDPS
(2002)