| |
| 2006 | ||
|---|---|---|
| 6 | EE | Michal Iglewski: Automatic Testing of SCR Specifications. CCECE 2006: 2455-2459 |
| 2000 | ||
| 5 | EE | Roger Hillson, Michal Iglewski: C++2MPI: A Software Tool for Automatically Generating MPI Datatypes from C++ Classes. PARELEC 2000: 13-17 |
| 1997 | ||
| 4 | Michal Iglewski, Janina Mincer-Daszkiewicz: Internal Design of Modules Specified in the Trace Assertion Method. Sci. Comput. Program. 28(2-3): 139-170 (1997) | |
| 1995 | ||
| 3 | Michal Iglewski, Marcin Kubica, Jan Madey: Trace Specifications of Non-Deterministic Multi-Object Modules. ASIAN 1995: 381-395 | |
| 1994 | ||
| 2 | Jakub Bojanowski, Michal Iglewski, Jan Madey, Abdellatif Obaid: Functional approach to protocols specification. PSTV 1994: 395-402 | |
| 1 | EE | David Lorge Parnas, Jan Madey, Michal Iglewski: Precise Documentation of Well-Structured Programs. IEEE Trans. Software Eng. 20(12): 948-976 (1994) |
| 1 | Jakub Bojanowski | [2] |
| 2 | Roger Hillson | [5] |
| 3 | Marcin Kubica | [3] |
| 4 | Jan Madey | [1] [2] [3] |
| 5 | Janina Mincer-Daszkiewicz | [4] |
| 6 | Abdellatif Obaid | [2] |
| 7 | David Lorge Parnas | [1] |