Envisage Project

EU FP7 project on model-based analysis of service-level agreements for cloud computing

[Einar Broch Johnsen @ebjohnsen]

Our survey on active object languages is now online over at ACM Computing Surveys https://t.co/LjuU4SEBCm

[Einar Broch Johnsen @ebjohnsen]

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

[Envisage Project @EnvisageProject]

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

[Einar Broch Johnsen @ebjohnsen]

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

[Envisage Project @EnvisageProject]

Abstraction Refinement for the Analysis of Software Product Lines. Reiner Hähnle’s keynote @ TAP 2017 @staf2017conf https://t.co/Dc5VHFMrWG

[Envisage Project @EnvisageProject]

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

[Einar Broch Johnsen @ebjohnsen]

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

[Einar Broch Johnsen @ebjohnsen]

Reiner Hähnle gives a seminar on KeY and the TIMSORT verification after FME meet London May 4 @bcs See u there! https://t.co/qnbMHCPmc7

[Simpl @EC_Simpl]

High quality, cost-effective virtualised services for businesses:Read on @CORDIS_EU about @EnvisageProject #cloud @ebjohnsen https://t.co/Wr8vmStHbr

[Simpl @EC_Simpl]

Is your business still reluctant to use #cloud services? @EnvisageProject addresses problems & offers solutions https://t.co/0MwaOvoTyb

[Einar Broch Johnsen @ebjohnsen]

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

[ESOCC 2017 @esocc]

ESOCC 2017 Call for workshops. Deadline 14 March. https://t.co/mPsz3zdTTq

[Verification papers @verif_papers]

EasyInterface: A toolkit for rapid development of GUIs for research prototype tools https://t.co/pyiyNmMe8S

[Einar Broch Johnsen @ebjohnsen]

@EnvisageProject on the Cordis website https://t.co/nemRPXIav2

[Roberto Di Cosmo @rdicosmo]

Advanced research applied to real world IT problems: high level #Cloud mgmt for #devops is coming! @EnvisageProject https://t.co/VJIeNYqi8G

[Roberto Di Cosmo @rdicosmo]

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

[Roberto Di Cosmo @rdicosmo]

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

[Monique Calisti - @[email protected] @MoniqueCalisti]

Now with the ENVISAGE consortium excellent work - Engineering Virtualised Services https://t.co/OC0XbQ1I2A @rdicosmo @Martel_Innovate #ABS

[Roberto Di Cosmo @rdicosmo]

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

[Einar Broch Johnsen @ebjohnsen]

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