IBM Watson előadás

Kocsis Imre, v, 2015-04-26 00:36

Április 24-én Salil Ahuja, az IBM Watson Senior Product Manager-e tartott ismertetőt tanszékünk oktatóinak és kutatóinak a Watson Developer Cloud képességeiről. A Watson Developer Cloud olyan mesterséges intelligencia funkciókat tesz felhőben futó alkalmazások számára könnyen elérhetővé pl. az IBM Bluemix felhőplatformon, mint amiket a 2011-ben az amerikai Jeopardy! kvízjátékot megnyerő Watson számítógéprendszer is használ.

Tovább »

Kutatócsoportunk cikkei az ICST konferencián

Micskei Zoltán, h, 2015-04-20 22:29

Kutatócsoportunk két cikkel is képviseltette magát az idei IEEE International Conference on Software Testing, Verification and Validation (ICST) konferencián. Az ICST az egyik legrangosabb, kifejezetten szoftverteszteléssel foglalkozó tudományos konferencia. A konferenciára való bekerülésért idén is komoly verseny folyt (132 beküldött cikkből 32-t fogadtak el a bírálatok után).

Tovább »

Három hallgatónk vesz részt a "CERN Summer Student Programme" programban

Vörös András, cs, 2015-04-16 15:55

Nagy örömünkre szolgál, hogy kutatócsoportunk három MSc-s hallgatója felvételt nyert a svájci CERN központba (Európai Részecskefizikai Laboratórium). Hallgatóink sikeréhez hozzájárult a tanszékünkön írt TDK győztes dolgozat és a tanszékünkön végzett oktatási munka. A TDK dolgozatok megtekinthetők az alábbi linkeken: Tovább »

"Robots on the rise"

Majzik István, h, 2015-03-30 13:27

Sikerrel zárult az R5-COP projekt első évének szakmai értékelése március 26-án Brüsszelben. Kutatócsoportunkból Majzik István mutatta be az inkrementális teszteléssel és futásidőbeli verifikációval foglalkozó munkacsomag eredményeit. A projekt 2015-ben is megnyerte az ARTEMIS Co-Summit "Exhibition Award" díját. Tovább »

Az R5-COP projekt éves megbeszélése

Majzik István, h, 2015-02-02 17:54

2015. január 21-22-én került sor az R5-COP - Reconfigurable ROS-based Resilient Reasoning Robotic Cooperating Systems (Átkonfigurálható ROS-alapú rugalmas és intelligens kooperatív robot rendszerek) ARTEMIS projekt éves megbeszélésére Rigában. A projektben csoportunk feladata új tesztelési és verifikációs módszerek kidolgozása. Tovább »

Csoportunk részt vesz a verifikáció és szoftver analízis egyik legrangosabb nemzetközi konferenciáján

Vörös András, p, 2014-12-19 21:28

Kutatócsoportunk nemzetközi szinten is kiemelkedő eredményt ért el a TACAS 2015 (International Conference on Tools and Algorithms for the Construction and Analysis of Systems) tudományos konferencián.

Tovább »

Meghívott előadás a CERN-ben

Majzik István, v, 2014-11-23 19:41

A CERN genfi központjában tartott "Specification based test case generation and monitor synthesis" címmel meghívott előadást kutatócsoportunk oktatója, dr. Majzik István. Tovább »

Sikerek diplomaterv pályázaton

Majzik István, v, 2014-11-23 19:31

Kutatócsoportunk két hallgatója kapta meg október 29-én a Pro Progressio Alapítvány által odaítélt diplomaterv illetve szakdolgozat ösztöndíjat.Ilyen ösztöndíjban egyetemünk minden karáról egy-egy hallgató részesült.  Tovább »

Hallgatóink sikerei az idei TDK konferencián

Szatmári Zoltán, cs, 2014-11-13 08:46

Kutatócsoportunkhoz köthető hallgatók idén újra kiemelkedő számú, összesen 10 TDK munkával pályáztak az idei konferencián és ezek értékelése után a bizottság 5 db első, 3 db második és 2 db harmadik díjat ítélt oda nekik. A bemutatott dolgozatok részben új kutatási, részben pedig alkalmazási eredményeket foglaltak össze. Tovább »

Szakiránybemutató 2014. november 18-án

Micskei Zoltán, k, 2014-10-28 17:21

Szeretettel várjuk a BSc és MSc mérnökinformatikus hallgatókat a Hibatűrő Kutatócsoport által gondozott Rendszertervezés BSc ágazat és Kritikus rendszerek MSc főspecializáció

2014. november 18-án 15:00-18:00 óra között az IB019-es teremben

tartandó bemutatójára. Tovább »

Tartalom átvétel

Nyelvek

  • English
  • Magyar

Belépés

Navigáció