Ran Wei

I am pleased to announce that our paper: Designing Critical Systems with Iterative Automated Safety Analysis has been accepted by the 59th Design Automation Conference (@58_59DAC). Thanks to all for your enormous contribution.

@lady_valor_07 Women

Women deal with periods, pregnancy, menopause wtf do men deal with ?

@3YearLetterman @GreenlandMFA @GreenDay 😂😂😂 Can you take a wild guess why it is called English”

I completely OPPOSE acquiring Greenland 🇮🇸, and here’s why: 1. Not interested in acquiring a giant block of ice floating near Antarctica 2. They don’t speak any English. America is the birthplace of the English language, so at a minimum any territory we acquire to share our language 3. How many Olympic metals do they have? Zero. How many SEC championships do the have? Zero. How many times did they single handedly win a world war? Zero 4. Not interested in the Green Movement, let alone a country named after it 5. They are not churchgoing Christians but are nonbelieving Europoors. Jesus was a great American who literally wrote the Bible, so at a minimum they need to share our religion

@HelsinkiTimes What a pathetic cunt

Finnish MP Juho Eerola is under fire after posting a “Je suis Sarah” profile photo mimicking the eye-pulling gesture that cost former Miss Finland Sarah Dzafce her title. Eerola denies the image is racist and says it was “for fun”, while critics say it normalises racial stereotyping of people of East Asian origin. helsinkitimes.fi/finland/finlan…

@songpinganq @iamyesyouareno Says whom?

@iamyesyouareno Be careful what you wish for!! China's digital wallet WeChat (or Alipay) only allows people with a social credit score of 550 or higher to buy food from these self service KFC food trucks or recharge their electric cars. You will be controlled by digital currency.

Self driving and self service KFC food truck in China. Imagine what would happen if you release this thing in any large Western city. We can’t have nice things anymore.

BREAKING: Federal Documents Prove Obama Ordered The Creation Of COVID-19 In 2015 Renowned Lawyer Tom Renz & Alex Jones Lay Out The Stunning Historical Fact That COVID-19 Has Been A Long-Term Deep State Project, And That Not Only Was It Created In A Lab, It Was Mae Right Here In America @RenzTom » WATCH/SHARE THE LIVE X STREAM HERE: x.com/i/broadcasts/1…

Interested in doing a postdoc on integrating information across closed-world (e.g. EMF models) and open-world systems (e.g. Semantic Web), while contributing to open source? Consider applying to our Research Fellow position at York! jobs.york.ac.uk/vacancy/resear…

You DON'T need LLMs to instantiate assurance cases, why would people even think about this?!?!

Intel's Pentium processor (1993) was a big jump in processor performance, starting a brand that lasted until 2023. But what's inside the Pentium chip? How did Intel organize its 3.3 million transistors? Let's take a look inside and see the chip's "standard cells". 1/21

I am pleased to announce that our paper: “Towards an Extensible Model-Based Digital Twin Framework for Space Launch Vehicles” has been accepted by the Journal of Industrial Information Integration. Early and open access here: sciencedirect.com/science/articl…

@Ryanair Wost airline ever. Complete rubbish.

Seedcorn funding at MDENet is open again. Apply and see your project blossom. If you know someone who has an idea for a collaboration driven by the software industry or by stakeholders that could benefit from MDE, refer them here: community.mde-network.org/posts/17180841

@nellybencomo @NHS @AIHS_DurhamCS Congrats!

Good news: I was granted the EPSRC IAA Project weDecide: Clinical Tool for Shared Decision-Making for Treatment of Menopause Symptoms with the @NHS as a non-academic partner & Prof Monekoso as Co-PI @AIHS_DurhamCS @AIHS_DurhamCS We will use RL / Bayesian Inference for it

Heathrow Terminal 4 just hit a new low in terms of service quality. Nicely done.

Got flooded by messages again... OMG

@HoracioHoyosR Cos money?

Why are technology companies so reluctant to help others integrate their tools with other technologies?

@richpaige Wow

Eek! #models22 #yorkuk #mcmaster

#FF are you already following our @AAIP_York account and my @UoY_CS colleagues...? Do follow @LisagorOleg @rdhawkins @RobDAlexander @McDofYork @VJHodge @simosgerasimou @harisaftab07 @anamacintosh @Picardi_Chiara @DrCPaterson @doublev_i_ll @GheraibiaYoucef @IHabli +more!!

@antoniogado Utterly advanced, indeed.

I didn't know that we were looking into clean divorces all this time along...

Generating and rendering Graphviz dot diagrams from EMF models with EGL in the online Epsilon Playground eclipse.org/epsilon/live/?…