DE MASELLIS, RICCARDO
DE MASELLIS, RICCARDO
DIPARTIMENTO DI INGEGNERIA INFORMATICA, AUTOMATICA E GESTIONALE -ANTONIO RUBERTI-
Business artifacts with guard-stage-milestone lifecycles: Managing artifact interactions with conditions and events
2011 Richard, Hull; Anil, Nigam; Piwadee Noi, Sukaviriya; Roman, Vaculin; Elio, Damaggio; DE MASELLIS, Riccardo; Fabiana, Fournier; Manmohan, Gupta; Fenno Terry, Heath; Stacy, Hobson; Mark, Linehan; Sridhar, Maradugu
Composition of partially observable services exporting their behaviour
2009 DE GIACOMO, Giuseppe; DE MASELLIS, Riccardo; Patrizi, Fabio
Conjunctive artifact-centric services
2010 Piero, Cangialosi; DE MASELLIS, Riccardo; DE GIACOMO, Giuseppe; Rosati, Riccardo
Description Logic Knowledge and Action Bases
2013 Babak Bagheri, Hariri; Diego, Calvanese; Marco, Montali; DE GIACOMO, Giuseppe; DE MASELLIS, Riccardo; Felli, Paolo
Foundations of relational artifacts verification
2011 Babak Bagheri, Hariri; Diego, Calvanese; DE GIACOMO, Giuseppe; DE MASELLIS, Riccardo; Felli, Paolo
Monitoring Constraints and Metaconstraints with Temporal Logics on Finite Traces
2022 De Giacomo, G.; De Masellis, R.; Maggi, F. M.; Montali, M.
Runtime enforcement of first-order LTL properties on data-aware business processes
2013 DE MASELLIS, Riccardo; Jianwen, Su
Semantic Enrichment of GSM-Based Artifact-Centric Models
2015 DE MASELLIS, Riccardo; Lembo, Domenico; Marco, Montali; Dmitry, Solomakhin
Smart home planning programs
2010 DE MASELLIS, Riccardo; DI CICCIO, Claudio; Mecella, Massimo; Patrizi, Fabio
Verification of artifact-centric systems: Decidability and modeling issues
2013 Solomakhin, Dmitry; Marco, Montali; Sergio, Tessaris; DE MASELLIS, Riccardo
Verification of conjunctive artifact-centric services
2012 DE GIACOMO, Giuseppe; DE MASELLIS, Riccardo; Rosati, Riccardo
Verification of conjunctive-query based semantic artifacts?
2011 Babak Bagheri, Hariri; Diego, Calvanese; DE GIACOMO, Giuseppe; DE MASELLIS, Riccardo
Verification of description logic Knowledge and Action Bases
2012 Babak Bagheri, Hariri; Diego, Calvanese; DE GIACOMO, Giuseppe; DE MASELLIS, Riccardo; Felli, Paolo; Marco, Montali
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Business artifacts with guard-stage-milestone lifecycles: Managing artifact interactions with conditions and events | 2011 | Richard, Hull; Anil, Nigam; Piwadee Noi, Sukaviriya; Roman, Vaculin; Elio, Damaggio; DE MASELLIS, Riccardo; Fabiana, Fournier; Manmohan, Gupta; Fenno Terry, Heath; Stacy, Hobson; Mark, Linehan; Sridhar, Maradugu | |
| Composition of partially observable services exporting their behaviour | 2009 | DE GIACOMO, Giuseppe; DE MASELLIS, Riccardo; Patrizi, Fabio | |
| Conjunctive artifact-centric services | 2010 | Piero, Cangialosi; DE MASELLIS, Riccardo; DE GIACOMO, Giuseppe; Rosati, Riccardo | |
| Description Logic Knowledge and Action Bases | 2013 | Babak Bagheri, Hariri; Diego, Calvanese; Marco, Montali; DE GIACOMO, Giuseppe; DE MASELLIS, Riccardo; Felli, Paolo | |
| Foundations of relational artifacts verification | 2011 | Babak Bagheri, Hariri; Diego, Calvanese; DE GIACOMO, Giuseppe; DE MASELLIS, Riccardo; Felli, Paolo | |
| Monitoring Constraints and Metaconstraints with Temporal Logics on Finite Traces | 2022 | De Giacomo, G.; De Masellis, R.; Maggi, F. M.; Montali, M. | |
| Runtime enforcement of first-order LTL properties on data-aware business processes | 2013 | DE MASELLIS, Riccardo; Jianwen, Su | |
| Semantic Enrichment of GSM-Based Artifact-Centric Models | 2015 | DE MASELLIS, Riccardo; Lembo, Domenico; Marco, Montali; Dmitry, Solomakhin | |
| Smart home planning programs | 2010 | DE MASELLIS, Riccardo; DI CICCIO, Claudio; Mecella, Massimo; Patrizi, Fabio | |
| Verification of artifact-centric systems: Decidability and modeling issues | 2013 | Solomakhin, Dmitry; Marco, Montali; Sergio, Tessaris; DE MASELLIS, Riccardo | |
| Verification of conjunctive artifact-centric services | 2012 | DE GIACOMO, Giuseppe; DE MASELLIS, Riccardo; Rosati, Riccardo | |
| Verification of conjunctive-query based semantic artifacts? | 2011 | Babak Bagheri, Hariri; Diego, Calvanese; DE GIACOMO, Giuseppe; DE MASELLIS, Riccardo | |
| Verification of description logic Knowledge and Action Bases | 2012 | Babak Bagheri, Hariri; Diego, Calvanese; DE GIACOMO, Giuseppe; DE MASELLIS, Riccardo; Felli, Paolo; Marco, Montali |