Riccardo De Masellis
demasellis@dis.uniroma1.it
Contact and personal infos:
Research Area:
Automated Service Composition, Verification & Synthesis of Artifact-Centric Workflows, Ontology-Based Data Access.
Interests:
Logic, Computation, Verification, Databases.
- Phone: +39 06 77274 107
- Email: demasellis@dis.uniroma1.it
- Personal site: www.dis.uniroma1.it/~demasellis
Research Area:
Automated Service Composition, Verification & Synthesis of Artifact-Centric Workflows, Ontology-Based Data Access.
Interests:
Logic, Computation, Verification, Databases.
| Participation to PhD school | |||||
| Description | External site | Year | |||
| European Summer School on Logics Language and Information (ESSLLI 2011) | Link | 2011 | |||
| Bertinoro international Spring School (BISS) | Link | 2011 | |||
| Participation to national and international research projects | |||||
| Description | External site | Year | |||
| Smart Homes for All: An Embedded Middleware Platform for Pervasive and Immersive Environments For-All | Link | 2009 | |||
| Artifact-Centric Service Interoperation | Link | 2010, 2011 | |||
| Participation to conferences/workshops | |||||
| Description | External site | Year | |||
| The Eighth International Conference on Service Oriented Computing (ICSOC) | Link | 2010 | |||
| 11th Conference of the Italian Association for Artificial Intelligence (AI*IA) | Link | 2009 | |||
| 9th International Conference on Business Process Management (BPM) | Link | 2011 | |||
| Long stay visiting research periods | |||||
| Description | External site | Year | |||
| Visiting Scholar at University of California at Santa Barbara under the supervision of Prof. Jianwen Su | 2012 | ||||
| Long stay visiting research periods | |||||
| Description | External site | Year | |||
| Research Internship at IBM T.J. Watson Research Center (Hawthorne, New York) | 2010 | ||||
| Title | Autor(s) | Published in | Year | |
|---|---|---|---|---|
| 1 | Verification of Conjunctive Artifact-Centric Services | G. De Giacomo, R. De Masellis, R. Rosati | International Journal of Cooperative Information Systems (IJCIS) Vol. 21, No. 02, pp. 111-139 | 2012 |
| 2 | Verification of Description Logic Knowledge and Action Bases | B. Bagheri Hariri, D. Calvanese, G. De Giacomo, R. De Masellis, P. Felli, M. Montali | ECAI | 2012 |
| 3 | Foundations of Relational Artifacts Verification | Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis and Paolo Felli | 9th International Conference on Business Process Management (BPM) | 2011 |
| 4 | Verification of Conjunctive-Query Based Semantic Artifacts | B. Bagheri Hariri, D. Calvanese, G. De Giacomo, and R. De Masellis | 24th International Workshop on Description Logics (DL) | 2011 |
| 5 | Business Entities with Guard-Stage-Milestone Lifecycles: Managing Entity Interactions with Conditions and Events | R. Hull, E. Damaggio, R. De Masellis, F. Fournier, M. Gupta, F. Heat III, S. Hobson, M. Linehan, S. Maradugu, A. Nigam, P. Sukaviriya, and R. Vaculin | 5th ACM International Conference on Distributed Event-Based Systems (DEBS) | 2011 |
| 6 | Smart Home Planning Programs | R. De Masellis, C. Di Ciccio, M. Mecella, F. Patrizi | International Conference on Service Systems and Service Management (ICSSSM) | 2010 |
| 7 | Conjunctive Artifact-Centric Services | P. Cangialosi, G. De Giacomo, R. De Masellis, R. Rosati | International Conference on Service Oriented Computing (ICSOC) | 2010 |
| 8 | Automated Composition of Partially Observable Services Exporting Their Behaviour | G. De Giacomo, R. De Masellis, F. Patrizi | International Conference on Automated Planning and Scheduling (ICAPS) | 2009 |
Latest News
- [14 May] - Course on Interactive Objects in Gaming Applications announced - June [...]
- [07 May] - Course on Great Ideas in Computer Science & Engineering - Syllabus and[...]
- [13 Mar] - Final exam for cycle 25th - first session - March 27, 2013
- [15 Feb] - Courses of type B for 2013 announced
- [07 Dec] - Seminar by Aniello Murano on Reasoning About Strategies - Dec. 11, 201[...]
Random Student
Claudio Di Ciccio
Process Mining, Business Process Management, Services, Human-Computer Interaction
Full profile
Process Mining, Business Process Management, Services, Human-Computer Interaction
Full profile
Click here to submit a candidature to becom PhD student.
