- Simulace business procesů pomocí softwarových agentů2008 | Matematicko-fyzikální fakulta
- Ověřování softwarových komponent s použitím Behavior Protocols a Spinu2007 | Matematicko-fyzikální fakulta
- Pouziti DSL pro automaticke generovani softwarovych konektoru2008 | Matematicko-fyzikální fakulta
- Kvalita Softwarových Architektur: Modely a Architektury2008 | Matematicko-fyzikální fakulta
- Modelování a meta-modelování softwarových komponent2008 | Matematicko-fyzikální fakulta
- Carmen - model checker softwarových komponent +1Publikace bez příslušnosti k fakultě
- Verifikace softwarových komponent: O překladu Behavior protokolů do PromelyPublikace bez příslušnosti k fakultě
- Řešení neomezeného paralelismu při verifikaci softwarových komponent2006 | Matematicko-fyzikální fakulta
- Opomíjená ale zásadní role matematické statistiky ve výuce softwarových odborníků2005 | Matematicko-fyzikální fakulta
- Půlstoletí programovacích jazyků. Zrání softwarových systémů2008 | Matematicko-fyzikální fakulta
- Společný příklad komponentového modelování: porovnání komponentových softwarových modelů2008 | Matematicko-fyzikální fakulta
- Specifikace a generování prostředí pro model checking softwarových komponent2007 | Matematicko-fyzikální fakulta
- Využití softwarových konektorů pro sběr výkonnostních dat v komponentových aplikacích2007 | 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ě
- Částečná verifikace softwarových komponent: heuristiky pro konstrukci prostředí +22007 | Matematicko-fyzikální fakulta
- Získávání informací o závislostech mezi projekty v softwarových ekosystémech platformy Java2011 | Matematicko-fyzikální fakulta
- O softwarových produktech pro úlohy stochastického programování2008 | Matematicko-fyzikální fakulta
- Verifikace softwarovych komponent: Neomezeny paralelismus2007 | Matematicko-fyzikální fakulta
- Model checking softwarových komponent: kombinace Java PathFinder a Behavior Protocol model checker +22007 | Matematicko-fyzikální fakulta
- Aplikace teorie DES na verifikaci softwarových komponent2009 | Matematicko-fyzikální fakulta
- Moderní management závisí na modernosti architektur softwarových systémů2003 | Matematicko-fyzikální fakulta
- Bezpečné systémy pomocí softwarových komponent v SOFA 22008 | Matematicko-fyzikální fakulta
- Ověřování modelem řízených odhadů výkonnosti na náhodných softwarových systémech2010 | Matematicko-fyzikální fakulta
- Komunikace a paměť pro plausibilní agenty2012 | Matematicko-fyzikální fakulta