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.

SecureChange meeting and ATM workshop in Rome

  This week in Rome, the SecureChange EU research project had one of the most important meetings of its third year, preceded by a lesser scale industrial validation event.

  On Monday and Tuesday, DeepBlue consulting&research invited project members involved in the Air Traffic Management (ATM) case study to its Rome office, where relevant results of the project were presented in front of industrial experts with air traffic and flight security backgrounds. One of the showcased prototypes was the SeCMER tool of work package WP3, based on the EMF-IncQuery technology developed at our research group. The interactive programme of the workshop, aiming to gather industrial feedback, provided valuable operational experience. Our department was represented by Gábor Bergmann at this event. Read more »

EMF-IncQuery tutorial on the EC-MFA 2011 conference

Representing our research group, István Ráth has presented a tutorial on EMF-IncQuery at the Seventh European Conference on Modeling Foundations and Applications in Birmingham. The tutorial has covered basics, practical applications, novel features and fresh developments of the IncQuery technology, and has been exceptionally well received by the enthusiastic audience. Our industrial partners in the SecureChange project have expressed their interest in evaluating IncQuery for industrial applications. Read more »

Syndicate content