INTO-CPS @IntoCps
INTO-CPS is an EU funded H2020 project looking into a model-based approach to engineering of Cyber-Physical Systems into-cps.au.dk Aarhus Joined November 2014-
Tweets262
-
Followers209
-
Following52
-
Likes262
Digital Twin Workshop Team from AU #formalmethods2021
0
0
1
0
0
Download Image
INTO-CPS retweeted
#DeCPS2019 - Workshop on Challenges and new Approaches for Dependable and Cyber-Physical Systems Engineering, Friday 14 June 2019, co-located with #AdaEurope2019 conference in #Warsaw, #Poland, CfP #deadline 30 April 2019, ada-europe.org/conference2019… #AdaEurope #AdaProgramming
INTO-CPS retweeted
INTO-CPS retweeted
Lots of interesting visitors at the stand
Lots of interesting visitors at the stand
INTO-CPS retweeted
It barely fits in our booth but weighs less than 0.1 tractors. Meet Robotti, the new agricultural robot from @AgroIntelli created using model-based cyber-physical tech from @IntoCps and @computingncl. #ICT2018
Meet @IntoCps at the @ICT2018 Exhibition #ICT2018 Exhibition in #Vienna next 4-6 December!! See you at Stand number: T18 in Transforming Industry & Economy (Hall X4) #industry4.0 #cyberphysicalsystems #modelbaseddesign #CPS ec.europa.eu/digital-single…
INTO-CPS retweeted
Overture 2.5.6 is out! Get it here overturetool.org/download
INTO-CPS retweeted
@PeterGormLarsen introducing the first DIGIT event Aarhus University, including an @IntoCps Industrial Follower Group meeting and launch of the INTO-CPS Association!
INTO-CPS retweeted
Overture 2.5.4 is out! Get it here overturetool.org/download
Det aarhusianske forspring scitech.medarbejdere.au.dk/aktuelt/nyhede…
Here INTOCPS will also be demonstrated.
Here INTOCPS will also be demonstrated.
Selon tweepsmap.com/!IntoCps Mes followers vivent en: Royaume-Uni(30%),Espagne(12%),États-Unis(10%)
Seeing lots of INTO-CPS presentations today at the 15th @overturetool workshop in @UniofNewcastle in their new Urban Sciences Building
INTO-CPS retweeted
Overture 2.5.2 is out! Get it at overturetool.org/download/
INTO-CPS retweeted
Overture 2.5.0 is out! This new release contains a new order/equality relation feature. Get it at overturetool.org/download/
INTO-CPS retweeted
The hoardings are coming down! First complete view, at just over a week to moving in. @computingncl @bandkUSB
INTO-CPS retweeted
Moving into final day of #systemsengineering technical program at @incose_org International Symposium here in Adelaide! #systems #incoseIS
INTO-CPS retweeted
CPLab's @_Carl_Gamble presents #MBSE #modelling #simulation for #tradespace & #design #analysis with @IntoCps tools @incose_org #incoseIS
christopher hickson @hicksonc
242 Followers 738 Following If your eyes could speak, what would they say
Ana Cavalcanti @ALCCavalcanti
11 Followers 32 Following
Ricardo Caldas @ric_caldas
85 Followers 169 Following PhD student at the Computer Science and Engineering department, Chalmers.
他乡遇故知 @bravehansbeng
40 Followers 663 Following
AIDOaRt @aidoart
162 Followers 154 Following AIDOaRT focuses on #AIaugmented automation supporting modeling, coding, testing, monitoring and continuous development in Cyber-Physical Systems
FMASWorkshop @FmasWorkshop
536 Followers 1K Following Workshop on Formal Methods for Autonomous Systems, organised by Matt Luckcuck, Marie Farrell, Maike Schwammberger & Mario Gleirscher Tweets by @MattLuckcuck
Hugo Daniel Macedo @idhugoid
35 Followers 203 Following
Adam Sylwester Pawlak @A_S_Pawlak
2 Followers 13 Following
Morteza Nagahi @NagahiMorteza
630 Followers 4K Following Senior Research Associate/Data Scientist at DiversityInc Media LLC., Ph.D., MBA.
Bulat Kashfutdinov @BKashfutdinov
57 Followers 556 Following Aeroelasticity, control system stability, fracture mechanics
George Suciu @GeorgeSuciuG
886 Followers 3K Following IT&C Solutions Manager - R&D and co-owner at BEIA Consult International, with an experience since 1991 in over 5000 projects. Post-doc Ph.D. engineer and MBA.
HUBCAP @hubcap_eu
575 Followers 381 Following Digital Innovation Hubs helping you access tech, expertise & funding for model-based design and Cyber-Physical Systems. #Startups, #SMEs & #Midcaps. #H2020
Powerskin+ @PowerskinPlus
199 Followers 753 Following Highly advanced modular integration of insulation, energizing and storage systems for non-residential buildings // EU granted #H2020 project.
DIH4CPS @DIH4CPS
403 Followers 272 Following Fostering DIHs for Embedding Interoperability in Cyber-Physical Systems of European SMEs
Fondazione Bruno Kess... @FBK_research
10K Followers 10K Following 🇮🇹 🇪🇺 Research Institute on #AI #QuantumTech #EcologicalTransition #DigitalTransformation #DigitalAgriculture #DigitalHealth #DigitalIndustry #Cybersecurity
QONFEST2020 @qonfest2020
184 Followers 1K Following QONFEST is the umbrella conference comprising the joint international 2020 meetings: CONCUR2020, FMICS2020, FORMATS2020, QEST2020, alongside with many workshops
Goiuria Sagardui @GoiuriaS
58 Followers 99 Following Ph.D. in Computer Science. Lecturer & Researcher at Mondragon University. Systems and Software Engineering Group
Sofia Esteves @estevessofia
649 Followers 545 Following
M. Ilhan Akbas @ilhanakbas
234 Followers 2K Following EECS Faculty - FICS Research Group - Complex systems, autonomy, AI/ML and their applications on safety, security and efficiency of cyber-physical systems.
IDEA Lab @IdeaLabUniss
100 Followers 127 Following The official twitter profile of the Intelligent system DEsign and Applications (IDEA) - University of Sassari (Italy).
Francesco Cotroneo @fcotroneo
96 Followers 452 Following Sposato, due figli, mi occupo di informatica per la pubblica amministrazione
José Gaspar @jahgaspar
56 Followers 2K Following
[email protected] @KathyReid
3K Followers 5K Following I have moved to Mastodon. You can find me at https://t.co/VXdMj3Dyn8. I also #MastoAdmin the https://t.co/3KyYIsXHBN #Mastodon for uni & research organisations
Adepu Sridhar @sridhar933
176 Followers 554 Following Director & Founder at ILLUSIONIQ. Associate Professor at Swansea Uni. Cyber-Physical Systems Security. Formerly @BristolUni @UofIllinois @SCSatCMU @sutdsg
SoS-VO.org @SoS_VO_org
426 Followers 558 Following Science of Security & Privacy, SoS Lablets, Cybersecurity, Hard Problems
Sebastian Voss @seb_voss
60 Followers 92 Following Professor FH Aachen, Head of Software & Systems Engineering @fortiss, Founder @qwitto
Peter Gjøl Jensen @petergjoel
155 Followers 517 Following Universal toolmaker at @aautech, preaching the gospel of Formal Methods.
GBI International @GBI_Consulting
687 Followers 4K Following A global full-service provider in #BusinessTransformation #OrganizationalDevelopment #BizDev #TalentDev #Comms ✈ #Aerospace #Aviation #Defence #Space #Security
Jan van Oort @JanCvanOort
11 Followers 93 Following On Twitter since 1677. Boyhood pal of Spinoza. Reverse-engineering the Universe.
ROSIN project @ROSINproject
2K Followers 3K Following #H2020 #ROSINproject supports #EU’s strong role within #ROS_Industrial & thus consolidates #Europe’s expertise in advanced manufacturing. #goROS!
RobMoSys @RobMoSys
931 Followers 535 Following Towards an EU Digital Industrial Platform for #Robotics. The next level of a #Model-Driven #Composable Robotic Software Ecosystem. #H2020 #FSTP #funding
Han-Myung @hanmyung
43 Followers 253 Following
José C. Campos @jccampos
100 Followers 194 Following Father of three and husband of one. Resigned but proud owner of a cat and a dog. Private chauffeur, mostly. Academic in the spare time.
CPS-VO @cpsvo
275 Followers 631 Following Cyber-Physical Systems Virtual Organization: Fostering collaboration among CPS professionals in academia, government, and industry
hyumo @hyumo00
43 Followers 251 Following
AGROINTELLI @AgroIntelli
653 Followers 327 Following AGROINTELLI is the company behind ROBOTTI - one of the most advanced autonomous agricultural robots.
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.
H2020CloudPerfect @Cloud_Perfect
584 Followers 2K Following CloudPerfect is an EU-funded project under #H2020 program to improve #cloud migration, cross-cloud deployment and resource management.
Lukas Hedegaard @HedegaardLukas
1 Followers 41 Following
Régis Hamelin @gateoneproject
176 Followers 304 Following gateone-project is an Innovation Action of #H2020, we are a free innovation service in #SmartSystems for SME. #SAE #EC_commission @SAE_EU @EU_H2020
Taylor T Johnson @taylorjohnson
659 Followers 4K Following Safe & trustworthy AI & autonomy, Associate Professor @Vanderbilt_CS @ECEVanderbilt @verivital @VUEngineering @VanderbiltU, Alum @ECEIllinois & @RiceECE
Casper Thule @CThuleHansen
49 Followers 331 Following Software engineer with PhD in co-simulation and background in digital twins. Love reading! Dare to make decisions, a lost trait at times.
Avery @Maxbeautyhacks
20 Followers 500 Following Maxbeautyhacks is everything you ever wanted to know about beauty, fitness, health, relationships and the most interesting random occurrences.
International Council... @incose_org
4K Followers 510 Following INCOSE develops and disseminates the transdisciplinary principles and practices that enable the realization of successful systems.
Georgios Zervakis @Georgios_zm
66 Followers 699 Following DevOps Network Engineer - Elsevier, MSc Computer Security and Resilience, BSc Mathematics #elsevier #newcastleuni #universityofcrete #CCNA #ZCCP-PA #ZCCP-IA
J Christian Attiogbé @jcattiogbe
184 Followers 260 Following
Volker Stolz @fm_volk... @fm_volker
232 Followers 358 Following SE-Prof @ HVL. No longer really following Twitter, see pinned post. (Un)Professional Banter. 🇳🇴🇪🇺🇲🇴λ
Carl Gamble @_Carl_Gamble
55 Followers 146 Following
Fedica @FedicaHQ
371K Followers 2K Following Optimize, Visualize & Strategize With AI: All-in-One Social Media Publishing, Analytics, Listening & Analysis Platform.
Ken Pierce @kgpierce
20 Followers 9 Following
🇪🇺 DigitalNews_... @DigitalNews_EU
2K Followers 3K Following @SEZ_Europa providing latest news and results @HorizonEU @DigitalEU #H2020 #Industry40 #AI #ML #BigData #IoT #VR #Innovation Follow @SEZ_Europa @EUScienceInnov
Francisco Chicano @francischicano
632 Followers 609 Following Doctor Ingeniero en Informática, Licenciado en Ciencias Físicas, Catedrático de Lenguajes y Sistemas Informáticos en la Universidad de Málaga
BROKEL: Compartición... @BrokelShield
1K Followers 622 Following #SecurizacionDato #DLT #CyberSecurity #Blockchain #DigitalTransformation #CriticalInfrastructures #Quantum #GPDR #IA
CERBERO @CERBERO_h2020
134 Followers 188 Following
João P. Mendonça @j_p_mendonca
204 Followers 503 Following Information based manufacturing passionate ...
CITest_CPS @citest_cps
29 Followers 186 Following The first International Workshop on Employing Computational Intelligence Techniques for Testing and Validating Complex CPSs, collocated with QRS 2017 in Prague
HiPEAC @hipeac
4K Followers 2K Following Network driving European computing research and industry forward from #edge to #cloud to #IoT. Funded by the #EU #HPC #embedded #architecture #compilation
CPSwarm @CPSwarm_EU
303 Followers 394 Following CPSwarm is a H2020 EU funded project focused on Smart Cyber-Physical Systems
Marcus Kehrle @marcuskehrle
4K Followers 788 Following Head of UX @1und1 (@WEBDE, @GMX). I ♥ UX, good food, ☕ Espresso and living in Munich. I'm happy. #UX #Design #München
J Christian Attiogbé @jcattiogbe
184 Followers 260 Following
AMASS - ECSEL/H2020 @AMASSproject
154 Followers 115 Following AMASS (Architecture-driven, Multi-concern and Seamless Assurance & Certification of Cyber-Physical Systems) is a ECSEL/H2020 project #Cybersecurity #Safety #CPS
Jérôme Rocheteau @JeromeRocheteau
134 Followers 136 Following Associate Professor in Computer Science at the ICAM Engineering School of Nantes
alejandra_ruiz @a_ruizTECNALIA
94 Followers 77 Following
MEASURE @measure_project
301 Followers 1K Following Measuring Software Engineering https://t.co/alO7rfoSqE
MODELS-Eurostars @MODELSProjectEU
190 Followers 557 Following Developing an unified environment for the design of system applications on parallel platforms based on CPU, multicore, manycore, FPGA and heterogeneous SoCs.
FMI Info and News @FMI_Info
347 Followers 108 Following Unofficial news account about the FMI Standard, FMI usage and FMI tools.
International Council... @incose_org
4K Followers 510 Following INCOSE develops and disseminates the transdisciplinary principles and practices that enable the realization of successful systems.
ICT 2018 eu @ict2018eu
7K Followers 1K Following THIS ACCOUNT IS NO LONGER MAINTAINED. Follow @DSMeu for #ICT2020 and following events.
TAMS4CPS @TAMS4CPS
95 Followers 37 Following Trans-Atlantic Modelling and Simulation for Cyber-Physical Systems
TEMPO Project @ProjectTempo
30 Followers 30 Following TEMPO is a Cyber Physical Systems project that will develop technology to assist a move to decentralised and distributed control for Traffic Management.
SmartHG project @SmartHGProject
303 Followers 741 Following #FP7 #ICT #EU Project - #Energy Demand Aware Open Services for #SmartGrid Intelligent Automation
Jim Woodcock @JCPWoodcock
90 Followers 26 Following
UoY Computer Science @UoY_CS
6K Followers 535 Following News from the Department of Computer Science at the University of York
John Fitzgerald @NclFitz
485 Followers 449 Following Professor of Computer Science @computingncl, Dean for Strategic Projects @Sage_NCL. My views, not my employer's.
Einar Broch Johnsen @ebjohnsen
561 Followers 470 Following Professor, @UniOslo. Computer science, formal methods, distributed systems, cloud computing, digital twins, robotics. Mastodon: @[email protected]
FormaliSE @FormaliSEconf
392 Followers 95 Following FormaliSE is a conference series fostering integration between the formal methods and the software engineering communities. FormaliSE is co-located with ICSE.
Road2CPS @ROAD2CPS
246 Followers 255 Following Strategic action for future CPS through roadmaps, impact multiplication and constituency building
MONDO Project @mondo_project
244 Followers 648 Following EC FP 7 Project on Scalable Model Driven Engineering
CPSE Labs @CPSE_Labs
589 Followers 1K Following We are an EU-funded #H2020 project providing funding & support for Europe's innovative technology & engineering businesses.
Cyber-Physical Lab @Ncl_CPLab
563 Followers 1K Following Cyber-Physical Lab at Newcastle University. We research modelling & development for CPS and IoT: systems which link the real world with information processing.
Claire Ingram @_Claire_Ingram
2K Followers 5K Following Software engineering & innovation researcher. Interested in innovation, systems thinking, software design. All views my own, not my employer's.
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
Alessandra Bagnato @alebagnato
2K Followers 4K Following Research Scientist & Research Responsible at Softeam Software (Docaposte Group), https://t.co/Lg4wATBeqh, https://t.co/S81FVoLYy4
Envisage Project @EnvisageProject
104 Followers 57 Following EU FP7 project on model-based analysis of service-level agreements for cloud computing
Augusto Ribeiro @ari_beiro
136 Followers 335 Following Portuguese computer scientist living in Denmark. A bit of dev, a bit of ops.
Simon Foster @SimonLovesLogic
46 Followers 118 Following
石川冬樹 Fuyuki I... @fyufyu
875 Followers 620 Following Tweets are in Japanese. @jouhouken にてテストとか検証とかの研究。複雑なシステムを解きほぐす形式手法をしたり、進化計算でテスト作ったり。最近は自動運転の安全性と、AI for SE / SE for AI。20周年のトップエスイー代表。意見・見解は所属機関のものではありません。
kiniry @kiniry
1K Followers 1K Following Dad. Partner. Scientist. Activist. Maker. — He/Him Mastodon at @[email protected]
Sune Wolff @SuneWolff
115 Followers 135 Following Seeking alternative realities through AR, VR and MR.
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.
Aarhus Universitet @AarhusUni
21K Followers 1K Following Officiel konto for Aarhus Universitet. Vi tweeter på dansk om forskning, uddannelse og samarbejde. For tweets in English, follow @AarhusUni_int.
Kenneth Lausdahl @KennethLausdahl
28 Followers 29 Following
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.Trends for United States
182 B posts
46,3 B posts
61,4 B posts
168 B posts
197 B posts
38,8 B posts
64,9 B posts
7.022 posts
53,8 B posts
4.608 posts
4.839 posts
6.163 posts
4.493 posts
5.159 posts
130 B posts
36,2 B posts
2.434 posts
3.031 posts
8.880 posts
2.390 posts
You might like
Alessandra Bagnato
@alebagnato
2K Followers