1998

Csertán, C.; Majzik, I.; Pataricza, A.; Allmaier, S.C.; Hohl, W.:
Reachability Analysis of Petri-nets by Using FPGA Based Accelerators.
Austrian-Hungarian Workshop on Distributed and Parallel Systems (DAPSYS'98), Budapest 1998.

1997

Allmaier, S.; Dalibor, S.:
"PANDA - Petri net ANalysis and Design Assistant"
In: Tools Descriptions, 9th Int. Conference on Modelling Techniques and Tools for Computer Performance Evaluation, St.Malo, Juni 97, p. 58

Allmaier, S.; Dalibor, S.; Kreische, D.:
"Parallel Graph Generation Algorithms for Shared and Distributed Memory Machines."
In: Proc. Parallel Computing Conference (ParCo'97), Bonn, Germany, 1997

Allmaier, S.; Kowarschik, M.; Horton, G.:
"State Space Construction and Steady-State Solution of GSPNs on a Shared-Memory Multiprocessor."
In: Proc. IEEE Int. Workshop Petri Nets and Performance Models, St. Malo, Frankreich, IEEE Comp. Soc. Press, 1997.

Allmaier, S.; Horton, G.:
"Parallel Shared-Memory State-Space Exploration in Stochastic Modelling."
In: G. Bilardi, A. Ferreira, R. Lüling, J. Rolim (editors): Solving Irregularly Structured Problems in Parallel, LNCS 1253, Springer, 1997.

Horton, G.; Grillenbeck, R.; Kraus, F.:
"A Concept Graph Editor for Computer-Aided Learning"
In: Gens, W. (Hrsg.): Smalltalk und Java in Industrie und Ausbildung. Tagungsband zum 3. Fachkongreß STJA, 10.--11. Sep., Erfurt, 1997.

Majzik, I.; Csertán, Gy.; Pataricza, A.; Allmaier, S.:
"Support of Formal Verification by FPGA BasedAccelerators."
Technischer Bericht 5/97, IMMD III, Universität Erlangen-Nürnberg

Allmaier, S.; Csertán, Gy.; Dalibor, S.; Kreische, D.:
"Parallel Reachability Graph Generation in Stochastic Modeling on Shared and Distributed Memory Multiprocessors."
Technischer Bericht 4/97, IMMD III, Universität Erlangen-Nürnberg

1996

Balbach, F. (ed.):
"Integrating Fault Tolerance in off-the shelf Massively Parallel Systems"
Proc. of workshop run by FTMPS consortium (ESPRIT 6731) within HPCN Europe 1996.

Bänsch, K.; Hein, A.; Malhotra, M.; Trivedi, K.S.:
"Comment/Correction: Dependability Modeling Using Petri Nets"
IEEE Transactions on Reliability, Vol. 45, No. 2, pp. 272-273, 1996.

Dalibor, S.; Hein, A.; Hohl, W.:
"Application Dependent Performability Evaluation of Fault-Tolerant Multiprocessors"
Proc. 4th Euromicro Workshop on Parallel and Distributed Processing, Braga, Portugal, January 24-26, 1996, IEEE CS Press 1996, pp.310-318.

Greiner, S.; Horton, G.:
"Analysis of Stiff Markov Chains with the Multi-Level Method"
European Simulation Symposium 1996, Budapest.

Hein, A.; K. K. Goswami:
"Conjoint Simulation - a Technique for the Combined Performance and Dependability Analysis of Large-Scale Computer Systems"
In Proc. IPDS '96 (International Performance and Dependability Symposium), Urbana-Champaign (IL, U.S.A.), 4.-6. September 1996, IEEE CS Press 1996, pp. 68-77.

Hein, A.; W. Hohl:
"Combinatorial Modeling Techniques in Conjoint Simulation"
Abstract Book of the PMCCS3 (Third International Workshop on Performability Modeling of Computer and Communication Systems), Indian Lakes Resort, Bloomingdale (IL, U.S.A.), 6.-8. September 1996, pp. 1-5.

Horton. G.:
"Computation of the Distribution of Accumulated Reward with Fluid Stochastic Petri-Nets"
In Proc. IPDS '96 (International Performance and Dependability Symposium), Urbana-Champaign (IL, U.S.A.), 4.-6. September 1996, IEEE CS Press 1996, pp. 90-95>

Horton, G.:
"Der Einsatz von LEX und YACC in technisch-wissenschaftlichen Anwendungsprogrammen."
Software-Werkzeuge in Scientific Computing, Hamburg, Juni 1995, Ed.W. Makkens, S. Rump, Vieweg Verlag 1996.

Horton, G.:
"On the Multi-Level Algorithm for Markov Chains"
Copper Mountain Conference on Iterative Methods, Copper Mountain, CO, April 1996.

Petri, A., Urbán, P.; Altmann, J.; Bartha, T.; Pataricza, A.:
"Constraint Based System-Level Diagnosis of Multiprocessors"
IEEE 2nd European Dependable Computing Conference, Taormina, 2-4. Oktober 1996.

Hein, A.; Bänsch, K.:
"Architecture Modeling Using SimPar" (User's Manual)
Interner Bericht 3/ 96, IMMD III, Juli 1996.

Hein, A.:
"Conjoint Simulation - eine Technik zur Modellierung fehlertoleranter Rechensysteme"
Interner Bericht 2/96: Fachgespräch Modellierung und Bewertung paralleler Systeme, Erlangen, 18. März 1996.