Personal information

Emails & domains

Verified email domains

Other IDs

Scopus Author ID: 55913239600
SciProfiles: 279757

Countries

Italy

Activities

Collapse all

Education and qualifications (1)

University of Milan : Milan, IT

2004-02 | Ph.D.
Education
Source: Self-asserted source
DANIELA MICUCCI

Works (50 of 64)

Items per page:
Page 1 of 2

The future of human and animal digital health platforms

Journal of Reliable Intelligent Environments
2024-09 | Journal article
DOI: 10.1007/s40860-024-00232-0
Contributors: Patrick-Benjamin Bök; Daniela Micucci
Source: check_circle
Crossref

Waste Management Through Digital Twins and Business Process Modeling

2024-09-22 | Conference paper
DOI: 10.1145/3652620.3687796
Contributors: Amleto Di Salle; Arianna Fedeli; Ludovico Iovino; Leonardo Mariani; Daniela Micucci; Luciana Rebelo; Maria Teresa Rossi
Source: check_circle
Crossref

FILO: Automated FIx-LOcus Identification for Android Framework Compatibility Issues

Information
2024-07-23 | Journal article
DOI: 10.3390/info15080423
Contributors: Marco Mobilio; Oliviero Riganelli; Daniela Micucci; Leonardo Mariani
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

Automatic testing of runtime enforcers with Test4Enforcers

Journal of Systems and Software
2024-04 | Journal article
DOI: 10.1016/j.jss.2023.111949
Contributors: Oliviero Riganelli; Daniela Micucci; Leonardo Mariani
Source: check_circle
Crossref

Analyzing Prompt Influence on Automated Method Generation: An Empirical Study with Copilot

2024-04-15 | Conference paper
DOI: 10.1145/3643916.3644409
Contributors: Ionut Daniel Fagadau; Leonardo Mariani; Daniela Micucci; Oliviero Riganelli
Source: check_circle
Crossref

Anonymizing Test Data in Android: Does It Hurt?

2024-04-15 | Conference paper
DOI: 10.1145/3644032.3644463
Contributors: Elena Masserini; Davide Ginelli; Daniela Micucci; Daniela Briola; Leonardo Mariani
Source: check_circle
Crossref

Generating Java Methods: An Empirical Assessment of Four AI-Based Code Assistants

2024-04-15 | Conference paper
DOI: 10.1145/3643916.3644402
Contributors: Vincenzo Corso; Leonardo Mariani; Daniela Micucci; Oliviero Riganelli
Source: check_circle
Crossref

Assessing AI-Based Code Assistants in Method Generation Tasks

2024-04-14 | Conference paper
DOI: 10.1145/3639478.3643122
Contributors: Vincenzo Corso; Leonardo Mariani; Daniela Micucci; Oliviero Riganelli
Source: check_circle
Crossref

Embedding the Patient-Citizen Perspective into an Operational Framework for the Development and the Introduction of New Technologies in Rehabilitation Care: The Smart&Touch-ID Model

Healthcare
2023-05-30 | Journal article
DOI: 10.3390/healthcare11111604
Contributors: Olivia Realdon; Roberta Adorni; Davide Ginelli; Daniela Micucci; Valeria Blasi; Daniele Bellavia; Fabrizio Schettini; Roberto Carradore; Pietro Polsinelli; Marco D’Addario et al.
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

Deep learning and model personalization in sensor-based human activity recognition

Journal of Reliable Intelligent Environments
2023-03 | Journal article
DOI: 10.1007/s40860-021-00167-w
Contributors: Anna Ferrari; Daniela Micucci; Marco Mobilio; Paolo Napoletano
Source: check_circle
Crossref

Non-functional Testing of Runtime Enforcers in Android

2022 | Book chapter
DOI: 10.1007/978-3-031-19849-6_19
Contributors: Oliviero Riganelli; Daniela Micucci; Leonardo Mariani
Source: check_circle
Crossref

An Internet-Based Multi-Approach Intervention Targeting University Students Suffering from Psychological Problems: Design, Implementation, and Evaluation

International Journal of Environmental Research and Public Health
2022-02 | Journal article | Author
DOI: 10.3390/ijerph19052711
Contributors: Marlene De Fabritiis; Federica Trisolini; Gloria Bertuletti; Ionut Daniel Fagadau; Davide Ginelli; Katiuscia Pia Lalopa; Lisa Peverelli; Alessia Pirola; Gaia Sala; Marta Maisto et al.
Source: check_circle
Multidisciplinary Digital Publishing Institute

TkT: Automatic Inference of Timed and Extended Pushdown Automata

IEEE Transactions on Software Engineering
2022-02-01 | Journal article
DOI: 10.1109/TSE.2020.2998527
Contributors: Fabrizio Pastore; Daniela Micucci; Michell Guzman; Leonardo Mariani
Source: check_circle
Crossref

Trends in human activity recognition using smartphones

Journal of Reliable Intelligent Environments
2021-09-03 | Journal article
DOI: 10.1007/s40860-021-00147-0
Contributors: Anna Ferrari; Daniela Micucci; Marco Mobilio; Paolo Napoletano
Source: check_circle
Crossref

On the Personalization of Classification Models for Human Activity Recognition

IEEE Access
2020 | Journal article
DOI: 10.1109/ACCESS.2020.2973425
Contributors: Anna Ferrari; Daniela Micucci; Marco Mobilio; Paolo Napoletano
Source: check_circle
Crossref

Test4Enforcers: Test Case Generation for Software Enforcers

2020 | Book chapter
DOI: 10.1007/978-3-030-60508-7_15
Contributors: Michell Guzman; Oliviero Riganelli; Daniela Micucci; Leonardo Mariani
Source: check_circle
Crossref

In-the-field monitoring of functional calls: Is it feasible?

Journal of Systems and Software
2020-05 | Journal article
DOI: 10.1016/j.jss.2020.110523
Contributors: Oscar Cornejo; Daniela Briola; Daniela Micucci; Leonardo Mariani
Source: check_circle
Crossref

Online Social Space Identification. A Computational Tool for Optimizing Social Recommendations

Applied Sciences
2020-04-26 | Journal article
DOI: 10.3390/app10093024
Contributors: Italo Zoppis; Andrea Trentini; Sara Manzoni; Daniela Micucci; Giancarlo Mauri; Giada Pietrabissa; Gianluca Castelnuovo
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

Human Activities Recognition Using Accelerometer and Gyroscope

2019 | Book chapter
DOI: 10.1007/978-3-030-34255-5_28
Contributors: Anna Ferrari; Daniela Micucci; Marco Mobilio; Paolo Napoletano
Source: check_circle
Crossref

Reliability on pervasive well-being: will it soon become a reality?

Journal of Reliable Intelligent Environments
2019-09-19 | Journal article
DOI: 10.1007/s40860-019-00087-w
Contributors: Daniela Micucci; Fulvio Corno
Source: check_circle
Crossref

A platform for P2P agent‐based collaborative applications

Software: Practice and Experience
2019-03 | Journal article
DOI: 10.1002/spe.2657
Contributors: Daniela Briola; Daniela Micucci; Leonardo Mariani
Source: check_circle
Crossref

From source code to test cases: A comprehensive benchmark for resource leak detection in Android apps

Software: Practice and Experience
2019-03 | Journal article
DOI: 10.1002/spe.2672
Contributors: Oliviero Riganelli; Daniela Micucci; Leonardo Mariani
Source: check_circle
Crossref

Automatic Software Repair: A Survey

IEEE Transactions on Software Engineering
2019-01-01 | Journal article
DOI: 10.1109/TSE.2017.2755013
Contributors: Luca Gazzola; Daniela Micucci; Leonardo Mariani
Source: check_circle
Crossref

UniMiB AAL: An Android Sensor Data Acquisition and Labeling Suite

Applied Sciences
2018-07 | Journal article
DOI: 10.3390/app8081265
Source: check_circle
Multidisciplinary Digital Publishing Institute
grade
Preferred source (of 2)‎

Ambient assisted living for an ageing society: A technological overview

CEUR Workshop Proceedings
2017 | Conference paper
EID:

2-s2.0-85016303444
Contributors: Mobilio, M.; Kato, T.; Kudo, H.; Micucci, D.
Source: Self-asserted source
DANIELA MICUCCI via Scopus - Elsevier

Falls as anomalies? An experimental evaluation using smartphone accelerometer data

Journal of Ambient Intelligence and Humanized Computing
2017 | Journal article
DOI: 10.1007/s12652-015-0337-0
EID:

2-s2.0-85010875157
Contributors: Micucci, D.; Mobilio, M.; Napoletano, P.; Tisato, F.
Source: Self-asserted source
DANIELA MICUCCI via Scopus - Elsevier

In the field monitoring of interactive application

Proceedings - 2017 IEEE/ACM 39th International Conference on Software Engineering: New Ideas and Emerging Results Track, ICSE-NIER 2017
2017 | Conference paper
DOI: 10.1109/ICSE-NIER.2017.19
EID:

2-s2.0-85026746824
Contributors: Cornejo, O.; Briola, D.; Micucci, D.; Mariani, L.
Source: Self-asserted source
DANIELA MICUCCI via Scopus - Elsevier

Timed k-Tail: Automatic Inference of Timed Automata

Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation, ICST 2017
2017 | Conference paper
DOI: 10.1109/ICST.2017.43
EID:

2-s2.0-85020725611
Contributors: Pastore, F.; Micucci, D.; Mariani, L.
Source: Self-asserted source
DANIELA MICUCCI via Scopus - Elsevier

UniMiB SHAR: A Dataset for Human Activity Recognition Using Acceleration Data from Smartphones

Applied Sciences
2017-10 | Journal article
DOI: 10.3390/app7101101
Source: check_circle
Multidisciplinary Digital Publishing Institute
grade
Preferred source (of 2)‎

Healing Data Loss Problems in Android Apps

Proceedings - 2016 IEEE 27th International Symposium on Software Reliability Engineering Workshops, ISSREW 2016
2016 | Conference paper
DOI: 10.1109/ISSREW.2016.50
EID:

2-s2.0-85009774220
Contributors: Riganelli, O.; Micucci, D.; Mariani, L.
Source: Self-asserted source
DANIELA MICUCCI via Scopus - Elsevier

Spaces: Subjective spaces architecture for contextualizing heterogeneous sources

Communications in Computer and Information Science
2016 | Book
DOI: 10.1007/978-3-319-30142-6_23
EID:

2-s2.0-84960415788
Contributors: Micucci, D.; Mobilio, M.; Tisato, F.
Source: Self-asserted source
DANIELA MICUCCI via Scopus - Elsevier

Spatio-Temporal normalization of data from heterogeneous sensors

ICSOFT-EA 2015 - 10th International Conference on Software Engineering and Applications, Proceedings; Part of 10th International Joint Conference on Software Technologies, ICSOFT 2015
2015 | Conference paper
EID:

2-s2.0-84965054952
Contributors: Fanelli, A.; Micucci, D.; Mobilio, M.; Tisato, F.
Source: Self-asserted source
DANIELA MICUCCI via Scopus - Elsevier

Time in the domain entities access architecture

Communications in Computer and Information Science
2015 | Book
DOI: 10.1007/978-3-319-25579-8_14
EID:

2-s2.0-84951026608
Contributors: Covelli, M.; Micucci, D.; Mobilio, M.
Source: Self-asserted source
DANIELA MICUCCI via Scopus - Elsevier

An architecture for the design of platforms supporting responsive environments

ICSOFT-EA 2014 - Proceedings of the 9th International Conference on Software Engineering and Applications
2014 | Conference paper
EID:

2-s2.0-84908868630
Contributors: Covelli, M.; Micucci, D.; Mobilio, M.
Source: Self-asserted source
DANIELA MICUCCI via Scopus - Elsevier

Early conflict detection with mined models

Proceedings - IEEE 25th International Symposium on Software Reliability Engineering Workshops, ISSREW 2014
2014 | Conference paper
DOI: 10.1109/ISSREW.2014.33
EID:

2-s2.0-84922610482
Contributors: Mariani, L.; Micucci, D.; Pastore, F.
Source: Self-asserted source
DANIELA MICUCCI via Scopus - Elsevier

Educational robotics: An experiment conducted in primary schools | La robotica educativa: Un esperimento condotto nelle scuole primarie

Mondo Digitale
2014 | Journal article
EID:

2-s2.0-84923198773
Contributors: Agostini, A.; Micucci, D.; Rolandi, A.
Source: Self-asserted source
DANIELA MICUCCI via Scopus - Elsevier

A layered architecture based on previsional mechanisms

ICSOFT 2013 - Proceedings of the 8th International Joint Conference on Software Technologies
2013 | Conference paper
EID:

2-s2.0-84887102471
Contributors: Fiamberti, F.; Micucci, D.; Mobilio, M.; Tisato, F.
Source: Self-asserted source
DANIELA MICUCCI via Scopus - Elsevier

Petri nets as a means to validate an architecture for time aware systems

CEUR Workshop Proceedings
2013 | Conference paper
EID:

2-s2.0-84924961899
Contributors: Fiamberti, F.; Micucci, D.; Tisato, F.
Source: Self-asserted source
DANIELA MICUCCI via Scopus - Elsevier

Spaces-based communication: An extension to support infinite spatial models

UBICOMM 2013 - 7th International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies
2013 | Conference paper
EID:

2-s2.0-84898802121
Contributors: Bernini, D.; Fiamberti, F.; Micucci, D.; Tisato, F.; Vertemati, A.
Source: Self-asserted source
DANIELA MICUCCI via Scopus - Elsevier

A model for time-awareness

Lecture Notes in Business Information Processing
2012 | Book
DOI: 10.1007/978-3-642-31069-0_6
EID:

2-s2.0-84864705131
Contributors: Fiamberti, F.; Micucci, D.; Morniroli, A.; Tisato, F.
Source: Self-asserted source
DANIELA MICUCCI via Scopus - Elsevier

An object-oriented application framework for the development of real-time systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2012 | Book
DOI: 10.1007/978-3-642-30561-0_7
EID:

2-s2.0-84862169096
Contributors: Fiamberti, F.; Micucci, D.; Tisato, F.
Source: Self-asserted source
DANIELA MICUCCI via Scopus - Elsevier

Architectural abstractions for spaces-based communication in Smart Environments

Journal of Ambient Intelligence and Smart Environments
2012 | Journal article
DOI: 10.3233/AIS-2012-0146
EID:

2-s2.0-84861397484
Contributors: Bernini, D.; Fiamberti, F.; Micucci, D.; Tisato, F.
Source: Self-asserted source
DANIELA MICUCCI via Scopus - Elsevier

AuDeNTES: Automatic detection of teNtative plagiarism according to a rEference solution

ACM Transactions on Computing Education
2012 | Journal article
DOI: 10.1145/2133797.2133799
EID:

2-s2.0-84859407319
Contributors: Mariani, L.; Micucci, D.
Source: Self-asserted source
DANIELA MICUCCI via Scopus - Elsevier

Grounding ecologies on multiple spaces

Pervasive and Mobile Computing
2012 | Journal article
DOI: 10.1016/j.pmcj.2011.10.005
EID:

2-s2.0-84864281365
Contributors: Tisato, F.; Simone, C.; Bernini, D.; Locatelli, M.P.; Micucci, D.
Source: Self-asserted source
DANIELA MICUCCI via Scopus - Elsevier

An architecture for time-aware systems

IEEE International Conference on Emerging Technologies and Factory Automation, ETFA
2011 | Conference paper
DOI: 10.1109/ETFA.2011.6059177
EID:

2-s2.0-80655139042
Contributors: Fiamberti, F.; Micucci, D.; Tisato, F.
Source: Self-asserted source
DANIELA MICUCCI via Scopus - Elsevier

A platform for interoperability via multiple spatial views in open smart spaces

Proceedings - IEEE Symposium on Computers and Communications
2010 | Conference paper
DOI: 10.1109/ISCC.2010.5546629
EID:

2-s2.0-77956505011
Contributors: Bernini, D.; Micucci, D.; Tisato, F.
Source: Self-asserted source
DANIELA MICUCCI via Scopus - Elsevier

A space-based interoperability model

Lecture Notes in Business Information Processing
2010 | Book
DOI: 10.1007/978-3-642-16496-5_6
EID:

2-s2.0-78649854160
Contributors: Bernini, D.; Micucci, D.; Tisato, F.
Source: Self-asserted source
DANIELA MICUCCI via Scopus - Elsevier

A Uniform approach to communication and computation

IWCMC 2010 - Proceedings of the 6th International Wireless Communications and Mobile Computing Conference
2010 | Conference paper
DOI: 10.1145/1815396.1815546
EID:

2-s2.0-77955131998
Contributors: Tisato, F.; Micucci, D.; Bernini, D.
Source: Self-asserted source
DANIELA MICUCCI via Scopus - Elsevier

Space integration services: A platform for space-aware communication

IWCMC 2010 - Proceedings of the 6th International Wireless Communications and Mobile Computing Conference
2010 | Conference paper
DOI: 10.1145/1815396.1815510
EID:

2-s2.0-77955131023
Contributors: Bernini, D.; Micucci, D.; Tisato, F.
Source: Self-asserted source
DANIELA MICUCCI via Scopus - Elsevier

Engineering spatial concepts

Knowledge Engineering Review
2009 | Journal article
DOI: 10.1017/S0269888909000149
EID:

2-s2.0-68349140138
Contributors: Micucci, D.; Tisato, F.; Adorni, M.
Source: Self-asserted source
DANIELA MICUCCI via Scopus - Elsevier
Items per page:
Page 1 of 2

Peer review (1 review for 1 publication/grant)

Review activity for Empirical software engineering. (1)
How many people are using ORCID?