Kamu erişimi zorunlu olan makaleler - Farhad ArbabDaha fazla bilgi edinin
Bir yerde sunuluyor: 14
From coordination to stochastic models of QoS
F Arbab, T Chothia, R van der Mei, S Meng, YJ Moon, C Verhoef
Coordination Models and Languages: 11th International Conference …, 2009
Zorunlu olanlar: German Research Foundation
Tiles for reo
F Arbab, R Bruni, D Clarke, I Lanese, U Montanari
International Workshop on Algebraic Development Techniques, 37-55, 2008
Zorunlu olanlar: German Research Foundation
Connectors as designs: Modeling, refinement and test case generation
S Meng, F Arbab, BK Aichernig, L Aştefănoaei, FS de Boer, J Rutten
Science of Computer Programming 77 (7-8), 799-822, 2012
Zorunlu olanlar: German Research Foundation
Synthesis of Reo circuits from scenario-based interaction specifications
S Meng, F Arbab, C Baier
Science of Computer Programming 76 (8), 651-680, 2011
Zorunlu olanlar: German Research Foundation
Connectors as designs
S Meng, F Arbab
Electronic Notes in Theoretical Computer Science 255, 119-135, 2009
Zorunlu olanlar: German Research Foundation
A semantic model for interacting cyber-physical systems
B Lion, F Arbab, C Talcott
Journal of Logical and Algebraic Methods in Programming 129, 100807, 2022
Zorunlu olanlar: US Department of Defense
Synthesis of Reo circuits from scenario-based specifications
F Arbab, M Sun, C Baier
Electronic Notes in Theoretical Computer Science 229 (2), 21-41, 2009
Zorunlu olanlar: German Research Foundation
Soft component automata: Composition, compilation, logic, and verification
T Kappé, B Lion, F Arbab, C Talcott
Science of Computer Programming 183, 102300, 2019
Zorunlu olanlar: US Department of Defense, European Commission
A component-oriented framework for autonomous agents
T Kappé, F Arbab, C Talcott
Formal Aspects of Component Software: 14th International Conference, FACS …, 2017
Zorunlu olanlar: US Department of Defense
A rewriting framework for interacting cyber-physical agents
B Lion, F Arbab, C Talcott
International Symposium on Leveraging Applications of Formal Methods, 356-372, 2022
Zorunlu olanlar: US Department of Defense
A formal framework for distributed cyber-physical systems
B Lion, F Arbab, C Talcott
Journal of Logical and Algebraic Methods in Programming 128, 100795, 2022
Zorunlu olanlar: US Department of Defense
Runtime Composition of Systems of Interacting Cyber-Physical Components
B Lion, F Arbab, C Talcott
International Workshop on Algebraic Development Techniques, 141-162, 2022
Zorunlu olanlar: US Department of Defense
REPORT SEN-E0901 MARCH 2009
F Arbab, T Chothia, RD van der Mei, S Meng, YJ Moon, CG Verhoef
Zorunlu olanlar: German Research Foundation
Slicing Abstractions
F Arbab, M Sirjani, I Brückner, K Dräger, B Finkbeiner, H Wehrheim
Fundamenta Informaticae 89 (4), 369-392, 2008
Zorunlu olanlar: German Research Foundation
Yayıncılık ve maddi kaynak bilgileri otomatik olarak bir bilgisayar programı tarafından belirlenmektedir