SecureChange General Assembly in Paris

The current General Assembly of the EU research project SecureChange was held in Paris between 19-21 October, and hosted in the modern office of the Paris branch of the INRIA research institute. Our research group was represented by dr. Dániel Varró, dr. István Ráth and Gábor Bergmann.

Data analysis cloud with the support of IBM DSS

 IBM DSS Ltd. (the storage facility of IBM located at Vác) donated a computer cluster consisting of 10 servers, which will support the educational and research activities of the group. The servers will perform intelligent analysis on large data series, and illustrate the application of state of the art cloud computing and virtualization technolgies in modern computing systems.  Read more »

AGTIVE'11 symposium organized at BME

This October, our university had the honour of hosting the newest installation of the quadrennial AGTIVE (Applications of Graph Transformation With Industrial Relevance) symposium. Local organization tasks were shared between our research group and our collegeagues from the AAIT department. The event attracted 40-50 guests from European and American universities (primarily from Germany), ranging from PhD students to acclaimed professors. The participants presented and debated the newest scientific results of the field, experience in industrial appliaction, and software tools, in BME's brand-new Building Q. Tuesday evening's welcome reception in Buda Castle, Thursday's riverside conference banquet, and the sightseeing tour on Friday all contributed to enriching the programme.

VL/HCC 2011 conference in Pittsburgh

The VL/HCC sympsium (IEEE Symposium on Visual Languages and Human-Centric Computing) was hosted by Pittsburgh (PA) between September 18-22. Established in 1984, the mission of the conference is to support the design, theory, application and evaluation of computing technologies and languages for programming, modeling and communicating, which are easier to learn, use, and understand by people. Some of the companies participating in the conference are National Instruments (LabView), Microsoft, Northwoods, and AgentSheets. Read more »

Second SecureChange ATM workshop in Rome

Last week in Rome, Work Package 3 of the SecureChange EU research project conducted one of the final industrial validation events of its requirements engineering methodology. Read more »

ESEC/FSE 2011 & SSBSE 2011

Two PhD students from our group, Zoltán Ujhelyi and János Oláh participated in the "European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering  2011" (ESEC/FSE) international conference that was held in Szeged, Hungary.

Parallel model checking presentation at the ISPDC 2011 conference

Representing our group, András Vörös gave a presentation at the " The 10th International Symposium on Parallel and Distributed Computing (ISPDC 2011) " international conference, at Cluj Napoca. The title of the presentation is "Parallel Saturation Based Model Checking" and it summarized the recent advances in the parallelization of model checking algorithms developed at our research group.

The homepage of the conference: Read more »

Huawei scholarship won by two students from our group

Attila Jámbor and Tamás Szabó won the 2011 Huawei research scholarship, which includes an 1850$ award and an opportunity to visit the Huawei research institute in China mainland.

Congratulations to both of them!

EMF-IncQuery paper presented at ICMT 2011 in Zürich

Spanning from 27 June to 1 July, the Swiss Federal Institute of Technology Zürich (ETH) hosted the newest installment of the TOOLS Conference Series. This scientific event of world-wide importance encompassed four conferences (ICMT, TAP, SC, TOOLS Europe) and eight tematic workshops.

ICMT 2011, held at 27-28 June, featured a paper on the topic of EMF-IncQuery by researchers from our group. The corresponding talk was given by Gábor Bergmann on 27 June, and was received with interest, sparking debate that pointed towards interesting new research directions. Read more »

Dániel Varró joins the editorial board of the Software and Systems Modeling journal

Dániel Varró was invited to join the editorial board of the Software and Systems Modeling (SoSyM) journal, published quarterly by Springer.

Syndicate content