Marjan Sirjani

Modeling component connectors in Reo by constraint automata

Christel Baier, Marjan Sirjani, Farhad Arbab et al. · Science of Computer Programming · 2006 · 307 citations · Full text

Computing, Computer Science, Formal Methods +12

Modeling and Verification of Reactive Systems using Rebeca

Marjan Sirjani, Ali Movaghar, Amin Shali et al. · Fundamenta Informaticae · 2004 · 160 citations

Computing, Computer Science, Systems Engineering +16

Modeling Component Connectors in Reo by Constraint Automata

Farhad Arbab, Christel Baier, Jan Rutten et al. · Electronic Notes in Theoretical Computer Science · 2004 · 61 citations · Full text

Computing, Computer Science, Formal Methods +12

Modelling and simulation of asynchronous real-time systems using Timed Rebeca

Árni Hermann Reynisson, Marjan Sirjani, Luca Aceto et al. · Science of Computer Programming · 2014 · 61 citations

Engineering, Computer Engineering, Computer Science +12

Formal modeling of evolving self-adaptive systems

Narges Khakpour, Saeed Jalili, Carolyn Talcott et al. · Science of Computer Programming · 2011 · 47 citations

Engineering, Computer Systems, Systems Engineering +13