Research

Research interests and activities

  • Cyber-Physical Systems
  • Internet of Things
  • Embedded and Real-Time Systems
  • Component Based Programming
  • Distributed Systems
  • Cloud Computing
  • Modern Programming Languages

Research projects

  • 2011 – 2015 Autonomic Service Component Ensembles (ASCENS), FP7 IP project
  • 2011 – 2015 Trans-European Research Training Network on Engineering and Provisioning of Service Based Cloud Applications (RELATE), FP7 Marie Curie Initial Training Network
  • 2014 DEECo-based Simulation of EVs in an Intelligent Infrastructure, Industrial research project – Volkswagen AG
  • 2013 DEECo Modeling and Implementation of EVs in an Intelligent Infrastructure (part II), Industrial research project – Volkswagen AG
  • 2012 DEECo modeling and implementation of EVs in an Intelligent Infrastructure, Industrial research project – Volkswagen AG
  • 2011 – now On-Board software reference architecture consolidation, European Space Agency tender
  • 2011 – now Metody pro tvorbu a overování komponentových systému ze specifikací v prirozeném jazyce, Grant Agency of the Czech Republic project no. P103/11/1489
  • 2011 – now Vývoj a verifikace softwarových komponent v zapouzdrených systémech, Grant Agency of the Czech Republic project no. P202/11/0312
  • 2011 – now Inovace studijního programu Informatika na MFF UK: výuka tvorby simulací s edukativními prvky a prohloubení praktického aspektu výuky, Operational Programme Prague – Adaptability project no. CZ.2.17/3.1.00/33274
  • 2010 – 2013 Model-Driven Evaluation of Design Decision Impacts in Software Engineering, Grant Agency of the Czech Republic project no. P202/10/J042
  • 2011 SW a HW zajištení nové výuky modelem rízeného návrhu embedded a real-time systému s použitím Matlab/Simulink, Subproject of university development programme “Rozvoj HW a SW vybaveni pro informacní a komunikacní technologie na MFF UK Praha”
  • 2008 – 2010 Quality Impact Prediction for Evolving Service-Oriented Software (Q-ImPrESS), FP7 STREP project
  • 2008 – 2010 Metody a modely pro overování konzistence aplikací založených na pokrocilých komponentových modelech, Grant Agency of the Czech Republic project no. 201/08/0266
  • 2007 – 2008 PROGRESS project, Swedish Foundation for Strategic Research
  • 2006 – 2008 Formální metody prakticky použitelné pro vývoj systému složených ze softwarových komponent, Grant Agency of the Czech Republic project no. 201/06/0770
  • 2005 – 2008 Open Source Infrastructure for Run-time Integration of Services (OSIRIS), ITEA EUREKA
  • 2005 – 2006 Component Reliability Extensions (CRE) to the Fractal Component Model, Joint project with France Telecom (France Telecom external research contract number 46127110)
  • 2005 – 2011 Moderní metody, struktury a systémy informatiky, project of a university research framework
  • 2005 – 2009 Realistic Application of Formal Methods in Component Systems, Grant Agency of the Academy of Sciences of the Czech Republic project no. 1ET400300504
  • 2003 – 2005 Open Source Middleware for Open Systems in Europe (OSMOSE), ITEA EUREKA project
  • 2003 – 2005 Development of Advanced Software Components and Models, Grant Agency of the Academy of Sciences of the Czech Republic project no. 201/03/0911
  • 2003 – 2005 Research of methods and tools for verification of embedded computer systems fault tolerance, Grant Agency of the Academy of Sciences of the Czech Republic project no. 102/03/0672

Publications

On a separate page...