Marco Autili

Proceedings of the MOBILESoft '20: IEEE/ACM 7th International Conference on Mobile Software Engineering and Systems, 2020

Web Frameworks for Desktop Apps: an Exploratory Study.

[BibT_eX]

[DOI]

Gian Luca Scoccia

Proceedings of the ESEM '20: ACM / IEEE International Symposium on Empirical Software Engineering and Measurement, 2020

CHOReVOLUTION: Hands-On In-Service Training for Choreography-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 2020

A self-configuring and adaptive privacy-aware permission system for Android apps.

[BibT_eX]

[DOI]

Gian Luca Scoccia

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2020

A Hybrid Approach to Microservices Load Balancing.

[BibT_eX]

[DOI]

Alexander Perucci

Lorenzo De Lauretis

Proceedings of the Microservices, Science and Engineering., 2020

2019

Automated synthesis of application-layer connectors from automata-based specifications.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2019

A Choreography-Based and Collaborative Road Mobility System for L'Aquila City.

[BibT_eX]

[DOI]

Future Internet, 2019

A Software Exoskeleton to Protect and Support Citizen's Ethics and Privacy in the Digital World.

[BibT_eX]

[DOI]

IEEE Access, 2019

Aiding the realization of service-oriented distributed systems.

[BibT_eX]

[DOI]

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

Introducing Trust in Service-Oriented Distributed Systems through Blockchain.

[BibT_eX]

[DOI]

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

CHOReVOLUTION: Automating the Realization of Highly-Collaborative Distributed Applications.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 2019

Different Glasses to Look into the Three Cs: Component, Connector, Coordination.

[BibT_eX]

[DOI]

Proceedings of the Models, Languages, and Tools for Concurrent and Distributed Programming, 2019

2018

Choreography Realizability Enforcement through the Automatic Synthesis of Distributed Coordination Delegates.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2018

Thematic series on Verification and Composition for the Internet of Services and Things.

[BibT_eX]

[DOI]

Dimitra Giannakopoulou

J. Internet Serv. Appl., 2018

Distributed Composition of Highly-Collaborative Services and Sensors in Tactical Domains.

[BibT_eX]

[DOI]

Proceedings of 6th International Conference in Software Engineering for Defence Applications, 2018

Model-driven adaptation of service choreographies.

[BibT_eX]

[DOI]

Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

On the Model-driven Synthesis of Adaptable Choreographies.

[BibT_eX]

[DOI]

Proceedings of MODELS 2018 Workshops: ModComp, 2018

An investigation into Android run-time permissions from the end users' perspective.

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on Mobile Software Engineering and Systems, MOBILESoft@ICSE 2018, Gothenburg, Sweden, May 27, 2018

On the model-driven synthesis of evolvable service choreographies.

[BibT_eX]

[DOI]

Proceedings of the 12th European Conference on Software Architecture: Companion Proceedings, 2018

2017

A Multipurpose Framework for Model-based Reuse-oriented Software Integration Synthesis.

[BibT_eX]

[DOI]

Alexander Perucci

Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

User-centric Android flexible permissions.

[BibT_eX]

[DOI]

Proceedings of the 39th International Conference on Software Engineering, 2017

Self-aware Computing Systems: Related Concepts and Research Areas.

[BibT_eX]

[DOI]

Proceedings of the Self-Aware Computing Systems., 2017

Synthesis and Verification of Self-aware Computing Systems.

[BibT_eX]

[DOI]

Proceedings of the Self-Aware Computing Systems., 2017

Transition Strategies for Increasing Self-awareness in Existing Types of Computing Systems.

[BibT_eX]

[DOI]

Proceedings of the Self-Aware Computing Systems., 2017

2016

A Tool-Supported Methodology for Validation and Refinement of Early-Stage Domain Models.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2016

Thematic series on service composition for the future internet.

[BibT_eX]

[DOI]

Alfredo Goldman

J. Internet Serv. Appl., 2016

2015

Aligning Qualitative, Real-Time, and Probabilistic Property Specification Patterns Using a Structured English Grammar.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2015

Automated Synthesis of Service Choreographies.

[BibT_eX]

[DOI]

IEEE Softw., 2015

On the Automated Synthesis of Enterprise Integration Patterns to Adapt Choreography-based Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 14th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, 2015

Synthesis of correct adaptors for protocol enhancement in component-based systems.

[BibT_eX]

[DOI]

CoRR, 2015

On the adaptation of context-aware services.

[BibT_eX]

[DOI]

CoRR, 2015

TACTICS: TACTICal Service Oriented Architecture.

[BibT_eX]

[DOI]

CoRR, 2015

Perspectives on static analysis of mobile apps (invited talk).

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Software Development Lifecycle for Mobile, 2015

IEEE Services Visionary Track on Service Composition for the Future Internet (SCFI 2015).

[BibT_eX]

[DOI]

Alfredo Goldman

Proceedings of the 2015 IEEE World Congress on Services, 2015

Biological Immunity and Software Resilience: Two Faces of the Same Coin?

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Resilient Systems - 7th International Workshop, 2015

Automated Integration of Service-Oriented Software Systems.

[BibT_eX]

[DOI]

Proceedings of the Fundamentals of Software Engineering - 6th International Conference, 2015

2014

Model-driven engineering of middleware-based ubiquitous services.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2014

Distributed Enforcement of Service Choreographies.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 13th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, 2014

Automatic adaptor synthesis for protocol transformation.

[BibT_eX]

[DOI]

CoRR, 2014

CHOReOSynt: enforcing choreography realizability in the future internet.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

IEEE First International Workshop on Service Orchestration and Choreography for the Future Internet (OrChor 2014).

[BibT_eX]

[DOI]

Alfredo Goldman

Proceedings of the 2014 IEEE World Congress on Services, 2014

Synthesizing an Automata-based Representation of BPMN2 Choreography Diagrams.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Model-Driven Engineering for Component-Based Software Systems co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), 2014

CHOREOS: Large scale choreographies for the future internet.

[BibT_eX]

[DOI]

Proceedings of the 2014 Software Evolution Week, 2014

2013

A hybrid approach for resource-based comparison of adaptable Java applications.

[BibT_eX]

[DOI]

Paolo Di Benedetto

Sci. Comput. Program., 2013

Producing software by integration: challenges and research directions (keynote).

[BibT_eX]

[DOI]

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Synthesis of Resilient Choreographies.

[BibT_eX]

[DOI]

Amleto Di Salle

Carlos Eduardo Moreira Dos Santos

Proceedings of the Software Engineering for Resilient Systems, 5th International Workshop, 2013

A Model-Based Synthesis Process for Choreography Realizability Enforcement.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2013

Synthesis of Distributed and Adaptable Coordinators to Enable Choreography Evolution.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Self-Adaptive Systems III. Assurances, 2013

2012

Developing highly complex distributed systems: a software engineering perspective.

[BibT_eX]

[DOI]

J. Internet Serv. Appl., 2012

Integration Architecture Synthesis for Taming Uncertainty in the Digital Space.

[BibT_eX]

[DOI]

Proceedings of the Large-Scale Complex IT Systems. Development, Operation and Management, 2012

Providing lightweight and adaptable service technology for information and communication (PLASTIC) in the mobile ehealth case study.

[BibT_eX]

[DOI]

Proceedings of the 4th International ICSE Workshop on Principles of Engineering Service-Oriented Systems, 2012

An Integrated Development and Runtime Environment for the Future Internet.

[BibT_eX]

[DOI]

Amira Ben Hamida

Fabio Kon

Gustavo Ansaldi Oliva

Proceedings of the Future Internet, 2012

2011

Erratum to: Service-oriented middleware for the Future Internet: state of the art and research directions.

[BibT_eX]

[DOI]

J. Internet Serv. Appl., 2011

Service-oriented middleware for the Future Internet: state of the art and research directions.

[BibT_eX]

[DOI]

J. Internet Serv. Appl., 2011

EAGLE: engineering software in the ubiquitous globe by leveraging uncErtainty.

[BibT_eX]

[DOI]

Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

A development process for requirements based service choreography.

[BibT_eX]

[DOI]

Proceedings of the Requirements Engineering for Systems, 2011

ModelLAND: Where Do Models Come from?

[BibT_eX]

[DOI]

Proceedings of the Models@run.time - Foundations, Applications, and Roadmaps [Dagstuhl Seminar 11481, November 27, 2011

2010

A programming model for adaptable Java applications.

[BibT_eX]

[DOI]

Paolo Di Benedetto

Proceedings of the 8th International Conference on Principles and Practice of Programming in Java, 2010

Towards a Connector Algebra.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

2009

Architecting Service Oriented Middleware for pervasive networking.

[BibT_eX]

[DOI]

Mauro Caporuscio

Valérie Issarny

Proceedings of the International ICSE Workshop on Principles of Engineering Service-Oriented Systems, 2009

Context-Aware Adaptive Services: The PLASTIC Approach.

[BibT_eX]

[DOI]

Paolo Di Benedetto

Proceedings of the Fundamental Approaches to Software Engineering, 2009

2008

Synthesis of decentralized and concurrent adaptors for correctly assembling distributed component-based systems.

[BibT_eX]

[DOI]

J. Syst. Softw., 2008

Towards Self-evolving Context-aware Services.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

A development process for context-aware adaptive services.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering, 2008

A Resource-Oriented Static Analysis Approach to Adaptable Java Applications.

[BibT_eX]

[DOI]

Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

2007

Graphical scenarios for specifying temporal properties: an automated approach.

[BibT_eX]

[DOI]

Patrizio Pelliccione

Autom. Softw. Eng., 2007

A Development Process for Self-adapting Service Oriented Applications.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing, 2007

SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

2006

Towards a Graphical Tool for Refining User to System Requirements.

[BibT_eX]

[DOI]

Patrizio Pelliccione

Proceedings of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques, 2006

SYNTHESIS, a Tool for Synthesizing Correct and Protocol-Enhanced Adaptors.

[BibT_eX]

[DOI]

Obj. Logiciel Base données Réseaux, 2006

A scenario based notation for specifying temporal properties.

[BibT_eX]

[DOI]