( en | de | ru )

 

Disambiguation of "Capra, Lorenzo"

Author of the publication

copydeleteadd this publication to your clipboard
State Space Exploration of RT Systems in the Cloud

, , , and . CoRR, (2012)

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.

Federica Capranico

Renato Capraro

Gabriele Caprano-Diehl

Félicien Capraro

Hildegard Caprano

 

Other publications of authors with the same name

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.Distributed CTL Model Checking in the Cloud., , , and . CoRR, (2013)A lumped Markov process for a class of dynamic Petri nets.. SpringSim (ANSS), page 188-197. SCS/ACM, (2011)1-930638-56-6.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)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)MaRDiGraS: Simplified Building of Reachability Graphs on Large Clusters., , , and . RP, volume 8169 of Lecture Notes in Computer Science, page 83-95. Springer, (2013)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)Evolving System's Modeling and Simulation through Reflective Petri Nets., and . ENASE, page 59-70. INSTICC Press, (2009)State Space Exploration of RT Systems in the Cloud, , , and . CoRR, (2012)