Author of the publication

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

Taxonomy of performance testing tools: a systematic literature review., , , , , , , and . SAC, page 1997-2004. ACM, (2020)V: a language with extensible record accessors and a trait-based type system., , and . RITA, 25 (3): 89-101 (2018)A Query Language for a Versioned Object Oriented Database., , , and . SBBD, page 72-86. UFSC, (2006)Verigraph: A System for Specification and Analysis of Graph Grammars., , , , , , and . SBMF, volume 10090 of Lecture Notes in Computer Science, page 78-94. (2016)Running AgentSpeak(L) Agents on SIM_AGENT., and . ATAL, volume 2333 of Lecture Notes in Computer Science, page 158-174. Springer, (2001)Type-safe Versioned Object Query Language., , , and . J. Univers. Comput. Sci., 12 (7): 938-957 (2006)Týr: A Dependent Type System for Spatial Memory Safety in LLVM., , and . WEIT, volume 324 of Electronic Notes in Theoretical Computer Science, page 3-13. Elsevier, (2015)Use Case Evolution Analysis based on Graph Transformation with Negative Application Conditions., , , , , and . CoRR, (2019)Empirical Studies of an Educational Tool for Project Management based on PMBOK using Problem-Based Learning., , , , , and . SBES, page 168-177. ACM, (2022)Use case evolution analysis based on graph transformation with negative application conditions., , , , , and . Sci. Comput. Program., (2020)