| * | 2009 |
|---|
| 8 | EE | Kamil Karwowski,
Witold Wysota,
Jacek Wytrebowicz:
Computer Aided Requirements Management.
ICCCI 2009: 389-400 |
| 2007 |
|---|
| 7 | EE | Witold Wysota,
Jacek Wytrebowicz:
End to End QoS Measurements of TCP Connections.
PPAM 2007: 1180-1189 |
| 2006 |
|---|
| 6 | EE | Pawel Klaczewski,
Jacek Wytrebowicz:
j2eeprof - a tool for testing multitier applications.
SET 2006: 199-210 |
| 2003 |
|---|
| 5 | EE | Pawel Rychwalski,
Jacek Wytrebowicz:
UNIX STREAMS Generation from a Formal Specification.
FORTE 2003: 1-14 |
| 2001 |
|---|
| 4 | EE | Wiktor B. Daszczuk,
W. Grabski,
J. Miescicki,
Jacek Wytrebowicz:
System Modeling in the COSMA Environment.
DSD 2001: 152-157 |
| 2000 |
|---|
| 3 | EE | Stefan Fischer,
Jacek Wytrebowicz,
Stanislaw Budkowski:
Tool support for hardware/software co-design of communication protocols.
Computer Communications 23(12): 1158-1168 (2000) |
| 1996 |
|---|
| 2 | EE | Stefan Fischer,
Jacek Wytrebowicz,
Stanislaw Budkowski:
Hardware/Software Co-Design of Communication Protocols.
EUROMICRO 1996: 476-483 |
| 1995 |
|---|
| 1 | | Jacek Wytrebowicz:
Hardware specification generated from Estelle.
PSTV 1995: 435-450 |
