Author of the publication

Derivation of Non-structural Invariants of Petri Nets Using Abstract Interpretation.

, , and . ICATPN, volume 3536 of Lecture Notes in Computer Science, page 188-207. Springer, (2005)

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

The Use of Petri Nets for the Design and Verification of Asynchronous Circuits and Systems., , , , and . Journal of Circuits, Systems, and Computers, 8 (1): 67-118 (1998)Synthesis of synchronous elastic architectures., , and . DAC, page 657-662. ACM, (2006)Timing-driven N-way decomposition., , and . ACM Great Lakes Symposium on VLSI, page 363-368. ACM, (2009)Integrating formal verification in an online judge for e-Learning logic circuit design., , , and . SIGCSE, page 451-456. ACM, (2012)State-Based Encoding of Large Asynchronous Controllers., and . IEEE Access, (2018)Process Mining Meets Abstract Interpretation., and . ECML/PKDD (1), volume 6321 of Lecture Notes in Computer Science, page 184-199. Springer, (2010)Petri Net Analysis Using Boolean Manipulation., , , and . Application and Theory of Petri Nets, volume 815 of Lecture Notes in Computer Science, page 416-435. Springer, (1994)Automatic microarchitectural pipelining., , , and . DATE, page 961-964. IEEE Computer Society, (2010)RTL-Aware Dataflow-Driven Macro Placement., , , , and . DATE, page 186-191. IEEE, (2019)Optimizing CMOS Circuits for Low Power Using Transistor Reordering., and . ED&TC, page 219-223. IEEE Computer Society, (1996)