1. 2017. MIST - a safety checker for Petri Nets and extensions. https://github.com/pierreganty/mist/wiki. (2017). 2017. MIST - a safety checker for Petri Nets and extensions. https://github.com/pierreganty/mist/wiki. (2017).
2. 2018. Web Ratio. (2018). http://www.webratio.com/. 2018. Web Ratio. (2018). http://www.webratio.com/.
3. Parosh Aziz Abdulla C. Aiswarya Mohamed Faouzi Atig Marco Montali and Othmane Rezine. 2016. Recency-Bounded Verification of Dynamic Database-Driven Systems. In PODS. 195--210. 10.1145/2902251.2902300 Parosh Aziz Abdulla C. Aiswarya Mohamed Faouzi Atig Marco Montali and Othmane Rezine. 2016. Recency-Bounded Verification of Dynamic Database-Driven Systems. In PODS. 195--210. 10.1145/2902251.2902300
4. Relational Transducers for Electronic Commerce
5. Francesco Belardinelli Alessio Lomuscio and Fabio Patrizi. 2011a. A Computationally-Grounded Semantics for Artifact-Centric Systems and Abstraction Results. In IJCAI. 738--743. 10.5591/978-1-57735-516-8/IJCAI11-130 Francesco Belardinelli Alessio Lomuscio and Fabio Patrizi. 2011a. A Computationally-Grounded Semantics for Artifact-Centric Systems and Abstraction Results. In IJCAI. 738--743. 10.5591/978-1-57735-516-8/IJCAI11-130