Marjeta Frey-Pucko

According to our database, Marjeta Frey-Pucko authored at least 8 papers between 1993 and 2001.

Collaborative distances:

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

2001

SEPAM -- CMM Implementation for Developing Telecommunications Systems.

Marjeta Frey-Pucko, Roman Novak, Gorazd Kandus

Proceedings of the 27th EUROMICRO Conference 2001: A Net Odyssey, 2001

1999

Automatic Test Case Generation from the Industrial Point of View: Conformance Testing in IskraTEL.

Marjeta Frey-Pucko, Monika Kapus-Kolar, Roman Novak

Proceedings of the Testing of Communicating Systems: Method and Applications, 1999

1998

Formal specification of CSCW applications with concurrent abstract data types.

Maximilian Frey, Marjeta Pucko

J. Syst. Archit., 1998

Multi-View Specification of CSCW Applications.

Marjeta Frey-Pucko, Maximilian Frey

Proceedings of the 24th EUROMICRO '98 Conference, 1998

1994

Automated derivation of protocols implementing intelligent network services.

Marjeta Pucko, Monika Kapus-Kolar, Gorazd Kandus

Microprocess. Microprogramming, 1994

1993

Developing multi-user interfaces for CSCW environment.

Marjeta Pucko, Monika Kapus-Kolar, Joze Rugelj

Microprocess. Microprogramming, 1993

Service-driven protocol synthesis for specific users.

Marjeta Pucko, Gorazd Kandus

Microprocess. Microprogramming, 1993

A true concurrency semantics for parallel programs.

Tatjana Kapus, Bogomir Horvat, Marjeta Pucko

Microprocess. Microprogramming, 1993