FURIA, CARLO ALBERTO
FURIA, CARLO ALBERTO
DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA
A Compositional Framework for Formally Verifying Modular Systems
2005-01-01 Furia, CARLO ALBERTO; Rossi, MATTEO GIOVANNI
A theory of sampling for continuous-time metric temporal logic
2010-01-01 Furia, CARLO ALBERTO; Rossi, MATTEO GIOVANNI
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 Compositional Proofs for Real-Time Systems
2007-01-01 Furia, CARLO ALBERTO; Mandrioli, Dino; Morzenti, ANGELO CARLO; Rossi, MATTEO GIOVANNI
Automated Verification of Dense-Time MTL Specifications via Discrete-Time Approximation
2008-01-01 Furia, CARLO ALBERTO; Pradella, Matteo; Rossi, MATTEO GIOVANNI
Comments on temporal logics for real-time system specification
2009-01-01 Furia, CARLO ALBERTO; Pradella, Matteo; Rossi, MATTEO GIOVANNI
Comments on “An Interval Logic for Real-Time System Specification”
2006-01-01 Furia, CARLO ALBERTO; Morzenti, ANGELO CARLO; 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
Modeling Time in Computing: a taxonomy and a comparative survey
2010-01-01 Furia, CARLO ALBERTO; Mandrioli, Dino; Morzenti, ANGELO CARLO; Rossi, MATTEO GIOVANNI
MTL with Bounded Variability: Decidability and Complexity
2008-01-01 Furia, CARLO ALBERTO; Rossi, MATTEO GIOVANNI
No Need To Be Strict: on the expressiveness of metric temporal logics with (non-)strict operators
2007-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
SCORE: the first student contest on software engineering
2010-01-01 Mandrioli, Dino; S., Fickas; Furia, CARLO ALBERTO; M., Jazayeri; Rossi, MATTEO GIOVANNI; M., Young
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