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

A Prototype of an eLearning Platform in Support for Learning Analytics and Gamification., , , and . INCoS, page 362-369. IEEE, (2016)Analyzing rich-club behavior in open source projects., , , , and . OpenSym, page 6:1-6:9. ACM, (2019)Diverse Scenario Exploration in Model Finders Using Graph Kernels and Clustering., and . ABZ, volume 12071 of Lecture Notes in Computer Science, page 27-43. Springer, (2020)Fixing Defects in Integrity Constraints via Constraint Mutation., and . QUATIC, page 74-82. IEEE Computer Society, (2018)A SWOT Analysis of the Object Constraint Language., , , , , and . STAF Workshops, volume 2999 of CEUR Workshop Proceedings, page 178-184. CEUR-WS.org, (2021)A UML/OCL framework for the analysis of graph transformation rules., , , and . Software and System Modeling, 9 (3): 335-357 (2010)UMLtoCSP: Una herramienta para la verificación de modelos UML/OCL mediante Constraint Programming., , , and . JISBD, page 385-386. Thomson Editorial, (2007)Automating Bias Testing of LLMs., , and . ASE, page 1705-1707. IEEE, (2023)Analysing Graph Transformation Rules through OCL., , , and . ICMT@TOOLS, volume 5063 of Lecture Notes in Computer Science, page 229-244. Springer, (2008)Verification and validation of declarative model-to-model transformations through invariants, , , and . Journal of Systems and Software, 83 (2): 283--302 (February 2010)