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 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)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)Analyzing rich-club behavior in open source projects., , , , and . OpenSym, page 6:1-6:9. ACM, (2019)A Prototype of an eLearning Platform in Support for Learning Analytics and Gamification., , , and . INCoS, page 362-369. IEEE, (2016)Automating Bias Testing of LLMs., , and . ASE, page 1705-1707. IEEE, (2023)A Tool for Debugging Unsatisfiable Integrity Constraints in UML/OCL Class Diagrams., , and . BPMDS/EMMSAD@CAiSE, volume 450 of Lecture Notes in Business Information Processing, page 267-275. Springer, (2022)Testing challenges for NLP-intensive bots., , , , , and . BotSE@ICSE, page 31-34. IEEE, (2021)