Author of the publication

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

Simplifying Circuits for Formal Verification Using Parametric Representation., , , , and . FMCAD, volume 2517 of Lecture Notes in Computer Science, page 52-69. Springer, (2002)Parametric approach to the specification and analysis of real-time scheduling based on ACSR-VP., , and . Sci. Comput. Program., 42 (1): 49-60 (2002)A Linear-Complexity Burst Packing Scheme for IEEE 802.16e OFDMA Downlink Frames., , and . VTC Spring, IEEE, (2009)Combinational equivalence checking through function transformation., , , and . ICCAD, page 526-533. ACM / IEEE Computer Society, (2002)Verification of the Redundancy Management System for Space Launch Vehicle: A Case Study., , , , and . IEEE Real Time Technology and Applications Symposium, page 220-229. IEEE Computer Society, (1998)Process algebraic approach to the parametric analysis of object scheduling in real-time systems., and . WORDS (Fall), page 131-138. IEEE Computer Society, (1999)A Framework for Embedded Real-Time System Design., , and . IPDPS Workshops, volume 1800 of Lecture Notes in Computer Science, page 738-742. Springer, (2000)Verification for NFV-enabled network services., , , , , and . ICTC, page 810-815. IEEE, (2015)Parametric Approach to the Specification and Analysis of Real-time System Designs based on ACSR-VP., , and . Electron. Notes Theor. Comput. Sci., (1999)A Verification Method of SDN Firewall Applications., , , , , and . IEICE Trans. Commun., 99-B (7): 1408-1415 (2016)