Sotabase

Career

· Featured Speaker, Product School2025–
· Group Product Manager - Amazon Q Developer, Amazon Web Services (AWS)2022–
· Lead Product Manager - Azure Cloud DB, Microsoft2021–2022
· Principal Product Manager Azure IoT, Microsoft2017–2020
· Senior Product Manager, Microsoft2011–2017
· Senior Software Engineering Manager, Etnoteam2003–2006

Publications (12)

Automatic verification of data-centric business processes
International Conference on Database Theory · 2009
271
cited
Introducing the Guard-Stage-Milestone Approach for Specifying Business Entity Lifecycles
Web Services and Formal Methods · 2010
234
cited
Business artifacts with guard-stage-milestone lifecycles: managing artifact interactions with conditions and events
Distributed Event-Based Systems · 2011
208
cited
On the equivalence of incremental and fixpoint semantics for business artifacts with Guard-Stage-Milestone lifecycles
Information Systems · 2011
159
cited
Artifact systems with data dependencies and arithmetic
TODS · 2012
98
cited
Semantic Data Integration in P2P Systems
International Workshop on Databases, Information Systems, and Peer-to-Peer Computing · 2003
75
cited
A Formal Introduction to Business Artifacts with Guard-Stage-Milestone Lifecycles
2013
15
cited
Generic Event Delivery Using HTTP Push
Request for Comments · 2016
8
cited
Verification of business process specifications with arithmetic and data dependencies
2011
2
cited
Querying contract databases based on temporal behavior
ACM SIGMOD Conference · 2011
- Scalable querying of service contracts based on their temporal behavior
2009
Sotabase
Elio Damaggio | Researcher Profile | Sotabase | Sotabase