Skip to content

Author

Salvador Martínez

2 papers indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Book Open access Oct 2026

Towards continuous verification of security patterns

Security patterns are widely recognized as an effective solution for mitigating vulnerabilities in software design and development. However, ensuring that integrated patterns remain correct across evolving system specifications is a challenging problem in practice. This is more so when the evolution occurs at runtime....

Yanis Allouch, Salvador Martínez, Jean-Christophe Bach et al. · 0 citations
Book Open access Oct 2026

Engineering Digital Process Twins: Towards a Methodology Based on MDE and DevOps

A Digital Process Twin (DPT) is a digital twin (DT) of a business process designed to monitor, adapt, and optimize organizational workflows to maintain the efficiency, adaptability, and competitiveness of businesses. The benefits of DPTs are many: outcome prediction, data-driven insights for optimization, and streamlin...

Gwendal G. Beaumont, Charlotte Verbruggen, Antoine Beugnard et al. · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.