CINECA IRIS Institutional Research Information System

MONTANGERO, CARLO Statistiche

MONTANGERO, CARLO  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 60 (tempo di esecuzione: 0.05 secondi).
Titolo Data di pubblicazione Autore(i) File
A Lightweight Approach to the Early Detection and Resolution of Feature Interactions 1-gen-2015 Montangero, Carlo; Semini, Laura
Detection and Resolution of Feature Interactions, the Early Light Way 1-gen-2015 Montangero, Carlo; Semini, Laura
Managing Adaptivity in Parallel Systems 1-gen-2013 Aldinucci, M; Danelutto, Marco; Kilpatrick, P; Montangero, Carlo; Semini, Laura
Per un museo nazionale dell'informatica 1-gen-2013 Cignoni, GIOVANNI ANTONIO; Gadducci, Fabio; Lettieri, Giuseppe; Montangero, Carlo
Model checking support for conflict resolution in multiple non-functional concern management 1-gen-2012 Danelutto, Marco; Kilpatrick, P.; Montangero, Carlo; Semini, Laura
Model-driven development of adaptable service-oriented business processes 1-gen-2011 Montangero, Carlo; S., REIFF MARGANIEC; Semini, Laura
UML Extensions for Service-Oriented Systems 1-gen-2011 Montangero, Carlo; Foster, H; Gonczy, L; Koch, N; Mayer, P; Varrò, D.
Detecting Policy Conflicts by Model Checking UML State Machines 1-gen-2009 M. H., TER BEEK; S., Gnesi; Montangero, Carlo; Semini, Laura
StPowla: SOA, Policies and Workflows 1-gen-2009 S., Gorton; Montangero, Carlo; S., REIFF MARGANIEC; Semini, Laura
Barbed Model--Driven Software Development: A case study 1-gen-2008 Montangero, Carlo; Semini, Laura
Dynamically Evolvable Dependable Software: From Oxymoron to Reality 1-gen-2008 Inverardi, Paola; Ghezzi, Carlo; Montangero, Carlo
Logic-based Conflict Detection for Distributed Policies 1-gen-2008 Montangero, Carlo; S., REIFF MARGANIEC; Semini, Laura
The UML and Formal Methods: a Case Study 1-gen-2008 Montangero, Carlo
Logic-Based Detection of Conflicts in APPEL Policies 1-gen-2007 Montangero, Carlo; REIFF MARGANIEC, S; Semini, Laura
StPowla: SOA, Policies and Workflows 1-gen-2007 Gorton, S; Montangero, Carlo; Reiff Marganiec, S; Semini, Laura
A Logical View of Choreography 1-gen-2006 Montangero, Carlo; Semini, Laura
DSTL: A Logic for Global Computing 1-gen-2005 Montangero, Carlo; Semini, Laura; Zanardo, A.
End-to-end integrated security and performance analysis on the DEGAS Choreographer platform 1-gen-2005 Buchholtz, M.; Gilmore, S.; Haenel, V.; Montangero, Carlo
For-LySa: UML for Authentication Analysis 1-gen-2004 Buchholtz, M.; Montangero, Carlo; Perrone, L.; Semprini, S.
Formalizing an Adaptive Security Infrastructure in Mob-adtl 1-gen-2004 Montangero, Carlo; Semini, Laura