FURIA, CARLO ALBERTO

FURIA, CARLO ALBERTO  

DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA  

Mostra records
Risultati 1 - 11 di 11 (tempo di esecuzione: 0.004 secondi).
Titolo Data di pubblicazione Autori File
A Tile-based Approach for Self-assembling Service Compositions 1-gen-2010 CAVALLARO, LUCADI NITTO, ELISABETTAFURIA, CARLO ALBERTOPRADELLA, MATTEO
Automated Compositional Proofs for Real-Time Systems 1-gen-2005 FURIA, CARLO ALBERTOROSSI, MATTEO GIOVANNIMANDRIOLI, DINOMORZENTI, ANGELO CARLO
Automated Verification of Dense-Time MTL Specifications via Discrete-Time Approximation 1-gen-2008 FURIA, CARLO ALBERTOPRADELLA, MATTEOROSSI, MATTEO GIOVANNI
Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms 1-gen-2009 BERSANI, MARCELLO MARIAFURIA, CARLO ALBERTOPRADELLA, MATTEOROSSI, MATTEO GIOVANNI
Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling 1-gen-2006 FURIA, CARLO ALBERTOROSSI, MATTEO GIOVANNI
Modeling the Environment in Software-Intensive Systems 1-gen-2007 FURIA, CARLO ALBERTOROSSI, MATTEO GIOVANNIMANDRIOLI, DINO
MTL with Bounded Variability: Decidability and Complexity 1-gen-2008 FURIA, CARLO ALBERTOROSSI, MATTEO GIOVANNI
On the Expressiveness of MTL Variants over Dense Time 1-gen-2007 FURIA, CARLO ALBERTOROSSI, MATTEO GIOVANNI
Practical Automated Partial Verification of Multi-Paradigm Real-Time Models 1-gen-2008 FURIA, CARLO ALBERTOPRADELLA, MATTEOROSSI, MATTEO GIOVANNI
Semi-Formal and Formal Models Applied to Flexible Manufacturing Systems 1-gen-2004 MATTA, ANDREAFURIA, CARLO ALBERTOROSSI, MATTEO GIOVANNI
Using Compositionality to Formally Model and Analyze Systems Built of a High Number of Components 1-gen-2010 FURIA, CARLO ALBERTODI NITTO, ELISABETTAROSSI, MATTEO GIOVANNI +