Author of the publication

DATALOG_SOLVE: A Datalog-Based Demand-Driven Program Analyzer.

, , , and . PROLE, volume 248 of Electronic Notes in Theoretical Computer Science, page 57-66. Elsevier, (2008)

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

C.OPEN and ANNOTATOR: Tools for On-the-Fly Model Checking C Programs., , , and . SPIN, volume 4595 of Lecture Notes in Computer Science, page 268-273. Springer, (2007)Blockchain Technologies in the Design and Operation of Cyber-Physical Systems., , and . Digital Transformation, Springer, (2022)DATALOG_SOLVE: A Datalog-Based Demand-Driven Program Analyzer., , , and . PROLE, volume 248 of Electronic Notes in Theoretical Computer Science, page 57-66. Elsevier, (2008)A systematic approach for performance assessment using process mining - An industrial experience report., , , , , , , and . Empir. Softw. Eng., 23 (6): 3394-3441 (2018)Web Services for Accessing Explicit State Space Verification Tools., , , and . ERCIM News, (2008)Static Analysis using Parameterised Boolean Equation Systems, , and . CoRR, (2006)A model-extraction approach to verifying concurrent C programs with CADP., , , and . Sci. Comput. Program., 77 (3): 375-392 (2012)Implementing Influence Analysis Using Parameterised Boolean Equation Systems., , and . ISoLA, page 416-424. IEEE Computer Society, (2006)Distributed On-the-Fly Equivalence Checking., and . PDMC, volume 128 of Electronic Notes in Theoretical Computer Science, page 47-62. Elsevier, (2004)On-the-Fly Data Flow Analysis Based on Verification Technology., , and . COCV@ETAPS, volume 190 of Electronic Notes in Theoretical Computer Science, page 33-48. Elsevier, (2007)