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
Engineering Tele-Health Solutions in the Ambient Assisted Living Lab
Ras, E., Becker, M., & Koch, J. (2007) · International Conference on Advanced Information Networking and Applications Workshops (WAINA) · doi:10.1109/ainaw.2007.173 · Cited by 26
Benghazi, K., Capel, M. I., Holgado-Terriza, J. A., & Morales, L. E. M. (2007) · Science of Computer Programming · doi:10.1016/j.scico.2006.08.005 · Cited by 24
Self-citationIncreasing Reliability in the Development of Intelligent Environments
Augusto, J. C. (2009) · Cited by 18
Safety testing of safety critical software based on critical mission duration
Yang, S., Sang, N., & Xiong, G. (2004) · IEEE Pacific Rim International Symposium on Dependable Computing (PRDC) · doi:10.1109/prdc.2004.1276557 · Cited by 10
Palanque, P. A., Basnyat, S., & Navarre, D. (2007) · Springer eBooks · doi:10.1007/978-3-540-76805-0_2 · Cited by 8
An approach to integrating semi-formal and formal notations in software specification
Dascalu, S. M., & Hitchcock, P. (2002) · ACM Symposium on Applied Computing · doi:10.1145/508791.508988 · Cited by 8
Model Cheking Ambient Intelligence with AVISPA
Antonio, M. N. O., Maña, A., & Daniel, S. (2009) · Ambient intelligence and smart environments · doi:10.3233/978-1-58603-946-2-182 · Cited by 3
Medistam-RT: metodología de diseño y análisis de sistemas de tiempo real
Benghazi, K. (2011) · Tesis Doctorals en Xarxa (Consorci de Serveis Universitaris de Catalunya) · Cited by 3
Self-citationUsing Formal Specification Techniques for Advanced Counseling Systems in Health Care
Herzberg, D., Marsden, N., Leonhardt, C., Kübler, P., Jung, H., Thomanek, S., & Becker, A. (2007) · Springer eBooks · doi:10.1007/978-3-540-76805-0_3 · Cited by 3
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.
