Envisage Project

Our survey on active object languages is now online over at ACM Computing Surveys doi.org/10.1145/3122848

Ade Azurat presents ABS research at Uni Indonesia in Djakarta. Talk at TU Darmstadt today

Ka I Pun lectures on “Formal analysis of Service-level Agreements for Cloud services with ABS” BeChong Summer School, China, Oct. 15-19 2017

2nd day of #TAP17. Keynote by Reiner Hähnle on abstraction refinement for SPL #STAF17

Abstraction Refinement for the Analysis of Software Product Lines. Reiner Hähnle’s keynote @ TAP 2017 @staf2017conf seceng.informatik.tu-darmstadt.de/tap2017/keynot…

Context-Sensitive Dynamic Partial Order Reduction. Paper by Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa et al. to appear at CAV 2017.

Nice demo of EasyInterface by Jésus Doménech at FASE just now #etaps #etaps17 @EnvisageProject

Reiner Hähnle gives a seminar on KeY and the TIMSORT verification after FME meet London May 4 @bcs See u there! bcs.org/content/ConWeb…

High quality, cost-effective virtualised services for businesses:Read on @CORDIS_EU about @EnvisageProject #cloud @ebjohnsen twitter.com/CnectCloud/sta…

Is your business still reluctant to use #cloud services? @EnvisageProject addresses problems & offers solutions bit.ly/2opTof2

Fun to present @EnvisageProject work on model-based predictions of resource-aware services on cloud for Big Insight CoE today! @SiriusSfi

ESOCC 2017 Call for workshops. Deadline 14 March. esocc2017.ifi.uio.no/cfws.html

EasyInterface: A toolkit for rapid development of GUIs for research prototype tools dlvr.it/NGP5XK

@EnvisageProject on the Cordis website cordis.europa.eu/result/rcn/190…

Advanced research applied to real world IT problems: high level #Cloud mgmt for #devops is coming! @EnvisageProject envisage-project.eu/modeling-deplo…

Kudos to @ebjohnsen and all the team for top notch work at the @EnvisageProject ... this is a game changer for #devops !

Impressive results from @fredhopper early adopter of the @EnvisageProject tools and methodology : millions saved here! #abs @MoniqueCalisti

Now with the ENVISAGE consortium excellent work - Engineering Virtualised Services envisage-project.eu @rdicosmo @Martel_Innovate #ABS

At the @EnvisageProject final review : *great* technology here for #devops and high level #Cloud #deployment! @aeolusproject @MoniqueCalisti

Are we excluding ourselves from innovation by choosing vendors that offer “everything”? (Mugaas, Statoil) @SiriusSfi