Publications of György Csertán

PUBLICATIONS

JOURNAL PAPERS:

Gy. Csertán, A. Pataricza, and E. Selényi. Design for Testability with HW-SW Co-design. Periodica Polytechnica, 40(1):25-37, 1996.

C. Bernardeschi, A. Bondavalli, Gy. Csertán, I. Majzik, and L. Simoncini. Temporal Analysis of Data Flow Control Systems. IFAC Automatica, 38(2), 1997.


CONFERENCE PROCEEDINGS:

A. Ferscha and Gy. Csertán. Timed Transition Petri Net Simulation. In Proceedings of the Conference on Parallel and Distributed Computing in Education, pages 45-47, Miskolc, Hungary, 1993.

Gy. Csertán. Dataflow Networks for Temporal Analysis of Control Systems. In Proceedings of the 1994 MMT Mini-Symposium, pages 15-17, Budapest, Hungary 1994.

Gy. Csertán, C. Bernardeschi, A. Bondavalli, and L. Simoncini. Timing Analysis of Dataflow Networks. In Proceedings of the 12th IFAC Workshop on Distributed Computer Control Systems, DCCS'94, pages 153-158, Toledo, Spain, 1994.

Gy. Csertán, J. Güthoff, R. Thebis, and A. Pataricza. Modeling of Fault-Tolerant Computing Systems. In Proceedings of the 8th Symposium on Microcomputers and Applications, uP'94, pages 95-108, Budapest, Hungary, 1994.

Gy. Csertán, C. Bernardeschi, and L. Simoncini. From Dataflow Networks to Petri Nets. In Proceedings of the 8th Symposium on Microcomputers and Applications, uP'94, pages 25-34, Budapest, Hungary, 1994.

Gy. Csertán. Testability Analysis of Data Flow Networks Modeled Computing Systems. In Proceedings of the 1995 MMT Mini-Symposium, pages 5-7, Budapest, Hungary 1995.

Gy. Csertán, A. Pataricza, and E. Selényi. Dependability Analysis in HW-SW co-design. In Proceedings of the IEEE International Computer Performance and Dependability Symposium, IPDS'95, pages 316-325, Erlangen, Germany, 1995.

I. Turcsányi, Gy. Csertán, and A. Pataricza. Model Based Diagnostic-Test Scheduling. In Proceedings of the Technical Conference on CAD Methods in Electronic and Information Processing System Design and its Education, pages 27-30, Budapest, Hungary 1995.

Gy. Csertán. System Diagnostics in HW-SW Codesign. In Proceedings of the 4th GI/ITG/GME Workshop, ISBN 3-8265-1321-5, pages 51-60, Kreischa, Germany 1996.

B. Antal, A. Bondavalli, Gy. Csertán, I. Majzik, and L. Simoncini. Reachability and Timing Analysis in Data Flow Networks: A Case Study. In Proceedings of the 22nd Euromicro Conference, pages 193-200, September Prague, Czech Republic, 1996.

Gy. Csertán, A. Pataricza. On Diagnosability in HW-SW Codesign: A Case Study. In Proceedings of the IEEE International Workshop on Embedded Fault-Tolerant Systems, EFTS'96, September Dallas, USA, 1996.

Gy. Csertán, I. Majzik, A. Pataricza, and S. C. Allmaier. Reachbility Analysis of Petri Nets by FPGA Based Accelerators. In Proceedings of Design and Diagnostics of Electronic Circuits and Systems Workshop, DDECS98, pages 307-312, Szszyrk, Poland, September 1998.

Gy. Csertán, I. Majzik, A. Pataricza, S. C. Allmaier, and W. Hohl. Hardware Accelerators for Petri Net Analysis. In Proceedings of Distributed and Parallel Systems, DAPSYS98, pages 99-104, Budapest, Hungary, September 1998.


TECHNICAL REPORTS:

A. Ferscha and Gy. Csertán. Sequential Simulation Engine for Distributed Timed Transition Petri Net Simulation. Technical report, Institut für Statistik und Informatik, Universität Wien, Lenaugasse 2/8, A-1080 Wien, Austria, 1992.

G. Haring, A. Ferscha, Gy. Csertán, P. Ferrara, B. Gruber, W. Müllner, and P. Ramoser. Parallel Petri Net Simulation. Final Report of the Research Project of the Austrian Ministery of Science and Research (GZ 613.525/2-26/90), pages 108, 1992.

Gy. Csertán. Temporal Analisys of Dataflow Computational Paradigm Based Control Systems. Technical Report GyCs-LS 1/1993, Department of Information Engineering of the University of Pisa, Via Diotisalvi 2, I-56126 Pisa, Italy, pages 41, 1993.

C. Bernardeschi, A. Bondavalli, Gy. Csertán, I. Majzik, and L. Simoncini. Temporal Analysis of Data Flow Real-Time Control Systems. Technical Report 1/1995, Department of Information Engineering of the University of Pisa, Via Diotisalvi 2, I-56126 Pisa, Italy, pages 41, 1993.

B. Sallay, K. Tilly, A. Pataricza, Gy. Csertán, Z. Hegedűs, A. Petri, L. Surján, and J. Sziray. Applications of AI Methods in High-level Test Generation. Technical Report FUTEG-3/1995, Department of Measurement and Instrument Engineering of the Technical University of Budapest, H-1521 Budapest, Műegyetem rkp. 9, HUNGARY, February 1995.

Gy. Csertán. Dependability Analysis in HW-SW Codesign. Technical report 3/97, Institute of Computer Science III, University of Erlangen-Nürnberg, Martenstr. 3, D-91058 Erlangen, Germany, 1997.

I. Majzik, Gy. Csertán, A. Pataricza, and S.C. Allmaier. Support of Formal Verification by FPGA Based accelerators. Technical report 5/97, Institute of Computer Science III, University of Erlangen-Nürnberg, Martenstr. 3, D-91058 Erlangen, Germany, 1997.

A. Pataricza, I. Majzik, Gy. Csertán, B. Benyó, B. Sallay, and A. Petri. Checking of Ultra-Reliable Controllers. Technical report, Department of Measurement and Information Systems of the Technical University of Budapest, H-1521 Budapest, Műegyetem rkp. 9, HUNGARY, December 1997.


MISCELLANOUS:

Gy. Csertán. Optimistic Distributed Discrete Event Simulation. Diploma Thesis, University of Vienna, Department of Statistics and Computer Science, Lenaugasse 2/8, A-1080 Wien, Austria, 1992.

Gy. Csertán. Hibaterjedés vizsgálata digitális berendezésekben számítógépes szimulációval. User's Guide for the Fault Tolerant Computer Architectures Lab. 1994. (In Hungarian)

A. Pataricza, I. Majzik, Gy. Csertán, T. Bartha, and A. Petri. Fault tolerant computing. Lecture notes in the framework of "Introducing Parallel Processing into the Curriculum of the Hungarian Higher Education Institutions of Technology", TEMPUS SJEP 08333--94, 1997.

Gy. Csertán. A Framework for Early Testability Assesment. PhD thesis, Department of Measurement and Information Systems of the Technical University of Budapest, 1998.

A. Pataricza, Gy. Csertán, and I. Majzik. Formal Methods in Information Science. Manuscript, Department of Measurement and Information Systems, Technical University of Budapest, 1998. (In Hungarian)

Gy. Csertán. Optimal production scheduling. Diploma Thesis, University of Veszprém, 1999. (In Hungarian)