Beckwith, Laura, Jácome Cunha, João Paulo Fernandes, and João Saraiva. "
End-users Productivity in Model-based Spreadsheets: An Empirical Study."
Proceedings of the Third International Symposium on End-User Development. Eds. M. Costabile, Y. Dittrich, G. Fischer, and A. Piccinno. IS-EUD '11. Heidelberg: Springer, 2011. 282-288.
AbstractSpreadsheetsarewidelyusedandstudiesshowthatmostoftheexisting ones contain non-trivial errors. To improve end-users productivity, recent research proposes the use of a model-driven engineering approach to spreadsheets. In this paper we conduct the first empirical study to assess the effectiveness and efficiency of this approach. A set of spreadsheet end users worked with two different model-based spreadsheets. We present and analyze here the results achieved.
Beckwith, Laura, Jácome Cunha, João Paulo Fernandes, and João Saraiva. "
An Empirical Study on End-users Productivity Using Model-based Spreadsheets."
Proceedings of the European Spreadsheet Risks Interest Group. Eds. Simon Thorne, and Grenville Croll. EuSpRIG '11. 2011. 87-100.
AbstractSpreadsheets are widely used, and studies have shown that most end-user spreadsheets contain non-trivial errors. To improve end-users productivity, recent research proposes the use of a model-driven engineering approach to spreadsheets. In this paper we conduct the first systematic empirical study to assess the effectiveness and efficiency of this approach. A set of spreadsheet end users worked with two different model-based spreadsheets, and we present and analyze here the results achieved.
Pessanha, Vasco, Ricardo J. Dias, João M. Lourenço, Eitan Farchi, and Diogo Sousa. "
Practical verification of high-level dataraces in transactional memory programs."
Proceedings of 9th the Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging. PADTAD'11. New York, NY, USA: ACM, 2011. 26-34.
AbstractIn this paper we present MoTh, a tool that uses static analysis to enable the automatic verification of concurrency anomalies in Transactional Memory Java programs. Currently MoTh detects high-level dataraces and stale-value errors, but it is extendable by plugging-in sensors, each sensor implementing an anomaly detecting algorithm. We validate and benchmark MoTh by applying it to a set of well known concurrent buggy programs and by close comparison of the results with other similar tools. The results achieved so far are very promising, yielding good accuracy while triggering only a very limited number of false warnings.
Borges, J. P., M. H. Godinho, J. L. Figueirinhas, M. N. de Pinho, and M. N. Belgacem. "
All-Cellulosic Based Composites."
Cellulose Fibers: Bio- and Nano-Polymer Composites. Springer, 2011. 399-421.
Abstractn/a
Martins, R., B. Brás, I. Ferreira, L. Pereira, P. Barquinha, N. Correia, R. Costa, T. Busani, A. Gonçalves, A. Pimentel, and E. Fortunato. "
{Away from silicon era: the paper electronics}." Eds. Ferechteh H. Teherani, David C. Look, and David J. Rogers. Vol. 7940. 2011. 79400P–10.
Abstractn/a