Eros Magri
Eros Magri
Comelit R&D, Comelit Group S.p.A
Verified email at unibg.it
Title
Cited by
Cited by
Year
Model-driven testing for web applications using abstract state machines
F Bolis, A Gargantini, M Guarnieri, E Magri, L Musto
International Conference on Web Engineering, 71-78, 2012
162012
Conflict detection in security policies using semantic web technology
MA Neri, M Guarnieri, E Magri, S Mutti, S Paraboschi
2012 IEEE First AESS European Conference on Satellite Telecommunications …, 2012
142012
On the notion of redundancy in access control policies
M Guarnieri, M Arrigoni Neri, E Magri, S Mutti
Proceedings of the 18th ACM symposium on Access control models and …, 2013
82013
AURORA: Automatic robustness coverage analysis tool
A Gargantini, M Guarnieri, E Magri
2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013
42013
Extending coverage criteria by evaluating their robustness to code structure changes
A Gargantini, M Guarnieri, E Magri
IFIP International Conference on Testing Software and Systems, 168-183, 2012
42012
A model-driven approach for securing software architectures
MA Neri, M Guarnieri, E Magri, S Mutti, S Paraboschi
2013 International Conference on Security and Cryptography (SECRYPT), 1-8, 2013
32013
Evolutionary testing of PHP web applications with WETT
F Bolis, A Gargantini, M Guarnieri, E Magri
International Symposium on Search Based Software Engineering, 285-291, 2012
32012
D2. 4–policy harmonization and reasoning
S Paraboschi, MA Neri, S Mutti, G Psaila, P Salvaneschi, M Verdicchio, ...
Deliverable, PoSecCo, 2012
32012
Automated management and analysis of security policies using eclipse
M Guarnieri, E Magri, S Mutti
Proc. of the Eclipse-IT, 2012
32012
A Domain Specific Language for Modeling Differential Constraints of Mobile Robots
M Guarnieri, E Magri, D Brugali, L Gherardi
2*
An Eclipse-based environment for conformance testing by FSMs
A Gargantini, M Guarnieri, E Magri
1*
D2. 4–POLICY HARMONIZATION AND REASONING
LA Org, S Paraboschi, MA Neri, S Mutti, M Guarnieri, E Magri, ...
2012
Conflict detection in security policies using Semantic Web technology
S Paraboschi, M ARRIGONI NERI, S Mutti, E Magri, M Guarnieri
Security and Privacy Special Track. IEEE-AESS Conference in Europe about …, 2012
2012
Automated Management and Analysis of Security Policies using Eclipse
S PARABOSCHI, M ARRIGONI NERI, S MUTTI, E MAGRI, M GUARNIERI
Eclipse-IT 12: The VII Workshop of the Italian Eclipse Community, 2012
2012
The system can't perform the operation now. Try again later.
Articles 1–14