João Miguel Franco

Learn More
Postmortem tissues (e.g. liver, kidney) have been long used in forensic applications especially in those cases where blood is unavailable. The aim of this paper is to demonstrate the importance of the information provided to the forensic toxicologist at the time of carrying out the toxicological analysis, especially in cases where the samples commonly used(More)
Valproic acid (VPA) has been used as an anticonvulsant for the treatment of epilepsy. The authors present a fatal case involving a 45-year-old female, found dead lying in bed with empty tablets of Diplexil(®) next to her. She was a chronic alcoholic and epileptic who had been under psychiatric treatment, having repeatedly demonstrated intent to commit(More)
A qualitative and quantitative analytical method was developed for the simultaneous determination of 24 illicit drugs and medicines, in preserved oral fluid samples collected with the StatSure Saliva Sampler collection device. The samples were prepared by liquid-liquid extraction followed by liquid chromatography/tandem mass spectrometry (LC/MS/MS)(More)
Quantitative assessment of quality attributes (i.e., non-functional requirements, such as performance, safety or reliability) of software architectures during design supports important early decisions and validates the quality requirements established by the stakeholder. In current practice, these quality requirements are most often manually checked, which(More)
The ever-growing complexity of software systems makes it increasingly challenging to foresee at design time all interactions between a system and its environment. Most self-adaptive systems trigger adaptations through operators that are statically configured for specific environment and system conditions. However, in the occurrence of uncertain conditions,(More)
Software engineers and practitioners regard software architecture as an important artifact, providing the means to model the structure and behavior of systems and to support early decisions on dependability and other quality attributes. Since systems are most often subject to evolution, the software architecture can be used as an early indicator on the(More)
Quality attributes (e.g., performance, reliability and security) are detailed in a system's architecture and determine the fitness of purpose and satisfaction of stakeholders regarding the final product. Although research has provided methods to assess different quality attributes, few checks are automatically performed. Manually checking a quality(More)
A simple and sensitive procedure, using n-propanol as internal standard (IS), was developed and validated for the qualitative and quantitative analysis of a group of 11 volatile organic substances with different physicochemical properties (1-butanol, 2-propanol, acetaldehyde, ethyl acetate, acetone, acetonitrile, chloroform, diethyl ether, methanol, toluene(More)
The quantitative assessment of quality attributes on software architectures allow to support early decisions in the design phase, certify quality requirements established by stakeholders and improve software quality in future architectural changes. In literature, only few of these quality requirements are verified and most often they are manually checked,(More)