Zsigmond Pap

According to our database, Zsigmond Pap authored at least 4 papers between 2001 and 2005.

Collaborative distances:

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

2005

Methods of checking general safety criteria in UML statechart specifications.

Zsigmond Pap, István Majzik, András Pataricza, András Szegi

Reliab. Eng. Syst. Saf., 2005

2004

Static Safety Analysis of UML Action Semantics for Critical Systems Development.

Zsigmond Pap, Dániel Varró

Proceedings of the 34. Jahrestagung der Gesellschaft für Informatik, 2004

2002

VIATRA - Visual Automated Transformations for Formal Verification and Validation of UML Models.

György Csertán, Gábor Huszerl, István Majzik, Zsigmond Pap, András Pataricza, Dániel Varró

Proceedings of the 17th IEEE International Conference on Automated Software Engineering (ASE 2002), 2002

2001

Checking General Safety Criteria on UML Statecharts.

Zsigmond Pap, István Majzik, András Pataricza

Proceedings of the Computer Safety, 2001