John Yiannis Cotronis

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