Monteiro, Regina C. C., Andreia A. S. Lopes, Maria M. A. Lima, Joao P. Veiga, Rui JC Silva, Carlos J. Dias, Erika J. R. Davim, and Maria H. V. Fernandes. "
Sintering, Crystallization, and Dielectric Behavior of Barium Zinc Borosilicate GlassesuEffect of Barium Oxide Substitution for Zinc Oxide."
Journal of the American Ceramic Society. 95.10 (2012): 3144-3150.
Abstractn/a
Dias, Ricardo J., Vasco Pessanha, and João M. Lourenço. "
Precise Detection of Atomicity Violations."
Haifa Verification Conference. Lecture Notes in Computer Science. Haifa, Israel: Springer Berlin / Heidelberg, 2012.
AbstractConcurrent programs that are free of unsynchronized ac- cesses to shared data may still exhibit unpredictable concurrency errors called atomicity violations, which include both high-level dataraces and stale-value errors. Atomicity violations occur when programmers make wrong assumptions about the atomicity scope of a code block, incorrectly splitting it in two or more atomic blocks and allow them to be interleaved with other atomic blocks. In this paper we propose a novel static analysis algorithm that works on a dependency graph of program variables and detects both high-level dataraces and stale-value errors. The algorithm was implemented for a Java Bytecode analyzer and its effectiveness was evaluated with some well known faulty programs. The results obtained show that our algorithm performs better than previous approaches, achieving higher precision for small and medium sized programs, making it a good basis for a practical tool.
Delgado-Gomes, Vasco, Jose A. Oliveira-Lima, Joao F. Martins, Celson Lima, and Pedro Pereira. "
Towards to a Web Service alert software system for standard electrical protective devices."
Intelligent Engineering Systems (INES), 2012 IEEE 16th International Conference on. Lisbon, Portugal 2012. 197-201.
AbstractElectrical Protective Devices are key elements in the electrical network. Their purpose is to perform fault detection in electric power systems, by analysing power system voltages and currents. In order to achieve a more centralized control, protective devices can be connected using Web Services through a Service-Oriented Architecture (SOA) approach. This work targets planning and specification of a mapping between Abstract Communication Service Interface (ACSI) Reporting and Device Profile for Web Services (DPWS) Eventing to achieve a better protective electrical devices control, obtaining an event based alert software system, replacing conventional polling-based systems.