( en | de | ru )

 

Disambiguation of "Küster-Filipe, Juliana"

Author of the publication

copydeleteadd this publication to your clipboard
Report on the Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures (FESCA)

, , , and . Newsletter of the European Association of Software Science and Technology (EASST), (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Juliana Küster Filipe

Ulrich Küster

Georg Küster

Hermann Küster

Paul Küster

 

Other publications of authors with the same name

On Dynamic Aspects of OOD Frameworks in Component-Based Software Development in Computational Logic., , , and . LOPSTR, volume 1817 of Lecture Notes in Computer Science, page 42-61. Springer, (1999)Report on the Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures (FESCA), , , and . Newsletter of the European Association of Software Science and Technology (EASST), (2004)Formalizing Liveness-Enriched Sequence Diagrams Using ASMs., and . Abstract State Machines, volume 3052 of Lecture Notes in Computer Science, page 62-77. Springer, (2004)Giving Life to Agent Interactions.. Objects, Agents, and Features, volume 2975 of Lecture Notes in Computer Science, page 98-116. Springer, (2003)Decomposing Interactions.. AMAST, volume 4019 of Lecture Notes in Computer Science, page 189-203. Springer, (2006)On a time enriched OCL liveness template., and . Int. J. Softw. Tools Technol. Transf., 8 (2): 156-166 (2006)Modelling Mobility with UML2.0 and PEPA Nets., and . ACSD, page 153-164. IEEE Computer Society, (2006)Modelling Concurrent Interactions.. AMAST, volume 3116 of Lecture Notes in Computer Science, page 304-318. Springer, (2004)Enriching OCL Using Observational Mu-Calculus., , and . FASE, volume 2306 of Lecture Notes in Computer Science, page 203-217. Springer, (2002)Formal specification of Catalysis frameworks., , , , , and . APSEC, page 180-187. IEEE Computer Society, (2000)