Author of the publication

A comparative assessment of peer-to-peer and server-based configuration management systems

, , and . Proceedings of the Workshop on Cooperative Support for Distributed Software Engineering Processes (CSSE'04), page 15--26. Austrian Computer Society, (September 2004)

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.

 

Other publications of authors with the same name

SWN Nets as a Framework for the Specification and the Analysis of FT Techniques Adopted in Electric Plant Automation., , and . ICATPN, volume 1639 of Lecture Notes in Computer Science, page 168-187. Springer, (1999)A Formal Framework for Specifying and Verifying Microservices Based Process Flows., , , and . SEFM Workshops, volume 10729 of Lecture Notes in Computer Science, page 187-202. Springer, (2017)MaRDiGraS: Simplified Building of Reachability Graphs on Large Clusters., , , and . RP, volume 8169 of Lecture Notes in Computer Science, page 83-95. Springer, (2013)Distributed CTL Model Checking in the Cloud., , , and . CoRR, (2013)Quantitative Assessment of a Peer-to-peer Cooperative Infrastructure Using Stochastic Well-Formed Nets, , and . 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.A lumped Markov process for a class of dynamic Petri nets.. SpringSim (ANSS), page 188-197. SCS/ACM, (2011)1-930638-56-6.Self-Evolving Petri Nets., and . J. Univers. Comput. Sci., 13 (13): 2002-2034 (2007)A Petri-Net Based Reflective Framework for the Evolution of Dynamic Systems., and . FSEN, volume 159 of Electronic Notes in Theoretical Computer Science, page 41-59. Elsevier, (2005)An Efficient Maude Formalization of (Rewritable) PT Nets.. SYNASC, page 186-193. IEEE, (2021)A Symbolic Reachability Graph and Associated Markov Process for a Class of Dynamic Petri Nets.. MASCOTS, page 458-461. IEEE Computer Society, (2010)