المؤلفون: Sirjani, Marjan, Khamespanah, E.

المصدر: Electronic Proceedings in Theoretical Computer Science, EPTCS. :1-7

مصطلحات موضوعية: Formal verification, Message passing, Semantics, Event-handlers, Formal Semantics, Message-passing, Modelling systems, Models checking, Real-time features, Time transition, Timed transition systems, Transition system, Verification techniques, Model checking

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-65187
https://doi.org/10.4204/EPTCS.387.1

المؤلفون: Khosravi, R., Khamespanah, E., Ghassemi, F., Sirjani, Marjan

المصدر: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). :226-260

مصطلحات موضوعية: Actor Languages, Cyber-Physical Systems, Model Checking, Variability Modeling, Cyber Physical System, Embedded systems, Modeling languages, Software design, Actor language, Concurrent and distributed systems, Cybe-physical systems, Different domains, Interface declaration, Model evolution, Models checking, Support time

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-66094

المؤلفون: Dehnavi, S., Sedaghatbaf, Ali, Salmani, B., Sirjani, Marjan, Kargahi, M., Khamespanah, E.

المصدر: Procedia Computer Science. :59-68

مصطلحات موضوعية: Formal Verification, Mobility, Model Checking, Model-Based Design, Robotics, ROS, Timed Rebeca, Carrier mobility, Computer simulation languages, Embedded systems, Energy conservation, Engineering education, Middleware, Mobile robots, Modeling languages, Software design, Ubiquitous computing, Conceptual model, Correctness properties, Integration method, Model- based designs, Robotic projects, Robotic softwares, Robotic technologies, Data communication systems

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-46158
https://doi.org/10.1016/j.procs.2019.08.012

المؤلفون: Khamespanah, E., Sirjani, Marjan, Khosravi, R.

المصدر: Lect. Notes Comput. Sci. Lecture Notes in Computer Science. :72-87

مصطلحات موضوعية: Actors, Afra, Eclipse, Model Checking, Rebeca, Bridges, C++ (programming language), Computer software reusability, Formal methods, Modeling languages, Object oriented programming, Actor, Counter examples, Modeling checking, Modelling and analysis, Models checking, Modulars, Rebecum, Temporal property

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-64449

المؤلفون: Ghassemi, F., Sirjani, Marjan, Khamespanah, E., Mirani, M., Hojjat, H.

المصدر: Proceedings - 2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering, FormaliSE 2023. :97-107

مصطلحات موضوعية: Actor languages, Design policy, Distributed systems, Structural operational semantics, Computer programming languages, Modeling languages, Actor language, Actor models, Actor-network, Formal modeling language, Message delivery, Programming models, Property, Semantics

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-63979

المؤلفون: Bagheri, M., Sirjani, Marjan, Khamespanah, E., Hojjat, H., Movaghar, A.

المصدر: Lect. Notes Comput. Sci. Lecture Notes in Computer Science. :43-60

مصطلحات موضوعية: Actor model, Composition, Partial order reduction, Verification, Air navigation, Air traffic control, Formal methods, State space methods, Actor models, Component-based models, Cross-border, Delay condition, Individual components, Interleavings, Partial-order reduction, State-space, State-space generation, Time units, Model checking

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-57653

المؤلفون: Ebrahimi, E., Khamespanah, E., Sirjani, Marjan, Mohammadi, S.

مصطلحات الفهرس: Hyperledger Fabric, Model Checking, Smart Contracts, Distributed ledger, Modeling languages, Program debugging, Block-chain, Centralised, Computing resource, Concurrent and distributed systems, Hyperledg fabric, Model checking tools, Models checking, Property, Source codes, Storage spaces, Smart contract, Computer and Information Sciences, Data- och informationsvetenskap, Conference paper, info:eu-repo/semantics/conferenceObject, text

URL: http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-64703
IEEE Int. Conf. Emerging Technol. Factory Autom., ETFA

المؤلفون: Sirjani, Marjan, Lee, E. A., Khamespanah, E.

المصدر: Proceedings - 2020 IEEE 44th Annual Computers, Software, and Applications Conference, COMPSAC 2020. :1017-1026

مصطلحات موضوعية: Cyberphysical systems, Lingua Franca, Model checking, Rebeca, Verification, Application programs, Embedded systems, Industrial plants, Concurrent software, Coordination language, Cyber physical systems (CPSs), Model checking software, Sensors and actuators, Software systems, Synchronous languages, Transition system

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-52657

المؤلفون: Rezaei, S., Khamespanah, E., Sirjani, Marjan, Sedaghatbaf, Ali, Mohammadi, S.

المصدر: Proceedings - 2020 IEEE 44th Annual Computers, Software, and Applications Conference, COMPSAC 2020. :1027-1035

مصطلحات موضوعية: Actor Model, Model Checking, Safety Verification, Smart Contract, Application programs, Blockchain, Formal verification, Actor models, Analysis and synthesis, Contractual parties, Dependable systems, Distributed environments, Distributed software system, Safety and securities, Trusted third parties

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-52392

المؤلفون: Sharifi, Z., Khosravi, R., Sirjani, Marjan, Khamespanah, E.

المصدر: IEEE International Conference on Emerging Technologies and Factory Automation, ETFA. :1820-1827

مصطلحات موضوعية: Actor Model, CAM, Formal Verification, Timed Rebeca, Vehicle Platoon, Factory automation, Formal methods, Vehicles, Actor-based modeling, Formal analysis, Mathematical analysis, Network delays, Safety distances, Safety verification, Vehicle dynamics, Vehicle platoons, Model checking

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-52178

المؤلفون: Forcina, Giorgio, Sedaghatbaf, Ali, Baumgart, S., Jafari, A., Khamespanah, E., Mrvaljevic, P., Sirjani, Marjan

المصدر: Journal of Information Processing. 28:588-598

مصطلحات موضوعية: Actor model, Model checking, Performance evaluation, Safety verification, Track-based flow management

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-50993

المؤلفون: Bagheri, M., Sirjani, Marjan, Khamespanah, E., Khakpour, N., Akkaya, I., Movaghar, A., Lee, E. A.

المصدر: Journal of Systems and Software. 143:116-139

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-40100

المؤلفون: Khamespanah, E., Khosravi, R., Sirjani, Marjan

المصدر: Science of Computer Programming. 153:1-29

مصطلحات موضوعية: Actor model, Durational transition graph, Model checking, TCTL, Timed Rebeca, Computational complexity, Interactive computer systems, Modeling languages, Polynomial approximation, Real time systems, Semantics, Actor models, Model checking algorithm, Polynomial-time algorithms, Reduction techniques, Timed transition systems, Transition graphs

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-38161

المؤلفون: Jaghoori, MM, Sirjani, M, Mousavi, M Mohammad Reza, Khamespanah, E, Movaghar, A

المصدر: ISSN:0001-5903.

وصف الملف: application/pdf

Relation: http://repository.tue.nl/658164

الاتاحة: http://repository.tue.nl/658164

المؤلفون: Sirjani, Marjan, Khamespanah, E., Ghassemi, F.

مصطلحات الفهرس: Actors, distributed systems, model checking, real-time systems, Distributed computer systems, Interactive computer systems, Mobile ad hoc networks, Modeling languages, Distributed model checking, Efficient analysis, Model of computation, State distributions, State-space reduction, Time transition, Real time systems, Health Sciences, Hälsovetenskaper, Conference paper, info:eu-repo/semantics/conferenceObject, text

URL: http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-47116
Proceedings - 2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2019

المؤلفون: Boer, F.S. de, Serbanescu, V., Hähnle, R., Henrio, L., Rochas, J., Din, C.C., Johnsen, E.B., Sirjani, M., Khamespanah, E., Fernandez-Reyes, K., Yang, A.M.

Relation: lucris-id: 83521690; https://hdl.handle.net/1887/3202544

الاتاحة: https://hdl.handle.net/1887/3202544
https://doi.org/10.1145/3122848

المؤلفون: Boer, F.S. (Frank) de, Serbanescu, V.N. (Vlad), Hähnle, R. (Reiner), Henrio, L. (Ludovic), Rochas, J. (Justine), Din, C.C. (Crystal Chang), Johnsen, E.B. (Einar Broch), Sirjani, M. (Marjan), Khamespanah, E. (Ehsan), Fernandez-Reyes, K. (Kiko), Yang, A.M. (Albert Mingkun)

المصدر: ACM Computing Surveys vol. 50 no. 5

مصطلحات الفهرس: info:eu-repo/semantics/article

URL: http://ir.cwi.nl/pub/27053

المؤلفون: Bagheri, M., Khamespanah, E., Sirjani, Marjan, Movaghar, A., Lee, A. E.

مصطلحات الفهرس: Computer Systems, Datorsystem, Article in journal, info:eu-repo/semantics/article, text

URL: http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-37611
2017, 14:3, s. 38-39
ACM SIGBED Review, 1551-3688, 2017, 14:3, s. 38-39

المؤلفون: Jaghoori, M.M., Sirjani, M., Mousavi, M., Khamespanah, E., Movaghar, A.

المصدر: Jaghoori , M M , Sirjani , M , Mousavi , M , Khamespanah , E & Movaghar , A 2010 , ' Symmetry and partial order reduction techniques in model checking Rebeca ' , Acta Informatica , vol. 47 , no. 1 , pp. 33-66 . https://doi.org/10.1007/s00236-009-0111-x

الاتاحة: https://research.tue.nl/en/publications/88400587-9321-4aad-a8b2-d984215f9ca5
https://doi.org/10.1007/s00236-009-0111-x

المؤلفون: Jaghoori, M.M. (Mohammad Mahdi), Sirjani, M. (Marjan), Mousavi, M.R., Khamespanah, E. (Ehsan), Movaghar, A. (Ali)

المساهمون: Mossakowski, T., Montanari, U.

المصدر: Acta Informatica vol. 47 no. 1, pp. 33-66

Relation: https://ir.cwi.nl/pub/15087

الاتاحة: https://ir.cwi.nl/pub/15087