Technical Reports
2019
- Deriving Symbolic and Parametric Structural Relations in Symmetric Nets: Focus on Composition Operator
Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis
Target: TR-INF-2019-03-01-UNIPMN, Ed. DiSIT, Computer Science Institute, UPO, 2019 - The Android Forensics Automator (AnForA): a tool for the Automated Forensic Analysis of Android Applications
Cosimo Anglano, Massimo Canonico, Marco Guazzone
Target: TR-INF-2019-06-02-UNIPMN, Ed. DiSIT, Computer Science Institute, UPO, 2019 - Tracing and preventing sharing and mutation
Paola Giannini, Marco Servetto, Elena Zucca
Target: TR-INF-2019-07-03-UNIPMN, Ed. DiSIT, Computer Science Institute, UPO, 2019 - UML class diagrams supporting formalism definition in the Draw-Net Modeling System
Daniele Codetta Raiteri
Target: TR-INF-2019-07-04-UNIPMN, Ed. DiSIT, Computer Science Institute, UPO, 2019 - Renvoi in Private International Law: a Formalization with Modal Contexts
Laura Giordano, Baldoni Matteo, Ken Satoh
Target: TR-INF-2019-10-05-UNIPMN, Ed. DiSIT, Computer Science Institute, UPO, 2019
