Juliana Küster Filipe

24 papers A 1B 1C 3Misc 1Journal 4Unranked 11

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