GUARNIERI, Marco Statistiche
GUARNIERI, Marco
Dipartimento di Ingegneria dell'Informazione e Metodi Matematici (attivo dal 05/03/2003 al 01/10/2012)
A Model-Driven Approach for Securing Software Architectures
2013-01-31 Guarnieri, Marco; Arrigoni Neri, Mario; Magri, Eros; Mutti, Simone; Paraboschi, Stefano
AURORA: AUtomatic RObustness coveRage Analysis Tool
2013-01-01 Gargantini, Angelo Michele; Guarnieri, Marco; Magri, Eros
On the Notion of Redundancy in Access Control Policies
2013-01-01 Guarnieri, Marco; ARRIGONI NERI, Mario; Magri, Eros; Mutti, Simone
A Domain Specific Language for Modeling Differential Constraints of Mobile Robots
2012-01-01 Guarnieri, Marco; Magri, Eros; Brugali, Davide; Gherardi, Luca
Automated Management and Analysis of Security Policies using Eclipse
2012-01-01 Paraboschi, Stefano; ARRIGONI NERI, Mario; Mutti, Simone; Magri, Eros; Guarnieri, Marco
Conflict detection in security policies using Semantic Web technology
2012-01-01 Paraboschi, Stefano; Arrigoni Neri, Mario; Mutti, Simone; Magri, Eros; Guarnieri, Marco
Evolutionary Testing of PHP Web Applications with WETT
2012-01-01 Bolis, Francesco; Gargantini, Angelo Michele; Guarnieri, Marco; Magri, Eros
Extending Coverage Criteria by Evaluating Their Robustness to Code Structure Changes
2012-01-01 Gargantini, Angelo Michele; Guarnieri, Marco; Magri, Eros
Model-Driven Testing for Web Applications Using Abstract State Machines
2012-01-01 Bolis, Francesco; Gargantini, Angelo Michele; Guarnieri, Marco; Magri, Eros; Musto, Lorenzo
An eclipse-based environment for conformance testing by FSMs
2011-01-01 Gargantini, Angelo Michele; Guarnieri, Marco; Magri, Eros
| Data di pubblicazione | Titolo | Autore/i | Tipologia | Documento allegato |
|---|---|---|---|---|
| 31-gen-2013 | A Model-Driven Approach for Securing Software Architectures | Guarnieri, Marco; Arrigoni Neri, Mario; Magri, Eros; Mutti, Simone; Paraboschi, Stefano | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.03 Testi di poster in atti di convegno - Conference posters | |
| 1-gen-2013 | AURORA: AUtomatic RObustness coveRage Analysis Tool | Gargantini, Angelo Michele; Guarnieri, Marco; Magri, Eros | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2013 | On the Notion of Redundancy in Access Control Policies | Guarnieri, Marco; ARRIGONI NERI, Mario; Magri, Eros; Mutti, Simone | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2012 | A Domain Specific Language for Modeling Differential Constraints of Mobile Robots | Guarnieri, Marco; Magri, Eros; Brugali, Davide; Gherardi, Luca | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2012 | Automated Management and Analysis of Security Policies using Eclipse | Paraboschi, Stefano; ARRIGONI NERI, Mario; Mutti, Simone; Magri, Eros; Guarnieri, Marco | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2012 | Conflict detection in security policies using Semantic Web technology | Paraboschi, Stefano; Arrigoni Neri, Mario; Mutti, Simone; Magri, Eros; Guarnieri, Marco | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2012 | Evolutionary Testing of PHP Web Applications with WETT | Bolis, Francesco; Gargantini, Angelo Michele; Guarnieri, Marco; Magri, Eros | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2012 | Extending Coverage Criteria by Evaluating Their Robustness to Code Structure Changes | Gargantini, Angelo Michele; Guarnieri, Marco; Magri, Eros | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2012 | Model-Driven Testing for Web Applications Using Abstract State Machines | Bolis, Francesco; Gargantini, Angelo Michele; Guarnieri, Marco; Magri, Eros; Musto, Lorenzo | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2011 | An eclipse-based environment for conformance testing by FSMs | Gargantini, Angelo Michele; Guarnieri, Marco; Magri, Eros | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations |