Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Book
|
Fundamentals of Software Engineering: Fourth International IPM Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected PapersArbab, Farhad ; Sirjani, Marjan Arbab, Farhad ; Sirjani, MarjanNetherlands: Springer Nature 2012Full text available |
|
2 |
Material Type: Book
|
Coordination Models and Languages: 5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002 ProceedingsArbab, Farhad ; Talcott, Carolyn Arbab, Farhad ; Talcott, CarolynBerlin, Heidelberg: Springer Berlin / Heidelberg 2002Full text available |
|
3 |
Material Type: Article
|
Synthesizing structural and behavioral control for reconfigurations in component-based systemsKhakpour, Narges ; Arbab, Farhad ; Rutten, EricFormal aspects of computing, 2016-03, Vol.28 (1), p.21-43 [Peer Reviewed Journal]London: Springer LondonFull text available |
|
4 |
Material Type: Book
|
Fundamentals of Software Engineering: 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected PapersArbab, Farhad ; Sirjani, Marjan Arbab, Farhad ; Sirjani, MarjanNetherlands: Springer Nature 2013Full text available |
|
5 |
Material Type: Book
|
Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected PapersArbab, Farhad ; Ölveczky, Peter Csaba Arbab, Farhad ; lveczky, Peter CsabaNetherlands: Springer Nature 2012Full text available |
|
6 |
Material Type: Book Chapter
|
Abstract Behavior Types: A Foundation Model for Components and Their CompositionArbab, Farhad de Roever, Willem-Paul ; Bonsangue, Marcello M. ; Graf, Susanne ; de Boer, Frank S.Formal Methods for Components and Objects, 2003, p.33-70 [Peer Reviewed Journal]Berlin, Heidelberg: Springer Berlin HeidelbergFull text available |
|
7 |
Material Type: Book Chapter
|
Will the Real Service Oriented Computing Please Stand Up?Arbab, Farhad Barbosa, Luís Soares ; Lumpe, MarkusFormal Aspects of Component Software, p.277-285 [Peer Reviewed Journal]Berlin, Heidelberg: Springer Berlin HeidelbergFull text available |
|
8 |
Material Type: Book Chapter
|
Coordination Models and LanguagesPapadopoulos, George A. ; Arbab, FarhadAdvances In Computers, 1998, Vol.46, p.329-400 [Peer Reviewed Journal]United States: Elsevier Science & TechnologyFull text available |
|
9 |
Material Type: Conference Proceeding
|
Coordination through Channel CompositionArbab, Farhad ; Mavaddat, Farhad Arbab, Farhad ; Talcott, CarolynCoordination Models and Languages, 2002, p.22-39 [Peer Reviewed Journal]Berlin, Heidelberg: Springer Berlin HeidelbergFull text available |
|
10 |
Material Type: Book Chapter
|
Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical SystemsTalcott, Carolyn ; Nigam, Vivek ; Arbab, Farhad ; Kappé, Tobias Hillston, Jane ; De Nicola, Rocco ; Bernardo, MarcoFormal Methods for the Quantitative Evaluation of Collective Adaptive Systems, 2016, Vol.9700, p.1-35 [Peer Reviewed Journal]Switzerland: Springer International Publishing AGFull text available |