  Thesis title |
Year of announcement |
Year of defence |
Thesis type | Thesis discipline | Supervisor |
Author |
Announced |
Assigned | Department | Faculty | |
 |
Generating Connectors for Homogenous and Heterogenous Deployment | 2002/2003 | 2005/2006 | dissertation | I2 | prof. Ing. František Plášil, DrSc. | hidden |
01.10.2002 | 01.10.2002 | Katedra softwarového inženýrství (32-KSI) | MFF |
|
Components and Services in Resource-Constrained Environments | 2009/2010 | 2012/2013 | dissertation | 4I2 | prof. Ing. František Plášil, DrSc. | hidden |
23.04.2009 | 29.09.2009 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF |
|
Imlementation of Protocol Inheritance Doc. Ing. František Plášil, CSc. - KSI | 1997/1998 | diploma thesis | I | prof. Ing. František Plášil, DrSc. | hidden |
11.11.1994 | 11.11.1994 | Katedra softwarového inženýrství (32-KSI) | MFF | |
|
Towards Static Analysis of Languages with Dynamic Features | 2010/2011 | 2013/2014 | dissertation | 4I2 | prof. Ing. František Plášil, DrSc. | hidden |
03.05.2010 | 09.12.2010 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF |
|
Model Checking of Behavior Protocols | 2002/2003 | 2002/2003 | diploma thesis | IDS | prof. Ing. František Plášil, DrSc. | hidden |
13.11.2002 | 13.11.2002 | Katedra softwarového inženýrství (32-KSI) | MFF |
|
Behavior Protocols Extensions | 2003/2004 | 2006/2007 | dissertation | I2 | prof. Ing. František Plášil, DrSc. | hidden |
25.11.2003 | 25.11.2003 | Katedra softwarového inženýrství (32-KSI) | MFF |
|
Use Cases: Behavior Assembly, Behavior Composition and Reasoning | 1998/1999 | 2003/2004 | dissertation | I2 | prof. Ing. František Plášil, DrSc. | hidden |
01.10.1998 | 01.10.1998 | Katedra softwarového inženýrství (32-KSI) | MFF |
|
Component software | 2002/2003 | dissertation | I2 | prof. Ing. František Plášil, DrSc. | hidden |
04.06.2002 | 04.06.2002 | Katedra softwarového inženýrství (32-KSI) | MFF | |
|
Specifying missing component environment in Bandera | 2004/2005 | 2004/2005 | diploma thesis | I | prof. Ing. František Plášil, DrSc. | hidden |
06.10.2004 | 15.11.2004 | Katedra softwarového inženýrství (32-KSI) | MFF |
|
Model Checking and Reduction of Behavior Protocols | 2005/2006 | 2005/2006 | diploma thesis | ISS | prof. Ing. František Plášil, DrSc. | hidden |
06.10.2005 | 08.11.2005 | Katedra softwarového inženýrství (32-KSI) | MFF |
|
Generator of Connectors for SOFA/DCUP | 2001/2002 | 2001/2002 | diploma thesis | I | prof. Ing. František Plášil, DrSc. | hidden |
01.10.2001 | 13.11.2001 | Katedra softwarového inženýrství (32-KSI) | MFF |
|
CORBA Security in the Orbix Environment Doc.Ing. František Plášil, CSc. - KSI | 1996/1997 | diploma thesis | I | prof. Ing. František Plášil, DrSc. | hidden |
08.11.1996 | 08.11.1996 | Katedra softwarového inženýrství (32-KSI) | MFF | |
|
Behaviour Modelling for software Components | 2003/2004 | dissertation | I2 | prof. Ing. František Plášil, DrSc. | hidden |
25.11.2003 | 25.11.2003 | Katedra softwarového inženýrství (32-KSI) | MFF | |
|
Modelchecking kódu | 2007/2008 | dissertation | I2 | prof. Ing. František Plášil, DrSc. | hidden |
25.04.2007 | 09.11.2007 | Katedra softwarového inženýrství (32-KSI) | MFF | |
|
A versioning model for the SOFA/DCUP architecture Doc. Ing. František Plášil, CSc. | 1998/1999 | diploma thesis | I | prof. Ing. František Plášil, DrSc. | hidden |
12.10.1998 | 21.11.1998 | Katedra softwarového inženýrství (32-KSI) | MFF | |
|
Transactions in SOFA/DCUP KSI - Doc. Ing. František Plášil, CSc. | 1997/1998 | diploma thesis | I | prof. Ing. František Plášil, DrSc. | hidden |
14.11.1997 | 14.11.1997 | Katedra softwarového inženýrství (32-KSI) | MFF | |
|
Model Checking of Code and Component Specifications | 2006/2007 | diploma thesis | I2 | prof. Ing. František Plášil, DrSc. | 02.05.2006 | Ne | Katedra softwarového inženýrství (32-KSI) | MFF | ||
|
Automated verification of software | 2006/2007 | 2009/2010 | dissertation | I2 | prof. Ing. František Plášil, DrSc. | hidden |
01.10.2006 | 01.10.2006 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF |
|
Modeling Software Components Using Behavior Protocols | 1999/2000 | 2002/2003 | dissertation | I2 | prof. Ing. František Plášil, DrSc. | hidden |
01.10.1999 | 01.10.1999 | Katedra softwarového inženýrství (32-KSI) | MFF |
|
Formal Verfication of Components in Java | 2005/2006 | 2007/2008 | dissertation | I2 | prof. Ing. František Plášil, DrSc. | hidden |
07.04.2005 | 01.10.2005 | Katedra softwarového inženýrství (32-KSI) | MFF |
|
Towards thread aware component behavior specifications | 2006/2007 | 2009/2010 | dissertation | I2 | prof. Ing. František Plášil, DrSc. | hidden |
02.05.2006 | 01.10.2006 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF |
|
Behavior Composition in Component Systems | 2001/2002 | 2005/2006 | dissertation | I2 | prof. Ing. František Plášil, DrSc. | hidden |
01.10.2001 | 01.10.2001 | Katedra softwarového inženýrství (32-KSI) | MFF |
|
Hierarchical Component Models - "A True Story" | 2003/2004 | 2011/2012 | dissertation | 4I2 | prof. Ing. František Plášil, DrSc. | hidden |
25.11.2003 | 25.11.2003 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF |
|
Fighting the State Explosion Problem in Component Protocols | 2003/2004 | 2006/2007 | dissertation | I2 | prof. Ing. František Plášil, DrSc. | hidden |
25.11.2003 | 25.11.2003 | Katedra softwarového inženýrství (32-KSI) | MFF |
|
Making Deployment Process of Distributed Component-Based Software Unified | 2000/2001 | 2004/2005 | dissertation | I2 | prof. Ing. František Plášil, DrSc. | hidden |
01.10.2000 | 01.10.2000 | Katedra softwarového inženýrství (32-KSI) | MFF |
|
Objektivně orientované distribuované systémy | 1997/1998 | dissertation | I2 | prof. Ing. František Plášil, DrSc. | hidden |
01.10.1997 | 01.10.1997 | Katedra softwarového inženýrství (32-KSI) | MFF | |
|
Specification-Based Component Substitutability and Revision Identification | 1996/1997 | 2003/2004 | dissertation | I2 | prof. Ing. František Plášil, DrSc. | hidden |
01.10.1996 | 01.10.1996 | Katedra softwarového inženýrství (32-KSI) | MFF |
Results 1-27 of 27 1