publicações selecionadas
-
artigo académico
- A Comment Analysis approach for Program Comprehension. Proceedings of the 2012 Ieee 35th Software Engineering Workshop (Sew 2012). 2012
- Assertion-based slicing and slice graphs. Formal Aspects of Computing. 2012
- Assertion-based slicing and slice graphs. Formal Aspects of Computing. 2012
- Verification conditions for single-assignment programs. Proceedings of the ACM Symposium on Applied Computing. 2012
- A DSL for PIM Specifications: Design and Attribute Grammar based Implementation. Computer Science and Information Systems. 2011
- GammaPolarSlicer. Computer Science and Information Systems. 2011
- Comparing General-Purpose and Domain-Specific Languages: An Empirical Study. Computer Science and Information Systems. 2010
- Safe integration of annotated components in open source projects. Electronic Communications of the EASST. 2010
- VisualLISA: A Visual Environment to Develop Attribute Grammars. Computer Science and Information Systems. 2010
- Visualization of Domain-Specific Programs' Behavior. 2009 5th Ieee International Workshop on Visualizing Software For Understanding and Analysis. 2009
- How to interconnect operational and behavioral views of web applications. Proceedings of the 16th Ieee International Conference on Program Comprehension. 2008
-
artigo de conferência
- Plagiarism detection: A tool survey and comparison. OASIcs: OpenAccess Series in Informatics. 2014
- A flexible dynamic system for automatic grading of programming exercises. OASIcs: OpenAccess Series in Informatics. 2013
- Interactive verification of safety-critical software. Proceedings International Computer Software and Applications Conference. 2013
- GamaSlicer: An online laboratory for program verification and analysis 2010
- XATA 2010: XML: associated technologies and applications 2010
- Applying program comprehension techniques to Karel robot programs 2009
- Influence of domain-specific notation to program Understanding 2009
-
documento
- Partial correctness and continuous integration in computer supported education 2014
- Automatic test generation for space 2012
- Problem domain oriented approach for program comprehension 2012
- Program analysis and evaluation using QUIMERA 2012
- Verification, slicing, and visualization of programs with contracts 2011
- A visual inspector for Boogie programs 2011
- Parser generation in Perl: crafting an AnTLR back-end 2011
- Parser generation in Perl: an overview and available tools 2010
- Contract-based slicing helps on safety reuse 2010
- A query by example approach for XML querying 2009
- Code analysis: past and present 2009
- Properties preservation during transformation 2008
-
livro