GroupPublications < SPG

TWiki>

SPG Web>SoftwareProductivityGroup>GenteAreaProjects>AlloyGroup>GroupPublications (2012-01-27, LeopoldoTeixeira)

EditAttach

See Copyright

Publications

2012

[BorbaEtal12]: Paulo Borba, Leopoldo Teixeira, and Rohit Gheyi. A Theory of Software Product Line Refinement. Theoretical Computer Science, 2012. to appear. [ DOI | .pdf ]

2010

[BorbaEtal10]: Paulo Borba, Leopoldo Teixeira, and Rohit Gheyi. A theory of software product line refinement. In 7th International Colloquium on Theoretical Aspects of Computing (ICTAC 2010), pages 15-43, Natal, Brazil, September 2010. [ .pdf ]

2009

[CastorFilhoEtal09]: Fernando Castor Filho, Alexander Romanovsky, and Cecilia Mary F. Rubira. Improving the reliability of cooperative concurrent systems with exception flow analysis. Journal of Systems and Software, 82:874-890, 2009.
[GheyiEtal09]: Rohit Gheyi, Tiago Massoni, Paulo Borba, and Augusto Sampaio. A complete set of object modeling laws for alloy. In Brazilian Symposium on Formal Methods (SBMF), pages xx-yy, Gramado, Brazil, aug 2009.
[GheyiEtal09b]: Rohit Gheyi, Tiago Massoni, and Paulo Borba. Refactorings for introducing alloy idioms. Electronic Notes in Theoretical Computer Science, pages xx-yy, 2009.

2008

[GheyiEtal08]: Rohit Gheyi, Tiago Massoni, and Paulo Borba. Algebraic laws for feature models. Journal of Universal Computer Science (JUCS), 14:3573-3591, 2008.
[GheyiEtal08b]: Rohit Gheyi, Tiago Massoni, and Paulo Borba. A complete and minimal set of algebraic laws for feature models. In Brazilian Symposium on Programming Languages (SBLP), pages 129-143, Fortaleza, Brazil, aug 2008.
[MassoniEtal08]: Tiago Massoni, Rohit Gheyi, and Paulo Borba. Formal model-driven program refactoring. In José Luiz Fiadeiro and Paola Inverardi, editors, Fundamental Approaches to Software Engineering, 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings, volume 4961 of Lecture Notes in Computer Science, pages 362-376. Springer, 2008. [ .pdf ]
[MassoniEtal08b]: Tiago Massoni, Rohit Gheyi, and Paulo Borba. A framework for establishing formal conformance between object models and object-oriented programs. Electronic Notes in Theoretical Computer Science, 195:189-209, 2008. [ .pdf ]

2007

[GheyiEtal07]: Rohit Gheyi, Tiago Massoni, and Paulo Borba. Formally introducing alloy idioms. In Brazilian Symposium on Formal Methods (SBMF), pages 22-37, Ouro Preto, Brazil, aug 2007. [ .pdf ]
[GheyiEtal07b]: Rohit Gheyi, Tiago Massoni, and Paulo Borba. A static semantics for alloy and its impact in refactorings. Elsevier's Electronic Notes in Theoretical Computer Science, 184:209-233, jun 2007. [ .pdf ]

2006

[GheyiEtal06]: Rohit Gheyi, Vander Alves, Uira Kulesza Tiago Massoni, Paulo Borba, and Carlos Lucena. Theory and proofs for feature model refactorings. Technical Report TR-UFPE-CIN-200608027, Federal University of Pernambuco, 2006. [ .pdf ]
[GheyiEtal06b]: Rohit Gheyi, Tiago Massoni, and Paulo Borba. A theory for feature models in alloy. In First Alloy Workshop, pages 71-80, Portland, United States, nov 2006. [ .pdf ]
[MassoniEtal06]: Tiago Massoni, Rohit Gheyi, and Paulo Borba. A formal framework for establishing conformance between object models and object-oriented programs. In Brazilian Symposium on Formal Methods (SBMF), pages 201-216, Natal, Brazil, sep 2006. [ .pdf ]
[MassoniEtal06b]: Tiago Massoni, Rohit Gheyi, and Paulo Borba. An approach to invariant-based program refactoring. In Software Evolution through Transformations: Embracing the Change, pages 91-101, Natal, Brazil, sep 2006. [ .pdf ]
[GheyiBorba06]: Rohit Gheyi and Paulo Borba. Sound object model refactorings. In Doctoral Symposium at Formal Methods 2006, Hamilton, Canada, aug 2006. [ .pdf ]

2005

[GheyiEtal05]: Rohit Gheyi, Tiago Massoni, and Paulo Borba. Type-safe refactorings for alloy. In Brazilian Symposium on Formal Methods (SBMF), pages 174-190, Porto Alegre, Brazil, nov 2005. [ .pdf ]
[GheyiEtal05b]: Rohit Gheyi, Tiago Massoni, and Paulo Borba. A rigorous approach for proving model refactorings. In 20th IEEE/ACM International Conference on Automated Software Engineering (ASE), pages 372-375, Long Beach, United States, nov 2005. [ .pdf ]
[GheyiEtal05c]: Rohit Gheyi, Tiago Massoni, and Paulo Borba. Formal refactorings for object models. In OOPSLA'05: Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications (Student Research Competition), pages 208-209, San Diego, United States, oct 2005. Our work was ranked in the top 6 research work. [ .pdf ]
[MassoniEtal05]: Tiago Massoni, Rohit Gheyi, and Paulo Borba. A model-driven approach to formal refactoring. In OOPSLA'05: Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications (Poster Session), pages 124-125, San Diego, United States, oct 2005. ACM Press. [ .pdf ]
[MassoniEtal05b]: Tiago Massoni, Rohit Gheyi, and Paulo Borba. Formal refactoring for uml class diagrams. In 19th Brazilian Symposium on Software Engineering (SBES), pages 152-167, Uberlandia, Brazil, oct 2005. [ .pdf ]
[GheyiEtal05d]: Rohit Gheyi, Tiago Massoni, and Paulo Borba. An abstract equivalence notion for object models. Elsevier's Electronic Notes in Theoretical Computer Science, 130:3-21, may 2005. [ .pdf ]

2004

[GheyiEtal04]: Rohit Gheyi, Tiago Massoni, and Paulo Borba. An abstract equivalence notion for object models. In Brazilian Symposium on Formal Methods (SBMF), pages 1-14, Recife, Brazil, nov 2004. [ .pdf ]
[BorbaEtal04]: Paulo Borba, Augusto Sampaio, Ana Cavalcanti, and Márcio Cornélio. Algebraic reasoning for object-oriented programming. Science of Computer Programming, 52:53-100, oct 2004. [ .pdf ]
[GheyiEtal04b]: Rohit Gheyi, Tiago Massoni, and Paulo Borba. Basic laws of object modeling. In Third Specification and Verification of Component-Based Systems (SAVCBS), affiliated with ACM SIGSOFT 2004/FSE-12, pages 18-25, Newport Beach, United States, oct 2004. [ .pdf ]
[MassoniEtal04]: Tiago Massoni, Rohit Gheyi, and Paulo Borba. A uml class diagram analyzer. In Third Workshop on Critical Systems Development with UML, affiliated with UML Conference, pages 100-114, Lisbon, Portugal, oct 2004. [ .pdf ]
[GheyiBorba04]: Rohit Gheyi and Paulo Borba. Refactoring alloy specifications. Elsevier's Electronic Notes in Theoretical Computer Science, 95:227-243, may 2004. [ .pdf ]
[Gheyi04]: Rohit Gheyi. Basic laws of object modeling. Master's thesis, Federal University of Pernambuco, feb 2004. [ .pdf ]

2003

[GheyiBorba03]: Rohit Gheyi and Paulo Borba. Refactoring alloy specifications. In Sixth Brazilian Workshop on Formal Methods, pages 166-181, Campina Grande, Brazil, oct 2003. [ .pdf ]
[BorbaEtal03]: Paulo Borba, Augusto Sampaio, and Márcio Cornélio. A refinement algebra for object-oriented programming. In 17th European Conference on Object-Oriented Programming, pages 457-482, Darmstadt, Germany, jul 2003. [ .pdf ]

Copyright notice

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author s copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

-- TiagoMassoni - 08 Feb 2008

Topic revision: r74 - 2012-01-27 - LeopoldoTeixeira