Alfredo Capozucca

28 papers A 2B 1Misc 1Journal 13Unranked 7
YearRankTypeTitle / Venue / Authors
2026 J jnl
The Bathtub of European AI Governance: Identifying Technical Sandboxes as the Micro-Foundation of Regulatory Learning.
CoRR
Tom Deckenbrunnen, Alessio Buscemi, Marco Almada, Alfredo Capozucca, German Castignani
2025 — conf
Do AI Assistants Help Students Write Formal Specifications? A Study with ChatGPT and the B-Method.
CSEE&T
Alfredo Capozucca, Daniil Yampolskyi, Alexander Goldberg, Maximiliano Cristiá
2025 J jnl
Do AI assistants help students write formal specifications? A study with ChatGPT and the B-Method.
CoRR
Alfredo Capozucca, Daniil Yampolskyi, Alexander Goldberg, Maximiliano Cristiá
2025 J jnl
From a Constraint Logic Programming Language to a Formal Verification Tool.
CoRR
Maximiliano Cristiá, Alfredo Capozucca, Gianfranco Rossi
2025 J jnl
Towards a unified user modeling language for engineering human centered AI systems.
CoRR
Aaron Conrardy, Alfredo Capozucca, Jordi Cabot
2025 J jnl
User Modeling in Model-Driven Engineering: A Systematic Literature Review.
J. Object Technol.
Aaron Conrardy, Jordi Cabot, Alfredo Capozucca
2024 A conf
Brewer-Nash Scrutinised: Mechanised Checking of Policies Featuring Write Revocation.
CSF
Alfredo Capozucca, Maximiliano Cristiá, Ross Horne, Ricardo Katz
2024 J jnl
Brewer-Nash Scrutinised: Mechanised Checking of Policies featuring Write Revocation.
CoRR
Alfredo Capozucca, Maximiliano Cristiá, Ross Horne, Ricardo Katz
2024 J jnl
User Modeling in Model-Driven Engineering: A Systematic Literature Review.
CoRR
Aaron David Conrardy, Alfredo Capozucca, Jordi Cabot
2023 — ed.
Frontiers in Software Engineering Education - Second International Workshop, FISEE 2023, Villebrumier, France, January 23-25, 2023, Invited Papers
FISEE
Alfredo Capozucca, Sophie Ebersold, Jean-Michel Bruel, Bertrand Meyer
2022 J jnl
Special Issue on New Paradigms of Software Production and Deployment.
SN Comput. Sci.
Alfredo Capozucca, Jean-Michel Bruel, Manuel Mazzara, Bertrand Meyer
2020 — ch.
DevOps and Its Philosophy: Education Matters!
Microservices, Science and Engineering
Evgeny Bobrov, Antonio Bucchiarone, Alfredo Capozucca, Nicolas Guelfi, Manuel Mazzara, Alexandr Naumchev, Larisa Safina
2020 — ed.
Frontiers in Software Engineering Education - First International Workshop, FISEE 2019, Villebrumier, France, November 11-13, 2019, Invited Papers
FISEE
Jean-Michel Bruel, Alfredo Capozucca, Manuel Mazzara, Bertrand Meyer, Alexandr Naumchev, Andrey Sadovykh
2019 — conf
Analysing the SWECOM Standard for Designing a DevOps Education Programme.
FISEE
Alfredo Capozucca, Nicolas Guelfi
2019 J jnl
DevOps and its Philosophy : Education Matters!
CoRR
Evgeny Bobrov, Antonio Bucchiarone, Alfredo Capozucca, Nicolas Guelfi, Manuel Mazzara, Alexandr Naumchev, Larisa Safina
2019 — conf
Teaching DevOps in Academia and Industry: Reflections and Vision.
DEVOPS
Evgeny Bobrov, Antonio Bucchiarone, Alfredo Capozucca, Nicolas Guelfi, Manuel Mazzara, Sergey Masyagin
2019 J jnl
Teaching DevOps in academia and industry: reflections and vision.
CoRR
Evgeny Bobrov, Antonio Bucchiarone, Alfredo Capozucca, Nicolas Guelfi, Manuel Mazzara, Sergey Masyagin
2018 — conf
Design of a (Yet Another?) DevOps Course.
DEVOPS
Alfredo Capozucca, Nicolas Guelfi, Benoît Ries
2018 B conf
Messir: a text-first DSL-based approach for UML requirements engineering (tool demo).
SLE
Benoît Ries, Alfredo Capozucca, Nicolas Guelfi
2011 — conf
Comparing Six Modeling Approaches.
MoDELS (Workshops)
Gunter Mussbacher, Wisam Al Abed, Omar Alam, Shaukat Ali, Antoine Beugnard, Valentin Bonnet, Rolv Bræk, Alfredo Capozucca, Betty H. C. Cheng, Urooj Fatima, Robert B. France, Geri Georg, Nicolas Guelfi, Paul Istoan, Jean-Marc Jézéquel, Jörg Kienzle, Jacques Klein, Jean-Baptiste Lézoray, Somayeh Malakuti, Ana Moreira, An Phung-Khac, Lucy J. Troup
2010 — —
DT4BP: a Business Process Modelling Language for Dependable Time-Constrained Business Processes.
Alfredo Capozucca
2010 J jnl
Modelling dependable collaborative time-constrained business processes.
Enterp. Inf. Syst.
Alfredo Capozucca, Nicolas Guelfi
2009 Misc conf
Designing reliable real-time concurrent object-oriented software systems.
SAC
Alfredo Capozucca, Nicolas Guelfi
2009 J jnl
Frameworks for designing and implementing dependable systems using Coordinated Atomic Actions: A comparative study.
J. Syst. Softw.
Alfredo Capozucca, Nicolas Guelfi, Patrizio Pelliccione, Alexander B. Romanovsky, Avelino Francisco Zorzo
2008 J jnl
Analysis and framework-based design of a fault-tolerant web information system for m-health.
Serv. Oriented Comput. Appl.
Florencia Balbastro, Alfredo Capozucca, Nicolas Guelfi
2007 — conf
On the Integration of Mobility in a Fault-Tolerant e-Health Web Information System.
AINA Workshops (2)
Florencia Balbastro, Alfredo Capozucca, Nicolas Guelfi
2006 A conf
CAA-DRIP: a framework for implementing Coordinated Atomic Actions.
ISSRE
Alfredo Capozucca, Nicolas Guelfi, Patrizio Pelliccione, Alexander B. Romanovsky, Avelino F. Zorzo
2006 — conf
The Fault-Tolerant Insulin Pump Therapy.
RODIN Book
Alfredo Capozucca, Nicolas Guelfi, Patrizio Pelliccione