sirjani, Marjan: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[Lecture Notes in Computer Science] Principles of Modeling Volume 10760 (Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday) || Complexity Challenges in Development of Cyber-Physical Systems

Lohstroh, Marten, Derler, Patricia, Sirjani, Marjan

Year:

2018

Language:

english

File:

PDF, 645 KB

english, 2018

2

A Survey of Active Object Languages

Boer, Frank De, Fernandez-Reyes, Kiko, Yang, Albert Mingkun, Serbanescu, Vlad, Hähnle, Reiner, Henrio, Ludovic, Rochas, Justine, Din, Crystal Chang, Johnsen, Einar Broch, Sirjani, Marjan, Khamespanah,

Journal:

ACM Computing Surveys

Year:

2017

Language:

english

File:

PDF, 1.65 MB

english, 2017

3

[Lecture Notes in Computer Science] Principles of Modeling Volume 10760 (Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday) || Model-Based Representations for Dataflow Schedules

Lohstroh, Marten, Derler, Patricia, Sirjani, Marjan

Year:

2018

Language:

english

File:

PDF, 773 KB

english, 2018

4

[Lecture Notes in Computer Science] Principles of Modeling Volume 10760 (Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday) || Anytime Algorithms in Time-Triggered Control Systems

Lohstroh, Marten, Derler, Patricia, Sirjani, Marjan

Year:

2018

Language:

english

File:

PDF, 374 KB

english, 2018

5

[Lecture Notes in Computer Science] Principles of Modeling Volume 10760 (Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday) || Autonomous Retailing: A Frontier for Cyber-Physical-Human Systems

Lohstroh, Marten, Derler, Patricia, Sirjani, Marjan

Year:

2018

Language:

english

File:

PDF, 344 KB

english, 2018

6

Preface

Carlos Canal, Pascal Poizat, Marjan Sirjani

Journal:

Science of Computer Programming

Year:

2011

Language:

english

File:

PDF, 136 KB

english, 2011

7

[ACM Press the 4th International Workshop - Portland, Oregon, USA (2014.10.20-2014.10.20)] Proceedings of the 4th International Workshop on Programming based on Actors Agents & Decentralized Control - AGERE! '14 - Event-Based Analysis of Timed Rebeca Models using SQL

Magnusson, Brynjar, Khamespanah, Ehsan, Khosravi, Ramtin, Sirjani, Marjan

Year:

2014

Language:

english

File:

PDF, 497 KB

english, 2014

8

[IEEE 2007 IEEE International Symposium on Circuits and Systems - New Orleans, LA, USA (2007.05.27-2007.05.30)] 2007 IEEE International Symposium on Circuits and Systems - A New Approach for Design and Verification of Transaction Level Models

Kakoee, Mohammad Reza, Shojaei, Hamid, Ghasemzadeh, Hassan, Sirjani, Marjan, Navabi, Zainalabedin

Year:

2007

Language:

english

File:

PDF, 360 KB

english, 2007

9

[Lecture Notes in Computer Science] Principles of Modeling Volume 10760 (Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday) || A Semantic Account of Rigorous Simulation

Lohstroh, Marten, Derler, Patricia, Sirjani, Marjan

Year:

2018

Language:

english

File:

PDF, 1.32 MB

english, 2018

10

[Lecture Notes in Computer Science] Principles of Modeling Volume 10760 (Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday) || Ptolemy-HLA: A Cyber-Physical System Distributed Simulation Framework

Lohstroh, Marten, Derler, Patricia, Sirjani, Marjan

Year:

2018

Language:

english

File:

PDF, 1.91 MB

english, 2018

11

[Lecture Notes in Computer Science] Principles of Modeling Volume 10760 (Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday) || If We Could Go Back in Time... On the Use of ‘Unnatural’ Time and Ordering in Dataflow Models

Lohstroh, Marten, Derler, Patricia, Sirjani, Marjan

Year:

2018

Language:

english

File:

PDF, 1.43 MB

english, 2018

12

[Lecture Notes in Computer Science] Principles of Modeling Volume 10760 (Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday) || Cyber-Physical Systems Education: Explorations and Dreams

Lohstroh, Marten, Derler, Patricia, Sirjani, Marjan

Year:

2018

Language:

english

File:

PDF, 1.40 MB

english, 2018

13

[Lecture Notes in Computer Science] Principles of Modeling Volume 10760 (Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday) || Modeling Dynamical Phenomena in the Era of Big Data

Lohstroh, Marten, Derler, Patricia, Sirjani, Marjan

Year:

2018

Language:

english

File:

PDF, 346 KB

english, 2018

14

[Lecture Notes in Computer Science] Principles of Modeling Volume 10760 (Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday) || Enabling Flow Preservation and Portability in Multicore Implementations of Simulink Models

Lohstroh, Marten, Derler, Patricia, Sirjani, Marjan

Year:

2018

Language:

english

File:

PDF, 1.01 MB

english, 2018

15

[Lecture Notes in Computer Science] Principles of Modeling Volume 10760 (Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday) || Abstraction and Refinement in Hierarchically Decomposable and Underspecified CPS-Architectures

Lohstroh, Marten, Derler, Patricia, Sirjani, Marjan

Year:

2018

Language:

english

File:

PDF, 1.08 MB

english, 2018

16

Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2017)

Dastani, Mehdi, Sirjani, Marjan

Journal:

Science of Computer Programming

Year:

2019

Language:

english

File:

PDF, 129 KB

english, 2019

17

Preface

Farhad Arbab, Marjan Sirjani

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 65 KB

english, 2006

18

Comparing Three Coordination Models: Reo, ARC, and RRD

Carolyn Talcott, Marjan Sirjani, Shangping Ren

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 420 KB

english, 2008

19

Automated Analysis of Reo Circuits using Symbolic Execution

Bahman Pourvatan, Marjan Sirjani, Hossein Hojjat, Farhad Arbab

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 794 KB

english, 2009

20

Vulnerability analysis of networks to detect multiphase attacks using the actor-based language Rebeca

Hamid Reza Shahriari, Mohammad Sadegh Makarem, Marjan Sirjani, Rasool Jalili, Ali Movaghar

Journal:

Computers & Electrical Engineering

Year:

2010

Language:

english

File:

PDF, 349 KB

english, 2010

21

Modeling Component Connectors in Reo by Constraint Automata: (Extended Abstract)

Farhad Arbab, Christel Baier, Jan Rutten, Marjan Sirjani

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 254 KB

english, 2004

22

Formal Semantics and Analysis of Component Connectors in Reo

Mohammad Reza Mousavi, Marjan Sirjani, Farhad Arbab

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 270 KB

english, 2006

23

Formal Verification of the IEEE 802.1D Spanning Tree Protocol Using Extended ebeca

Hossein Hojjat, Hootan Nakhost, Marjan Sirjani

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 276 KB

english, 2006

24

Preface

Carlos Canal, Pascal Poizat, Marjan Sirjani

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 99 KB

english, 2009

25

Formal Modeling and Conformance Validation for WS-CDL using Reo and CASM

Samira Tasharofi, Marjan Sirjani

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 738 KB

english, 2009

26

Slicing-based Reductions for Rebeca

Hamideh Sabouri, Marjan Sirjani

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 732 KB

english, 2010

27

PobSAM: Policy-based Managing of Actors in Self-Adaptive Systems

Narges Khakpour, Saeed Jalili, Carolyn Talcott, Marjan Sirjani, Mohammad Reza Mousavi

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 339 KB

english, 2010

28

Modeling component connectors in Reo by constraint automata

Christel Baier, Marjan Sirjani, Farhad Arbab, Jan Rutten

Journal:

Science of Computer Programming

Year:

2006

Language:

english

File:

PDF, 1.38 MB

english, 2006

29

Actor-based slicing techniques for efficient reduction of Rebeca models

Hamideh Sabouri, Marjan Sirjani

Journal:

Science of Computer Programming

Year:

2010

Language:

english

File:

PDF, 714 KB

english, 2010

30

Symmetry and partial order reduction techniques in model checking Rebeca

Mohammad Mahdi Jaghoori, Marjan Sirjani, Mohammad Reza Mousavi, Ehsan Khamespanah, Ali Movaghar

Journal:

Acta Informatica

Year:

2010

Language:

english

File:

PDF, 1.72 MB

english, 2010

31

Automated Mapping of Reo Circuits to Constraint Automata

Fatemeh Ghassemi, Samira Tasharofi, Marjan Sirjani

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 438 KB

english, 2006

32

Comparing three coordination models: Reo, ARC, and PBRD

Carolyn Talcott, Marjan Sirjani, Shangping Ren

Journal:

Science of Computer Programming

Year:

2011

Language:

english

File:

PDF, 543 KB

english, 2011

33

Schedulability of asynchronous real-time concurrent objects

Mohammad Mahdi Jaghoori, Frank S. de Boer, Tom Chothia, Marjan Sirjani

Journal:

The Journal of Logic and Algebraic Programming

Year:

2009

Language:

english

File:

PDF, 1.04 MB

english, 2009

34

Symbolic execution of Reo circuits using constraint automata

Bahman Pourvatan, Marjan Sirjani, Hossein Hojjat, Farhad Arbab

Journal:

Science of Computer Programming

Year:

2012

Language:

english

File:

PDF, 921 KB

english, 2012

35

Fundamentals of software engineering (selected papers of FSEN ’09)

Farhad Arbab, Marjan Sirjani

Journal:

Science of Computer Programming

Year:

2012

Language:

english

File:

PDF, 135 KB

english, 2012

36

Preface: Special issue on Foundations of Coordination Languages and Software Architectures (selected papers from FOCLASA’09)

Gwen Salaün, Marjan Sirjani

Journal:

Science of Computer Programming

Year:

2012

Language:

english

File:

PDF, 140 KB

english, 2012

37

Formal modeling of evolving self-adaptive systems

Khakpour, Narges, Jalili, Saeed, Talcott, Carolyn, Sirjani, Marjan, Mousavi, MohammadReza

Journal:

Science of Computer Programming

Year:

2012

Language:

english

File:

PDF, 453 KB

english, 2012

38

[Lecture Notes in Computer Science] Fundamentals of Software Engineering Volume 8161 ||

Arbab, Farhad, Sirjani, Marjan

Year:

2013

Language:

english

File:

PDF, 9.99 MB

english, 2013

39

[Lecture Notes in Computer Science] Fundamentals of Software Engineering Volume 5961 || An xADL Extension for Managing Dynamic Deployment in Distributed Service Oriented Architectures

Arbab, Farhad, Sirjani, Marjan

Year:

2010

Language:

english

File:

PDF, 243 KB

english, 2010

40

[Lecture Notes in Computer Science] Fundamentals of Software Engineering Volume 5961 ||

Arbab, Farhad, Sirjani, Marjan

Year:

2010

Language:

english

File:

PDF, 6.90 MB

english, 2010

41

[Lecture Notes in Computer Science] Fundamentals of Software Engineering Volume 5961 || Evolution Control in MDE Projects: Controlling Model and Code Co-evolution

Arbab, Farhad, Sirjani, Marjan

Year:

2010

Language:

english

File:

PDF, 141 KB

english, 2010

42

[Lecture Notes in Computer Science] Fundamentals of Software Engineering Volume 5961 || rCOS: Theory and Tool for Component-Based Model Driven Development

Arbab, Farhad, Sirjani, Marjan

Year:

2010

Language:

english

File:

PDF, 265 KB

english, 2010

43

Fundamentals of Software Engineering (selected papers of FSEN 2011)

Arbab, Farhad, Sirjani, Marjan

Journal:

Science of Computer Programming

Year:

2013

Language:

english

File:

PDF, 132 KB

english, 2013

44

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

Reynisson, Arni Hermann, Sirjani, Marjan, Aceto, Luca, Cimini, Matteo, Jafari, Ali, Ingolfsdottir, Anna, Sigurdarson, Steinar Hugi

Journal:

Science of Computer Programming

Year:

2014

Language:

english

File:

PDF, 704 KB

english, 2014

45

HPobSAM for modeling and analyzing IT Ecosystems – Through a case study

Khakpour, Narges, Jalili, Saeed, Sirjani, Marjan, Goltz, Ursula, Abolhasanzadeh, Bahareh

Journal:

Journal of Systems and Software

Year:

2012

Language:

english

File:

PDF, 973 KB

english, 2012

46

[ACM Press the 2013 workshop - Indianapolis, Indiana, USA (2013.10.27-2013.10.27)] Proceedings of the 2013 workshop on Programming based on actors, agents, and decentralized control - AGERE! '13 - Analysing timed Rebeca using McErlang

Kristinsson, Haukur, Jafari, Ali, Khamespanah, Ehsan, Magnusson, Brynjar, Sirjani, Marjan

Year:

2013

Language:

english

File:

PDF, 625 KB

english, 2013

47

[IEEE International Conference on Software Engineering Advances (ICSEA 2007) - Cap Esterel, France (2007.08.25-2007.08.31)] International Conference on Software Engineering Advances (ICSEA 2007) - ReUML: a UML Profile for Modeling and Verification of Reactive Systems

Alavizaedh, S. Fatemeh, Nekoo, Alireza Hashemi, sirjani, Marjan

Year:

2007

Language:

english

File:

PDF, 274 KB

english, 2007

48

[IEEE 2008 IEEE International Symposium on Service-Oriented System Engineering (SOSE) - Jhongli, Taiwan (2008.12.18-2008.12.19)] 2008 IEEE International Symposium on Service-Oriented System Engineering - QoS Aspects in Web Services Compositions

Mahdikhani, Farzad, Hashemi, Mahmoud Reza, Sirjani, Marjan

Year:

2008

Language:

english

File:

PDF, 232 KB

english, 2008

49

Timed Rebeca schedulability and deadlock freedom analysis using bounded floating time transition system

Khamespanah, Ehsan, Sirjani, Marjan, Sabahi Kaviani, Zeynab, Khosravi, Ramtin, Izadi, Mohammad-Javad

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 1.50 MB

english, 2015

50

[IEEE 2008 8th International Conference on Application of Concurrency to System Design - Xian, China (2008.06.23-2008.06.27)] 2008 8th International Conference on Application of Concurrency to System Design - An effective approach for model checking SystemC designs

Behjati, Razieh, Sabouri, Hamideh, Razavi, Niloofar, Sirjani, Marjan

Year:

2008

Language:

english

File:

PDF, 276 KB

english, 2008