- CSB - MetaPress - Google - Bing - Yahoo
 | 2003 | |
|---|---|---|
| 9 |      | Maximilian Frey, Bernd-Holger Schlingloff: Conformance of Distributed Systems. TestCom 2003: 163-179 |
| 1999 | ||
| 8 | | Maximilian Frey, Markus Podolsky: Specifying and Analyzing Distributed Object-Oriented Systems. PDSE 1999: 38-51 |
| 1998 | ||
| 7 | | Maximilian Frey, Bernd-Holger Schlingloff: On-the-Fly Model Checking of Program Runs for Automated Debugging. EUROMICRO 1998: 10426- |
| 6 | | Marjeta Frey-Pucko, Maximilian Frey: Multi-View Specification of CSCW Applications. EUROMICRO 1998: 20484-20491 |
| 5 | | Maximilian Frey, Michael Oberhuber, Markus Podolsky: Framework for Testing based Development of Parallel and Distributed Programs. PDSE 1998: 246-253 |
| 4 | | Maximilian Frey, Marjeta Pucko: Formal specification of CSCW applications with concurrent abstract data types. Journal of Systems Architecture 44(5): 343-357 (1998) |
| 1996 | ||
| 3 |  | Maximilian Frey: Debugging parallel programs using temporal logic specifications. Software Engineering for Parallel and Distributed Systems 1996: 122-133 |
| 1994 | ||
| 2 | | Maximilian Frey, Andreas Weininger: Using Specifications for Debugging Parallel Programs. Applications in Parallel and Distributed Computing 1994: 135-144 |
| 1993 | ||
| 1 | | Maximilian Frey, Andreas Weininger: Using temporal logic specifications to debug parallel programs. Microprocessing and Microprogramming 39(2-5): 97-100 (1993) |
| 1 | Marjeta Frey-Pucko (Marjeta Pucko) | [4] [6] |
| 2 | Michael Oberhuber | [5] |
| 3 | Markus Podolsky | [5] [8] |
| 4 | Bernd-Holger Schlingloff | [7] [9] |
| 5 | Andreas Weininger | [1] [2] |