All Stories

  1. Building Models in Pairs for Cross‐Verification Using SDL and DEVS

    Article • Advanced Theory and Simulations, April 2024, Wiley

    Pau Fonseca i Casas

  2. Applying a Digital Twin and wastewater analysis for robust validation of COVID-19 pandemic forecasts: insights from Catalonia

    Article • Journal of Water and Health, February 2024, IWA Publishing

    Pau Fonseca i Casas

  3. Specification and Description Language Models Automatic Execution in a High-Performance Environment

    Article • Computers, November 2023, MDPI AG

    Pau Fonseca i Casas

  4. A Mathematical Model for the COVID-19 Pandemic in Tokyo through Changing Point Calculus

    Article • Applied Sciences, November 2023, MDPI AG

    Pau Fonseca i Casas

  5. Modeling SARS‐CoV‐2 True Infections in Catalonia through a Digital Twin

    Article • Advanced Theory and Simulations, May 2023, Wiley

    Pau Fonseca i Casas

  6. A Continuous Process for Validation, Verification, and Accreditation of Simulation Models

    Article • Mathematics, February 2023, MDPI AG

    Pau Fonseca i Casas

  7. Modelling influenza and SARS-CoV-2 interaction: Analysis for Catalonia region

    Article • Journal of Algorithms & Computational Technology, January 2023, SAGE Publications

    Pau Fonseca i Casas

  8. In-person school reopening and the spread of SARS-CoV-2 during the second wave in Spain

    Article • Frontiers in Public Health, October 2022, Frontiers

    Pau Fonseca i Casas

  9. Business Intelligence’s Self-Service Tools Evaluation

    Article • Technologies, August 2022, MDPI AG

    Pau Fonseca i Casas

  10. The COVID-19 pandemic management strategies and the acute severe hepatitis outbreak of unknown origin in children

    Article • Clinical Infection in Practice, July 2022, Elsevier

    Pau Fonseca i Casas

  11. Formal Modeling and Simulation for SARS-CoV-2 Containment Scenarios in Catalonia

    Article • Computing in Science & Engineering, May 2022, Institute of Electrical & Electronics Engineers (IEEE)

    Pau Fonseca i Casas

  12. Contribution of Thermal Inertia to the Interior Climate of Girona Cathedral: Feasibility Analysis for the Preservation of Pieces of Art through the Monitoring of Thermal Conditions for 6 Years

    Article • Energies, February 2022, MDPI AG

    Pau Fonseca i Casas

  13. Combining Low-Code Programming and SDL-Based Modeling with Snap! in the Industry 4.0 Context

    Article • October 2021, Institute of Electrical & Electronics Engineers (IEEE)

    Pau Fonseca i Casas

  14. SARS-CoV-2 Spread Forecast Dynamic Model Validation through Digital Twin Approach, Catalonia Case Study

    Article • Mathematics, July 2021, MDPI AG

    Pau Fonseca i Casas

  15. SDL Cellular Automaton COVID-19 conceptualization

    Article • October 2020, ACM (Association for Computing Machinery)

    Pau Fonseca i Casas

  16. SEIRD COVID-19 Formal Characterization and Model Comparison Validation

    Article • Applied Sciences, July 2020, MDPI AG

    Pau Fonseca i Casas

  17. Simplifying the Verification of Simulation Models through Petri Net to FlexSim Mapping

    Article • Applied Sciences, February 2020, MDPI AG

    Pau Fonseca i Casas

  18. Evaluation of Metaheuristic Algorithms for the Improvement of Sustainability in the Construction Area

    Article • December 2019, Institute of Electrical & Electronics Engineers (IEEE)

    Pau Fonseca i Casas

  19. Towards a Representation of Cellular Automaton Using Specification and Description Language

    Article • January 2019, Springer Science + Business Media

    Pau Fonseca i Casas

  20. COMBINING FORMAL DEFINITION OF A SIMULATION MODEL WITH HEURISTICS TO IMPROVE BUILDING SUSTAINABILITY

    Article • December 2018, Institute of Electrical & Electronics Engineers (IEEE)

    Pau Fonseca i Casas

  21. Using the R Language to Manage and Show Statistical Information in the Cloud

    Article • Technologies, November 2018, MDPI AG

    Pau Fonseca i Casas

  22. Using the R Language to Manage and Show Statistical Information in the Cloud

    Article • October 2018, MDPI AG

    Pau Fonseca i Casas

  23. Solution Validation for a Double Façade Prototype

    Article • Energies, December 2017, MDPI AG

    Pau Fonseca i Casas

  24. Using simulation to estimate evacuation times in large-size aircrafts: A case study with simio

    Article • December 2017, Institute of Electrical & Electronics Engineers (IEEE)

    Pau Fonseca i Casas

  25. Using simulation to estimate critical paths and survival functions in aircraft turnaround processes

    Article • December 2017, Institute of Electrical & Electronics Engineers (IEEE)

    Pau Fonseca i Casas

  26. Using Specification and Description Language for Life Cycle Assesment in Buildings

    Article • Sustainability, June 2017, MDPI AG

    Pau Fonseca i Casas

  27. Simulation model to find the best comfort, energy and cost scenarios for building refurbishment

    Article • Journal of Building Performance Simulation, May 2017, Taylor & Francis

    Pau Fonseca i Casas

  28. Analysis of Applications to Improve the Energy Savings in Residential Buildings Based on Systemic Quality Model

    Article • Sustainability, October 2016, MDPI AG

    Pau Fonseca i Casas

  29. Cost-effective analysis for selecting energy efficiency measures for refurbishment of residential buildings in Catalonia

    Article • Energy and Buildings, September 2016, Elsevier

    Pau Fonseca i Casas

  30. Comfort and economic criteria for selecting passive measures for the energy refurbishment of residential buildings in Catalonia

    Article • Energy and Buildings, January 2016, Elsevier

    Pau Fonseca i Casas

  31. NECADA: Optimization Software for Sustainable Architecture

    Article • December 2015, International Building Performance Simulation Association

    Pau Fonseca i Casas

  32. Optimization of Energy Renovation of Residential Sector in Catalonia Based on Comfort, Energy And Costs.

    Article • December 2015, International Building Performance Simulation Association

    Pau Fonseca i Casas

  33. Defining the best strategy to do the evacuation of an Airbus 380

    Article • December 2015, Institute of Electrical & Electronics Engineers (IEEE)

    Pau Fonseca i Casas

  34. Dynamic programming of flights based on stochastic demands

    Article • December 2015, Institute of Electrical & Electronics Engineers (IEEE)

    Pau Fonseca i Casas

  35. Transforming classic DEVS models to SDL

    Article • SIMULATION, March 2015, SAGE Publications

    Pau Fonseca i Casas

  36. Optimal Buildings’ Energy Consumption Calculus through a Distributed Experiment Execution

    Article • Mathematical Problems in Engineering, January 2015, Hindawi Publishing Corporation

    Pau Fonseca i Casas

  37. SDL - The IoT Language

    Article • January 2015, Springer Science + Business Media

    Pau Fonseca i Casas

  38. Optimization of aircraft boarding processes considering passengers' grouping characteristics

    Article • December 2014, Institute of Electrical & Electronics Engineers (IEEE)

    Pau Fonseca i Casas

  39. Formal and operational validation of a bus stop public transport network micro simulation

    Article • December 2014, Institute of Electrical & Electronics Engineers (IEEE)

    Pau Fonseca i Casas

  40. Simulation analysis of a dynamic ridesharing model

    Article • December 2014, Institute of Electrical & Electronics Engineers (IEEE)

    Pau Fonseca i Casas

  41. Teaching system modelling and simulation through Petri Nets and Arena

    Article • December 2014, Institute of Electrical & Electronics Engineers (IEEE)

    Pau Fonseca i Casas

  42. Evaluation and assessment of professional skills in the Final Year Project

    Article • October 2014, Institute of Electrical & Electronics Engineers (IEEE)

    Pau Fonseca i Casas

  43. Using Specification and Description Language to Formalize Multiagent Systems

    Article • Applied Artificial Intelligence, May 2014, Taylor & Francis

    Pau Fonseca i Casas

  44. Passenger flow simulation in a hub airport: An application to the Barcelona International Airport

    Article • Simulation Modelling Practice and Theory, May 2014, Elsevier

    Pau Fonseca i Casas

  45. Formal simulation model to optimize building sustainability

    Article • Advances in Engineering Software, March 2014, Elsevier

    Pau Fonseca i Casas

  46. Formal Languages for Computer Simulation

    Article • January 2014, IGI Global

    Pau Fonseca i Casas

  47. System Analysis and Modeling: Models and Reusability

    Article • January 2014, Springer Science + Business Media

    Pau Fonseca i Casas

  48. FireFight: A Decision Support System for Forest Fire Containment

    Article • January 2014, Springer Science + Business Media

    Pau Fonseca i Casas

  49. Simulation and optimization for an experimental environment to wildfire resource management and planning: Firefight project modelling and architecture

    Article • December 2013, Institute of Electrical & Electronics Engineers (IEEE)

    Pau Fonseca i Casas

  50. Formalizing geographical models using specification and description language: The wildfire example

    Article • December 2013, Institute of Electrical & Electronics Engineers (IEEE)

    Pau Fonseca i Casas

  51. Modeling anesthesia and pavilion surgical units in a Chilean hospital with Specification and Description Language

    Article • SIMULATION, July 2013, SAGE Publications

    Pau Fonseca i Casas

  52. Definition of Virtual Reality Simulation Models Using Specification and Description Language Diagrams

    Article • January 2013, Springer Science + Business Media

    Pau Fonseca i Casas

  53. A Simulation Study Regarding Different Aircraft Boarding Strategies

    Article • January 2013, Springer Science + Business Media

    Pau Fonseca i Casas

  54. Sim-RandSHARP: A hybrid algorithm for solving the Arc Routing Problem with Stochastic Demands

    Article • December 2012, Institute of Electrical & Electronics Engineers (IEEE)

    Pau Fonseca i Casas

  55. A novel model to predict a slab avalanche configuration using m:n-CA cellular automata

    Article • Computers Environment and Urban Systems, January 2011, Elsevier

    Pau Fonseca i Casas

  56. JGPSS, An open source GPSS framework to teach simulation

    Article • December 2009, Institute of Electrical & Electronics Engineers (IEEE)

    Pau Fonseca i Casas

  57. Simulation education in the Internet age: Some experiences on the use of pure online and blended learning models

    Article • December 2009, Institute of Electrical & Electronics Engineers (IEEE)

    Pau Fonseca i Casas

  58. Learning Operations Research online: benefits, challenges, and experiences

    Article • International Journal of Simulation and Process Modelling, January 2009, Inderscience Publishers

    Pau Fonseca i Casas

  59. Simulació discreta per mitjà de la interacció de processos : una visió a través del GPSS

    Article • January 2009, Iniciativa Digital Politecnica

    Pau Fonseca i Casas

  60. SDL distributed simulator

    Article • December 2008, Institute of Electrical & Electronics Engineers (IEEE)

    Pau Fonseca i Casas

  61. Castelldefels project: modeling and simulation of the computer system that gives support to the virtual campus of the open University of Catalonia

    Article • December 2007, Institute of Electrical & Electronics Engineers (IEEE)

    Pau Fonseca i Casas

  62. Comportamiento a la corrosión de implantes de titanio granallados

    Article • Biomecánica, December 1999, Iniciativa Digital Politecnica

    Pau Fonseca i Casas

  63. Modeling a Chilean Hospital Using Specification and Description Language

    Article • IGI Global

    Pau Fonseca i Casas

  64. Specification and Description Language for Discrete Simulation

    Article • IGI Global

    Pau Fonseca i Casas

  65. Factory Railway System

    Article • Springer Science + Business Media

    Pau Fonseca i Casas

  66. Modeling a Chilean Hospital Using Specification and Description Language

    Article • IGI Global

    Pau Fonseca i Casas