Author of the publication

Positive loop-closed automata: a decidable class of hybrid systems.

, , , , , and . J. Log. Algebraic Methods Program., (2002)

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

Lazy-RTGC: A Real-Time Lazy Garbage Collection Mechanism with Jointly Optimizing Average and Worst Performance for NAND Flash Memory Storage Systems., , , , , and . ACM Trans. Design Autom. Electr. Syst., 20 (3): 43:1-43:32 (2015)Optimizing translation information management in NAND flash memory storage systems., , , , , and . ASP-DAC, page 326-331. IEEE, (2013)Query by Drawing Examples of UML Model., , and . APSEC Workshops, page 154-157. IEEE, (2012)Automatic test case generation for UML activity diagrams, , and . AST '06: Proceedings of the 2006 international workshop on Automation of software test, page 2--8. New York, NY, USA, ACM, (2006)Timing Analysis of Message Sequence Charts, and . TUCS-TR-255. TUCS - Turku Centre for Computer Science, (March 1999)Verifying Aspect-Oriented Activity Diagrams Against Crosscutting Properties with Petri Net Analyzer., , , , , and . SEKE, page 369-374. Knowledge Systems Institute Graduate School, (2012)Preface., and . Int. J. Softw. Informatics, 4 (3): 347-349 (2010)An MDE-based method for bridging different design notations., , , and . Innov. Syst. Softw. Eng., 4 (3): 203-213 (2008)Wassertrain: An Adversarial Training Framework Against Wasserstein Adversarial Attacks., , , , and . ICASSP, page 2734-2738. IEEE, (2022)Simulating software behavior based on UML activity diagram., , , and . Internetware, page 31:1-31:4. ACM, (2013)