dblp.uni-trier.dewww.uni-trier.de

Juliana Küster Filipe Bowles

Juliana Küster Filipe

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

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

Coauthor Index

1Stuart Anderson [10] [17]
2Behzad Bordbar [22]
3Julian C. Bradfield [8]
4Alessandra Cavarra [12] [15]
5Grit Denker [4]
6Silke Eckstein [1]
7Hans-Dieter Ehrich [1]
8Massimo Felici [7]
9Antonio Grau [1] [4]
10Leïla Kloul [19]
11Mojgan Kowsari [1]
12Kung-Kiu Lau [2] [5]
13Jonathan K. Millen [4]
14Sotiris Moschoyiannis [21] [23]
15Mario Ornaghi [2] [5]
16Ralf Pinger [1]
17Iman Poernomo [11] [14] [20]
18Ralf Reussner (Ralf H. Reussner) [11] [14] [20]
19Sandeep K. Shukla [11] [14]
20Perdita Stevens [8]
21Kenji Taguchi [5]
22Alan Wills [5]
23Hirokazu Yatsu [2] [5]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)