Sledovať
Riccardo De Masellis
Riccardo De Masellis
Principal Research Scientist at Collins Aerospace
Overená e-mailová adresa na: collins.com - Domovská stránka
Názov
Citované v
Citované v
Rok
Business artifacts with guard-stage-milestone lifecycles: managing artifact interactions with conditions and events
R Hull, E Damaggio, R De Masellis, F Fournier, M Gupta, FT Heath III, ...
Proceedings of the 5th ACM international conference on Distributed event …, 2011
2362011
Reasoning on LTL on finite traces: Insensitivity to infiniteness
G De Giacomo, R De Masellis, M Montali
Proceedings of the AAAI Conference on Artificial Intelligence 28 (1), 2014
2042014
Monitoring business metaconstraints based on LTL and LDL for finite traces
G De Giacomo, R De Masellis, M Grasso, FM Maggi, M Montali
Business Process Management: 12th International Conference, BPM 2014, Haifa …, 2014
982014
Description logic knowledge and action bases
BB Hariri, D Calvanese, M Montali, G De Giacomo, R De Masellis, P Felli
Journal of Artificial Intelligence Research 46, 651-686, 2013
982013
Foundations of relational artifacts verification
B Bagheri Hariri, D Calvanese, G De Giacomo, R De Masellis, P Felli
Business Process Management: 9th International Conference, BPM 2011 …, 2011
722011
Add data into business process verification: Bridging the gap between theory and practice
R De Masellis, C Di Francescomarino, C Ghidini, M Montali, S Tessaris
Proceedings of the AAAI Conference on Artificial Intelligence 31 (1), 2017
572017
Monitoring data-aware business constraints with finite state automata
R De Masellis, FM Maggi, M Montali
Proceedings of the 2014 International Conference on Software and System …, 2014
472014
Verification of artifact-centric systems: Decidability and modeling issues
D Solomakhin, M Montali, S Tessaris, R De Masellis
Service-Oriented Computing: 11th International Conference, ICSOC 2013 …, 2013
472013
Conjunctive artifact-centric services
P Cangialosi, G De Giacomo, R De Masellis, R Rosati
Service-Oriented Computing: 8th International Conference, ICSOC 2010, San …, 2010
362010
Learning hybrid process models from events: Process discovery without faking confidence
WMP van der Aalst, R De Masellis, C Di Francescomarino, C Ghidini
Business Process Management: 15th International Conference, BPM 2017 …, 2017
342017
Monitoring constraints and metaconstraints with temporal logics on finite traces
G De Giacomo, R De Masellis, FM Maggi, M Montali
ACM Transactions on Software Engineering and Methodology (TOSEM) 31 (4), 1-44, 2022
322022
Verification of conjunctive artifact-centric services
G De Giacomo, R De Masellis, R Rosati
International Journal of Cooperative Information Systems 21 (02), 111-139, 2012
272012
Verification of description logic knowledge and action bases
B Bagheri Hariri, D Calvanese, G De Giacomo, R De Masellis, P Felli, ...
ECAI 2012, 103-108, 2012
242012
Composition of partially observable services exporting their behaviour
G De Giacomo, R De Masellis, F Patrizi
Proceedings of the International Conference on Automated Planning and …, 2009
192009
Compliance in business processes with incomplete information and time constraints: a general framework based on abductive reasoning
F Chesani, P Mello, R De Masellis, C Di Francescomarino, C Ghidini, ...
Fundamenta Informaticae 161 (1-2), 75-111, 2018
172018
A declarative framework for specifying and enforcing purpose-aware policies
R De Masellis, C Ghidini, S Ranise
Security and Trust Management: 11th International Workshop, STM 2015, Vienna …, 2015
162015
Smart home planning programs
R De Masellis, C Di Ciccio, M Mecella, F Patrizi
2010 7th International Conference on Service Systems and Service Management, 1-6, 2010
142010
Abducing compliance of incomplete event logs
F Chesani, R De Masellis, C Di Francescomarino, C Ghidini, P Mello, ...
AI* IA 2016 Advances in Artificial Intelligence: XVth International …, 2016
122016
Runtime enforcement of first-order ltl properties on data-aware business processes
R De Masellis, J Su
International Conference on Service-Oriented Computing, 54-68, 2013
122013
Generalising the dining philosophers problem: competitive dynamic resource allocation in multi-agent systems
R De Masellis, V Goranko, S Gruner, N Timm
Multi-Agent Systems: 16th European Conference, EUMAS 2018, Bergen, Norway …, 2019
102019
Systém momentálne nemôže vykonať operáciu. Skúste to neskôr.
Články 1–20