CSCS10 conference in Szeged

Submitted by Zoltán Ujhelyi on Mon, 2010-07-05 14:00

Three PhD students from the group displayed their research results on the Conference of PhD Students in Computer Science (CSCS) in Szeged between June 29 and July 2. 2010. Tamás Demián gave an introduction in Common Logic, István Szombath talked about his results about infrastructure dependency detection, while Zoltán Ujhelyi presented a type checker solution for model transformation programs.

The talk of István Szombath was rewarded with an Excellent Talk of the Session award.

FTSRG organizes the leading dependable computing conference in 2013

Submitted by András Pataricza on Mon, 2010-07-05 00:00

The most renoved conference series in the field of dependable computing (IEEE Dependable Systems and Networks) decided at its business event, held in Chicago at DSN 2010, to organize DSN 2013 in Budapest with Prof. András Pataricza acting as the General Chair.

Presentation at the PFARM Workshop of IEEE DSN

Submitted by András Pataricza on Mon, 2010-07-05 00:00

Prof. András Pataricza participated at the most renowed conference of the dependable computing community, IEEE Dependable Systems and Networks conference. He presented a paper at the PFARM Workshop(Proactive Failure Avoidance, Recovery and Maintenance) entitled „Qualitative Performance Control in Supervised IT Infrastructures” which was co-authored by Gergely Janos Paljak, Zoltan Egel, Daniel Toth, Imre Kocsis and Tamas Kovacshazy. Read more »

RDCS2010 workshop and ICDCS conference

Submitted by András Kövi on Mon, 2010-06-21 11:48

On the Resilience of Distributed Computing Systems workshop (RDCS 2010), held on 2010. June 21st in Genoa, Italy, András Kövi presented their paper, coauthored by Zoltan Micskei, titled "Robustness Testing of Standard Specifications-based HA Middleware". The workshop mainly aimed at disseminating the results of the AMBER project, and besides the paper talk, Andras also held a presentation on the usage of the RAW Data Repository. Read more »

The DIANA project is accepted by the EC with flying colors

Submitted by Ákos Horváth on Tue, 2010-06-15 00:00

DIANA (Distributed, Equipment Independent ENvironment for Advanced AvioNics Applications) EU-FP6 project pushed forward the specification and design of the next generation Integrated Modular Avionics (IMA) platform by evaluating integrated formal methods, Model Driven Engineering and Safety Critical Java. FTSRG created a prototype Model Based tool chain for the design and development of Safety Critical Java applications over avionics ready Real Time Operating System based on the ARINC653 standard. Read more »

Demonstration in Oxford about our model based test case generation tool

Submitted by Balázs Polgár on Sat, 2010-05-29 00:00

The prototype of our model based test case generation tool is available, what we have demonstrated to MOGENTES partners in Oxford at the quarterly technical project meeting on May 27-28, 2010. We have also presented our improved ontology based model checking tool and the traceability component of our tool integration framework. The university was represented by Dr. András Pataricza and Dr. Balázs Polgár. Read more »

Participation in the SecureChange General Assembly in Trento

Submitted by Gábor Bergmann on Thu, 2010-05-13 13:42

During 10-12 May 2010 Dániel Varró and Gábor Bergmann participated in a meeting of the SecureChange research project held in Trento, Italy. 23 members of 12 partner institutions were present. The discussion ranged from presenting and overviewing recent progress and reflecting to reviewers' comments to integration plans between work packages.

e-Freight platform meeting (Athens, Greece)

Submitted by András Kövi on Thu, 2010-03-25 01:00

WP2 of the e-Freight project held its meeting in Athens, Greece. The objective of the gathering was to concretize the requirements, understand the operating environment and outline the overall functionality of the e-Freight platform. During the two day meeting the partners presetented their requirements and discussions were conducted on the development methodology and the possible functionalities of the platform.

MOGENTES project is on the right way

Submitted by Balázs Polgár on Fri, 2010-03-12 01:00

The MOGENTES consortium presented the results of the last year to officers and reviewers of the Europian Union in Vienna on March 11, 2010. The officers welcomed the achievements. Our university was represented by Prof. András Pataricza. Read more »

Succesfull MOGENTES review

Submitted by András Pataricza on Fri, 2010-03-12 01:00

Prof. Dr. András Pataricza represented BME at the actual review meeting of the MOGENTES FP7 research project. He presented the main contributions of BME: an ontology based model syntax check engine, the SOA-based tool integration framework, the qualitative abstraction based high level test generator and the UPPAAL model checker based ATPG approach. Read more »

Syndicate content

Languages

  • English
  • Magyar

BME EduID Sign on

Login

User login