- Modelování a meta-modelování softwarových komponent2008 | Matematicko-fyzikální fakulta
- Carmen : Software Component Model Checker2008 | Matematicko-fyzikální fakulta
- Carmen - model checker softwarových komponent +1Publikace bez příslušnosti k fakultě
- Řešení neomezeného paralelismu při verifikaci softwarových komponent2006 | Matematicko-fyzikální fakulta
- Verifikace softwarovych komponent: Neomezeny paralelismus2007 | Matematicko-fyzikální fakulta
- Verifikace softwarových komponent: O překladu Behavior protokolů do PromelyPublikace bez příslušnosti k fakultě
- Koncepty v behove podpore hierarchickych komponent2007 | Matematicko-fyzikální fakulta
- Ověřování softwarových komponent s použitím Behavior Protocols a Spinu2007 | Matematicko-fyzikální fakulta
- Specifikace a generování prostředí pro model checking softwarových komponent2007 | Matematicko-fyzikální fakulta
- Bezpečné systémy pomocí softwarových komponent v SOFA 22008 | Matematicko-fyzikální fakulta
- Částečná verifikace softwarových komponent: heuristiky pro konstrukci prostředí +22007 | Matematicko-fyzikální fakulta
- Aplikace teorie DES na verifikaci softwarových komponent2009 | Matematicko-fyzikální fakulta
- Webové nástroje pro práci s derivačními sítěmi2017 | Matematicko-fyzikální fakulta
- Model checking softwarových komponent: kombinace Java PathFinder a Behavior Protocol model checker +22007 | Matematicko-fyzikální fakulta
- Společný příklad komponentového modelování: porovnání komponentových softwarových modelů2008 | Matematicko-fyzikální fakulta
- Verifikace softwarových komponent v platformě SOFA 2 podle paradigmatu assume-guarantee2010 | Matematicko-fyzikální fakulta
- Model checking softwarových komponent: úprava Java PathFinder pro spolupráci s Behavior Protocol CheckerPublikace bez příslušnosti k fakultě
- Software components for C #. NET 2003Publikace bez příslušnosti k fakultě
- From Object to Software Components.Publikace bez příslušnosti k fakultě
- What Characterizes a (Software) Components1998 | Matematicko-fyzikální fakulta
- Behavior Protocols for Software Components2002 | Publikace bez příslušnosti k fakultě
- Transactions in Software Components: Container-Interposed Transactions2002 | Publikace bez příslušnosti k fakultě
- Behavior protocols: An approach to semantical descriptions of software componentsPublikace bez příslušnosti k fakultě
- Srovnání "Service Component Architecture" a "Fractal Component Model" systémů2011 | Matematicko-fyzikální fakulta
- A Method for Semi-automated Generation of Test Scenarios Based on Use Cases2015 | Matematicko-fyzikální fakulta