Inizio della pagina -
Logo dell'Università degli Studi di Milano-Bicocca
|
Visita la Versione ad elevata leggibilità
|
Vai al Contenuto della pagina
|
Vai alla Fine dei contenuti
|
Vai al Menu Principale
|
Vai alla Barra di navigazione (sei in)
|
Vai al Menu di navigazione (albero)
|
Vai alla Lista dei comandi
|
Vai alla Lista degli approfondimenti
|
Vai al Menu inferiore
|
|Lista dei comandi|
MARIANI LEONARDO
Foto di MARIANI LEONARDO
Tel.: 02 6448 7870
leonardo.mariani@unimib.it
MARIANI LEONARDO
professore associato
Settore scientifico disciplinare:
Dottore di ricerca in:
Informatica, Università degli Studi di Milano Bicocca
Dipartimento:
Edificio e stanza:
U14-2039
Per saperne di più: altri links

http://www.lta.disco.unimib.it/mariani

 

Corso di laurea in:
Informatica
Corso di laurea magistrale in:
Informatica
Dottorato in:
Informatica
Aree tematiche di ricerca:
  1. Analisi dinamica del software.
  2. Collaudo di sistemi basati su componenti.
  3. Generazione automatica di modelli comportamentali.
  4. Debugging.
  5. Self-Healing systems.
Parole chiave:
Ingegneria del software; Test e analisi
Keywords:
Software Engineering; Test and Analysis
Pubblicazioni:
  • Chang, H., Mariani, L., & Pezzè, M. (2013). Exception Handlers for Healing Component Based Systems. ACM transactions on software engineering and methodology, 22(4). - ISSN: 1049-331X EISSN: 1557-7392
  • Mariani, L., & Micucci, D. (2012). AuDeNTES: Automatic detection of teNtative plagiarism according to a rEference solution. ACM transactions on computing education, 12(1), 1-26. - ISSN: 1946-6226 EISSN: 1946-6226
  • Mariani, L., Pastore, F., & Pezzè, M. (2011). Dynamic Analysis for Diagnosing Integration Faults. IEEE Transactions on Software Engineering, 37(4), 486-508. - ISSN: 0098-5589 EISSN: 1939-3520
  • Lorenzoli, D., Mariani, L., & Pezze', M. (2008). Automatic Generation of Software Behavioral Models. In Proceedings of the 30th International Conference on Software Engineering. ACM. - ISBN: 978-1-60558-079-1
  • Heckel, R., & Mariani, L. (2005). Automatic Conformance Testing of Web Services. In Proceedings of the 8th International Conference on Fundamental Approaches to Software Engineering (pp.34-48). Springer. - ISBN: 3-540-25420-X ISSN: 0302-9743
Curriculum Vitæ
Curriculum non disponibile

  
Nessun approfondimento presente per questa pagina
© 2005-2016 Università degli Studi di Milano-Bicocca -
Piazza dell'Ateneo Nuovo, 1 - 20126, Milano • tel. 02 6448 1 • Casella PEC: ateneo.bicocca@pec.unimib.it • P.I. 12621570154 • Amministrazione trasparente
- ultimo aggiornamento di questa pagina 16/01/2014