Gyula Csopaki

According to our database, Gyula Csopaki authored at least 17 papers between 1982 and 2006.

Collaborative distances:

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

2006

Iterative automatic test generation method for telecommunication protocols.

Gábor Kovács, Zoltán Pap, Gyula Csopaki, Katalin Tarnay

Comput. Stand. Interfaces, 2006

Measurement and Optimization of Access Control Lists.

Sándor Palugyai, Máté J. Csorba, Sarolta Dibuz, Gyula Csopaki

Acta Cybern., 2006

Performance Analysis of Concurrent PCOs in TTCN-3.

Máté J. Csorba, Sándor Palugyai, Sarolta Dibuz, Gyula Csopaki

Proceedings of the Testing of Communicating Systems, 2006

2005

On the Theory of Patching.

Zoltán Pap, Gyula Csopaki, Sarolta Dibuz

Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005

On FSM-Based Fault Diagnosis.

Zoltán Pap, Gyula Csopaki, Sarolta Dibuz

Proceedings of the Testing of Communicating Systems, 2005

2004

High-Level Restructuring of TTCN-3 Test Data.

Antal Wu-Hen-Chang, Dung Le Viet, Gabor Batori, Roland Gecse, Gyula Csopaki

Proceedings of the Formal Approaches to Software Testing, 4th International Workshop, 2004

2003

Applying Mutation Analysis to SDL Specifications.

Gábor Kovács, Zoltán Pap, Dung Le Viet, Antal Wu-Hen-Chang, Gyula Csopaki

Proceedings of the SDL 2003: System Design, 2003

2002

Automatic Test Selection based on CEFSM Specifications.

Gábor Kovács, Zoltán Pap, Gyula Csopaki

Acta Cybern., 2002

2000

Communication Protocol Implementation in Java.

Gyula Csopaki, Gábor András Horváth, Gábor Kovács

Proceedings of the Interactive Distributed Multimedia Systems and Telecommunication Services, 2000

1997

Modelling Digital Logic in SDL.

Gyula Csopaki, Kenneth J. Turner

Proceedings of the Formal Description Techniques and Protocol Specification, 1997

1994

Proconsul on the Way to Automated Protocol Engineering.

Katalin Tarnay, László Zsolt Varga, Gyula Csopaki

J. Circuits Syst. Comput., 1994

Formal specification of conformance testing documents for communication protocols.

Ana Maria Ponce, Gyula Csopaki, Katalin Tarnay

Proceedings of the 5th IEEE International Symposium on Personal, 1994

1993

Proconsul, a tool for computer-aided protocol engineering.

Katalin Tarnay, Gyula Csopaki, Maria Törö, M. D. Ta, Zs Boja-Harangozó, J. Miskolczi

Microprocess. Microprogramming, 1993

1992

Advanced Software Technology for Protocol Engineering.

Gyula Csopaki

Proceedings of the Information Network and Data Communication, 1992

1989

Hardware description language for specification of digital systems.

Gyula Csopaki

Microprocess. Microprogramming, 1989

1984

Hardware Description Language for Design of Digital Equipment.

Gyula Csopaki

Proceedings of the Simulation in Research and Development, 1984

1982

System cars and its description language.

L. L. Máté, M. Bohus, Gyula Csopaki, A. Filp, A. Hinsenkamp

Proceedings of the Specification and Design of Software Systems, 1982