Juliana Küster Filipe Bowles

Juliana Küster Filipe

	2010
j11		Ralf Reussner, Iman Poernomo, Juliana Küster Filipe Bowles: Preface. Electr. Notes Theor. Comput. Sci. 238(6): 1-2 (2010)
c15		Juliana Küster Filipe Bowles, Leïla Kloul: Synthesising PEPA nets from IODs for performance analysis. WOSP/SIPEW 2010: 195-200
	2009
j10		Juliana Küster Filipe Bowles, Iman Poernomo, Ralf Reussner: Preface. Electr. Notes Theor. Comput. Sci. 203(7): 1-2 (2009)
	2008
c14		Juliana Küster Filipe Bowles, Sotiris Moschoyiannis: When Things Go Wrong: Interrupting Conversations. FASE 2008: 131-145
	2007
j9		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)
j8		Juliana Küster Filipe Bowles, Iman Poernomo, Ralf Reussner: Preface. Electr. Notes Theor. Comput. Sci. 176(2): 1-4 (2007)
c13		Juliana Küster Filipe Bowles, Behzad Bordbar: A Formal Model for Integrating Multiple Views. ACSD 2007: 71-79
	2006
j7		Juliana Küster Filipe, Stuart Anderson: On a time enriched OCL liveness template. STTT 8(2): 156-166 (2006)
j6		Juliana Küster Filipe: Modelling concurrent interactions. Theor. Comput. Sci. 351(2): 203-220 (2006)
c12		Leïla Kloul, Juliana Küster Filipe: Modelling Mobility with UML2.0 and PEPA Nets. ACSD 2006: 153-164
c11		Juliana Küster Filipe: Decomposing Interactions. AMAST 2006: 189-203
	2005
j5		Alessandra Cavarra, Juliana Küster Filipe: Combining Sequence Diagrams and OCL for Liveness. Electr. Notes Theor. Comput. Sci. 115: 19-38 (2005)
j4		Juliana Küster Filipe, Iman Poernomo, Ralf Reussner, Sandeep K. Shukla: Preface. Electr. Notes Theor. Comput. Sci. 141(3): 1-2 (2005)
	2004
j3		Juliana Küster Filipe, Iman Poernomo, Ralf Reussner, Sandeep K. Shukla: Preface. Electr. Notes Theor. Comput. Sci. 108: 1-2 (2004)
c10		Juliana Küster Filipe: Modelling Concurrent Interactions. AMAST 2004: 304-318
c9		Alessandra Cavarra, Juliana Küster Filipe: Formalizing Liveness-Enriched Sequence Diagrams Using ASMs. Abstract State Machines 2004: 62-77
	2003
c8		Juliana Küster Filipe: Giving Life to Agent Interactions. Objects, Agents, and Features 2003: 98-116
c7		Stuart Anderson, Juliana Küster Filipe: Guaranteeing Temporal Validity with a Real-Time Logic of Knowledg. ICDCS Workshops 2003: 178-
	2002
j2		Juliana Küster Filipe: A logic-based formalization for component specification. Journal of Object Technology 1(3): 231-248 (2002)
c6		Julian C. Bradfield, Juliana Küster Filipe, Perdita Stevens: Enriching OCL Using Observational Mu-Calculus. FASE 2002: 203-217
c5		Massimo Felici, Juliana Küster Filipe: Limits in modelling evolving computer-based systems. SAC 2002: 706-710
	2000
j1		Juliana Küster Filipe: Fundamentals of Module Logic for Distributed Object Systems. Journal of Functional and Logic Programming 2000(3) (2000)
c4		Juliana Küster Filipe, Kung-Kiu Lau, Mario Ornaghi, Kenji Taguchi, Hirokazu Yatsu, Alan Wills: Formal specification of Catalysis frameworks. APSEC 2000: 180-187
c3		Grit Denker, Jonathan K. Millen, Antonio Grau, Juliana Küster Filipe: Optimizing Protocol Rewrite Rules of CIL Specifications. CSFW 2000: 52-62
	1999
c2		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
c1		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

Coauthor Index

Colors in the list of coauthors

Last update Fri May 24 12:41:58 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page