| |
| 2008 | ||
|---|---|---|
| 6 | EE | Rafal Mrowka, Tomasz Szmuc: UML Statecharts Compositional Semantics in LOTOS. ISPDC 2008: 459-463 |
| 2007 | ||
| 5 | EE | Marcin Szpyrka, Tomasz Szmuc: Decision Tables in Petri Net Models. RSEISP 2007: 648-657 |
| 2006 | ||
| 4 | EE | Marcin Szpyrka, Tomasz Szmuc: Verification of Automatic Train Protection Systems with RTCP-Nets. SAFECOMP 2006: 344-357 |
| 2005 | ||
| 3 | Krzysztof Zielinski, Tomasz Szmuc: Software Engineering: Evolution and Emerging Technologies IOS Press 2005 | |
| 2 | Slawomir Samolej, Tomasz Szmuc: TCPN-Based Tool for Timing Constraints Modelling and Validation. Software Engineering: Evolution and Emerging Technologies 2005: 194-205 | |
| 1 | Grzegorz Rogus, Tomasz Szmuc: Modeling and Verification of Reactive Software Using LOTOS. Software Engineering: Evolution and Emerging Technologies 2005: 365-377 | |
| 1 | Rafal Mrowka | [6] |
| 2 | Grzegorz Rogus | [1] |
| 3 | Slawomir Samolej | [2] |
| 4 | Marcin Szpyrka | [4] [5] |
| 5 | Krzysztof Zielinski | [3] |