BH akademski imenik

Algorithmic Computation of Strongest Postconditions of Services as Priced Timed Automata

2012.

1

Aida Čaušević, C. Seceleanu, P. Pettersson

Preuzmi PDF

Vidi više

Formal Approaches to Service-oriented Design : From Behavioral Modeling to Service Analysis

2011.

3

Aida Čaušević

Preuzmi PDF

Vidi više

Modeling and Reasoning about Service Behaviors and Their Compositions

18. 10. 2010.

19

Aida Čaušević, C. Seceleanu, P. Pettersson

Leveraging Applications of Formal Methods

Preuzmi PDF

Vidi više

Formal reasoning of resource-aware services

2010.

5

Aida Čaušević, C. Seceleanu, P. Pettersson

Preuzmi PDF

Vidi više

Applying REMES behavioral modeling to PLC systems

4. 12. 2009.

4

Aneta Vulgarakis, Aida Čaušević

2009 XXII International Symposium on Information, Communication and Automation Technologies

Preuzmi PDF

Vidi više

Towards a Unified Behavioral Model for Component-Based and Service-Oriented Systems

20. 7. 2009.

9

Aida Čaušević, Aneta Vulgarakis

2009 33rd Annual IEEE International Computer Software and Applications Conference

Preuzmi PDF

Vidi više

Behavioral Modeling and Refinement of Services

2009.

0

Aida Čaušević, C. Seceleanu, P. Pettersson

Preuzmi PDF

Vidi više

Project Deliverable D 3 . 1 Prediction Models Specification ( revised version ) Project

2009.

0

Danilo Ardagna, Steffen Becker, Aida Čaušević, C. Ghezzi, V. Grassi, L. Kapová, K. Krogmann, R. Mirandola

Preuzmi PDF

Vidi više

XXII International Symposium on Information, Communication and Automation Technologies, ICAT 2009, Sarajevo, Bosnia and Herzegovina, 29-31 October, 2009

2009.

0

A. Salihbegovic, H. Supic, J. Velagić, Aida Sadzak, Daniele Guidi, Aida Čaušević, Murat Uzam, Gökhan Gelen et al.

International Symposium on Information, Communication and Automation Technologies

Preuzmi PDF

Vidi više

Analyzing Resource-Usage Impact on Component-Based Systems Performance and Reliability

10. 12. 2008.

2

Aida Čaušević, P. Pettersson, C. Seceleanu

International Conference on Computational Intelligence for Modelling, Control and Automation

Preuzmi PDF

Vidi više

Project Deliverable D3.1 Prediction Model Specification

2008.

1

Danilo Ardagna, Steffen Becker, Aida Čaušević, C. Ghezzi, V. Grassi, L. Kapová, K. Krogmann, R. Mirandola et al.

Preuzmi PDF

Vidi više

Nema pronađenih rezultata, molimo da izmjenite uslove pretrage i pokušate ponovo!

Publikacije (56)

Filters

Filteri

Datum objave

Uključeni istraživači

Dodatni filteri

Pretplatite se na novosti o BH Akademskom Imeniku