PUBLICATIONS / A THEMATIC MAP
A research journey
in dialogue with problems.
Around 170 contributions across journal articles, conference proceedings, book chapters, edited volumes, reports, and teaching materials. Rather than a list, this page offers a map of themes that have evolved and intersected over time.
From the foundations of systems modelling to contemporary questions of privacy, AI, and governance.
This selection highlights different lines of work, with examples across disciplines and years. The themes are not isolated: modelling, performance, and dependability methods recur in research on cloud computing, security, and applications.
DOI links open publisher pages on request. References are concise; the full bibliography can be maintained separately from the CV.
01 / MODELS, PERFORMANCE, DEPENDABILITY
Understanding system behaviour
Multi-formalism modelling and quantitative analysis are foundational strands: composable formalisms, performance evaluation, critical systems, and simulation.
- 2026 · SimulationSimulation of n-dimensional second order fluid models with custom oriented barriersSimulation Modelling Practice and Theory
- 2012 · Modelling frameworkThe SIMTHESys Multiformalism Modeling FrameworkComputers & Mathematics with Applications
- 2004 · Multiformalism systemsThe OsMoSys approach to multi-formalism modelling of systemsSoftware and Systems Modeling
- 2004 · DependabilityRepairable Fault Tree for the Automatic Evaluation of Repair PoliciesInternational Conference on Dependable Systems and Networks
02 / CLOUD, HPC, BIG DATA, IOT
Performance in distributed infrastructure
From parallel and high-performance computing to cloud services and big-data architectures, a recurring question is how to model and improve performance and scalability.
- 2023 · HPCPorting of Finite Element Integration Algorithm to Xeon Phi Coprocessor-based HPC ArchitecturesComputer Assisted Methods in Engineering and Science
- 2021 · Cloud computingAn ANN-based scalable hashing algorithm for computational clouds with schedulersInternational Journal of Applied Mathematics and Computer Science
- 2014 · Big dataPerformance Evaluation of NoSQL Big-Data applications using multi-formalism modelsFuture Generation Computer Systems
- 2013 · Big dataExploiting mean field analysis to model performances of big data architecturesFuture Generation Computer Systems
03 / PRIVACY, SECURITY, GOVERNANCE
Building safeguards into design
A more recent strand connects architecture, data lifecycles, security, and responsibility, with a focus on assessing design choices early.
- 2025 · Privacy by designA decision framework for early evaluation of privacy-by-design in information systemsJournal of High Speed Networks
- 2025 · Data governanceA framework for Data Lifecycle Model selectionFuture Internet
- 2024 · Security and public policyEvaluation of the Effectiveness of National Promotion Strategies for the Improvement of Privacy and SecurityComputers
- 2021 · Blockchain and IoVDesigning a GDPR compliant blockchain-based IoV distributed information tracking systemInformation Processing & Management
04 / EXPLAINABLE AI AND APPLICATIONS
Interpreting data in the real world
Collaboration across computer science, process engineering, and environmental science brings explainable-AI methods to real data and operational problems.
- 2026 · Marine monitoringMulti-source eXplainable Artificial Intelligence for monitoring and interpretation of marine scrubber washwater quality from full-scale vessel dataWater Research
- 2025 · Process engineeringAn Explainable Artificial Intelligence framework to predict marine scrubbers performancesEngineering Applications of Artificial Intelligence
- 2024 · XAI and process engineeringeXplainable Artificial Intelligence in Process Engineering: Promises, Facts, and Current LimitationsApplied System Innovation
- 2023 · Digital healthA cyberwarfare perspective on risks related to health IoT devices and contact tracingNeural Computing and Applications
05 / COMMUNITY, VOLUMES, SHARED RESULTS
Building tools and communities
Alongside articles, the record includes international conference contributions, technical reports, and editorial work in the modelling and performance-engineering community.
- 2026 · Edited volumeComputer Performance Engineering — EPEW 2026 ProceedingsLecture Notes in Computer Science, Springer
- 2023 · Edited volumeComputer Performance Engineering and Stochastic Modelling — EPEW/ASMTA 2023 ProceedingsLecture Notes in Computer Science, Springer
- 2019 · Technical reportState-of-the-art on Current Formalisms used in Cyber-Physical Systems DevelopmentCOST Action IC1404 deliverable
A MAP, NOT A CATALOGUE
The selection reveals
connections and continuity.
The page includes foundational strands and recent developments: quantitative modelling, cloud and HPC, privacy and security, explainable AI, interdisciplinary applications, and contributions to the research community. These are representative works, not an exhaustive bibliography.
Return to research themes, methods, and collaborations →