Author of the publication

Formal Verification of Virtual Network Function Graphs in an SP-DevOps Context.

, , , , , and . ESOCC, volume 9306 of Lecture Notes in Computer Science, page 253-262. Springer, (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

Introducing network-aware scheduling capabilities in OpenStack., , , and . NetSoft, page 1-5. IEEE, (2015)PIT overload analysis in content centric networks., , and . ICN, page 67-72. ACM, (2013)ADELE: An Architecture for Steering Traffic and Computations via Deep Learning in Challenged Edge Networks., , , and . ICCCS, page 1-8. IEEE, (2019)Time Driven Priority Router Implementation and First Experiments., , , , , and . ICC, page 897-902. IEEE, (2006)Resource Inference for Sustainable and Responsive Task Offloading in Challenged Edge Networks., , and . IEEE Trans. Green Commun. Netw., 5 (3): 1114-1127 (2021)High-Priority First Transmission to Efficiently Support Service Differentiation in Just-in-Time OBS Networks.. JOCN, 2 (12): 1031-1041 (2010)Towards a fully automated and optimized network security functions orchestration., , , , and . ICCCS, page 1-7. IEEE, (2019)Exploiting the transmission layer in logical topology design of flexible-grid optical networks., , , , , and . ICC, page 1-6. IEEE, (2016)Minimizing Preemption Probabilityto Efficiently Support Service Differentiation in Just-in-Time Based OBS Networks.. ICC, page 5219-5223. IEEE, (2008)Scalable Switching Testbed not "Stopping" the Serial Bit Stream., , , , , , , , , and . ICC, page 2269-2274. IEEE, (2007)