Critical Systems Research Group

Critical Systems Research Group at @BME_en working on #systemsengineering, #DataAnalytics and #formalverification.

[Critical Systems Research Group @ftsrg_bme]

A new name, design and website: we are changing the name of our group from Fault Tolerant Systems Research Group to Critical Systems Research Group to reflect our current research focus. Check out our website: https://t.co/5M778h8wvi (currently in Hungarian)

[Critical Systems Research Group @ftsrg_bme]

Four of our MSc and PhD students presented their work at the FMCAD 2024 Student Forum. The topic of the conference is hardware and system verification. Our students' research focuses on software verification. More information: https://t.co/jWRmvrakMg

[Critical Systems Research Group @ftsrg_bme]

Our colleagues presented multiple papers in the MODELS 2024 conference and corresponding events. The presentations were about formal verification, the SysML language and our graph generator framework, Refinery.
More information: https://t.co/jumkv7gFjy
https://t.co/VPPQlusHLI

[Critical Systems Research Group @ftsrg_bme]

Our PhD students, Attila Ficsor, Mondok Milán @mondokmilan, Dóra Cziborová, Zsófia Ádám @zsofi_adam and Levente Bajci @bajczilevi presented their work at the 16th Alpine Verification Meeting in Freiburg. Slides are available on the website: https://t.co/gcusTiv9A3

[Critical Systems Research Group @ftsrg_bme]

On 4th July, we celebrated the 30th anniversary of our research group. We presented our recent results in blockchain, data analysis, model-based systems engineering, verification & testing, and graph-based reasoning.

https://t.co/hWKh3OWDnD

[Critical Systems Research Group @ftsrg_bme]

Our PhD student, Dániel Szekeres, presented his work on effective analysis of reliability models entitled "A Lazy Abstraction Algorithm for Markov Decision Processes" at the international ASMTA conference in Venice. https://t.co/wOTrsoQxyj

[Critical Systems Research Group @ftsrg_bme]

We participated in the #EELISA Scientific Student Competition 2024. Professor András Pataricza was the co-chairman of the organizing committee, and several other members assisted during sessions. In addition, our student, Ármin Zavada, won second prize at the event.

[EELISA European University Alliance @eelisa_eu]

This week in @unibme_official ! The #EELISA Scientific Student Competition has just started! A unique opportunity for #EELISAstudents to present their research work, allowing them to experience what scientific conferences look like.

[Critical Systems Research Group @ftsrg_bme]

Our colleague Attila Ficsor presented at @ICSEconf, the largest international software technology conference, where he demonstrated one of the department's latest developments, the Refinery graph generator. https://t.co/VPPQlusHLI

[Critical Systems Research Group @ftsrg_bme]

Co-authors: Dirk Beyer @beyer_dirk, Po-Chun Chien, Nian-Ze Lee, Nils Sirrenberg
Paper: https://t.co/6Co84YBRM8
Artifact: https://t.co/DFAXbdFa3L

[Critical Systems Research Group @ftsrg_bme]

The paper "Btor2-Cert: A Certifying Hardware-Verification Framework Using Software Analyzers", written by our PhD student, Zsófia Ádám @zsofi_adam, in collaboration with colleagues from @LMU_Muenchen received the Distinguished Artifact Award at TACAS 2024 @ETAPSconf.

[Critical Systems Research Group @ftsrg_bme]

We proudly announce that Theta, a model verification framework developed by our research group, has won the "LIA-Lin-Arrays" category of CHC-COMP, a competition for constrained Horn-clause solvers. In addition, Theta finished third place in the "LIA-Arrays" category.

[Critical Systems Research Group @ftsrg_bme]

Three of our colleagues, Zsófia Ádám @zsofi_adam, Levente Bajczi @bajczilevi and Csanád Telbisz have
presented papers at the SV-COMP session, chaired by @beyer_dirk at @ETAPSconf yesterday.

[Critical Systems Research Group @ftsrg_bme]

Last week we had the pleasure to welcome one of our alumni, István Dávid (https://t.co/ETfjBxlFmb) from McMaster University to present his latest research. Thanks for the talk 'Digital Twins: Frontiers of Research'

[Zoltan Micskei @micskeiz]

Our paper "Pragmatic verification and validation of industrial executable SysML models" has been published in @incose_org Systems Engineering. A collaboration between @ftsrg_bme, @IncQueryLabs, NASA JPL and TMT. Some lessons 🧵👇

https://t.co/P4QbLBvfFo

[Critical Systems Research Group @ftsrg_bme]

How to protect sensitive information in a #blockchain based #BPMN business process between participants? Check out our novel approach that uses zero-knowledge proofs in #smartcontracts to protect the state of the process. 👇

https://t.co/QGLTPrYt8S

[Critical Systems Research Group @ftsrg_bme]

Congratulations to @zsofi_adam for a joint #NFM2023 paper with researchers from CERN and NASA. They integrated the FRET formal #requirement elicitation framework with the PLCverif #verification tool to help engineers specify more precise requirements.

[Anastasia Mavridou @anmavrid]

Great news! Our paper was accepted at the NASA Formal Methods (NFM) symposium. It describes work on integrating FRET into CERN's PLCverif tool for the verification of Programmable Logic Controllers (PLCs). The tool chain was used on two critical CERN case studies. #NFM2023 #FRET

[Critical Systems Research Group @ftsrg_bme]

The Brazilian Symposium on Formal Methods (SBMF) 2022 will start tomorrow. The PC co-chairs, Lucas Lima and our member, Vince Molnár prepared an exciting program with multiple keynotes & tutorials.

Check out the full program: https://t.co/DVP9iBFQYo

#formalmethods #conference

[Critical Systems Research Group @ftsrg_bme]

PhD and BSc students from our research group presented their work at #FMCAD, a prestigious conference on #formalverification, in the form of a short talk and posters.
Check out the abstracts of the talks at the student forum: https://t.co/Bli28A5ugs

[@[email protected] @k_marussy]

will be presenting joint work with my wonderful student Máté Földiák, as well as with Dániel Varró and István Majzik @ftsrg_bme "System Architecture Synthesis for Performability by Logic Solvers" at @modelsconf on 10.26 at 11:07 https://t.co/yRUdA2igQ8

[Critical Systems Research Group @ftsrg_bme]

Join tomorrow our #SysMLv2 overview by @scienceofvince, followed by a panel discussion about systems engineering with @IncQueryLabs and partners from the EMBRaCE @ITEA_4 project.

[IncQuery @IncQueryLabs]

Join us tomorrow at 2 PM (CET) at the Budapest University of Technology and Economics and listen to our discussion titled "The Future of Systems Engineering? - An open discussion around #SysMLv2".
Click to sign up for the event. https://t.co/iPn7IBF74J