Component Group

Members

Name	Contact	Research topics
Tomáš Bureš	+420 221 914 236 more ... Full name: RNDr. Tomáš Bureš, Ph.D. Email: bures<at-sign>d3s.mff.cuni.cz Web: http://d3s.mff.cuni.cz/~bures/ Phone: +420 221 914 236 Office: Room No. 204 Malostranské náměstí 25 118 00 Praha 1 Czech Republic	component connectors
Petr Hnětynka Group leader	+420 221 914 143 more ... Full name: RNDr. Petr Hnětynka, Ph.D. Email: hnetynka<at-sign>d3s.mff.cuni.cz Web: http://d3s.mff.cuni.cz/~hnetynka/ Phone: +420 221 914 143 Office: Room No. 212 Malostranské náměstí 25 118 00 Praha 1 Czech Republic	component-based systems model-driven development services
Ilias Gerostathopoulos	+420 221 914 236 more ... Full name: Ilias Gerostathopoulos Email: iliasg<at-sign>d3s.mff.cuni.cz Web: http://d3s.mff.cuni.cz/~iliasg/ Phone: +420 221 914 236 Office: Room No. 204 Malostranské náměstí 25 118 00 Praha 1 Czech Republic	Model-driven development of real service-oriented systems
Pavel Ježek	+420 221 914 235 more ... Full name: Mgr. Pavel Ježek Email: jezek<at-sign>d3s.mff.cuni.cz Web: http://d3s.mff.cuni.cz/~jezek/ Phone: +420 221 914 235 Office: Room No. 204 Malostranské náměstí 25 118 00 Praha 1 Czech Republic	formal verification of components' behavior application of behavior protocols
Jaroslav Keznikl	+420 221 914 236 more ... Full name: Mgr. Jaroslav Keznikl Email: keznikl<at-sign>d3s.mff.cuni.cz Web: http://d3s.mff.cuni.cz/~keznikl/ Phone: +420 221 914 236 Office: Room No. 204 Malostranské náměstí 25 118 00 Praha 1 Czech Republic	software architectures formal modeling of software systems model-driven development component-based development
Michal Kit	+420 221 914 236 more ... Full name: Michal Kit Email: kit<at-sign>d3s.mff.cuni.cz Web: http://d3s.mff.cuni.cz/~kit/ Phone: +420 221 914 236 Office: Room No. 204 Malostranské náměstí 25 118 00 Praha 1 Czech Republic
Michal Malohlava	+420 221 914 236 more ... Full name: RNDr. Michal Malohlava Email: malohlava<at-sign>d3s.mff.cuni.cz Web: http://d3s.mff.cuni.cz/~malohlava/ Phone: +420 221 914 236 Office: Room No. 204 Malostranské náměstí 25 118 00 Praha 1 Czech Republic	model-driven development component-based development domain-specific languages real-time and embedded systems
František Plášil	+420 221 914 266 more ... Full name: prof. Ing. František Plášil, DrSc. Email: plasil<at-sign>d3s.mff.cuni.cz Web: http://d3s.mff.cuni.cz/~plasil/ Phone: +420 221 914 266 Fax: +420 221 914 323 Office: Room No. 212 Malostranské náměstí 25 118 00 Praha 1 Czech Republic	component-based programming, SOA behavior specification and verification, model checking object-oriented and distributed systems
Tomáš Pop	+420 221 914 121 more ... Full name: RNDr. Tomáš Pop Email: pop<at-sign>d3s.mff.cuni.cz Web: http://d3s.mff.cuni.cz/~pop/ Phone: +420 221 914 121 Office: Room No. 309 Malostranské náměstí 25 118 00 Praha 1 Czech Republic	components and services communication in resource constrained distributed environments
Viliam Šimko	+420 221 914 236 more ... Full name: RNDr. Viliam Šimko Email: simko<at-sign>d3s.mff.cuni.cz Web: http://d3s.mff.cuni.cz/~simko/ Phone: +420 221 914 236 Office: Room No. 204 Malostranské náměstí 25 118 00 Praha 1 Czech Republic	automatic transformation of textual use-cases to the implementation using component systems

Modified on 2010-09-23