Author of the publication

Boosting Uppaal for OSEK/VDX Applications with a Sequentialization Approach.

, , , and . SOFL+MSVL, volume 10795 of Lecture Notes in Computer Science, page 51-68. Springer, (2017)

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

Adaptive sampling for selectivity estimation in spatial database., , , , , , and . IGARSS, page 4. IEEE, (2005)NDNFit: An Open mHealth Application Built on Named Data Networking.. University of California, Los Angeles, USA, (2018)base-search.net (ftcdlib:qt8h8950n3).A contour extraction algorithm of palmprints based on corner point features., , , and . ICAL, page 501-505. IEEE, (2012)Boosting Uppaal for OSEK/VDX Applications with a Sequentialization Approach., , , and . SOFL+MSVL, volume 10795 of Lecture Notes in Computer Science, page 51-68. Springer, (2017)An efficient iterative frequency domain equalization for relay-assisted ARQ single carrier transmissions., , and . WCNC, page 3980-3985. IEEE, (2013)Multi-Resource Fair Allocation for Composited Services in Edge Micro-Clouds., , , , and . ISPA/BDCloud/SocialCom/SustainCom, page 405-412. IEEE, (2019)Metadata Organization and Retrieval with Attribute Tree for Large-Scale Traffic Surveillance Videos., , and . BigCom, volume 9196 of Lecture Notes in Computer Science, page 434-443. Springer, (2015)Adaptive Function Launching Acceleration in Serverless Computing Platforms., , , , and . ICPADS, page 9-16. IEEE, (2019)An Urban Hot/Cold Spot Detection Method Based on the Page Rank Value of Spatial Interaction Networks Constructed from Human Communication Records., , , , , and . ISPRS Int. J. Geo Inf., 11 (3): 210 (2022)1D-Convolutional Capsule Network for Hyperspectral Image Classification., , , , , , , and . CoRR, (2019)