Maximilian Frey

Publication Activity (10 Years)

Years Active: 1993-2003
Publications (10 Years): 0

Technical University Munich, Germany (PHD)

Education History

Technical University Munich, Germany

PHD

Publications

Maximilian Frey, Bernd-Holger Schlingloff
Conformance of Distributed Systems. TestCom (2003)
Maximilian Frey, Markus Podolsky
Specifying and Analyzing Distributed Object-Oriented Systems. PDSE (1999)
Maximilian Frey, Michael Oberhuber, Markus Podolsky
Framework for Testing based Development of Parallel and Distributed Programs. PDSE (1998)
Maximilian Frey, Bernd-Holger Schlingloff
On-the-Fly Model Checking of Program Runs for Automated Debugging. EUROMICRO (1998)
Maximilian Frey, Marjeta Pucko
Formal specification of CSCW applications with concurrent abstract data types. J. Syst. Archit. 44 (5) (1998)
Marjeta Frey-Pucko, Maximilian Frey
Multi-View Specification of CSCW Applications. EUROMICRO (1998)
Maximilian Frey
Testing Parallel and Distributed Programs with Temporal Logic Specifications. PDSE (1997)
Maximilian Frey
Debugging parallel programs using temporal logic specifications. Software Engineering for Parallel and Distributed Systems (1996)
Maximilian Frey, Andreas Weininger
Using Specifications for Debugging Parallel Programs. Applications in Parallel and Distributed Computing (1994)
Maximilian Frey, Andreas Weininger
Using temporal logic specifications to debug parallel programs. Microprocess. Microprogramming 39 (2-5) (1993)