Concurrent and Distributed Systems Group
Group Focus
models for concurrent, parallel and distributed systems formal methods specification and verification applications in security
Members
- Damas Gruska (head)
- Mikuláš Pataky (PhD student)
- Michal Kováč (PhD student)
- Kamil Kuboň (PhD student)
Projects
VEGA - Knowledge representation for ambient intelligence (2012 - 2015)
VEGA - Network computing Nonstandard models of computing - specification, complexity and security (2006 - 2008)
VEGA - Models for concurrent, parallel and intelligent computing (2000 - 2002)
Publications
Conference papers: http://alis.uniba.sk:9909/search/query?match_1=MUST&field_1=text&term_1=Gruska+Damas&match_2=PHRASE&field_2=text&term_2=AFC&match_3=SHOULD&field_3=text&match_4=NOT&field_4=text&theme=EPC …