P
Pau Fonseca i Casas
Researcher at Polytechnic University of Catalonia
Publications - 64
Citations - 314
Pau Fonseca i Casas is an academic researcher from Polytechnic University of Catalonia. The author has contributed to research in topics: Specification and Description Language & Formal language. The author has an hindex of 8, co-authored 59 publications receiving 270 citations.
Papers
More filters
Journal ArticleDOI
Cost-effective analysis for selecting energy efficiency measures for refurbishment of residential buildings in Catalonia
TL;DR: In this paper, the authors presented the results of a detailed method for developing cost-optimal studies for the energy refurbishment of residential buildings, taking part of an innovative approach: two-step evaluation considering thermal comfort, energy and economic criteria.
Book
Formal Languages for Computer Simulation: Transdisciplinary Models and Applications
TL;DR: Different methods of evaluating and formalizing simulation models are explored, enabling computer and industrial engineers, mathematicians, and students working with computer simulations to thoroughly understand the progression from simulation to product, improving the overall effectiveness of modeling systems.
Journal ArticleDOI
Formal simulation model to optimize building sustainability
TL;DR: A simulation model is presented that makes it possible to find optimal values for various building parameters and the associated impacts that reduce the energy demand or consumption of the building.
Journal ArticleDOI
SEIRD COVID-19 formal characterization and model comparison validation
TL;DR: This approach is used to implement a Decision support system that shows the current pandemic situation in Catalonia, using existing data from Korea and Spain and showing that the proposed method and the obtained parametrization for the model fit with the empirical evidence.
Book ChapterDOI
SDL - The IoT Language
TL;DR: SD must advance if it is to become the language of choice for developing the next generation of smartThings, and it must target emerging IoT platforms, it must support simulation of interactions between pre-existing smart things and new smart things, and It must facilitate deployment of large numbers of similar things.