Skip to main navigation
Skip to search
Skip to main content
King's College London Home
Home
Profiles
Research units
Research output
Projects
Student theses
Activities
Datasets
Impacts
Prizes
Search by expertise, name or affiliation
Contact expert
Hana Chockler
Dr
Professor of Artificial Intelligence
,
Informatics
Software Systems
Security Hub
https://orcid.org/0000-0003-1219-0713
Phone
82928
1187
Citations
Overview
Fingerprint
Network
Research output
(78)
Projects
(14)
Similar Profiles
(12)
Supervised Work
(4)
Research output
50
Conference paper
18
Article
7
Chapter
2
Editorial
1
More
1
Book
Research output per year
Research output per year
1 results
Publication Year, Title
(descending)
Publication Year, Title
(ascending)
Title
Type
Filter
Book
Search results
2015
Validation of evolving software
Chockler, H.
, Kroening, D., Mariani, L. & Sharygina, N.,
1 Jan 2015
,
Springer International Publishing Switzerland
.
220 p.
Research output
:
Book/Report
›
Book
›
peer-review
Methodology
100%
2
Citations (Scopus)