E-LIB Suche - Ergebnisse für: Arbab, Farhad

1

Runtime Composition of Systems of Interacting Cyber-Physica..:

, In: Recent Trends in Algebraic Development Techniques; Lecture Notes in Computer Science,

Lion, Benjamin ; Arbab, Farhad ; Talcott, Carolyn - p. 141-162 , 2023

Link: https://doi.org/10.1007/..

2

Preface – Special Issue on selected and extended papers fro..:

Jongmans, Sung-Shik ; Arbab, Farhad
Science of Computer Programming. 218 (2022) - p. 102807 , 2022

Link: https://doi.org/10.1016/..

3

A formal framework for distributed cyber-physical systems:

Lion, Benjamin ; Arbab, Farhad ; Talcott, Carolyn
Journal of Logical and Algebraic Methods in Programming. 128 (2022) - p. 100795 , 2022

Link: https://doi.org/10.1016/..

4

A Rewriting Framework for Interacting Cyber-Physical Agents:

, In: Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning; Lecture Notes in Computer Science,

Lion, Benjamin ; Arbab, Farhad ; Talcott, Carolyn - p. 356-372 , 2022

Link: https://doi.org/10.1007/..

5

A semantic model for interacting cyber-physical systems:

Lion, Benjamin ; Arbab, Farhad ; Talcott, Carolyn
Journal of Logical and Algebraic Methods in Programming. 129 (2022) - p. 100807 , 2022

Link: https://doi.org/10.1016/..

6

Protocol Scheduling:

, In: Fundamentals of Software Engineering; Lecture Notes in Computer Science,

Dokter, Kasper ; Arbab, Farhad - p. 3-17 , 2021

Link: https://doi.org/10.1007/..

7

Compositional workflow modeling with priority constraints:

Changizi, Behnaz ; Kokash, Natallia ; Arbab, Farhad.
Science of Computer Programming. 203 (2021) - p. 102578 , 2021

Link: https://doi.org/10.1016/..

8

Formal Aspects of Component Software: 16th International Co..

Programming and Software Engineering, 12018

Arbab, Farhad ; Jongmans, Sung-Shik - 1st ed. 2020 . , 2020

Link: https://doi.org/10.1007/..

9

Simulation of Hybrid Reo Connectors:

, In: 2020 CSI/CPSSI International Symposium on Real-Time and Embedded Systems and Technologies (RTEST),

Ardeshir-Larijani, Ebrahim ; Farhadi, Alireza ; Arbab, Farhad - p. 1-10 , 2020

Link: https://doi.org/10.1109/..

10

Soft component automata: Composition, compilation, logic, a..:

Kappé, Tobias ; Lion, Benjamin ; Arbab, Farhad.
Science of Computer Programming. 183 (2019) - p. 102300 , 2019

Link: https://doi.org/10.1016/..

11

A Reo Model of Software Defined Networks:

, In: Formal Methods and Software Engineering; Lecture Notes in Computer Science,

Feng, Hui ; Arbab, Farhad ; Bonsangue, Marcello - p. 69-85 , 2019

Link: https://doi.org/10.1007/..

12

Service Orchestration with Priority Constraints:

, In: Fundamentals of Software Engineering; Lecture Notes in Computer Science,

Changizi, Behnaz ; Kokash, Natallia ; Arbab, Farhad - p. 194-209 , 2019

Link: https://doi.org/10.1007/..

13

Different Glasses to Look into the Three Cs: Component, Con..:

, In: Models, Languages, and Tools for Concurrent and Distributed Programming; Lecture Notes in Computer Science,

Arbab, Farhad ; Autili, Marco ; Inverardi, Paola. - p. 191-216 , 2019

Link: https://doi.org/10.1007/..

14

Reo Coordination Model for Simulation of Quantum Internet S..:

, In: Software Technologies: Applications and Foundations; Lecture Notes in Computer Science,

Ardeshir-Larijani, Ebrahim ; Arbab, Farhad - p. 311-319 , 2018

Link: https://doi.org/10.1007/..

15

Combine and conquer: Relating BIP and Reo:

Dokter, Kasper ; Jongmans, Sung-Shik ; Arbab, Farhad.
Journal of Logical and Algebraic Methods in Programming. 86 (2017) 1 - p. 134-156 , 2017

Link: https://doi.org/10.1016/..