John Yiannis Cotronis

Publication Activity (10 Years)

Years Active: 1977-2003
Publications (10 Years): 0

Newcastle University, Newcastle upon Tyne, UK (PHD)

Education History

Newcastle University, Newcastle upon Tyne, UK

PHD

Publications

John Yiannis Cotronis
Application Composition in Ensemble Using Intercommunicators and Process Topologies. PVM/MPI (2003)
John Yiannis Cotronis, Zacharias Tsiatsoulis
Modular MPI and PVM Components. PVM/MPI (2002)
John Yiannis Cotronis
Modular MPI Components and the Composition of Grid Applications. PDP (2002)
John Yiannis Cotronis
Reusable message passing components. PDP (2000)
Zacharias Tsiatsoulis, John Yiannis Cotronis
Testing and Debugging Message Passing Programs in Synergy with their Specifications. Fundam. Informaticae 41 (3) (2000)
John Yiannis Cotronis, Zacharias Tsiatsoulis, C. Kouniakis
Composition of Message Passing Applications On-Demand. PVM/MPI (2000)
Zacharias Tsiatsoulis, Gábor Dózsa, John Yiannis Cotronis, Péter Kacsuk
Associating composition of Petri net specifications with application designs in GRADE. PDP (1999)
Zacharias Tsiatsoulis, John Yiannis Cotronis, Evangelos Floros
Testing and debugging message passing applications based on the synergy of program and specification executions. PDP (1999)
John Yiannis Cotronis
Developing Message-Passing Applications on MPICH under Ensemble. PVM/MPI (1998)
John Yiannis Cotronis, Zacharias Tsiatsoulis
Specification composition for the verification of message passing program composition. Microprocess. Microsystems 21 (10) (1998)
John Yiannis Cotronis, E. Avgeri, Y. Krallis
Porting applications between PVM and Parix under Ensemble. PDP (1998)
John Yiannis Cotronis
Message-Passing Program Development by Ensemble. PVM/MPI (1997)
John Yiannis Cotronis
Efficient Program Composition on Parix by the Ensemble Methodology. EUROMICRO (1996)
John Yiannis Cotronis
Efficient composition and automatic initialization of arbitrary structured PVM programs. Software Engineering for Parallel and Distributed Systems (1996)
John Yiannis Cotronis, Evangelos Floros, Nikos Papazis
Efficient Composition of PVM Programs. HPCN Europe (1996)
John Yiannis Cotronis, Apostolos Nikolaos Refenes, Eugene Eberbach
Language Support for Concurrent Symbolic and Numeric Systems. Softw. Concepts Tools 15 (3) (1994)
John Yiannis Cotronis, Peter E. Lauer
Two Way Channel with Disconnect. The Analysis of Concurrent Systems (1983)
Peter E. Lauer, M. W. Shields, John Yiannis Cotronis
Formal Behavioural Specification of Concurrent Systems Without Globality Assumptions. ICFPC (1981)
John Yiannis Cotronis, Peter E. Lauer
Verification of Concurrent Systems of Processes. International Computing Symposium (1977)

John Yiannis Cotronis.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

John Yiannis Cotronis