Riccardo De Masellis
Riccardo De Masellis
Uppsala University
Bestätigte E-Mail-Adresse bei philosophy.su.se - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
2022011
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
1082014
Foundations of relational artifacts verification
BB Hariri, D Calvanese, G De Giacomo, R De Masellis, P Felli
International Conference on Business Process Management, 379-395, 2011
682011
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
642013
Monitoring business metaconstraints based on LTL and LDL for finite traces
G De Giacomo, R De Masellis, M Grasso, FM Maggi, M Montali
International Conference on Business Process Management, 1-17, 2014
532014
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
472017
Piwadee Noi Sukaviriya, Roman Vaculin, 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
392011
Conjunctive artifact-centric services
P Cangialosi, G De Giacomo, R De Masellis, R Rosati
International Conference on Service-Oriented Computing, 318-333, 2010
362010
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
342014
Verification of artifact-centric systems: Decidability and modeling issues
D Solomakhin, M Montali, S Tessaris, R De Masellis
International Conference on Service-Oriented Computing, 252-266, 2013
342013
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
232012
Learning hybrid process models from events
WMP van der Aalst, R De Masellis, C Di Francescomarino, C Ghidini
International Conference on Business Process Management, 59-76, 2017
172017
Verification of Description Logic Knowledge and Action Bases.
BB Hariri, D Calvanese, G De Giacomo, R De Masellis, P Felli, M Montali
ECAI 242, 103-108, 2012
172012
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
172009
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
112010
A declarative framework for specifying and enforcing purpose-aware policies
R De Masellis, C Ghidini, S Ranise
International Workshop on Security and Trust Management, 55-71, 2015
102015
Semantic enrichment of gsm-based artifact-centric models
R De Masellis, D Lembo, M Montali, D Solomakhin
Journal on Data Semantics 4 (1), 3-27, 2015
102015
Abducing compliance of incomplete event logs
F Chesani, R De Masellis, C Di Francescomarino, C Ghidini, P Mello, ...
Conference of the Italian Association for Artificial Intelligence, 208-222, 2016
82016
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
82013
Verification of Conjunctive-Query Based Semantic Artifacts⋆
BB Hariri, D Calvanese, G De Giacomo, R De Masellis
24th International Workshop on Description Logics, 48, 2011
82011
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20