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
Overview
Integrity signals
Registry
Cites
Statistics
Verification
Claims the paper makes
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?
In the citing paper
“Within gerontechnology, AAL is a relatively new approach to how technological solutions can meet the demands and needs of aging adults [4].”
From Ambient Assisted Living Technologies for Aging Well: A Scoping Review (2016) · cites this paper as [4]
Citations
Cites
Petri nets: Properties, analysis and applications
Murata, T. (1989) · Proceedings of the IEEE · doi:10.1109/5.24143 · Cited by 10,606
Larsen, K. G., Pettersson, P., & Yi, W. (1997) · International Journal on Software Tools for Technology Transfer · doi:10.1007/s100090050010 · Cited by 2,224
Paton, N. W., & Díaz, O. (1999) · ACM Computing Surveys · doi:10.1145/311531.311623 · Cited by 567
Using UML for modeling complex real-time systems
Selić, B. (1998) · Lecture notes in computer science · doi:10.1007/bfb0057795 · Cited by 548
Concurrent and Real-time Systems: The CSP Approach
Schneider, S. A. (1999) · Open Research (University of Surrey) · Cited by 413
Nehmer, J., Becker, M., Karshmer, A. I., & Lamm, R. S. (2006) · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · doi:10.1145/1134285.1134293 · Cited by 230
Ambient Intelligence in Assisted Living: Enable Elderly People to Handle Future Interfaces
Kleinberger, T., Becker, M., Ras, E., Holzinger, A., & Müller, P. (2007) · Lecture Notes in Computer Science · doi:10.1007/978-3-540-73281-5_11 · Cited by 207
Proceedings of the 1995 ACM symposium on Applied computing - SAC '95
(1995) · doi:10.1145/315891 · Cited by 123
Intelligent Environments: Methods, Algorithms and Applications
Monekosso, D., Remagnino, P., & Kuno, Y. (2008) · Springer eBooks · doi:10.1007/978-1-84800-346-0 · Cited by 63
A Service Oriented Platform for Health Services and Ambient Assisted Living
Hein, A., Eichelberg, M., Nee, O., Schulz, A., Helmer, A., & Lipprandt, M. (2009) · International Conference on Advanced Information Networking and Applications Workshops (WAINA) · doi:10.1109/waina.2009.126 · Cited by 28
Research works printed but not linked: 2
- 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.
- 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
Ambient Assisted Living Technologies for Aging Well: A Scoping Review
Blackman, S., Matlo, C., Bobrovitskiy, C., Waldoch, A., Fang, M. L., Jackson, P., Mihailidis, A., Nygård, L., Astell, A., & Sixsmith, A. (2016) · Journal of Intelligent Systems · doi:10.1515/jisys-2014-0136 · Cited by 269
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
- 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
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.
