Juliana Küster-Filipe

Modelling concurrent interactions

Juliana Küster-Filipe, Juliana Küster-Filipe, 2006 .

Foundations of a Module Concept for Distributed Object Systems

Juliana Küster-Filipe, Juliana Küster-Filipe, 2000 .

Formalising Well-Behaved Components

Sotiris Moschoyiannis, Juliana Küster-Filipe, Michael W. Shields, 2003 .

From Interaction Overview Diagrams to PEPA Nets

Juliana Küster-Filipe, 2005 .

Formal Foundations of Embedded Software and Component-Based Software Architectures (FESCA) Workshop

Sandeep K. Shukla, Ralf Reussner, Iman Poernomo, 2004 .