FURIA, CARLO ALBERTO
FURIA, CARLO ALBERTO
DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA
A Tile-based Approach for Self-assembling Service Compositions
2010-01-01 Cavallaro, Luca; DI NITTO, Elisabetta; Furia, CARLO ALBERTO; Pradella, Matteo
Automated Compositional Proofs for Real-Time Systems
2005-01-01 Furia, CARLO ALBERTO; Rossi, MATTEO GIOVANNI; Mandrioli, Dino; Morzenti, ANGELO CARLO
Automated Verification of Dense-Time MTL Specifications via Discrete-Time Approximation
2008-01-01 Furia, CARLO ALBERTO; Pradella, Matteo; Rossi, MATTEO GIOVANNI
Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms
2009-01-01 Bersani, MARCELLO MARIA; Furia, CARLO ALBERTO; Pradella, Matteo; Rossi, MATTEO GIOVANNI
Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling
2006-01-01 Furia, CARLO ALBERTO; Rossi, MATTEO GIOVANNI
Modeling the Environment in Software-Intensive Systems
2007-01-01 Furia, CARLO ALBERTO; Rossi, MATTEO GIOVANNI; Mandrioli, Dino
MTL with Bounded Variability: Decidability and Complexity
2008-01-01 Furia, CARLO ALBERTO; Rossi, MATTEO GIOVANNI
On the Expressiveness of MTL Variants over Dense Time
2007-01-01 Furia, CARLO ALBERTO; Rossi, MATTEO GIOVANNI
Practical Automated Partial Verification of Multi-Paradigm Real-Time Models
2008-01-01 Furia, CARLO ALBERTO; Pradella, Matteo; Rossi, MATTEO GIOVANNI
Semi-Formal and Formal Models Applied to Flexible Manufacturing Systems
2004-01-01 Matta, Andrea; Furia, CARLO ALBERTO; Rossi, MATTEO GIOVANNI
Using Compositionality to Formally Model and Analyze Systems Built of a High Number of Components
2010-01-01 Silvia, Bindelli; Furia, CARLO ALBERTO; DI NITTO, Elisabetta; Rossi, MATTEO GIOVANNI