sirjani, Marjan: search on Z-Library

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

Don't use scam websites

51

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

Arbab, Farhad, Sirjani, Marjan

Year:

2012

Language:

english

File:

PDF, 6.58 MB

english, 2012

52

Sysfier

Razavi, Niloofar, Behjati, Razieh, Sabouri, Hamideh, Khamespanah, Ehsan, Shali, Amin, Sirjani, Marjan

Journal:

ACM Transactions on Embedded Computing Systems

Year:

2010

Language:

english

File:

PDF, 2.94 MB

english, 2010

53

[Lecture Notes in Computer Science] Fundamentals of Software Engineering Volume 5961 || Applying Step Coverability Trees to Communicating Component-Based Systems

Arbab, Farhad, Sirjani, Marjan

Year:

2010

Language:

english

File:

PDF, 308 KB

english, 2010

54

[Lecture Notes in Computer Science] International Symposium on Fundamentals of Software Engineering Volume 4767 || A Review on Specifying Software Architectures Using Extended Automata-Based Models

Arbab, Farhad, Sirjani, Marjan

Year:

2007

Language:

english

File:

PDF, 190 KB

english, 2007

55

[Lecture Notes in Computer Science] Fundamentals of Software Engineering Volume 5961 || Typing Asymmetric Client-Server Interaction

Arbab, Farhad, Sirjani, Marjan

Year:

2010

Language:

english

File:

PDF, 279 KB

english, 2010

56

[ACM Press the 2006 ACM symposium - Dijon, France (2006.04.23-2006.04.27)] Proceedings of the 2006 ACM symposium on Applied computing - SAC '06 - Modere

Jaghoori, Mohammad Mahdi, Movaghar, Ali, Sirjani, Marjan

Year:

2006

Language:

english

File:

PDF, 183 KB

english, 2006

57

[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 - Efficient TCTL Model Checking Algorithm for Timed Actors

Khamespanah, Ehsan, Khosravi, Ramtin, Sirjani, Marjan

Year:

2014

Language:

english

File:

PDF, 1020 KB

english, 2014

58

[ACM Press the 2008 ACM symposium - Fortaleza, Ceara, Brazil (2008.03.16-2008.03.20)] Proceedings of the 2008 ACM symposium on Applied computing - SAC '08 - A framework for performance evaluation and functional verification in stochastic process algebras

Hojjat, Hossein, Mousavi, MohammadReza, Sirjani, Marjan

Year:

2008

Language:

english

File:

PDF, 368 KB

english, 2008

59

[ACM Press the 2010 ACM Symposium - Sierre, Switzerland (2010.03.22-2010.03.26)] Proceedings of the 2010 ACM Symposium on Applied Computing - SAC '10 - Formal analysis of policy-based self-adaptive systems

Khakpour, Narges, Khosravi, Ramtin, Sirjani, Marjan, Jalili, Saeed

Year:

2010

Language:

english

File:

PDF, 444 KB

english, 2010

60

[Lecture Notes in Computer Science] Fundamentals of Software Engineering Volume 9392 || Towards Smart Systems of Systems

Dastani, Mehdi, Sirjani, Marjan

Year:

2015

Language:

english

File:

PDF, 1.44 MB

english, 2015

61

[Lecture Notes in Computer Science] Fundamentals of Software Engineering Volume 9392 || Linear Evolution of Domain Architecture in Service-Oriented Software Product Lines

Dastani, Mehdi, Sirjani, Marjan

Year:

2015

Language:

english

File:

PDF, 320 KB

english, 2015

62

[Lecture Notes in Computer Science] Fundamentals of Software Engineering Volume 9392 || High Performance Computing Applications Using Parallel Data Processing Units

Dastani, Mehdi, Sirjani, Marjan

Year:

2015

Language:

english

File:

PDF, 733 KB

english, 2015

63

[Lecture Notes in Computer Science] Fundamentals of Software Engineering Volume 9392 || Automated Integration of Service-Oriented Software Systems

Dastani, Mehdi, Sirjani, Marjan

Year:

2015

Language:

english

File:

PDF, 979 KB

english, 2015

64

Formal semantics and efficient analysis of Timed Rebeca in Real-Time Maude

Sabahi-Kaviani, Zeynab, Khosravi, Ramtin, Ölveczky, Peter Csaba, Khamespanah, Ehsan, Sirjani, Marjan

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 1.73 MB

english, 2015

65

Statistical Model Checking of Timed Rebeca Models

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

Journal:

Computer Languages, Systems & Structures

Year:

2016

Language:

english

File:

PDF, 784 KB

english, 2016

66

Compositional schedulability analysis of real-time actor-based systems

Jaghoori, Mohammad Mahdi, de Boer, Frank, Longuet, Delphine, Chothia, Tom, Sirjani, Marjan

Journal:

Acta Informatica

Year:

2017

Language:

english

File:

PDF, 2.61 MB

english, 2017

67

Fundamentals of Software Engineering (selected papers of FSEN 2013)

Hojjat, Hossein, Sirjani, Marjan, Arbab, Farhad

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 124 KB

english, 2015

68

PTRebeca: Modeling and analysis of distributed and asynchronous systems

Jafari, Ali, Khamespanah, Ehsan, Sirjani, Marjan, Hermanns, Holger, Cimini, Matteo

Journal:

Science of Computer Programming

Year:

2016

Language:

english

File:

PDF, 4.14 MB

english, 2016

69

[ACM Press the 5th International Workshop - Pittsburgh, PA, USA (2015.10.26-2015.10.26)] Proceedings of the 5th International Workshop on Programming Based on Actors, Agents, and Decentralized Control - AGERE! 2015 - Jacco: more efficient model checking toolset for Java actor programs

Zakeriyan, Arvin, Khamespanah, Ehsan, Sirjani, Marjan, Khosravi, Ramtin

Year:

2015

Language:

english

File:

PDF, 449 KB

english, 2015

70

[Lecture Notes in Computer Science] Software Engineering and Formal Methods Volume 10469 || Towards Automated Deployment of Self-adaptive Applications on Hybrid Clouds (Short Paper)

Cimatti, Alessandro, Sirjani, Marjan

Year:

2017

Language:

english

File:

PDF, 616 KB

english, 2017

71

[Lecture Notes in Computer Science] Software Engineering and Formal Methods Volume 10469 || On Approximate Diagnosability of Metric Systems

Cimatti, Alessandro, Sirjani, Marjan

Year:

2017

Language:

english

File:

PDF, 268 KB

english, 2017

72

[Lecture Notes in Computer Science] Software Engineering and Formal Methods Volume 10469 || From Model Checking to a Temporal Proof for Partial Models

Cimatti, Alessandro, Sirjani, Marjan

Year:

2017

Language:

english

File:

PDF, 959 KB

english, 2017

73

[Lecture Notes in Computer Science] Software Engineering and Formal Methods Volume 10469 || Information Flow Tracking for Linux Handling Concurrent System Calls and Shared Memory

Cimatti, Alessandro, Sirjani, Marjan

Year:

2017

Language:

english

File:

PDF, 784 KB

english, 2017

74

[Lecture Notes in Computer Science] Software Engineering and Formal Methods Volume 10469 || An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions

Cimatti, Alessandro, Sirjani, Marjan

Year:

2017

Language:

english

File:

PDF, 406 KB

english, 2017

75

[Lecture Notes in Computer Science] Fundamentals of Software Engineering Volume 10522 || Synthesizing Parameterized Self-stabilizing Rings with Constant-Space Processes

Dastani, Mehdi, Sirjani, Marjan

Year:

2017

Language:

english

File:

PDF, 385 KB

english, 2017

76

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

Dastani, Mehdi, Sirjani, Marjan

Year:

2017

Language:

english

File:

PDF, 10.86 MB

english, 2017

77

[Lecture Notes in Computer Science] Fundamentals of Software Engineering Volume 10522 || TCE+: An Extension of the TCE Method for Detecting Equivalent Mutants in Java Programs

Dastani, Mehdi, Sirjani, Marjan

Year:

2017

Language:

english

File:

PDF, 289 KB

english, 2017

78

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

Dastani, Mehdi, Hojjat, Hossein, Sirjani, Marjan

Journal:

Science of Computer Programming

Year:

2017

Language:

english

File:

PDF, 173 KB

english, 2017

79

Modeling and analyzing real-time wireless sensor and actuator networks using actors and model checking

Khamespanah, Ehsan, Sirjani, Marjan, Mechitov, Kirill, Agha, Gul

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2017

Language:

english

File:

PDF, 1.61 MB

english, 2017

80

An efficient TCTL model checking algorithm and a reduction technique for verification of timed actor models

Khamespanah, Ehsan, Khosravi, Ramtin, Sirjani, Marjan

Journal:

Science of Computer Programming

Year:

2018

Language:

english

File:

PDF, 985 KB

english, 2018

81

Coordinated actor model of self-adaptive track-based traffic control systems

Bagheri, Maryam, Sirjani, Marjan, Khamespanah, Ehsan, Khakpour, Narges, Akkaya, Ilge, Movaghar, Ali, Lee, Edward A.

Journal:

Journal of Systems and Software

Year:

2018

Language:

english

File:

PDF, 1.70 MB

english, 2018

82

[ACM Press the 33rd Annual ACM Symposium - Pau, France (2018.04.09-2018.04.13)] Proceedings of the 33rd Annual ACM Symposium on Applied Computing - SAC '18 - Safe and efficient fleet operation for autonomous machines

Jafari, Ali, Nair, Jayasoorya Jayanthi Surendran, Baumgart, Stephan, Sirjani, Marjan

Year:

2018

Language:

english

File:

PDF, 1.02 MB

english, 2018

83

Runtime compositional analysis of track-based traffic control systems

Bagheri, Maryam, Khamespanah, Ehsan, Sirjani, Marjan, Movaghar, Ali, Lee, Edward A.

Journal:

ACM SIGBED Review

Year:

2017

Language:

english

File:

PDF, 791 KB

english, 2017

84

Actor-based macroscopic modeling and simulation for smart urban planning

de Berardinis, Jacopo, Forcina, Giorgio, Jafari, Ali, Sirjani, Marjan

Journal:

Science of Computer Programming

Year:

2018

Language:

english

File:

PDF, 2.11 MB

english, 2018

85

A compositional approach for modeling and timing analysis of wireless sensor and actuator networks

Sirjani, Marjan, Khamespanah, Ehsan, Mechitov, Kirill, Agha, Gul

Journal:

ACM SIGBED Review

Year:

2017

Language:

english

File:

PDF, 1014 KB

english, 2017

86

[IEEE 2019 IEEE 43rd Annual Computer Software and Applications Conference (COMPSAC) - Milwaukee, WI, USA (2019.7.15-2019.7.19)] 2019 IEEE 43rd Annual Computer Software and Applications Conference (COMPSAC) - An Actor-Based Design Platform for System of Systems

Sirjani, Marjan, Forcina, Giorgio, Jafari, Ali, Baumgart, Stephan, Khamespanah, Ehsan, Sedaghatbaf, Ali

Year:

2019

Language:

english

File:

PDF, 38 KB

english, 2019

87

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

Dastani, Mehdi, Sirjani, Marjan

Journal:

Science of Computer Programming

Year:

2019

File:

PDF, 129 KB

2019

88

[ACM Press the 56th Annual Design Automation Conference 2019 - Las Vegas, NV, USA (2019.06.02-2019.06.06)] Proceedings of the 56th Annual Design Automation Conference 2019 on - DAC '19 - Actors Revisited for Time-Critical Systems

Lohstroh, Marten, Schoeberl, Martin, Goens, Andrés, Wasicek, Armin, Gill, Christopher, Sirjani, Marjan, Lee, Edward A.

Year:

2019

Language:

english

File:

PDF, 562 KB

english, 2019

89

Towards an Actor-based Approach to Design Verified ROS-based Robotic Programs using Rebeca

Dehnavi, Saeid, Sedaghatbaf, Ali, Salmani, Bahar, Sirjani, Marjan, Kargahi, Mehdi, Khamespanah, Ehsan

Journal:

Procedia Computer Science

Year:

2019

Language:

english

File:

PDF, 577 KB

english, 2019

90

[ACM Press the 6th Conference - Bucharest, Romania (2019.09.02-2019.09.03)] Proceedings of the 6th Conference on the Engineering of Computer Based Systems - ECBS '19 - Multi-objective Optimization of Real-Time Task Scheduling Problem for Distributed Environments

Salimi, Maghsood, Majd, Amin, Loni, Mohammad, Seceleanu, Tiberiu, Seceleanu, Cristina, Sirjani, Marjan, Daneshtalab, Masoud, Troubitsyna, Elena

Year:

2019

Language:

english

File:

PDF, 2.07 MB

english, 2019

91

[IEEE 2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications (DS-RT) - Cosenza, Italy (2019.10.7-2019.10.9)] 2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications (DS-RT) - Analysing Real-time Distributed Systems using Timed Actors

Sirjani, Marjan

Year:

2019

File:

PDF, 4.10 MB

2019

92

[IEEE 2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications (DS-RT) - Cosenza, Italy (2019.10.7-2019.10.9)] 2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications (DS-RT) - Reactive Actors: Isolation for Efficient Analysis of Distributed Systems

Sirjani, Marjan, Khamespanah, Ehsan, Ghassemi, Fatemeh

Year:

2019

Language:

english

File:

PDF, 2.56 MB

english, 2019

93

Verification of Cyberphysical Systems

Sirjani, Marjan, Lee, Edward A., Khamespanah, Ehsan

Journal:

Year:

2020

File:

PDF, 1.21 MB

2020

94

VeriVANca framework: verification of VANETs by property-based message passing of actors in Rebeca with inheritance

Yousefi, Farnaz, Khamespanah, Ehsan, Gharib, Mohammed, Sirjani, Marjan, Movaghar, Ali

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2020

File:

PDF, 1.75 MB

2020

95

[IEEE 2020 IEEE 44th Annual Computers, Software, and Applications Conference (COMPSAC) - Madrid, Spain (2020.7.13-2020.7.17)] 2020 IEEE 44th Annual Computers, Software, and Applications Conference (COMPSAC) - Model Checking Software in Cyberphysical Systems

Sirjani, Marjan, Lee, Edward A., Khamespanah, Ehsan

Year:

2020

File:

PDF, 566 KB

2020

96

[IEEE 2020 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) - Vienna, Austria (2020.9.8-2020.9.11)] 2020 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) - Towards Formal Analysis of Vehicle Platoons Using Actor Model

Sharifi, Zeinab, Khosravi, Ramtin, Sirjani, Marjan, Khamespanah, Ehsan

Year:

2020

File:

PDF, 291 KB

2020

97

[IEEE 2020 IEEE 44th Annual Computers, Software, and Applications Conference (COMPSAC) - Madrid, Spain (2020.7.13-2020.7.17)] 2020 IEEE 44th Annual Computers, Software, and Applications Conference (COMPSAC) - Developing Safe Smart Contracts

Rezaei, Sajjad, Khamespanah, Ehsan, Sirjani, Marjan, Sedaghatbaf, Ali, Mohammadi, Siamak

Year:

2020

File:

PDF, 127 KB

2020