Dr. Pataricza András a Workshop on Software Certification programbizottságában

Dr. Pataricza András egyetemi tanárt tagként meghívták a szoftver megbízhatóság legrangosabb, az IEEE Computer és Reliability Társaságai által közösen szervezett, ipari dominanciájú  nemzetközi konferenciájának, az ISSRE (24th IEEE International Symposium on Software Reliability Engineering, Pasadena, USA) keretében szervezendő "3rd International Workshop on Software Certification (WoSoCer 2013)" c. workshop programbizottságába. Tovább »

Részvétel Dagstuhl szemináriumon

Kutatócsoportunk oktatója, Dr. Varró Dániel május 20. és 24. között részt vett egy Dagstuhl szemináriumon a fogalmi sémák feletti következtetések témájában. Tovább »

Varró Dániel az MTA doktora

Dr. Varró Dániel, a kutatócsoport oktatója március végén sikerrel védte meg a Magyar Tudományos Akadémián disszertációját, és az MTA május 17-i döntése alapján elnyerte az MTA doktora címet a Műszaki tudományok területén. 

Poszter az Ericsson University Exhibition rendezvényen

Csoportunk a "Formal Verification of State Machine Models" poszterrel szerepelt az Ericsson valamint a BME és az ELTE kutatócsoportjainak együttműködését bemutató "Ericsson University Exhibition" rendezvényen. Tovább »

Meghívás rangos konferencia Irányító Testületébe

Dr. Pataricza András egyetemi tanárt meghívták az IEEE SRDS (Symposium of Reliable Distributed Systems) Irányító Testületébe. A rendezvénysorozat szakterülete az elosztott rendszerek tervezése, fejlesztése és értékelése különös tekintettel a megbízhatóság, rendelkezésre állás, biztonságosság, adatbiztonság és a valós idejű alkalmazások aspektusaira. Tovább »

Kocsis Imre meghívása egy IT méréstechnika témájú IEEE Workshop programbizottságába

A csoport tagjai közül Kocsis Imre tsmts és Pataricza András professzor meghívást kaptak a 2013 októberében az IEEE Műszer és Méréstechnika Társasága által Nápolyban rendezendő 2nd IEEE International Workshop M&N 2013  programbizottságába. Az M&N workshop sorozat fő témája az IT rendszerek méréstechnikája és a hálózatosítás kölcsönhatásának vizsgálata. Tovább »

Vendégkutatók érkeztek hozzánk

A CECRIS projekt keretében május 6-ától június 28-ig három vendégkutatót fogad a kutatócsoportunk. A kutatók közül ketten az olaszországi Resiltech s.r.l.-től érkeztek, egy kutató pedig a portugáliai székhelyű Critical Software-től. Tovább »

Meghívott előadás a jubileumi tizedik Simonyi Konferencián

Idén Horváth Ákos  munkatársunk tartott meghívott előadást a jubileumi tizedik Simonyi konferencián. Előadásának témája a repülőgépiparban alkalmazott szoftverfejlesztési sajátosságok ismeretetése és a csoport által az utóbbi években alkalmazott modellvezérelt fejlesztési módszerek ismeretetése volt.

  Tovább »

"Advances and Applications in Model-Driven Engineering" könyvfejezet

Tanszékünk munkatársa (Gönczy László) és hallgatója (Dávid István) által írt "Ontology-Supported Design of Domain-Specific Languages: A Complex Event Processing Case Study" könyvfejezet jelent meg az "Advances and Applications in Model-Driven Engineering" című könyvben. Az szerzők bevezetik a domain-specifikus nyelvcsaládok fogalmát és egy lehetséges fejlesztési módszert mutatnak be az eseményfeldolgozás szakterületéről származó konkrét esettanulmányon keresztül. Tovább »

Hallgatóink sikerei az OTDK konferencián

Hallgatóink 6 előadást mutattak be a XXXI. OTDK Informatika Tudományi Szekciójában, melyeket a bizottság két első, három második hellyel, és további 3 kiosztott különdíjjal jutalmazott. A dolgozatok a Szoftverfejlesztés és Rendszertervezés szekciókban kerültek bemutatásra. Tovább »

Tartalom átvétel