Critical Systems Research Group at @BME_en working on #systemsengineering, #DataAnalytics and #formalverification.
Joined May 2020
- Tweets 69
- Following 25
- Followers 54
- Likes 13
19 Photos and videos
Pinned Tweet
4 Dec 2020
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: ftsrg.mit.bme.hu/ (currently in Hungarian)
4
12
6 Dec 2024
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: fmcad.org/FMCAD24/student_fo…
1
5
221
11 Nov 2024
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: conf.researchr.org/home/mode…
refinery.tools/
3
149
24 Sep 2024
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: avm2024.informatik.uni-freib…
1
3
131
26 Jul 2024
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.
speakerdeck.com/ftsrg/resear…
3
84
27 Jun 2024
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. asmta.eu/
5
111
17 Jun 2024
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.
10 Jun 2024
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.
1
4
191
1 May 2024
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. refinery.tools/
2
94
17 Apr 2024
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.
1
1
3
112
17 Apr 2024
Co-authors: Dirk Beyer @beyer_dirk, Po-Chun Chien, Nian-Ze Lee, Nils Sirrenberg
Paper: link.springer.com/chapter/10…
Artifact: doi.org/10.5281/zenodo.10548…
50
14 Apr 2024
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.
5
67
9 Apr 2024
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.
2
5
136
24 Oct 2023
Last week we had the pleasure to welcome one of our alumni, István Dávid (istvandavid.com/) from McMaster University to present his latest research. Thanks for the talk 'Digital Twins: Frontiers of Research'
131
Critical Systems Research Group retweeted
15 May 2023
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 🧵👇
incose.onlinelibrary.wiley.c…
1
2
8
600
22 Mar 2023
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. 👇
arxiv.org/abs/2303.10500
88
9 Mar 2023
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.
7 Mar 2023
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
1
1
7
285
5 Dec 2022
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: sites.google.com/dcomp.ufs.b…
#formalmethods #conference
3
1
2
28 Oct 2022
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: easychair.org/smart-program/…
1
5
Critical Systems Research Group retweeted
26 Oct 2022
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 conf.researchr.org/details/m…
3
3
1 Jun 2022
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.
1 Jun 2022
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. bit.ly/3wXyNnf
2
Critical Systems Research Group retweeted
19 May 2022
📄New preprint on assessing #modeling language #semantics: researchsquare.com/article/r… 💡We have uncovered good practices and current challenges based on #UML PSSM w.r.t conformance test suites, representing semantic concepts and execution traces.
1
2
5