Concepedia

Riccardo De Masellis

RD

9

Publications

542

Citations

9

H-Index

2009

Active since

Affiliations

Sapienza University of Rome(Current)

Free University of Bozen-Bolzano

Riccardo De Masellis is an author at Sapienza University of Rome specializing in engineering, automated reasoning, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationSystems EngineeringVerificationSoftware DesignBusinessData Management

Publications per year

2009–2022

9

Publications

9

Business artifacts with guard-stage-milestone lifecycles

Richard Hull, Elio Damaggio, Riccardo De Masellis et al. · 2011 · 179 citations

Software Maintenance, Engineering, Business Continuity Planning +22

Reasoning on LTL on Finite Traces: Insensitivity to Infiniteness

Giuseppe De Giacomo, Riccardo De Masellis, Marco Montali · Proceedings of the AAAI Conference on Artificial Intelligence · 2014 · 145 citations · Full text

Infinite Dimensional Analysis, Engineering, Reachability Problem +16

Description Logic Knowledge and Action Bases

Babak Bagheri Hariri, Diego Calvanese, Marco Montali et al. · Journal of Artificial Intelligence Research · 2013 · 72 citations · Full text

Engineering, Higher-order Logic, Semantics +17

Add Data into Business Process Verification: Bridging the Gap between Theory and Practice

Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 2017 · 44 citations · Full text

Petri Net, Bpm Suites, Engineering +28

Monitoring data-aware business constraints with finite state automata

Riccardo De Masellis, Fabrizio Maria Maggi, Marco Montali · 2014 · 38 citations

Engineering, Verification, Software Engineering +25

Rows per page

1–5 of 9