| |
| 2003 | ||
|---|---|---|
| 7 | EE | Maximilian Frey, Bernd-Holger Schlingloff: Conformance of Distributed Systems. TestCom 2003: 163-179 |
| 1999 | ||
| 6 | EE | Maximilian Frey, Markus Podolsky: Specifying and Analyzing Distributed Object-Oriented Systems. PDSE 1999: 38-51 |
| 1998 | ||
| 5 | EE | Maximilian Frey, Bernd-Holger Schlingloff: On-the-Fly Model Checking of Program Runs for Automated Debugging. EUROMICRO 1998: 10426- |
| 4 | EE | Marjeta Frey-Pucko, Maximilian Frey: Multi-View Specification of CSCW Applications. EUROMICRO 1998: 20484-20491 |
| 3 | EE | Maximilian Frey, Michael Oberhuber, Markus Podolsky: Framework for Testing based Development of Parallel and Distributed Programs. PDSE 1998: 246-253 |
| 1996 | ||
| 2 | Maximilian Frey: Debugging parallel programs using temporal logic specifications. Software Engineering for Parallel and Distributed Systems 1996: 122-133 | |
| 1994 | ||
| 1 | Maximilian Frey, Andreas Weininger: Using Specifications for Debugging Parallel Programs. Applications in Parallel and Distributed Computing 1994: 135-144 | |
| 1 | Marjeta Frey-Pucko | [4] |
| 2 | Michael Oberhuber | [3] |
| 3 | Markus Podolsky | [3] [6] |
| 4 | Bernd-Holger Schlingloff | [5] [7] |
| 5 | Andreas Weininger | [1] |