Publications
Export 179 results:
"Evaluating the relation between changeability decay and the characteristics of clones and methods", Proc. Int'l ERCIM Workshop on Software Evolution and Evolvability: IEEE, September, 2008.
, "Example-based Program Querying", Proceedings of the 2008 Working Session on Query Technologies and Applications for Program Comprehension (QTAPC08) at the 16th International Conference on Program Comprehension (ICPC08), 2008.
, "A methodology to assess the impact of source code flaws in changeability, and its application to clones", 24th IEEE International Conference on Software Maintenance (ICSM 2008), September 28 - October 4, 2008, Beijing, China, 2008.
, "Towards a Domain-specific Aspect Language for Leasing in Mobile Ad Hoc Networks", Proceedings of the 2008 AOSD Workshop on Domain-specific Aspect Languages, New York, NY, USA, ACM, pp. 6:1–6:5, 2008.
, "Towards Resilient Partitioning of Pervasive Computing Services", Proceedings of the 3rd ACM Workshop on Software Engineering for Pervasive Services, New York, NY, USA, ACM, pp. 15–20, 2008.
, "AmbientTalk: object-oriented event-driven programming in Mobile Ad hoc Networks", Inter. Conf. of the Chilean Computer Science Society (SCCC): IEEE Computer Society, pp. 3–12, 2007.
, "AmbientTalk/2: Object-oriented Event-driven Programming in Mobile Ad hoc Networks", Demostration at European Conference on Object- Oriented Programming (ECOOP07), 2007.
, "Assessing the impact of bad smells using historical information", Ninth international workshop on Principles of software evolution: in conjunction with the 6th ESEC/FSE joint meeting, New York, NY, USA, ACM, 2007.
, "Behavioral Similarity Matching using Concrete Source Code Templates in Logic Queries", Proceedings of the ACM-SIGPLAN Symposium on Partial Evaluation and semantics-based Program Manipulation (PEPM07), 2007.
, "Context-Aware Leasing for Mobile Ad hoc Networks", 3rd Workshop on Object-Oriented technology for Ambient Intelligence and Pervasive Computing (OT4AmI) co-located at the European Conference on Object-Oriented Programming (ECOOP'07), pp. 7–12, July, 2007.
, "Evaluating the harmfulness of cloning: a change based experiment", Proc. of the int'l workshop on Mining Software Repositories (MSR'07), pp. 18-21, 2007.
, "Fact Spaces: Coordination in the Face of Disconnection", Coordination Models and Languages, 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings: Springer, 2007.
, "The Message-Oriented Mobility Model", Proceedings of the conference on Objects, Models, Components, Patterns (TOOLS EUROPE), vol. 6: Chair of Software Engineering at the ETH Zurich, pp. 363 – 382, June, 2007.
, "Open Unification for Program Query Languages", Proceedings of the XXVI International Conference of the Chilean Computer Science Society (SCCC 2007), 2007.
, "Ambient references: addressing objects in mobile networks", International Dynamic Languages Symposium (DLS) in Companion to the 21st ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications (OOPSLA'06), New York, NY, USA, ACM Press, pp. 986–997, 2006.
, "An Annotation System for Semi-Automatic Garbage Collection", Poster Event at the 5th International Conference on Aspect-Oriented Software Development (AOSD 2006), March, 2006.
, "An Approach to High-Level Behavioral Program Documentation Allowing Lightweight Verification", Proceedings of the 14th IEEE International Conference on Program Comprehension (ICPC06), 2006.
, "Combining Fuzzy Logic and Behavioral Similarity for Non-strict Program Validation", Proceedings of the 8th ACM-SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP06), 2006.
, "Degradation archaeology: studying software flaws' evolution", Proc. 2nd Int'l ERCIM Workshop on Software Evolution, 2006.
, "Ambient-Oriented Exception Handling", Advanced Topics in Exception Handling Techniques: Springer-Verlag, pp. 141–160, 2006.
, "A model curriculum for aspect-oriented software development", IEEE Software, vol. 23, no. 6, pp. 53–61, November/December, 2006.
, "Program Testing Using High-Level Property-Driven Models", Proceedings of the Eighteenth International Conference on Software Engineering and Knowledge Engineering (SEKE06), 2006.
, "Quantum weakest preconditions", Mathematical Structures in Computer Science, vol. 16, no. 3, pp. 1–23, 2006.
, "Semi-Automatic Garbage Collection for Mobile Networks", Poster Event at the 20th European Conference on Object-Oriented Programming (ECOOP06), 2006.
, "Distributed measurement-based quantum computation", Proceedings of the 3rd International Workshop on Quantum Programming Languages (QPL 2005), vol. 170, pp. 73–94, 2005.
,