Software Synthesis Group
Software Synthesis Group at University of L'Aquila
- 1 follower
- University of L'Aquila
- marco.autili@univaq.it
Pinned Loading
Repositories
Showing 10 of 16 repositories
- connectpa-billposting-choreography Public
Replication package for the paper Synthesis of context-aware business-to-business processes for location-based services through choreographies
sosygroup/connectpa-billposting-choreography’s past year of commit activity - from-monolith-to-microservices Public
Replication package for the paper From monolithic to microservice architecture: an automated approach based on graph clustering and combinatorial optimization
sosygroup/from-monolith-to-microservices’s past year of commit activity - mobile-static-analysis-replication-package Public Forked from sesygroup/mobile-static-analysis-replication-package
sosygroup/mobile-static-analysis-replication-package’s past year of commit activity - synthesis-context-aware-choreographies Public
Automated Synthesis of Context-Aware Choreographies in a Smart City Scenario
sosygroup/synthesis-context-aware-choreographies’s past year of commit activity - sosygroup.github.io Public
sosygroup/sosygroup.github.io’s past year of commit activity - choreography-synthesis-enactment Public Forked from sesygroup/choreography-synthesis-enactment
Highly-collaborative distributed systems: synthesis and enactment at work
sosygroup/choreography-synthesis-enactment’s past year of commit activity - multisynth-studio Public Forked from sesygroup/multisynth-studio
Web application that supports model-based synthesis of software integration code, as well as different kind of analysis and verification.
sosygroup/multisynth-studio’s past year of commit activity
