Stan Klasa
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
1994–2010
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | SERA | Towards a Tool Support for Specifying Complex Software Systems by Categorical Modeling Language. | Noorulain Khurshid, Olga Ormandjieva, Stan Klasa |
| 2010 | SoMeT | Formal Specification of Substitutability Property for Fault-Tolerance in Reactive Autonomic Systems. | Heng Kuang, Jamal Bentahar, Olga Ormandjieva, Nassir Shafieidizaji, Stan Klasa |
| 2009 | ICSoft | Reactive Autonomic System Performance Modeling and Self-monitoring with Category Theory. | Olga Ormandjieva, Heng Kuang, Stan Klasa |
| 2009 | SERA | Towards Specifying Reactive Autonomic Systems with a Categorical Approach: A Case Study. | Heng Kuang, Olga Ormandjieva, Stan Klasa, Noorulain Khurshid, Jamal Bentahar |
| 1994 | ICPR | On L | Adam Krzyzak, Stan Klasa, Lei Xu |