Publications-Presentations

Application Development

Formal Support

  

Collaboration papers

Other Presentations/Invited Talks

 

Application Development

1. J.Y. Cotronis: A Methodology for Initiating Arbitrary Structured Programs in Parix by Interpreting Graphs. ZEUS 95, Parallel Programing and Applications, P. Fritzon and L. Finmo (Eds.), IOS Press 1995

2. J.Y. Cotronis: Efficient Composition and Automatic Initialization of Arbitrary Structured PVM Programs. In I. Jelly, I. Gorton and P. Croll (Eds.): Software Engineering for Parallel and Distributed Systems. Proceedings of the First IFIP TC 10 International Workshop on Parallel and Distributed Software Engineering, March 1996 Chapman & Hall.

3. J.Y. Cotronis, E. Floros and N. Papazis: Efficient Composition of PVM Programs. In Proceedings of HPCN96, Brussels, H. Liddell, A. Colbrook, B. Hertzberger and P.Sloot (Eds.), April 1996.

4. J.Y. Cotronis: Efficient Program Composition on Parix by the Ensemble Methodology. In Proceedings of the 22nd EuroMicro Conference, Milligan and Kuchinsky (Eds.), 1996 IEEE Computer Society Press.

5. J.Y. Cotronis: Message Passing Program Development by Ensemble. PVM-MPI 97, Krakow October 1997..

6. J.Y. Cotronis, E. Avgeri and G. Krallis: Porting Applications in Message Passing Environments with the Support of the Ensemble Methodology, in Greek. 6th Hellenic Conference on Informatics, Athens December 1997.

7. J.Y. Cotronis, E. Avgeri and G. Krallis: Porting Applications between PVM and Parix under Ensemble. Euromicro Workshop on Parallel and Distributed Processing 1998, Madrid,January 1998.

8. J.Y. Cotronis: Developing Message Passing Applications on MPICH under Ensemble. PVM/MPI 98 Workshop.

9. Z.Tsiatsoulis, J.Cotronis, E. Floros: Testing and debugging message Passing applications based on the synergy of program and specification executions, Proc. of the Seventh Euromicro Workshop on Parallel and Distributed Processing, Funchal, Portugal, 1999, IEEE Computer Society press, pp. 196-203

10 Z.Tsiatsoulis, J.Y.Cotronis: Testing and Debugging Message Passing Programs in Synergy with their Specifications , Fundamenta Informaticae 41, No 3 (February 2000) pp. 341-366

11 J.Y. Cotronis, Reusable message passing components , in Proceedings 8th PDP2000 Euromicro Workshop on Parallel and Distributed Processing, IEEE Computer Society press, pp. 398-405

12 J.Y.Cotronis, Z.Tsiatsoulis, C.Kouniakis: Composition of Message Passing Applications on Demand, in Proceedings Recent Advances in PVM and MPI, J. Dongarra, P. Kacsuk, N. Podhorszki (eds.), LNCS 1908, 2000, pp. 192-199

13. J.Y.Cotronis: Composition of MPI Applications over MPICH-G2 

14. J.Y.Cotronis: Modular MPI Components and Composition of Grid Applications, Euromicro Parallel Distributed and Network Processing PDP 2002

15. J.Y.Cotronis:  Building Grid MPI Applications from Modular Components, PDP 2003

16. J.Y.Cotronis, Z.Tsiatsoulis, Modular MPI and PVM Components, Euro PVM-MPI 2002

17. J.Y.Cotronis: Application Composition in Ensemble using Intercommunicators and Process Topologies, Euro PVM-MPI 2003

 

Back to top

 

Formal Support

1. J.Y. Cotronis and Z. Tsiatsoulis: Specification Composition for the Verification of Message Passing Program Composition. ENCRESS'97, 3rd International Conference on Reliability, Quality & Safety of Software-Intensive Systems, May 1997.

2. J.Y. Cotronis and Z. Tsiatsoulis: Specification Composition for the Verification of Message Passing Program Composition. Microprocessors and Microsystems, special issue Vol21, No 10, April 98, 595-604.

3. J.Y. Cotronis and Z. Tsiatsoulis: Composition of Specifications of Message Passing Applications Composed by the Ensemble Methodology. 6th Hellenic Conference on Informatics, Athens December 1997.

4. Z. Tsiatsoulis and J.Y.Cotronis: Associating Composition of Petri Net Specifications with composition of Message Passing Applications. Internal Report December 1997.

5. Paralle l and Distributed Processing 1999- PDP99 - reference needs update - to appear

6. J.Y. Cotronis, P. Kacsuk, Z. Tsiatsoulis, G. Dózsa, E. Floros: Integration of Formal Specifications into GRADE , Proceedings Dapsys 98, Universitat Wien, pp. 39-46.

7. Z.Tsiatsoulis, G.Dózsa, J.Cotronis, P.Kacsuk: Associating Composition of Petri Net Specifications with Application Designs in GRADE, Proc. of the Seventh Euromicro Workshop on Parallel and Distributed Processing, Funchal, Portugal, 1999, pp. 204-211

 

Back to top

 

 Collaborations

1. Dapsys 98 - reference needs update (partial Slide Show)

2. Paralle l and Distributed Processing 1999- PDP99 - reference needs update - to appear

 

Back to top

 

Other Presentations/Invited Talks

1. J.Y.Cotronis, "Composition of Message Passing Programs by the Ensemble Methodology (PVM, Parix)". Invited Talk in Intensive Course on Parallel and Distributed Programming - Tempus Project , Budapest 1996 (Slide show)

2. J.Y.Cotronis, Z. Tsiatsoulis, "Specifications of Parallel Programs", Invited Talk in John von Neumann Society - Tempus Project , Budapest 1997 (Slide show)

 

Back to top