|
Search the dblp DataBase
Juliana Küster Filipe:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Leïla Kloul, Juliana Küster Filipe
Modelling Mobility with UML2.0 and PEPA Nets. [Citation Graph (0, 0)][DBLP] ACSD, 2006, pp:153-164 [Conf]
- Juliana Küster Filipe
Modelling Concurrent Interactions. [Citation Graph (0, 0)][DBLP] AMAST, 2004, pp:304-318 [Conf]
- Juliana Küster Filipe
Decomposing Interactions. [Citation Graph (0, 0)][DBLP] AMAST, 2006, pp:189-203 [Conf]
- Juliana Küster Filipe, Kung-Kiu Lau, Mario Ornaghi, Kenji Taguchi, Hirokazu Yatsu, Alan Wills
Formal specification of Catalysis frameworks. [Citation Graph (0, 0)][DBLP] APSEC, 2000, pp:180-187 [Conf]
- Alessandra Cavarra, Juliana Küster Filipe
Formalizing Liveness-Enriched Sequence Diagrams Using ASMs. [Citation Graph (0, 0)][DBLP] Abstract State Machines, 2004, pp:62-77 [Conf]
- Grit Denker, Jonathan K. Millen, Antonio Grau, Juliana Küster Filipe
Optimizing Protocol Rewrite Rules of CIL Specifications. [Citation Graph (0, 0)][DBLP] CSFW, 2000, pp:52-62 [Conf]
- Juliana Küster Filipe
Giving Life to Agent Interactions. [Citation Graph (0, 0)][DBLP] Objects, Agents, and Features, 2003, pp:98-116 [Conf]
- 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. [Citation Graph (0, 8)][DBLP] ER, 1998, pp:277-290 [Conf]
- Julian C. Bradfield, Juliana Küster Filipe, Perdita Stevens
Enriching OCL Using Observational Mu-Calculus. [Citation Graph (0, 0)][DBLP] FASE, 2002, pp:203-217 [Conf]
- Stuart Anderson, Juliana Küster Filipe
Guaranteeing Temporal Validity with a Real-Time Logic of Knowledg. [Citation Graph (0, 0)][DBLP] ICDCS Workshops, 2003, pp:178-0 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] LOPSTR, 1999, pp:42-61 [Conf]
- Massimo Felici, Juliana Küster Filipe
Limits in modelling evolving computer-based systems. [Citation Graph (0, 0)][DBLP] SAC, 2002, pp:706-710 [Conf]
- Alessandra Cavarra, Juliana Küster Filipe
Combining Sequence Diagrams and OCL for Liveness. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:115, n:, pp:19-38 [Journal]
- Juliana Küster Filipe, Iman Poernomo, Ralf Reussner, Sandeep K. Shukla
Preface. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:108, n:, pp:1-2 [Journal]
- Juliana Küster Filipe, Iman Poernomo, Ralf Reussner, Sandeep K. Shukla
Preface. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:141, n:3, pp:1-2 [Journal]
- Juliana Küster Filipe
Fundamentals of Module Logic for Distributed Object Systems. [Citation Graph (0, 0)][DBLP] Journal of Functional and Logic Programming, 2000, v:2000, n:3, pp:- [Journal]
- Juliana Küster Filipe
A logic-based formalization for component specification. [Citation Graph (0, 0)][DBLP] Journal of Object Technology, 2002, v:1, n:3, pp:231-248 [Journal]
- Juliana Küster Filipe, Stuart Anderson
On a time enriched OCL liveness template. [Citation Graph (0, 0)][DBLP] STTT, 2006, v:8, n:2, pp:156-166 [Journal]
- Juliana Küster Filipe
Modelling concurrent interactions. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2006, v:351, n:2, pp:203-220 [Journal]
- Juliana Küster Filipe, Sotiris Moschoyiannis
Concurrent Logic and Automata Combined: A Semantics for Components. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:175, n:2, pp:135-151 [Journal]
Search in 0.004secs, Finished in 0.005secs
|