Follow
Federico Chesani
Federico Chesani
Researcher, Computer Science, University of Bologna
Verified email at unibo.it - Homepage
Title
Cited by
Cited by
Year
Declarative specification and verification of service choreographiess
M Montali, M Pesic, WMP Aalst, F Chesani, P Mello, S Storari
ACM Transactions on the Web (TWEB) 4 (1), 1-62, 2010
2772010
Verifiable agent interaction in abductive logic programming: the SCIFF framework
M Alberti, F Chesani, M Gavanelli, E Lamma, P Mello, P Torroni
ACM Transactions on Computational Logic (TOCL) 9 (4), 1-43, 2008
2022008
Monitoring business constraints with the event calculus
M Montali, FM Maggi, F Chesani, P Mello, WMP Aalst
ACM transactions on intelligent systems and technology (TIST) 5 (1), 1-30, 2014
1442014
Compliance verification of agent interaction: a logic-based software tool
M Alberti, M Gavanelli, E Lamma, F Chesani, P Mello, P Torroni
Applied Artificial Intelligence 20 (2-4), 133-157, 2006
1212006
Exploiting inductive logic programming techniques for declarative process mining
F Chesani, E Lamma, P Mello, M Montali, F Riguzzi, S Storari
Transactions on Petri Nets and Other Models of Concurrency II, 278-295, 2009
1182009
Representing and monitoring social commitments using the event calculus
F Chesani, P Mello, M Montali, P Torroni
Autonomous Agents and Multi-Agent Systems 27 (1), 85-130, 2013
942013
HABITAT: An IoT solution for independent elderly
E Borelli, G Paolini, F Antoniazzi, M Barbiroli, F Benassi, F Chesani, ...
Sensors 19 (5), 1258, 2019
802019
Towards data-aware constraints in declare
M Montali, F Chesani, P Mello, FM Maggi
Proceedings of the 28th annual ACM symposium on applied computing, 1391-1396, 2013
772013
Commitment tracking via the reactive event calculus
F Chesani, P Mello, M Montali, P Torroni
Twenty-First International Joint Conference on Artificial Intelligence, 2009
772009
Statistical stability indices for LIME: Obtaining reliable explanations for machine learning models
G Visani, E Bagli, F Chesani, A Poluzzi, D Capuzzo
Journal of the Operational Research Society 73 (1), 91-101, 2022
642022
Expressing and verifying business contracts with abductive logic programming
M Alberti, F Chesani, M Gavanelli, E Lamma, P Mello, M Montali, ...
International Journal of Electronic Commerce 12 (4), 9-38, 2008
632008
2017 WSES guidelines for the management of iatrogenic colonoscopy perforation
N de’Angelis, S Di Saverio, O Chiara, M Sartelli, A Martínez-Pérez, ...
World Journal of Emergency Surgery 13 (1), 1-20, 2018
612018
FRAT-up, a Web-based fall-risk assessment tool for elderly people living in the community
L Cattelani, P Palumbo, L Palmerini, S Bandinelli, C Becker, F Chesani, ...
Journal of medical Internet research 17 (2), e4064, 2015
532015
Social commitments in time: Satisfied or compensated
P Torroni, F Chesani, P Mello, M Montali
International Workshop on Declarative Agent Languages and Technologies, 228-243, 2009
522009
Checking compliance of execution traces to business rules
F Chesani, P Mello, M Montali, F Riguzzi, M Sebastianis, S Storari
International Conference on Business Process Management, 134-145, 2008
512008
A logic-based, reactive calculus of events
F Chesani, P Mello, M Montali, P Torroni
Fundamenta Informaticae 105 (1-2), 135-161, 2010
442010
Modelling interactions via commitments and expectations
P Torroni, P Yolum, MP Singh, M Alberti, F Chesani, M Gavanelli, ...
Handbook of research on multi-agent systems: Semantics and dynamics of …, 2009
412009
Verification from declarative specifications using logic programming
M Montali, P Torroni, M Alberti, F Chesani, M Gavanelli, E Lamma, ...
International Conference on Logic Programming, 440-454, 2008
412008
Verification of choreographies during execution using the reactive event calculus
F Chesani, P Mello, M Montali, P Torroni
International Workshop on Web Services and Formal Methods, 55-72, 2008
392008
An abductive framework for a-priori verification of web services
M Alberti, M Gavanelli, E Lamma, F Chesani, P Mello, M Montali
Proceedings of the 8th ACM SIGPLAN international conference on Principles …, 2006
382006
The system can't perform the operation now. Try again later.
Articles 1–20