Student or educator? Sign up with your school email and get 6 months of Pro free.
CoChat
Sign Up
Cited by 27

The DOI matches its Crossref record; 20 of the 20 references it cites were found in a registry or an index.

Enabling correct design and formal analysis of Ambient Assisted Living systems

Benghazi, Kawtar, Hurtado, María V., Hornos, Miguel J., Rodríguez, María L., Rodríguez-Domínguez, Carlos, Pelegrina, Ana B., Rodríguez-Fórtiz, María J.·2012·Journal of Systems and Software
DOI 10.1016/j.jss.2011.05.022
Open this paper in CoChat — free account

Overview

Integrity signals

Registry

Crossref · 10.1016/j.jss.2011.05.022

Cites

20 of 20 references verified0 citation errors · 0 not checkable

Statistics

Recomputing p-values needs the paper’s full text.

Verification

Claims the paper makes

We couldn’t retrieve this paper’s full text, so its claims and self-check weren’t run. The registry and citation checks still apply.

Claims other papers make about this one

Each is checked against this paper’s own text: does it say what the citing paper says it does?

Citations

Cites

Show all 20 references

Research works printed but not linked: 2

  1. Balogh, A., Pataricza, A., Pintér, G., Sisak, Á., Anastasopoulos, M., Lee, J., 2007. Model-driven specification, analysis, and realization of assisted living systems. In: Proceedings of RECEAS.
  2. Zic, J., 1991. CSP+T: A Formalism for Describing Real-Time Systems. Ph.D. Thesis. University of Sydney, Basser Department of Computer Science.

Cited by

See all 27

Metadata

Authors
Benghazi, K., Hurtado, M. V., Hornos, M. J., Rodríguez, M. L., Rodríguez-Domínguez, C., Pelegrina, A. B., & Rodríguez-Fórtiz, M. J.
Venue
Journal of Systems and Software
Publisher
Elsevier BV
Published
2012-03
Volume
85
Issue
3
Pages
498-510
ISSN
0164-1212
DOI
10.1016/j.jss.2011.05.022
Cited by
27
References
20
Language
en
Licence
www.elsevier.com/tdm/userlicense/1.0/ (tdm)

About these checks

Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.

Statistics and arithmetic are recomputed, not judged.

Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.

What counts as a claim ›How we measure confidence ›How we check this ›

Are you an author, or do you see a problem with this page? Request a review

How to cite

Cite CoChat for the checks on this page, and the paper for its own findings.

This page
CoChat. (2026). Citation check: Enabling correct design and formal analysis of Ambient Assisted Living systems. https://app.cochat.ai/papers/10.1016/j.jss.2011.05.022
The paper
Benghazi, K., Hurtado, M. V., Hornos, M. J., Rodríguez, M. L., Rodríguez-Domínguez, C., Pelegrina, A. B., & Rodríguez-Fórtiz, M. J. (2012). Enabling correct design and formal analysis of Ambient Assisted Living systems. Journal of Systems and Software. https://doi.org/10.1016/j.jss.2011.05.022

Data sources

Bibliographic data: Semantic Scholar, OpenAlex, Crossref.

Contains information from the Semantic Scholar Academic Graph Datasets, made available under the ODC Attribution License (ODC-BY 1.0).

Semantic Scholar’s data is described in: Kinney, R., et al. (2023). The Semantic Scholar Open Data Platform. arXiv:2301.10140.