SCEAS

The SCEAS System

Title:
Author:

Maximilian Frey: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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

Search in 0.001secs, Finished in 0.001secs

NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades

NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP