Serena Elisa Ponta (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

6 Alessandro Armando, Enrico Giunchiglia, Marco Maratea, Serena Elisa Ponta: An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints. J. Comput. Syst. Sci. 78(1): 119-141 (2012)

2 Alessandro Armando, Serena Elisa Ponta: Model Checking of Security-Sensitive Business Processes. Formal Aspects in Security and Trust 2009: 66-80

1 Alessandro Armando, Enrico Giunchiglia, Serena Elisa Ponta: Formal Specification and Automatic Analysis of Business Processes under Authorization Constraints: An Action-Based Approach. TrustBus 2009: 63-72

Selection of 3 from 6 records - Serena Elisa Ponta has 12 coauthors

Last update 2012-02-16 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

6		Alessandro Armando, Enrico Giunchiglia, Marco Maratea, Serena Elisa Ponta: An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints. J. Comput. Syst. Sci. 78(1): 119-141 (2012)
2		Alessandro Armando, Serena Elisa Ponta: Model Checking of Security-Sensitive Business Processes. Formal Aspects in Security and Trust 2009: 66-80
1		Alessandro Armando, Enrico Giunchiglia, Serena Elisa Ponta: Formal Specification and Automatic Analysis of Business Processes under Authorization Constraints: An Action-Based Approach. TrustBus 2009: 63-72