Trends and Challenges for Software Engineering in the Mobile Domain | 6 | 0.53 | 2021 |
Enhancing Trustability of Android Applications via User-Centric Flexible Permissions | 0 | 0.34 | 2021 |
Challenges in Developing Desktop Web Apps: a Study of Stack Overflow and GitHub | 0 | 0.34 | 2021 |
Highly Collaborative Distributed Systems: Synthesis And Enactment At Work | 0 | 0.34 | 2021 |
CHOReVOLUTION: Service choreography in practice | 0 | 0.34 | 2020 |
Towards the synthesis of context-aware choreographies | 0 | 0.34 | 2020 |
Web Frameworks for Desktop Apps: an Exploratory Study | 0 | 0.34 | 2020 |
On the elicitation of privacy and ethics preferences of mobile users | 0 | 0.34 | 2020 |
A self-configuring and adaptive privacy-aware permission system for Android apps | 1 | 0.36 | 2020 |
CHOReVOLUTION - Hands-On In-Service Training for Choreography-Based Systems. | 0 | 0.34 | 2020 |
Hey, my data are mine! Active data to empower the user | 0 | 0.34 | 2020 |
A Software Exoskeleton to Protect and Support Citizen's Ethics and Privacy in the Digital World. | 1 | 0.38 | 2019 |
Aiding the realization of service-oriented distributed systems. | 0 | 0.34 | 2019 |
Different Glasses to Look into the Three Cs - Component, Connector, Coordination. | 0 | 0.34 | 2019 |
Introducing Trust in Service-Oriented Distributed Systems through Blockchain | 0 | 0.34 | 2019 |
A Choreography-Based and Collaborative Road Mobility System for L'Aquila City. | 0 | 0.34 | 2019 |
On the Model-driven Synthesis of Adaptable Choreographies. | 0 | 0.34 | 2018 |
An investigation into Android run-time permissions from the end users' perspective. | 5 | 0.40 | 2018 |
Thematic series on Verification and Composition for the Internet of Services and Things. | 0 | 0.34 | 2018 |
On the model-driven synthesis of evolvable service choreographies. | 0 | 0.34 | 2018 |
Choreography Realizability Enforcement through the Automatic Synthesis of Distributed Coordination Delegates. | 3 | 0.39 | 2018 |
Model-driven adaptation of service choreographies. | 2 | 0.37 | 2018 |
Distributed Composition of Highly-Collaborative Services and Sensors in Tactical Domains. | 0 | 0.34 | 2018 |
A Multipurpose Framework for Model-based Reuse-oriented Software Integration Synthesis. | 0 | 0.34 | 2017 |
User-centric Android flexible permissions. | 2 | 0.36 | 2017 |
Thematic series on service composition for the future internet. | 2 | 0.38 | 2016 |
IEEE Services Visionary Track on Service Composition for the Future Internet (SCFI 2015) | 1 | 0.36 | 2015 |
Aligning Qualitative, Real-Time, and Probabilistic Property Specification Patterns Using a Structured English Grammar | 28 | 0.88 | 2015 |
On the adaptation of context-aware services. | 1 | 0.36 | 2015 |
Automated Synthesis of Service Choreographies | 8 | 0.45 | 2015 |
Perspectives on static analysis of mobile apps (invited talk) | 0 | 0.34 | 2015 |
On The Automated Synthesis Of Enterprise Integration Patterns To Adapt Choreography-Based Distributed Systems | 3 | 0.39 | 2015 |
Biological Immunity and Software Resilience: Two Faces of the Same Coin? | 0 | 0.34 | 2015 |
Automated Synthesis of Application-Layer Connectors from Automata-Based Specifications. | 4 | 0.42 | 2015 |
Synthesis of correct adaptors for protocol enhancement in component-based systems. | 1 | 0.37 | 2015 |
Automated Integration of Service-Oriented Software Systems. | 0 | 0.34 | 2015 |
Synthesizing an Automata-based Representation of BPMN2 Choreography Diagrams. | 1 | 0.37 | 2014 |
CHOReOSynt: enforcing choreography realizability in the future internet | 4 | 0.40 | 2014 |
Automatic adaptor synthesis for protocol transformation. | 1 | 0.38 | 2014 |
CHOREOS: Large scale choreographies for the future internet | 9 | 0.56 | 2014 |
IEEE First International Workshop on Service Orchestration and Choreography for the Future Internet (OrChor 2014). | 0 | 0.34 | 2014 |
Model-driven engineering of middleware-based ubiquitous services | 0 | 0.34 | 2014 |
A hybrid approach for resource-based comparison of adaptable Java applications | 3 | 0.41 | 2013 |
A model-based synthesis process for choreography realizability enforcement | 10 | 0.55 | 2013 |
Producing software by integration: challenges and research directions (keynote) | 4 | 0.41 | 2013 |
Synthesis of Resilient Choreographies. | 10 | 0.66 | 2013 |
Synthesis of Distributed and Adaptable Coordinators to Enable Choreography Evolution. | 0 | 0.34 | 2013 |
An integrated development and runtime environment for the future internet | 11 | 0.72 | 2012 |
Integration architecture synthesis for taming uncertainty in the digital space | 5 | 0.38 | 2012 |
Developing highly complex distributed systems: a software engineering perspective. | 4 | 0.45 | 2012 |