A survey of challenges for runtime verification from advanced application domains (beyond software)
2019 · Chalmers Research (Chalmers University of Technology) · 95 citations
https://doi.org/10.1007/s10703-019-00337-w
E
Ezio Bartocci
Claim or correct this author profile
Claim this profile or suggest corrections to the name, affiliation, bio, photo, or paper titles. Approved changes appear as verified CitedEvidence overlays.
266
Papers
4.4K
Citations
37
h-index
95
i10-index
Ezio Bartocci is an academic researcher. The author has contributed to research in topics: Formal Methods in Verification & Software Testing and Debugging Techniques & Gene Regulatory Network Analysis. The author has an h-index of 37, co-authored 227 publications.
ORCID: 0000-0002-8004-6601Papers by this author
worksBioWMS: a web-based Workflow Management System for bioinformatics
2007 · BMC Bioinformatics · 51 citations
https://doi.org/10.1186/1471-2105-8-s1-s2
Expressionview: visualization of quantitative trait loci and gene-expression data in Ensembl
2003 · Genome biology · 27 citations
https://doi.org/10.1186/gb-2003-4-11-r77
CPSDebug: Automatic failure explanation in CPS models
2021 · International Journal on Software Tools for Technology Transfer · 24 citations
https://doi.org/10.1007/s10009-020-00599-4
CellExcite: an efficient simulation environment for excitable cells
2008 · BMC Bioinformatics · 17 citations
https://doi.org/10.1186/1471-2105-9-s2-s3
The probabilistic termination tool amber
2022 · Formal Methods in System Design · 4 citations
https://doi.org/10.1007/s10703-023-00424-z
Research topics
topicsChat about Author
Papers
Chat
Click to start Chat