ICGT10 konferencia Enschedeben

Hegedüs Ábel és Ujhelyi Zoltán doktoranduszok, valamint Varró Dániel, egyetemi docens részt vettek a 5th International Conference on Graph Transformations konferencián 2010. szeptember 27 - október 1. között Enschedeben (Hollandia). Tovább »

Nikolas Nehmer: Enforcing consistency in the presence of exceptions

Okt.1-én (pénteken) 13:00-kor az I.L. 405.-ben Nikolas Nehmer (TU Kaiserslautern) "Enforcing consistency in the presence of exceptions" címmel előadást tart. Tovább »

SEFM 2010 konferencia Pisaban

A 2010. szeptember 13. és 16. között Pisaban (Olaszország) megrendezett  8th IEEE International Conference on Software Engineering and Formal Methods (SEFM) konferencián a csoport kutatási eredményeivel szerepelt Hegedüs Ábel doktorandusz, aki a szimulációs utak modelltranszformáció alapú visszavetítésének kihívásait vizsgálta. A prezentáció mellett poszterrel és eszköz demonstrációval is részt vett a csoport a konferencián.

ERCIM/DECOS/MOGENTES workshop Bécsben

 2010. szeptember 14-én a SAFECOMP 2010 konferencia keretében kerültek bemutatásra a MOGENTES projekt eredményei. Az ERCIM/DECOS/MOGENTES workshopon Polgár Balázs és Kövi András adtak elő a BME-n elért eredményekről: a Mogentes tool integrációs platformjáról és a kvalitatív hibamodellezésről. Tovább »

GRABATS 2010 nemzetközi workshop

2010. szeptember 28-án, a hollandiai Enschede-ben kerül megrendezésre Varró Dániel társszervezésében a GRABATS 2010 (4th International Workshop on Graph Based Tools) nemzetközi workshop. A workshopon bemutatásra kerül Hegedüs Ábel, Ujhelyi Zoltán, Horváth Ákos és Ráth István "Visualization of Traceability Models with Domain-specific Layouting" című cikke is.

 

e-Freight meeting (Roosendaal, Hollandia)

Az e-Freight projekt WP1 (Work Package) keretein belül a projekt érintett partnerei találkoztak Roosendaalban, Hollandiában, hogy a BC3 - Road Transport Business Case business case követelményeit megvitassák. Ebben a business case-ben a Jan de Rijk Logistics és a PTV partnerek segítségével demonstráljuk a projekt hasznosságát a közúti szállítmányozásban. A csoport részéről Kövi András vett részt a megbeszélésen. Tovább »

Tanévnyitó tanszéki értekezlet

A mai napon tartotta a tanszék a szokásos tanévnyitó értekezletét. Külön meghívott vendégeink voltak Péceli Gábor rektor úr és Vajta László dékán úr, akik az egyetem kutatóegyetemmé válásának fontosságáról és részleteiről tartottak előadást. Emellett bemutatkoztak az új doktoranduszok, előadásokat hallottunk az új projektekről, valamint a folyamatban lévő tanszéki web-portál továbbfejlesztésről. Tovább »

A SecureChange EU projekt Budapesten

A SecureChange EU projekt következő megbeszélését Budapesten tartja szeptember 13-15 között, melynek az FTSRG csoport ad otthont. A megbeszélés során az informatikai rendszerekben bekövetkező változások biztonsági hatásait kiértékelő módszereket és eszközöket fejlesztik tovább a 10 országból ide érkező kutatók és szakemberek. Bővebb információ: http://www.securechange.eu

Autonóm rendszerek tesztelése - R3-COP megbeszélés Erlangenben

A májusban elindult R3-COP ARTEMIS projekt WP4.2-es és WP4.3-as munkacsoportjának első megbeszélését az Universität Erlangen-Nürnberg szervezte. A megbeszélés során a résztvevők a V&V részfeladatokkal foglalkozó munkacsoport céljait tekintették át, majd ezután a partnerek (Austrian Institute of Technology GmbH, BME, Brno University of Technology, Friedrich-Alexander Universität Erlangen-Nürnberg, Inst. of Mathematics and Computer Science of the University of Latvia, Siemens AG) bemutatták korábbi kapcsolódó kutatási eredményeiket. Tovább »

CSCS10 doktorandusz konferencia

A 2010. június 29. és július 2. között Szegeden megrendezett Conference of PhD Students in Computer Science (CSCS) doktorandusz konferencián a csoport kutatási eredményeivel szerepelt három doktorandusz. Demián Tamás a Common Logic megközelítést ismertette, Szombath István függőségek automatikus felderítése kapcsán elért eredményeit mutatta be, míg Ujhelyi Zoltán modelltranszformációs programok típushelyességét vizsgálta.

Szombath István előadását Excellent Talk of the Session díjjal jutalmazták.

Tartalom átvétel