|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 17 occurrences of 17 keywords
|
|
|
|
|
Results
Found 26 publication records. Showing 26 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Ralf Reussner, Iman Poernomo, Juliana Küster Filipe Bowles |
Preface.  |
Electr. Notes Theor. Comput. Sci.  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Juliana Küster Filipe Bowles, Leïla Kloul |
Synthesising PEPA nets from IODs for performance analysis. |
WOSP/SIPEW |
2010 |
DBLP DOI BibTeX RDF |
formal transformation, pepa nets, uml 2 interaction diagrams, mobility, performance analysis |
| 1 | Juliana Küster Filipe Bowles, Iman Poernomo, Ralf Reussner |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Juliana Küster Filipe Bowles, Sotiris Moschoyiannis |
When Things Go Wrong: Interrupting Conversations. |
FASE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Juliana Küster Filipe, Sotiris Moschoyiannis |
Concurrent Logic and Automata Combined: A Semantics for Components. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Juliana Küster Filipe Bowles, Iman Poernomo, Ralf Reussner |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Juliana Küster Filipe Bowles, Behzad Bordbar |
A Formal Model for Integrating Multiple Views. |
ACSD |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Juliana Küster Filipe |
Modelling concurrent interactions. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Juliana Küster Filipe, Stuart Anderson |
On a time enriched OCL liveness template. |
STTT |
2006 |
DBLP DOI BibTeX RDF |
Timed logics of knowledge, Timed automata, Timing constraints, OCL, Distributed real-time systems |
| 1 | Leïla Kloul, Juliana Küster Filipe |
Modelling Mobility with UML2.0 and PEPA Nets. |
ACSD |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Juliana Küster Filipe |
Decomposing Interactions. |
AMAST |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Juliana Küster Filipe, Iman Poernomo, Ralf Reussner, Sandeep K. Shukla |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandra Cavarra, Juliana Küster Filipe |
Combining Sequence Diagrams and OCL for Liveness. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Juliana Küster Filipe, Iman Poernomo, Ralf Reussner, Sandeep K. Shukla |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Juliana Küster Filipe |
Modelling Concurrent Interactions. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandra Cavarra, Juliana Küster Filipe |
Formalizing Liveness-Enriched Sequence Diagrams Using ASMs. |
Abstract State Machines |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Stuart Anderson, Juliana Küster Filipe |
Guaranteeing Temporal Validity with a Real-Time Logic of Knowledg. |
ICDCS Workshops |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Juliana Küster Filipe |
Giving Life to Agent Interactions. |
Objects, Agents, and Features |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Juliana Küster Filipe |
A logic-based formalization for component specification. |
Journal of Object Technology |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Felici, Juliana Küster Filipe |
Limits in modelling evolving computer-based systems. |
SAC |
2002 |
DBLP DOI BibTeX RDF |
modelling, design, evolution, computer-based Systems |
| 1 | Julian C. Bradfield, Juliana Küster Filipe, Perdita Stevens |
Enriching OCL Using Observational Mu-Calculus. |
FASE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Juliana Küster Filipe |
Fundamentals of Module Logic for Distributed Object Systems. |
Journal of Functional and Logic Programming |
2000 |
DBLP BibTeX RDF |
|
| 1 | Juliana Küster Filipe, Kung-Kiu Lau, Mario Ornaghi, Kenji Taguchi, Hirokazu Yatsu, Alan Wills |
Formal specification of Catalysis frameworks. |
APSEC |
2000 |
DBLP DOI BibTeX RDF |
Catalysis frameworks, informal description, framework composition, formal specification, formal specification, software reuse, software reusability, object-oriented methods, component-based software development, subroutines, formal reasoning |
| 1 | Grit Denker, Jonathan K. Millen, Antonio Grau, Juliana Küster Filipe |
Optimizing Protocol Rewrite Rules of CIL Specifications. (PDF / PS) |
CSFW |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #26 of 26 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")