Autor der Publikation

Local symmetries exploitation for the analysis of asymmetric distributed systems

, und . SYNASC, International Symposium on Symbolic for Scientific Computation, Numeric Algorithms, Seite 345--353. Timişoara, Ed. Mirton, (2004)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Distributed CTL Model Checking in the Cloud., , , und . CoRR, (2013)A lumped Markov process for a class of dynamic Petri nets.. SpringSim (ANSS), Seite 188-197. SCS/ACM, (2011)1-930638-56-6.Quantitative Assessment of a Peer-to-peer Cooperative Infrastructure Using Stochastic Well-Formed Nets, , und . Electronic Notes in Theoretical Computer Science, 128 (4): 59 - 77 (2005)Proceedings of the First International Workshop on Practical Applications of Stochastic Modelling (PASM 2004) Practical Applications of Stochastic Modelling 2004.SWN Nets as a Framework for the Specification and the Analysis of FT Techniques Adopted in Electric Plant Automation., , und . ICATPN, Volume 1639 von Lecture Notes in Computer Science, Seite 168-187. Springer, (1999)MaRDiGraS: Simplified Building of Reachability Graphs on Large Clusters., , , und . RP, Volume 8169 von Lecture Notes in Computer Science, Seite 83-95. Springer, (2013)A Formal Framework for Specifying and Verifying Microservices Based Process Flows., , , und . SEFM Workshops, Volume 10729 von Lecture Notes in Computer Science, Seite 187-202. Springer, (2017)An Efficient Maude Formalization of (Rewritable) PT Nets.. SYNASC, Seite 186-193. IEEE, (2021)A Symbolic Reachability Graph and Associated Markov Process for a Class of Dynamic Petri Nets.. MASCOTS, Seite 458-461. IEEE Computer Society, (2010)A pure SPEC-inscribed PN model for reconfigurable systems.. WODES, Seite 459-465. IEEE, (2016)Maude Specification of Nets-Within-Nets: A Formal Model of Adaptable Distributed Systems., und . SAC, Seite 188-191. ACM, (2023)