Author of the publication

Opacity in Internet of Things with Cloud Computing (Short Paper).

, , and . SOCA, page 201-207. IEEE Computer Society, (2015)

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

Reversible computation vs. reversibility in Petri nets., , , and . Sci. Comput. Program., (2018)Modelling and verification of an atomic action protocol implemented in Ada., , , , , , and . Comput. Syst. Sci. Eng., 16 (3): 173-182 (2001)A Cost-Efficient Multi-cloud Orchestrator for Benchmarking Containerized Web-Applications., , , , , and . WISE, volume 11881 of Lecture Notes in Computer Science, page 407-423. Springer, (2019)Synthesising Elementary Net Systems with Interval Order Semantics., and . ATAED/PN4TT@Petri Nets, volume 3424 of CEUR Workshop Proceedings, CEUR-WS.org, (2023)Classifying Boolean Nets for Region-based Synthesis., , , and . ART @ Petri Nets, volume 725 of CEUR Workshop Proceedings, page 5-21. CEUR-WS.org, (2011)Verification of Communication Structured Acyclic Nets Using SAT., and . PNSE@Petri Nets, volume 2907 of CEUR Workshop Proceedings, page 175-194. CEUR-WS.org, (2021)Methods for Distributed and Concurrent Systems: Special Issue on the occasion of the 60th Birthday of Professor Gabriel Ciobanu., , , and . Fundam. Informaticae, 153 (1-2): v-vi (2017)Context-based Process Algebras for Mobility., , and . ACSD, page 79-88. IEEE Computer Society, (2004)Causality in Structured Occurrence Nets., and . Dependable and Historic Computing, volume 6875 of Lecture Notes in Computer Science, page 283-297. Springer, (2011)Towards a Petri Net Semantics for Membrane Systems., , and . Workshop on Membrane Computing, volume 3850 of Lecture Notes in Computer Science, page 292-309. Springer, (2005)