@EnvisageProject

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

 EU FP7
envisage-project.eu
Joined September 2013
  • Tweets203
  • Following55
  • Followers104
8Media
Envisage Project retweeted
Einar Broch Johnsen@ebjohnsen14 Oct 2017
Our survey on active object languages is now online over at ACM Computing Surveys doi.org/10.1145/3122848
2
3
Envisage Project retweeted
Einar Broch Johnsen@ebjohnsen11 Aug 2017
Ade Azurat presents ABS research at Uni Indonesia in Djakarta. Talk at TU Darmstadt today
1
1
Ka I Pun lectures on “Formal analysis of Service-level Agreements for Cloud services with ABS” BeChong Summer School, China, Oct. 15-19 2017
1
2
Envisage Project retweeted
Einar Broch Johnsen@ebjohnsen20 Jul 2017
2nd day of #TAP17. Keynote by Reiner Hähnle on abstraction refinement for SPL #STAF17
3
1
Abstraction Refinement for the Analysis of Software Product Lines. Reiner Hähnle’s keynote @ TAP 2017 @staf2017conf seceng.informatik.tu-darmsta…
Context-Sensitive Dynamic Partial Order Reduction. Paper by Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa et al. to appear at CAV 2017.
1
Envisage Project retweeted
Einar Broch Johnsen@ebjohnsen28 Apr 2017
Nice demo of EasyInterface by Jésus Doménech at FASE just now #etaps #etaps17 @EnvisageProject
1
1
Envisage Project retweeted
Einar Broch Johnsen@ebjohnsen24 Apr 2017
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/ConWebDoc/57…
1
Envisage Project retweeted
Einar Broch Johnsen@ebjohnsen15 Mar 2017
Fun to present @EnvisageProject work on model-based predictions of resource-aware services on cloud for Big Insight CoE today! @SiriusSfi
2
Envisage Project retweeted
ESOCC 2017@esocc2 Mar 2017
ESOCC 2017 Call for workshops. Deadline 14 March. esocc2017.ifi.uio.no/cfws.ht…
3
EasyInterface: A toolkit for rapid development of GUIs for research prototype tools dlvr.it/NGP5XK
2
Envisage Project retweeted
Einar Broch Johnsen@ebjohnsen20 Jan 2017
Replying to @EnvisageProject
@EnvisageProject on the Cordis website cordis.europa.eu/result/rcn/…
5
2
Envisage Project retweeted
Roberto Di Cosmo@rdicosmo25 Nov 2016
Advanced research applied to real world IT problems: high level #Cloud mgmt for #devops is coming! @EnvisageProject envisage-project.eu/modeling…
7
1
6
Envisage Project retweeted
Roberto Di Cosmo@rdicosmo25 Nov 2016
Kudos to @ebjohnsen and all the team for top notch work at the @EnvisageProject ... this is a game changer for #devops !
7
4
Envisage Project retweeted
Roberto Di Cosmo@rdicosmo25 Nov 2016
Impressive results from @fredhopper early adopter of the @EnvisageProject tools and methodology : millions saved here! #abs @MoniqueCalisti
7
5
Now with the ENVISAGE consortium excellent work - Engineering Virtualised Services envisage-project.eu @rdicosmo @Martel_Innovate #ABS
8
6
Envisage Project retweeted
Roberto Di Cosmo@rdicosmo25 Nov 2016
At the @EnvisageProject final review : *great* technology here for #devops and high level #Cloud #deployment! @aeolusproject @MoniqueCalisti
6
4
Envisage Project retweeted
Einar Broch Johnsen@ebjohnsen18 Nov 2016
Are we excluding ourselves from innovation by choosing vendors that offer “everything”? (Mugaas, Statoil) @SiriusSfi
2
1
Envisage Project retweeted
Einar Broch Johnsen@ebjohnsen18 Nov 2016
Mugaas (Statoil): we need to predict resource footprint on the Cloud! Can we research architectural patterns? @SiriusSfi @EnvisageProject
1
Envisage Project retweeted
Einar Broch Johnsen@ebjohnsen18 Nov 2016
Ole Mugaas on scalability and time-critical data access w/ cloud tech in Statoil @SiriusSfi @EnvisageProject
2
2
Load more