Daniela Micucci

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Data loss detector: automatically revealing data loss bugs in Android apps.

[BibT_eX]

[DOI]

Simone Paolo Mottadelli

Claudio Rota

Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

CBR: Controlled Burst Recording.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

Personalized Models in Human Activity Recognition using Deep Learning.

[BibT_eX]

[DOI]

Hamza Amrani

Paolo Napoletano

Proceedings of the 25th International Conference on Pattern Recognition, 2020

Personalized Deep Learning in Human Activity Recognition from Inertial Signals: a Preliminary Study on its Effectiveness (short paper).

[BibT_eX]

[DOI]

Proceedings of the Italian Workshop on Artificial Intelligence for an Ageing Society 2020 co-located with 19th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2020), 2020

2019

Automatic Software Repair: A Survey.

[BibT_eX]

[DOI]

Luca Gazzola

IEEE Trans. Software Eng., 2019

Controlling Interactions with Libraries in Android Apps Through Runtime Enforcement.

[BibT_eX]

[DOI]

ACM Trans. Auton. Adapt. Syst., 2019

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

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2019

A platform for P2P agent-based collaborative applications.

[BibT_eX]

[DOI]

Daniela Briola

Softw. Pract. Exp., 2019

Reliability on pervasive well-being: will it soon become a reality? - State of the art and open issues.

[BibT_eX]

[DOI]

Fulvio Corno

J. Reliab. Intell. Environ., 2019

A Platform to Collect, Unify, and Distribute Inertial Labeled Signals for Human Activity Recognition.

[BibT_eX]

[DOI]

CoRR, 2019

Field Monitoring With Delayed Saving.

[BibT_eX]

[DOI]

IEEE Access, 2019

On the Homogenization of Heterogeneous Inertial-Based Databases for Human Activity Recognition.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE World Congress on Services, 2019

A benchmark of data loss bugs for Android apps.

[BibT_eX]

[DOI]

Proceedings of the 16th International Conference on Mining Software Repositories, 2019

FILO: FIx-LOcus Recommendation for Problems Caused by Android Framework Upgrade.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE International Symposium on Software Reliability Engineering, 2019

Hand-crafted Features vs Residual Networks for Human Activities Recognition using Accelerometer.

[BibT_eX]

[DOI]

Proceedings of the IEEE 23rd International Symposium on Consumer Technologies, 2019

Ambient Assisted Living for an Ageing Society.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Environments 2019, 2019

A Framework for Long-Term Data Collection to Support Automatic Human Activity Recognition.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Environments 2019, 2019

Nudges Driven Networks: Towards More Acceptable Recommendations for Inducing Targeted Social Communities.

[BibT_eX]

[DOI]

Proceedings of the Internet Science - 6th International Conference, 2019

RGAM: An Architecture-Based Approach to Self-management.

[BibT_eX]

[DOI]

Proceedings of the Information Technology and Systems, 2019

Human Activities Recognition Using Accelerometer and Gyroscope.

[BibT_eX]

[DOI]

Proceedings of the Ambient Intelligence - 15th European Conference, 2019

2018

An Architecture for Embedded Systems Supporting Assisted Living.

[BibT_eX]

[DOI]

CoRR, 2018

Increasing the Reusability of Enforcers with Lifecycle Events.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

2017

Falls as anomalies? An experimental evaluation using smartphone accelerometer data.

[BibT_eX]

[DOI]

J. Ambient Intell. Humaniz. Comput., 2017

Fragmented Monitoring.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Second International Workshop on Pre- and Post-Deployment Verification Techniques, 2017

In The Field Monitoring of Interactive Applications.

[BibT_eX]

[DOI]

CoRR, 2017

BDCI: behavioral driven conflict identification.

[BibT_eX]

[DOI]

Fabrizio Pastore

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Verifying Policy Enforcers.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 17th International Conference, 2017

Timed k-Tail: Automatic Inference of Timed Automata.

[BibT_eX]

[DOI]

Fabrizio Pastore

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Policy Enforcement with Proactive Libraries.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2017

In the Field Monitoring of Interactive Application.

[BibT_eX]

[DOI]

Proceedings of the 39th IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Technologies Results Track, 2017

2016

Numerical evaluation of the low Reynolds turbulent flow behaviour in a bioreactor.

[BibT_eX]

[DOI]

Int. J. Simul. Process. Model., 2016

UniMiB SHAR: a new dataset for human activity recognition using acceleration data from smartphones.

[BibT_eX]

[DOI]

Paolo Napoletano

CoRR, 2016

Healing Data Loss Problems in Android Apps.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Symposium on Software Reliability Engineering Workshops, 2016

Ambient Assisted Living for an Ageing Society: a Technological Overview.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence for Ambient Assisted Living 2016 co-located with 15th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2016), 2016

2015

SPACES: Subjective sPaces Architecture for Contextualizing hEterogeneous Sources.

[BibT_eX]

[DOI]

Proceedings of the Software Technologies - 10th International Joint Conference, 2015

Spatio-Temporal Normalization of Data from Heterogeneous Sensors.

[BibT_eX]

[DOI]

Proceedings of the ICSOFT-EA 2015, 2015

2014

Early Conflict Detection with Mined Models.

[BibT_eX]

[DOI]

Fabrizio Pastore

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

Time in the Domain Entities Access Architecture.

[BibT_eX]

[DOI]

Marco Covelli

Proceedings of the Software Technologies - 9th International Joint Conference, 2014

An Architecture for the Design of Platforms Supporting Responsive Environments.

[BibT_eX]

[DOI]

Marco Covelli

Proceedings of the ICSOFT-EA 2014, 2014

2013

A Layered Architecture based on Previsional Mechanisms.

[BibT_eX]

[DOI]

Proceedings of the ICSOFT 2013, 2013

Petri Nets as a Means to Validate an Architecture for Time Aware Systems.

[BibT_eX]

[DOI]

Francesco Fiamberti

Proceedings of the Joint Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'13) and the International Workshop on Modeling and Business Environments (ModBE'13), Milano, Italy, June 24, 2013

2012

Grounding ecologies on multiple spaces.

[BibT_eX]

[DOI]

Pervasive Mob. Comput., 2012

AuDeNTES: Automatic Detection of teNtative plagiarism according to a rEference Solution.

[BibT_eX]

[DOI]

ACM Trans. Comput. Educ., 2012

Architectural abstractions for spaces-based communication in Smart Environments.

[BibT_eX]

[DOI]

J. Ambient Intell. Smart Environ., 2012

An Object-Oriented Application Framework for the Development of Real-Time Systems.

[BibT_eX]

[DOI]

Francesco Fiamberti

Proceedings of the Objects, Models, Components, Patterns - 50th International Conference, 2012

A Model for Time-Awareness.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering Workshops, 2012

2011

An architecture for time-aware systems.

[BibT_eX]

[DOI]

Francesco Fiamberti

Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

2010

A uniform approach to communication and computation.

[BibT_eX]

[DOI]

Proceedings of the 6th International Wireless Communications and Mobile Computing Conference, 2010

Space integration services: a platform for space-aware communication.

[BibT_eX]

[DOI]

Proceedings of the 6th International Wireless Communications and Mobile Computing Conference, 2010

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

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE Symposium on Computers and Communications, 2010

A Space-Based Interoperability Model.

[BibT_eX]

[DOI]

Proceedings of the Ontology, Conceptualization and Epistemology for Information Systems, Software Engineering and Service Science, 2010

2009

Engineering spatial concepts.

[BibT_eX]

[DOI]

Marzia Adorni

Knowl. Eng. Rev., 2009

Guest editorial preface: Software and system engineering: an ontological perspective.

[BibT_eX]

[DOI]

Fabio Sartori

Marzia Adorni

Knowl. Eng. Rev., 2009

How to localize domain entities: the case of a flooding prediction and risk management system.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Wireless Communications and Mobile Computing: Connecting the World Wirelessly, 2009

2006

Time-Aware Multi Agent Systems.

[BibT_eX]

Marco Oldani

Proceedings of the Multiagent Systems and Software Architecture, 2006

Dynamic Adaptive Navigation via MAIS Reflective Framework.

[BibT_eX]

[DOI]

Marzia Adorni

Proceedings of the 2006 International Conference on Autonomic and Autonomous Systems (ICAS 2006), 2006

2005

Network Services via Reflective Architecture.

[BibT_eX]

Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005

Plan validation via petri nets in the real-time performers Java framework.

[BibT_eX]

[DOI]

Andrea Trentini

Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Real-time reasoning: the case of surveillance systems.

[BibT_eX]

[DOI]

Marco Oldani

Proceedings of 10th IEEE International Conference on Emerging Technologies and Factory Automation, 2005

2004

Time Sensitive Architectures: A Reflective Approach.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), 2004

2003

An object-oriented software approach for a distributed human tracking motion system.

[BibT_eX]

Proceedings of the Visual Communications and Image Processing 2003, 2003

A Pattern-like Framework to Dynamically Change Components Behaviour.

[BibT_eX]

Andrea Trentini

Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2003), 2003

A Connector-Based Approach for Controlled Data Distribution in RTP Architecture.

[BibT_eX]

[DOI]

Andrea Trentini

Proceedings of the 23rd International Conference on Distributed Computing Systems Workshops (ICDCS 2003 Workshops), 2003

2002

Conceptual and concrete architectures in the design of CSCW applications.

[BibT_eX]

Proceedings of the WOA 2002: Dagli Oggetti agli Agenti. 3rd AI*IA/TABOO Joint Workshop "From Objects to Agents": From Information to Knowledge, 2002

Exploiting the kaleidoscope architecture in an industrial environmental monitoring system with heterogeneous devices and a knowledge-based supervisor.

[BibT_eX]

[DOI]