PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Sirjani, Marjan"

Author of the publication

copydeleteadd this publication to your clipboard
Coordinated Actors for Reliable Self-adaptive Systems.

, , , , , , and . FACS, volume 10231 of Lecture Notes in Computer Science, page 241-259. (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Sirjani, Marjan
add a person with the name Sirjani, Marjan
 

Other publications of authors with the same name

Modeling Behavior in Compositions of Software Architectural Primitives., , , and . ASE, page 371-374. IEEE Computer Society, (2004)Formal Analysis of Smart Home Policies using Compositional Verification., , and . ICFI, page 220-233. IOS Press, (2009)Formal Semantics and Analysis of Timed Rebeca in Real-Time Maude., , , , and . FTSCS, volume 419 of Communications in Computer and Information Science, page 178-194. Springer, (2013)Hybrid Rebeca: Modeling and Analyzing of Cyber-Physical Systems., , and . CyPhy/WESE, volume 11615 of Lecture Notes in Computer Science, page 3-27. Springer, (2018)Modeling and Analysis of Reo Connectors Using Alloy., , , , and . COORDINATION, volume 5052 of Lecture Notes in Computer Science, page 169-183. Springer, (2008)Floating Time Transition System: More Efficient Analysis of Timed Actors., , , and . FACS, volume 9539 of Lecture Notes in Computer Science, page 237-255. Springer, (2015)On Time Actors., and . Theory and Practice of Formal Methods, volume 9660 of Lecture Notes in Computer Science, page 373-392. Springer, (2016)PTRebeca: Modeling and analysis of distributed and asynchronous systems., , , , and . Sci. Comput. Program., (2016)Lightweight Preprocessing for Agent-Based Simulation of Smart Mobility Initiatives., , , , and . SEFM Workshops, volume 10729 of Lecture Notes in Computer Science, page 541-557. Springer, (2017)QoS Aspects in Web Services Compositions., , and . SOSE, page 239-244. IEEE Computer Society, (2008)