2 citations · 3 across the 3 of their papers we have counts for
3 papers
Human-AI Collaboration in Requirements Engineering: Evidence of the Negative Effect of LLMs on Requirements Inspection
Giovanna Broccia, Julian Frattini, Chetan Arora +4
Background. Requirements inspection (RI) is a well-established practice for detecting potential defects in requirements artifacts early in the software lifecycle. Recent advances i…
Runtime reliability monitoring for complex fault-tolerance policies
Alessandro Fantechi, Gloria Gori, Marco Papini
Reliability of complex Cyber-Physical Systems is necessary to guarantee availability and/or safety of the provided services. Diverse and complex fault tolerance policies are adopte…
Adding Sessions to BPEL
Jonathan Michaux, Elie Najm, Alessandro Fantechi
By considering an essential subset of the BPEL orchestration language, we define SeB, a session based style of this subset. We discuss the formal semantics of SeB and we present it…