Alfredo Capozucca

According to our database, Alfredo Capozucca authored at least 16 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Brewer-Nash Scrutinised: Mechanised Checking of Policies Featuring Write Revocation.

Alfredo Capozucca, Maximiliano Cristiá, Ross Horne, Ricardo Katz

Proceedings of the 37th IEEE Computer Security Foundations Symposium, 2024

2022

Special Issue on New Paradigms of Software Production and Deployment.

Alfredo Capozucca, Jean-Michel Bruel, Manuel Mazzara, Bertrand Meyer

SN Comput. Sci., 2022

2020

DevOps and Its Philosophy: Education Matters!

Evgeny Bobrov, Antonio Bucchiarone, Alfredo Capozucca, Nicolas Guelfi, Manuel Mazzara, Alexandr Naumchev, Larisa Safina

Proceedings of the Microservices, Science and Engineering., 2020

2019

DevOps and its Philosophy : Education Matters!

Evgeny Bobrov, Antonio Bucchiarone, Alfredo Capozucca, Nicolas Guelfi, Manuel Mazzara, Alexandr Naumchev, Larisa Safina

CoRR, 2019

Analysing the SWECOM Standard for Designing a DevOps Education Programme.

Alfredo Capozucca, Nicolas Guelfi

Proceedings of the Frontiers in Software Engineering Education, 2019

Teaching DevOps in Academia and Industry: Reflections and Vision.

Evgeny Bobrov, Antonio Bucchiarone, Alfredo Capozucca, Nicolas Guelfi, Manuel Mazzara, Sergey Masyagin

Proceedings of the Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment, 2019

2018

Messir: a text-first DSL-based approach for UML requirements engineering (tool demo).

Benoît Ries, Alfredo Capozucca, Nicolas Guelfi

Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering, 2018

Design of a (Yet Another?) DevOps Course.

Alfredo Capozucca, Nicolas Guelfi, Benoît Ries

Proceedings of the Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment, 2018

2011

Comparing Six Modeling Approaches.

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

Proceedings of the Models in Software Engineering, 2011

2010

Modelling dependable collaborative time-constrained business processes.

Alfredo Capozucca, Nicolas Guelfi

Enterp. Inf. Syst., 2010

2009

Frameworks for designing and implementing dependable systems using Coordinated Atomic Actions: A comparative study.

Alfredo Capozucca, Nicolas Guelfi, Patrizio Pelliccione, Alexander B. Romanovsky, Avelino Francisco Zorzo

J. Syst. Softw., 2009

Designing reliable real-time concurrent object-oriented software systems.

Alfredo Capozucca, Nicolas Guelfi

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

2008

Analysis and framework-based design of a fault-tolerant web information system for m-health.

Florencia Balbastro, Alfredo Capozucca, Nicolas Guelfi

Serv. Oriented Comput. Appl., 2008

2007

On the Integration of Mobility in a Fault-Tolerant e-Health Web Information System.

Florencia Balbastro, Alfredo Capozucca, Nicolas Guelfi

Proceedings of the 21st International Conference on Advanced Information Networking and Applications (AINA 2007), 2007

2006

The Fault-Tolerant Insulin Pump Therapy.

Alfredo Capozucca, Nicolas Guelfi, Patrizio Pelliccione

Proceedings of the Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project], 2006

CAA-DRIP: a framework for implementing Coordinated Atomic Actions.

Alfredo Capozucca, Nicolas Guelfi, Patrizio Pelliccione, Alexander B. Romanovsky, Avelino F. Zorzo

Proceedings of the 17th International Symposium on Software Reliability Engineering (ISSRE 2006), 2006