-
1دورية أكاديمية
المؤلفون: Bagheri, M., Sirjani, M., Khamespanah, E., Baier, C., Movaghar, A.
المصدر: IEEE Transactions on Software Engineering IIEEE Trans. Software Eng. Software Engineering, IEEE Transactions on. 48(8):2732-2747 Aug, 2022
-
2
المؤلفون: 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 -
3
المؤلفون: 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
-
4
المؤلفون: 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 -
5
المؤلفون: 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
-
6
المؤلفون: 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
-
7
المؤلفون: 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
-
8
المؤلفون: Ebrahimi, E., Khamespanah, E., Sirjani, Marjan, Mohammadi, S.
المصدر: IEEE Int. Conf. Emerging Technol. Factory Autom., ETFA.
مصطلحات موضوعية: 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
وصف الملف: print
-
9
المؤلفون: 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
-
10
المؤلفون: 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