2008 |
23 | EE | Juliana Küster Filipe Bowles,
Sotiris Moschoyiannis:
When Things Go Wrong: Interrupting Conversations.
FASE 2008: 131-145 |
2007 |
22 | EE | Juliana Küster Filipe Bowles,
Behzad Bordbar:
A Formal Model for Integrating Multiple Views.
ACSD 2007: 71-79 |
21 | EE | Juliana Küster Filipe,
Sotiris Moschoyiannis:
Concurrent Logic and Automata Combined: A Semantics for Components.
Electr. Notes Theor. Comput. Sci. 175(2): 135-151 (2007) |
20 | EE | Juliana Küster Filipe Bowles,
Iman Poernomo,
Ralf Reussner:
Preface.
Electr. Notes Theor. Comput. Sci. 176(2): 1-4 (2007) |
2006 |
19 | EE | Leïla Kloul,
Juliana Küster Filipe:
Modelling Mobility with UML2.0 and PEPA Nets.
ACSD 2006: 153-164 |
18 | EE | Juliana Küster Filipe:
Decomposing Interactions.
AMAST 2006: 189-203 |
17 | EE | Juliana Küster Filipe,
Stuart Anderson:
On a time enriched OCL liveness template.
STTT 8(2): 156-166 (2006) |
16 | EE | Juliana Küster Filipe:
Modelling concurrent interactions.
Theor. Comput. Sci. 351(2): 203-220 (2006) |
2005 |
15 | EE | Alessandra Cavarra,
Juliana Küster Filipe:
Combining Sequence Diagrams and OCL for Liveness.
Electr. Notes Theor. Comput. Sci. 115: 19-38 (2005) |
14 | EE | Juliana Küster Filipe,
Iman Poernomo,
Ralf Reussner,
Sandeep K. Shukla:
Preface.
Electr. Notes Theor. Comput. Sci. 141(3): 1-2 (2005) |
2004 |
13 | EE | Juliana Küster Filipe:
Modelling Concurrent Interactions.
AMAST 2004: 304-318 |
12 | EE | Alessandra Cavarra,
Juliana Küster Filipe:
Formalizing Liveness-Enriched Sequence Diagrams Using ASMs.
Abstract State Machines 2004: 62-77 |
11 | EE | Juliana Küster Filipe,
Iman Poernomo,
Ralf Reussner,
Sandeep K. Shukla:
Preface.
Electr. Notes Theor. Comput. Sci. 108: 1-2 (2004) |
2003 |
10 | EE | Stuart Anderson,
Juliana Küster Filipe:
Guaranteeing Temporal Validity with a Real-Time Logic of Knowledg.
ICDCS Workshops 2003: 178- |
9 | EE | Juliana Küster Filipe:
Giving Life to Agent Interactions.
Objects, Agents, and Features 2003: 98-116 |
2002 |
8 | EE | Julian C. Bradfield,
Juliana Küster Filipe,
Perdita Stevens:
Enriching OCL Using Observational Mu-Calculus.
FASE 2002: 203-217 |
7 | EE | Massimo Felici,
Juliana Küster Filipe:
Limits in modelling evolving computer-based systems.
SAC 2002: 706-710 |
6 | EE | Juliana Küster Filipe:
A logic-based formalization for component specification.
Journal of Object Technology 1(3): 231-248 (2002) |
2000 |
5 | EE | Juliana Küster Filipe,
Kung-Kiu Lau,
Mario Ornaghi,
Kenji Taguchi,
Hirokazu Yatsu,
Alan Wills:
Formal specification of Catalysis frameworks.
APSEC 2000: 180-187 |
4 | EE | Grit Denker,
Jonathan K. Millen,
Antonio Grau,
Juliana Küster Filipe:
Optimizing Protocol Rewrite Rules of CIL Specifications.
CSFW 2000: 52-62 |
3 | | Juliana Küster Filipe:
Fundamentals of Module Logic for Distributed Object Systems.
Journal of Functional and Logic Programming 2000(3): (2000) |
1999 |
2 | | 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: 42-61 |
1998 |
1 | EE | 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: 277-290 |