Using temporal logic specifications to debug parallel programs. - Maximilian Frey; Andreas Weininger (Microprocess. Microprogramming, 1993)

Using Specifications for Debugging Parallel Programs. - Maximilian Frey; Andreas Weininger (Applications in Parallel and Distributed Computing, 1994)

Debugging parallel programs using temporal logic specifications. - Maximilian Frey (Software Engineering for Parallel and Distributed Systems, 1996)

Testing Parallel and Distributed Programs with Temporal Logic Specifications. - Maximilian Frey (PDSE, 1997)

Multi-View Specification of CSCW Applications. - Marjeta Frey-Pucko; Maximilian Frey (EUROMICRO, 1998)

On-the-Fly Model Checking of Program Runs for Automated Debugging. - Maximilian Frey; Bernd-Holger Schlingloff (EUROMICRO, 1998)

Framework for Testing based Development of Parallel and Distributed Programs. - Maximilian Frey; Michael Oberhuber; Markus Podolsky (PDSE, 1998)

Formal specification of CSCW applications with concurrent abstract data types. - Maximilian Frey; Marjeta Pucko (J. Syst. Archit., 1998)

Zur Modellprüfung von parallelen und verteilten Programmabläufen. - Maximilian Frey (1998)

Specifying and Analyzing Distributed Object-Oriented Systems. - Maximilian Frey; Markus Podolsky (PDSE, 1999)

Conformance of Distributed Systems. - Maximilian Frey; Bernd-Holger Schlingloff (TestCom, 2003)