Antonio Bucchiarone

Orcid: 0000-0003-1154-1382

Affiliations:
  • Fondazione Bruno Kessler, Trento, Italy


According to our database1, Antonio Bucchiarone authored at least 139 papers between 2003 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
GaMoVR: Gamification-based UML learning environment in virtual reality.
Sci. Comput. Program., January, 2024

PolyGloT: A personalized and gamified eTutoring system for learning modelling and programming skills.
Sci. Comput. Program., January, 2024

2023
Play&Go Corporate: An End-to-End Solution for Facilitating Urban Cyclability.
IEEE Trans. Intell. Transp. Syst., December, 2023

Fostering Collaboration and Advancing Research in Software Engineering and Game Development for Serious Contexts.
ACM SIGSOFT Softw. Eng. Notes, October, 2023

Gamifying model-based engineering: the PapyGame experience.
Softw. Syst. Model., August, 2023

Gamifying model-based engineering: The PapyGame tool.
Sci. Comput. Program., August, 2023

Games and Software Engineering: Engineering fun, inspiration, and motivation.
ACM SIGSOFT Softw. Eng. Notes, January, 2023

MaGiC: a DSL Framework for Implementing Language Agnostic Microservice-based Web Applications.
J. Object Technol., 2023

Adaptive and Gamified Learning Paths with Polyglot and .NET Interactive.
CoRR, 2023

Exploring User Perspectives on ChatGPT: Applications, Perceptions, and Implications for AI-Integrated Education.
CoRR, 2023

Towards Personalized Learning Paths to Empower Competence Development in Model Driven Engineering Through the ENCORE Platform.
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

Enhancing Gameful Systems with a Domain Specific Language for Rules Lifecycle Management.
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

Challenging Models: Formalizing Quests in Gamified Systems for Behavioral Change.
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

Enhance Gamification Design Through End-User Development: a Proposal.
Proceedings of the Joint Proceedings of the Workshops, 2023

Your Favorite Gameplay Speaks Volumes About You: Predicting User Behavior and Hexad Type.
Proceedings of the HCI in Games, 2023

The role of game modality in the outcomes of gamification: A research agenda.
Proceedings of the 7th International GamiFIN Conference, 2023

Grand Challenges in Software Engineering for Games in Serious Contexts.
Proceedings of the Software Engineering for Games in Serious Contexts, 2023

2022
Gamification and Virtual Reality for Digital Twins Learning and Training: Architecture and Challenges.
Virtual Real. Intell. Hardw., 2022

MeetDurian: Can Location-Based Games be Used to Improve COVID-19 Hygiene Habits?
Games Cult., 2022

PolyGloT: A Personalized and Gamified eTutoring System.
CoRR, 2022

An End-to-End Solution for Enabling Urban Cyclability: The Bike2Work Experience.
CoRR, 2022

BIKE2WORK: A Shift Towards Sustainable Mobility.
Proceedings of the 11th International Conference on Smart Cities and Green ICT Systems, 2022

Gamification-based UML learning environment in virtual reality.
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022

A MAPE-K Approach to Autonomic Microservices.
Proceedings of the IEEE 19th International Conference on Software Architecture Companion, 2022

ROUTE: A Framework for Customizable Smart Mobility Planners.
Proceedings of the 19th IEEE International Conference on Software Architecture, 2022

GamiDOC: A Tool for Designing and Evaluating Gamified Solutions.
Proceedings of the Extended Abstracts of the Annual Symposium on Computer-Human Interaction in Play, 2022

2021
Microservices: Migration of a Mission Critical System.
IEEE Trans. Serv. Comput., 2021

Agent-Based Framework for Self-Organization of Collective and Autonomous Shuttle Fleets.
IEEE Trans. Intell. Transp. Syst., 2021

Autonomous Shuttle-as-a-Service (ASaaS): Challenges, Opportunities, and Social Implications.
IEEE Trans. Intell. Transp. Syst., 2021

Guest Editorial Diversification in Urban Transportation Systems and Beyond: Integrating People and Goods for the Future of Mobility.
IEEE Trans. Intell. Transp. Syst., 2021

What Is the Future of Modeling?
IEEE Softw., 2021

Benchmarks and performance metrics for assessing the migration to microservice-based architectures.
J. Object Technol., 2021

Gamified and Self-Adaptive Applications for the Common Good: Research Challenges Ahead.
Proceedings of the 16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2021

Preface of the 15th International Workshop on Models@run.time'21.
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021

POLYGLOT for Gamified Education: Mixing Modelling and Programming Exercises.
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021

How to merge gamification efforts for programming and modelling: a tool implementation perspective.
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021

MeetDurian: A Gameful Mobile App to Prevent COVID-19 Infection.
Proceedings of the 8th IEEE/ACM International Conference on Mobile Software Engineering and Systems, 2021

Towards a Framework to Assist Iterative and Adaptive Design in Gameful Systems.
Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Agrihood: A Motivational Digital System for Sustainable Urban Environments.
Proceedings of the HCI International 2021 - Late Breaking Posters, 2021

Engineering Gameful Applications with MPS.
Proceedings of the Domain-Specific Languages in Practice: with JetBrains MPS, 2021

2020
On the Social Implications of Collective Adaptive Systems.
IEEE Technol. Soc. Mag., 2020

Grand challenges in model-driven engineering: an analysis of the state of the research.
Softw. Syst. Model., 2020

Ensemble-Based Software Engineering for Modern Computing Platforms.
ACM SIGSOFT Softw. Eng. Notes, 2020

Dynamic adaptation of service-based applications: a design for adaptation approach.
J. Internet Serv. Appl., 2020

Papyrus for gamers, let's play modeling.
Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

Towards engineering future gameful applications.
Proceedings of the ICSE-NIER 2020: 42nd International Conference on Software Engineering, New Ideas and Emerging Results, Seoul, South Korea, 27 June, 2020

A Framework for Prediction and Storage of Battery Life in IoT Devices using DNN and Blockchain.
Proceedings of the IEEE Globecom Workshops, 2020

Learning Neural Search Policies for Classical Planning.
Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, 2020

Run-time and Collective Adaptation of Gameful Systems.
Proceedings of the 2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2020

Size Matters: Microservices Research and Applications.
Proceedings of the Microservices, Science and Engineering., 2020

DevOps and Its Philosophy: Education Matters!
Proceedings of the Microservices, Science and Engineering., 2020

2019
The Resilience of "Planes, Trains, and Automobiles": Comment on "Driverless Cars Will Make Passenger Rail Obsolete, " by Yair Wiseman [Opinion].
IEEE Technol. Soc. Mag., 2019

Collective Adaptation through Multi-Agents Ensembles: The Case of Smart Urban Mobility.
ACM Trans. Auton. Adapt. Syst., 2019

ATLAS: A new way to exploit world-wide mobility services.
Softw. Impacts, 2019

Smart Construction: Remote and Adaptable Management of Construction Sites through IoT.
IEEE Internet Things Mag., 2019

Cyber-Storms Come from Clouds: Security of Cloud Computing in the IoT Era.
Future Internet, 2019

Size Matters: Microservices Research and Applications.
CoRR, 2019

DevOps and its Philosophy : Education Matters!
CoRR, 2019

Exploiting Multi-level Modelling for Designing and Deploying Gameful Systems.
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2019

GDF: A Gamification Design Framework Powered by Model-Driven Engineering.
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

A DevOps Perspective for QoS-Aware Adaptive Applications.
Proceedings of the Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment, 2019

A Model-Driven Approach Towards Automatic Migration to Microservices.
Proceedings of the Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment, 2019

Teaching DevOps in Academia and Industry: Reflections and Vision.
Proceedings of the Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment, 2019

Ten Years of Self-adaptive Systems: From Dynamic Ensembles to Collective Adaptive Systems.
Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019

2018
From Monolithic to Microservices: An Experience Report from the Banking Domain.
IEEE Softw., 2018

Towards an adaptive city journey planner with MDE.
Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2018

A Model-Driven Solution to Support Smart Mobility Planning.
Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2018

BASIC: Towards a Blockchained Agent-Based SImulator for Cities.
Proceedings of the Massively Multi-Agent Systems II - International Workshop, 2018

Diversity in Massively Multi-agent Systems: Concepts, Implementations, and Normal Accidents.
Proceedings of the Massively Multi-Agent Systems II - International Workshop, 2018

Enacting Emergent Configurations in the IoT Through Domain Objects.
Proceedings of the Service-Oriented Computing - 16th International Conference, 2018

CARPooL: Collective Adaptation using concuRrent PLanning.
Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

Collective Adaptation through Concurrent Planning: the Case of Sustainable Urban Mobility.
Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

2017
A context-aware framework for dynamic composition of process fragments in the internet of services.
J. Internet Serv. Appl., 2017

Towards learning domain-independent planning heuristics.
CoRR, 2017

CAStlE: A Tool for Collective Adaptive Systems Engineering.
Proceedings of the 2nd IEEE International Workshops on Foundations and Applications of Self* Systems, 2017

Towards a Domain Specific Language for Engineering Collective Adaptive Systems.
Proceedings of the 2nd IEEE International Workshops on Foundations and Applications of Self* Systems, 2017

ATLAS: A World-Wide Travel Assistant Exploiting Service-Based Adaptive Technologies.
Proceedings of the Service-Oriented Computing - 15th International Conference, 2017

2016
Domain Objects and Microservices for Systems Development: A Roadmap.
Proceedings of 5th International Conference in Software Engineering for Defence Applications, 2016

Combining Self-Organisation and Autonomic Computing in CASs with Aggregate-MAPE.
Proceedings of the 2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), 2016

SMART: A process-oriented methodology for resilient smart cities.
Proceedings of the IEEE International Smart Cities Conference, 2016

Incremental Composition for Adaptive By-Design Service Based Systems.
Proceedings of the IEEE International Conference on Web Services, 2016

DeMOCAS: Domain Objects for Service-Based Collective Adaptive Systems.
Proceedings of the Service-Oriented Computing - ICSOC 2016 Workshops, 2016

Decentralized Dynamic Adaptation for Service-Based Collective Adaptive Systems.
Proceedings of the Service-Oriented Computing - ICSOC 2016 Workshops, 2016

Preface to DAS 2016.
Proceedings of the 2016 IEEE International Conference on Autonomic Computing, 2016

Leveraging Collective Run-Time Adaptation for UAV-Based Systems.
Proceedings of the 42th Euromicro Conference on Software Engineering and Advanced Applications, 2016

2015
All Together Now: Collective Intelligence for Computer-Supported Collective Action.
Proceedings of the 2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2015

An Approach for Collective Adaptation in Socio-Technical Systems.
Proceedings of the 2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2015

Sustainable Safety in Mobile Multi-robot Systems via Collective Adaptation.
Proceedings of the 2015 IEEE 9th International Conference on Self-Adaptive and Self-Organizing Systems, 2015

Distributed Service Co-evolution Based on Domain Objects.
Proceedings of the Service-Oriented Computing - ICSOC 2015 Workshops, 2015

Design for Adaptation of Distributed Service-Based Systems.
Proceedings of the Service-Oriented Computing - 13th International Conference, 2015

Rule-Based Modeling and Static Analysis of Self-adaptive Systems by Graph Transformation.
Proceedings of the Software, 2015

2014
A Goal Model for Collective Adaptive Systems.
Proceedings of the Eighth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2014

Collective Adaptation in Process-Based Systems.
Proceedings of the Eighth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2014

Domain Objects for Dynamic and Incremental Service Composition.
Proceedings of the Service-Oriented and Cloud Computing - Third European Conference, 2014

2013
CAptLang: a language for context-aware and adaptable business processes.
Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems, 2013

A conceptual framework for collective adaptive systems.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Domain Objects for Continuous Context-Aware Adaptation of Service-Based Systems.
Proceedings of the 2013 IEEE 20th International Conference on Web Services, Santa Clara, CA, USA, June 28, 2013

On-the-Fly Adaptation of Dynamic Service-Based Systems: Incrementality, Reduction and Reuse.
Proceedings of the Service-Oriented Computing - 11th International Conference, 2013

Towards Modeling and Execution of Collective Adaptive Systems.
Proceedings of the Service-Oriented Computing - ICSOC 2013 Workshops, 2013

2012
SOAdapt: A process reference model for developing adaptable service-based applications.
Inf. Softw. Technol., 2012

A Variable Context Model for Adaptable Service-Based Applications.
Int. J. Adapt. Resilient Auton. Syst., 2012

ASTRO-CAptEvo: Dynamic Context-Aware Adaptation for Service-Based Systems.
Proceedings of the Eighth IEEE World Congress on Services, 2012

Dynamic Adaptation of Fragment-Based and Context-Aware Business Processes.
Proceedings of the 2012 IEEE 19th International Conference on Web Services, 2012

Research challenges on multi-layer and mixed-initiative monitoring and adaptation for service-based systems.
Proceedings of the First International Workshop on European Software Services and Systems Research, 2012

A car logistics scenario for context-aware adaptive service-based systems.
Proceedings of the 4th International ICSE Workshop on Principles of Engineering Service-Oriented Systems, 2012

Adaptivity in dynamic service-based systems.
Proceedings of the First International Workshop on European Software Services and Systems Research, 2012

2011
Adaptation of service-based business processes by context-aware replanning.
Proceedings of the 2011 IEEE International Conference on Service-Oriented Computing and Applications, 2011

Using a Lifecycle Model for Developing and Executing Real-Time Online Applications on Clouds.
Proceedings of the Service-Oriented Computing - ICSOC 2011 Workshops, 2011

CAptEvo: Context-Aware Adaptation and Evolution of Business Processes.
Proceedings of the Service-Oriented Computing - ICSOC 2011 Workshops, 2011

A Context-Aware Framework for Business Processes Evolution.
Proceedings of the Workshops Proceedings of the 15th IEEE International Enterprise Distributed Object Computing Conference, 2011

2010
A Framework for Rule-Based Dynamic Adaptation.
Proceedings of the Trustworthly Global Computing - 5th International Symposium, 2010

Using a Lifecycle Model for Developing and Executing Adaptable Interactive Distributed Applications.
Proceedings of the Towards a Service-Based Internet - Third European Conference, 2010

Service Engineering.
Proceedings of the Service Research Challenges and Solutions for the Future Internet - S-Cube, 2010

Exploiting assumption-based verification for the adaptation of service-based applications.
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

An experience in using a tool for evaluating a large set of natural language requirements.
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

A context-driven adaptation process for service-based applications.
Proceedings of the 2nd International Workshop on Principles of Engineering Service-Oriented Systems, 2010

Formal Analysis and Verification of Self-Healing Systems.
Proceedings of the Fundamental Approaches to Software Engineering, 2010

2009
From Requirements to code: an Architecture-centric Approach for producing Quality Systems
CoRR, 2009

A Formalisation of Adaptable Pervasive Flows.
Proceedings of the Web Services and Formal Methods, 6th International Workshop, 2009

Self-Repairing systems modeling and verification using AGG.
Proceedings of the Joint Working IEEE/IFIP Conference on Software Architecture 2009 and European Conference on Software Architecture 2009, 2009

Design for Adaptation of Service-Based Applications: Main Issues and Requirements.
Proceedings of the Service-Oriented Computing. ICSOC/ServiceWave 2009 Workshops, 2009

Dynamic Software Architecture Development: Towards an Automated Process.
Proceedings of the 35th Euromicro Conference on Software Engineering and Advanced Applications, 2009

2008
An architectural approach to the correct and automatic assembly of evolving component-based systems.
J. Syst. Softw., 2008

Evaluation of Natural Language Requirements in the MODCONTROL Project.
ERCIM News, 2008

A Graph-based Design Framework for Global Computing Systems.
Proceedings of the 3rd International Workshop on Views On Designing Complex Architectures, 2008

Dynamic Software Architectures Verification using DynAlloy.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

QuARS Express - A Tool Demonstration.
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

Graph-Based Design and Analysis of Dynamic Software Architectures.
Proceedings of the Concurrency, 2008

2007
Modelling Dynamic Software Architectures using Typed Graph Grammars.
Proceedings of the Third Workshop on Graph Transformation for Concurrency and Verification, 2007

QoS Composition of Services for Data-Intensive Application.
Proceedings of the International Conference on Internet and Web Applications and Services (ICIW 2007), 2007

Web Service Composition Approaches: From Industrial Standards to Formal Methods.
Proceedings of the International Conference on Internet and Web Applications and Services (ICIW 2007), 2007

2006
Architecting Fault-tolerant Component-based Systems: from requirements to testing.
Proceedings of the Second International Workshop on Views on Designing Complex Architectures, 2006

A Practical Architecture-Centric Analysis Process.
Proceedings of the Quality of Software Architectures, 2006

Towards an architectural approach for the dynamic and automatic composition of software components.
Proceedings of the 2006 Workshop on Role of Software Architecture for Testing and Analysis, 2006

2005
An Architecture-Centric Approach for Producing Quality Systems.
Proceedings of the Quality of Software Architectures and Software Quality, 2005

Quality Analysis of NL Requirements: An Industrial Case Study.
Proceedings of the 13th IEEE International Conference on Requirements Engineering (RE 2005), 29 August, 2005

TeStor: Deriving Test Sequences from Model-Based Specifications.
Proceedings of the Component-Based Software Engineering, 8th International Symposium, 2005

2004
Model-Checking Plus Testing: From Software Architecture Analysis to Code Testing.
Proceedings of the Applying Formal Methods: Testing, Performance and M/ECommerce, 2004

2003
Automatic synthesis of coordinators for COTS group-ware applications: an example.
Proceedings of the 12th IEEE International Workshops on Enabling Technologies (WETICE 2003), 2003


  Loading...