Juliana Küster Filipe

ORCID

Publication Activity (10 Years)

Years Active: 1998-2007
Publications (10 Years): 0

Braunschweig University of Technology, Germany (PHD)

Education History

Braunschweig University of Technology, Germany

PHD

Publications

Juliana Küster Filipe, Sotiris Moschoyiannis
Concurrent Logic and Automata Combined: A Semantics for Components. Electron. Notes Theor. Comput. Sci. 175 (2) (2007)
Juliana Küster Filipe
Decomposing Interactions. AMAST (2006)
Leïla Kloul, Juliana Küster Filipe
Modelling Mobility with UML2.0 and PEPA Nets. ACSD (2006)
Juliana Küster Filipe, Stuart Anderson
On a time enriched OCL liveness template. Int. J. Softw. Tools Technol. Transf. 8 (2) (2006)
Juliana Küster Filipe
Modelling concurrent interactions. Theor. Comput. Sci. 351 (2) (2006)
Juliana Küster Filipe, Iman Poernomo, Ralf H. Reussner, Sandeep K. Shukla
Preface. Electron. Notes Theor. Comput. Sci. 141 (3) (2005)
Alessandra Cavarra, Juliana Küster Filipe
Combining Sequence Diagrams and OCL for Liveness. Electron. Notes Theor. Comput. Sci. 115 (2005)
Gordon D. Baxter, Juliana Küster Filipe, Angela Miguel, Kenneth Tan
The Effects of Timing and Collaboration on Dependability in the Neonatal Intensive Care Unit. SSS (2005)
Juliana Küster Filipe, Iman Poernomo, Ralf H. Reussner, Sandeep K. Shukla
Preface. Electron. Notes Theor. Comput. Sci. 108 (2004)
Alessandra Cavarra, Juliana Küster Filipe
Formalizing Liveness-Enriched Sequence Diagrams Using ASMs. Abstract State Machines (2004)
Juliana Küster Filipe
Modelling Concurrent Interactions. AMAST (2004)
Juliana Küster Filipe
Giving Life to Agent Interactions. Objects, Agents, and Features (2003)
Stuart Anderson, Juliana Küster Filipe
Guaranteeing Temporal Validity with a Real-Time Logic of Knowledg. ICDCS Workshops (2003)
Juliana Küster Filipe
A logic-based formalization for component specification. J. Object Technol. 1 (3) (2002)
Massimo Felici, Juliana Küster Filipe
Limits in modelling evolving computer-based systems. SAC (2002)
Julian C. Bradfield, Juliana Küster Filipe, Perdita Stevens
Enriching OCL Using Observational Mu-Calculus. FASE (2002)
Juliana Küster Filipe, Kung-Kiu Lau, Mario Ornaghi, Kenji Taguchi, Hirokazu Yatsu, Alan Wills
Formal specification of Catalysis frameworks. APSEC (2000)
Grit Denker, Jonathan K. Millen, Antonio Grau, Juliana Küster Filipe
Optimizing Protocol Rewrite Rules of CIL Specifications. CSFW (2000)
Juliana Küster Filipe
Fundamentals of Module Logic for Distributed Object Systems. J. Funct. Log. Program. 2000 (3) (2000)
Juliana Küster Filipe, Kung-Kiu Lau, Mario Ornaghi, Hirokazu Yatsu
On Dynamic Aspects of OOD Frameworks in Component-Based Software Development in Computational Logic. LOPSTR (1999)
Antonio Grau, Juliana Küster Filipe, Mojgan Kowsari, Silke Eckstein, Ralf Pinger, Hans-Dieter Ehrich
The TROLL Approach to Conceptual Modeling: Syntax, Semantics and Tools. ER (1998)

Juliana Küster Filipe.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Juliana Küster Filipe