Envisage Project @EnvisageProject
EU FP7 project on model-based analysis of service-level agreements for cloud computing envisage-project.eu EU FP7 Joined September 2013-
Tweets205
-
Followers104
-
Following57
-
Likes25
Envisage Project retweeted
Our survey on active object languages is now online over at ACM Computing Surveys doi.org/10.1145/3122848
0
2
3
0
0
Envisage Project retweeted
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
Envisage Project retweeted
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.
Envisage Project retweeted
Nice demo of EasyInterface by Jésus Doménech at FASE just now #etaps #etaps17 @EnvisageProject
Envisage Project retweeted
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…
Envisage Project retweeted
High quality, cost-effective virtualised services for businesses:Read on @CORDIS_EU about @EnvisageProject #cloud @ebjohnsen
High quality, cost-effective virtualised services for businesses:Read on @CORDIS_EU about @EnvisageProject #cloud @ebjohnsen
Envisage Project retweeted
Is your business still reluctant to use #cloud services? @EnvisageProject addresses problems & offers solutions bit.ly/2opTof2
Envisage Project retweeted
Fun to present @EnvisageProject work on model-based predictions of resource-aware services on cloud for Big Insight CoE today! @SiriusSfi
Envisage Project retweeted
ESOCC 2017 Call for workshops. Deadline 14 March. esocc2017.ifi.uio.no/cfws.html
Envisage Project retweeted
EasyInterface: A toolkit for rapid development of GUIs for research prototype tools dlvr.it/NGP5XK
Envisage Project retweeted
@EnvisageProject on the Cordis website cordis.europa.eu/result/rcn/190…
Envisage Project retweeted
Advanced research applied to real world IT problems: high level #Cloud mgmt for #devops is coming! @EnvisageProject envisage-project.eu/modeling-deplo…
Envisage Project retweeted
Kudos to @ebjohnsen and all the team for top notch work at the @EnvisageProject ... this is a game changer for #devops !
Envisage Project retweeted
Impressive results from @FredHopper early adopter of the @EnvisageProject tools and methodology : millions saved here! #abs @MoniqueCalisti
Envisage Project retweeted
Now with the ENVISAGE consortium excellent work - Engineering Virtualised Services envisage-project.eu @rdicosmo @Martel_Innovate #ABS
Envisage Project retweeted
At the @EnvisageProject final review : *great* technology here for #devops and high level #Cloud #deployment! @aeolusproject @MoniqueCalisti
Envisage Project retweeted
Are we excluding ourselves from innovation by choosing vendors that offer “everything”? (Mugaas, Statoil) @SiriusSfi
Lizeth Tapia @liz2ta
27 Followers 54 Following
David Rozas @drozas
1K Followers 4K Following Papá de Aneira & Nia. ½ sociologist, ½ computer scientist. Civil servant @CIS_Institucion. Interested on the role of tech for #commoning & #coop practices
A and V Network @AandVNetwork
609 Followers 1K Following Research network focussing on verification of autonomous systems. Distributed across several universities Led by Prof. Michael Fisher. Tweets by @MattLuckcuck
Up2Universe @up2universe
144 Followers 285 Following Our Up2Universe platform helps you to upgrade the classroom experience and enhance your students' digital skills: https://t.co/WsoibBsYul
Charles Southerland @proidiot
478 Followers 1K Following Like most of our world, computers don't have to suck, but we must choose improvement. Formal Methods, F(L)OSS, math memes, general nerdiness.
Mostafiz Rahman @mostafiz93
155 Followers 979 Following SW #engineer by profession, #Entrepreneur by choice, #Workaholic by nature and a simple Human above all. Love to learn and build stuffs that meet people's need
Unicorn @Unicorn_H2020
475 Followers 688 Following Framework for multi-cloud software fostering cloud technologies uptake for digital SMEs and startups. EU H2020 project with no commercial purposes. GA No 731846
Market & Tech Ready @MyMTRL
128 Followers 1K Following Supporting innovative European H2020 projects with exploitation planning and business models via the Market & Technology Readiness Level Framework. #GoToMarket
Christian Zirpins @zirpins
144 Followers 224 Following Professor for Computer Science at Karlsruhe University of Applied Sciences. Distributed Systems. Service Computing. Web Engineering.
Assunta @Assunta64309457
2 Followers 22 Following
DITAS project @DITASproject
188 Followers 362 Following Data-intensive applications Improvement by moving daTA computation in mixed cloud/fog environmentS #H2020 grant agreement no. 731945
EU Research Results @CORDIS_EU
49K Followers 7K Following 🇪🇺 We bring you results from #EUfunded research projects @EU_Commission 👩🔬🔬👨🔬 | 🎧 Listen to our podcast #CORDIScovery 👉 https://t.co/U1KsbwEQQZ
HyVar @HyVar_Project
48 Followers 52 Following
STORM CLOUDS @StormCloudsEU
291 Followers 707 Following A European project that aims to explore how the needed shift by cities’ authorities to a cloud-based paradigm in service provisioning should be addressed.
iFM @iFMconf
181 Followers 158 Following
CloudSocket Project @cloudsocketeu
934 Followers 949 Following
Helmut Schnur @HelmutSchnur
7 Followers 52 Following
Christian Bayle @christianbayle
149 Followers 689 Following
Amine BENELALLAM @abenelallam
134 Followers 269 Following PhD in Computer Science. Senior Software developer in MathWorks. Paris area.
CloudWatchHub @CloudWatchHub
815 Followers 583 Following Driving #Cloud uptake by #SMEs & #government and new services to market. Helping to remove barriers: #legal #riskmanagement #pricing
Helix Nebula @HelixNebulaSC
737 Followers 672 Following Bridging Cloud Computing Innovation & Open Science
AppHub @AppHub_eu
70 Followers 91 Following
Sirius SFI @SiriusSfi
147 Followers 91 Following Sirius Centre for Scalable Data Access in the Oil & Gas Domain
Overture Tool @overturetool
80 Followers 9 Following Overture is a community-based open-source project for the next generation of modelling and analysis tools for the design of computer-based systems using VDM
Don Skantze @deskantze
38 Followers 444 Following
David Costa @davidcosta
115 Followers 101 Following SaaS Architectures, Distributed Systems, Software Abstractions, Programming Languages, SaaS Business Models, PaaS Stack Design
Liudmila Dobriakova @Miliks1975
9 Followers 17 Following
DeepLearningKit @DeepLearningKit
162 Followers 71 Following Open Source Deep Learning Framework for Apple's iOS, OS X & tvOS. Developed in Swift & Metal (GPU acceleration). Developers : @torbmorland & @atveit
Vegard B. Havdal @vegardh
222 Followers 214 Following Konsulent i https://t.co/PR96JRAdKo, fluefisker, gitar i Hobbits, Bomber og Karsk Gutan.
Dipak Chaudhari @dipakc0
14 Followers 105 Following
Roberto Di Cosmo @rdicosmo
5K Followers 6K Following Scientist professor hacker writer citizen. Committed to building a better world through science technology and community. Director @swheritage. Follow ≠ endorse
Kentaro Yoshimura @kentaroy
220 Followers 452 Following A researcher in industry. Interested in AI for software engineering. PhD in information science and technology.
Alex Ziskind @digitalix
10K Followers 1K Following Developer and content creator, founder of @NativeScripting, ”the voice of NativeScript”, trainer, author, speaker, synth tweaker. https://t.co/ZjhwZDX24l
Дружище Фар... @phar1no
168 Followers 750 Following
Azhar Abou Saad @AzharAbou
9 Followers 108 Following
Jonathan Bowen @jpbowen
956 Followers 2K Following I am Chairman of Museophile Limited and an Emeritus Professor at London South Bank University.
TrondheimDC @TrondheimDC
1K Followers 2K Following Trondheim Developer Conference will be at Clarion Hotel & Congress October 23rd 2023. See https://t.co/E0CU6MI2uD for more information 💻 #tdconf23
Grim Iversen @grimmegutt
178 Followers 99 Following Currently Founder at https://t.co/mVHCtuEkDl , formerly VP Product @DisruptiveTech_, VP Product @TelenorGroup , Senior Product Manager @Google (Wave, Maps, News).
Bogdan Aman @BogdanAman
83 Followers 456 Following Editor-in-chief of Diamond Open Access Journal Scientific Annals of Computer Science (SACS) https://t.co/k2LnU7guC1
johnfromnorway @johnfromnorway
40 Followers 158 Following tweets about biz. dev., marketing and entrepreneurship, by @John_C_A
Jan van Oort @JanCvanOort
11 Followers 93 Following On Twitter since 1677. Boyhood pal of Spinoza. Reverse-engineering the Universe.
Dr Kiko Fernandez-Rey... @kikofernandez
410 Followers 1K Following Software engineer @Ericsson ex-@Klarna. Previously PhD researcher building programming languages @Uppsalauni He/him
onepaperperday @onepaperperday
2K Followers 618 Following One day - one tweet - one paper about programming, cs, math or any other fun topic.
Ferruccio Damiani @fdamiani68
105 Followers 138 Following Full Professor at the Department of Computer Science, University of Turin
CloudSocket Project @cloudsocketeu
934 Followers 949 Following
Sirius SFI @SiriusSfi
147 Followers 91 Following Sirius Centre for Scalable Data Access in the Oil & Gas Domain
AppHub @AppHub_eu
70 Followers 91 Following
Cloudscape Series @CloudscapeSerie
187 Followers 168 Following #Cloudscape2016: What does the #cloud mean for the European digital single market #DSM 8-9 March 2016
TrondheimDC @TrondheimDC
1K Followers 2K Following Trondheim Developer Conference will be at Clarion Hotel & Congress October 23rd 2023. See https://t.co/E0CU6MI2uD for more information 💻 #tdconf23
Jan van Oort @JanCvanOort
11 Followers 93 Following On Twitter since 1677. Boyhood pal of Spinoza. Reverse-engineering the Universe.
HyVar @HyVar_Project
48 Followers 52 Following
Radu Muschevici @radu_mu
6 Followers 12 Following
Roberto Di Cosmo @rdicosmo
5K Followers 6K Following Scientist professor hacker writer citizen. Committed to building a better world through science technology and community. Director @swheritage. Follow ≠ endorse
2025 EuCNC & 6G Summi... @EuCNC
2K Followers 591 Following The 2025 EuCNC & 6G Summit focuses on various aspects of 5G and 6G communications systems and networks under the theme 6G: from Vision to Reality.
mo-bizz project @MobizzProject
171 Followers 833 Following MO-BIZZ project will deliver a platform that offers advanced mobile services and business applications, fostering the use of existing network infrastructures.
FIWARE @FIWARE
12K Followers 642 Following FIWARE is an open cloud-based platform for cost-effective creation and delivery of innovative applications and services.
FP7 @FP7_Projects
2K Followers 3 Following Following only projects funded by the Framework Programme Seven and are using Twitter - for all to use. If you know of one just Twitter us on @FP7_Projects.
SLAReady @SLAReady
281 Followers 442 Following #SLAready: making #Cloud #SLAs understandable & readily usable in the EU private sector #SME #CSP #ITsecurity #CloudContracts #Legal #DataProtection #FinTech
Peter Gorm Larsen @PeterGormLarsen
181 Followers 36 Following Professor at Aarhus University, Department of Engineering, heading software engineering. Prime interests include VDM, tool support and industrial applications.
Monique Calisti - @mo... @MoniqueCalisti
2K Followers 2K Following #entrepreneur @Martel_Innovate @OrchestraCityEU @Digital4Planet #womenintech #artificialintelligence #H2020 #HorizonEU #digital4planet @NGI4eu
INTO-CPS @IntoCps
209 Followers 52 Following INTO-CPS is an EU funded H2020 project looking into a model-based approach to engineering of Cyber-Physical Systems
SeaClouds Project @SeaClouds_EU
225 Followers 512 Following SeaClouds its a FP7 project, funded by the EU that aims at giving to organizations the capability of “Agility after Development” on MultiClouds Infrastructures
ARTIST project @ARTISTeu
288 Followers 893 Following ARTIST project develops a set of methods, tools and techniques to modernise non-cloud software assets and businesses to run on the cloud
IEEE Software @ieeesoftware
19K Followers 1K Following Building the community of leading software practitioners
Cloud Foundry @cloudfoundry
77K Followers 420 Following Maximize your productivity and unlock the complexity of Kubernetes with the simplicity, control and speed of Cloud Foundry.
The Costa Group @TheCostaGroup
46 Followers 18 Following
Upscale @UpscaleEUF7
14 Followers 6 Following
Formal Methods Europe @FormalMtds
758 Followers 241 Following Formal Methods Europe is a worldwide association bringing together researchers and practitioners in formal methods developing computing systems and software.
High Scalability @highscalability
4K Followers 0 Following
Guillermo Román @guille_roman
69 Followers 496 Following
Memkite @memkite
163 Followers 107 Following Memkite provides support for @DeepLearningKit - an open Source GPU accelerated Deep Learning Software for Apple's iOS, tvOS and OS X (Metal/Swift-based).
FET_EU @fet_eu
7K Followers 1K Following This account IS deactivated. Follow @EUeic and @FutureTechEU to remain up-to date with #FET_EU and #EICPathfinder news. Thank you for following us!
ERNACT Network @ERNACT
3K Followers 1K Following In line with EU priorities for 2021 - 2027, #ERNACT regions and cities are empowering Europe’s #DigitalTransformation and moving towards a digital & green age.
ninaforskno @ninaforskno
18K Followers 400 Following Redaktør Nina Kristiansen tvitrer forskningsnyheter fra forskning.no.
Norges forskningsråd @forskningsradet
43K Followers 31K Following Forskningsrådet gjør grensesprengende forskning og radikal innovasjon mulig. Vi jobber for et samfunn der forskning brukes og deles. Idékraft verden trenger.
Guardian Data @GuardianData
78K Followers 205 Following This account has been archived. Follow us on https://t.co/tGBkonJTiv
Guardian Visuals @GuardianVisuals
27K Followers 735 Following This account has been archived. Follow us on https://t.co/BaU3rBMRnq
Robert Madelin @eurohumph
13K Followers 15K Following Pursuing Public Good. @FIPRAinsight. @Teladoc.@Medisante. @AI4People.@AAE. EU. Reponsible Innovation. Digital+Green. One Health. Food and Drink.
European Commission @EU_Commission
1.9M Followers 589 Following News and information from the European Commission. Social media and data protection policy: https://t.co/Gz53Net1PO
Neelie Kroes @NeelieKroesEU
107K Followers 2K Following Non exec. board member Salesforce; Rijksmuseum. Former Vice President of European Commission for Digital Agenda
Digital EU 🇪🇺 @DigitalEU
136K Followers 1K Following We’re all about #tech 🤖✨ @EU_Commission account for #DigitalEU run by DG Connect and working with @HennaVirkkunen.
EU Research Results @CORDIS_EU
49K Followers 7K Following 🇪🇺 We bring you results from #EUfunded research projects @EU_Commission 👩🔬🔬👨🔬 | 🎧 Listen to our podcast #CORDIScovery 👉 https://t.co/U1KsbwEQQZ
atbrox @atbrox
273 Followers 107 Following Research, Consulting, Startup Investing (Norway/USA): https://t.co/Vee8Su7HFf, vetu.no, https://t.co/pwgvI7NJ59, https://t.co/x7n6vEdRqA, fixx.li
Simpl @EC_Simpl
3K Followers 483 Following Simpl: Streamlining cloud-to-edge federations for major EU data spaces. We're part of @DigitalEU.
digi.no @digi_no
13K Followers 7K Following IKT-bransjens nettavis - en del av Teknisk Ukeblad Media
martinsteffen @martinsteffen
16 Followers 18 Following
David Costa @dav1dc0sta
32 Followers 108 Following
Roger Antonsen @rantonse
3K Followers 2K Following Computer scientist, mathematician, logician, author, artist, public speaker, PhD & Associate Professor @ University of Oslo, Norway / UC Berkeley, California.
Ifi, UiO @Ifi_UiO
283 Followers 16 Following
Trends for United States
74,9 B posts
198 B posts
80,3 B posts
56,9 B posts
244 B posts
67,9 B posts
193 B posts
41,6 B posts
24,9 B posts
56,4 B posts
3.671 posts
8.085 posts
5.350 posts
5.533 posts
5.636 posts
7.211 posts
4.327 posts
6.414 posts
13 B posts
122 B posts
You might like
Einar Broch Johnsen
@ebjohnsen
561 Followers
Northern.tech
@NorthernTechHQ
179 Followers
Gwen Salaün
@gwensalaun
423 Followers
Alexandra Mendes
@asfmendes
231 Followers