Maximilian Frey

According to our database, Maximilian Frey authored at least 11 papers between 1993 and 2003.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2003

Conformance of Distributed Systems.

Maximilian Frey, Bernd-Holger Schlingloff

Proceedings of the Testing of Communicating Systems, 15th IFIP International Conference, 2003

1999

Specifying and Analyzing Distributed Object-Oriented Systems.

Maximilian Frey, Markus Podolsky

Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1999

1998

Zur Modellprüfung von parallelen und verteilten Programmabläufen.

Maximilian Frey

PhD thesis, 1998

Formal specification of CSCW applications with concurrent abstract data types.

Maximilian Frey, Marjeta Pucko

J. Syst. Archit., 1998

Framework for Testing based Development of Parallel and Distributed Programs.

Maximilian Frey, Michael Oberhuber, Markus Podolsky

Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1998

On-the-Fly Model Checking of Program Runs for Automated Debugging.

Maximilian Frey, Bernd-Holger Schlingloff

Proceedings of the 24th EUROMICRO '98 Conference, 1998

Multi-View Specification of CSCW Applications.

Marjeta Frey-Pucko, Maximilian Frey

Proceedings of the 24th EUROMICRO '98 Conference, 1998

1997

Testing Parallel and Distributed Programs with Temporal Logic Specifications.

Maximilian Frey

Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1997

1996

Debugging parallel programs using temporal logic specifications.

Maximilian Frey

Proceedings of the Software Engineering for Parallel and Distributed Systems, 1996

1994

Using Specifications for Debugging Parallel Programs.

Maximilian Frey, Andreas Weininger

Proceedings of the Applications in Parallel and Distributed Computing, 1994

1993

Using temporal logic specifications to debug parallel programs.

Maximilian Frey, Andreas Weininger

Microprocess. Microprogramming, 1993