FURIA, CARLO ALBERTO

FURIA, CARLO ALBERTO  

DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA  

Mostra records
Risultati 1 - 19 di 19 (tempo di esecuzione: 0.034 secondi).
Titolo Data di pubblicazione Autori File
A Compositional Framework for Formally Verifying Modular Systems 1-gen-2005 FURIA, CARLO ALBERTOROSSI, MATTEO GIOVANNI
A theory of sampling for continuous-time metric temporal logic 1-gen-2010 FURIA, CARLO ALBERTOROSSI, MATTEO GIOVANNI
Automated Compositional Proofs for Real-Time Systems 1-gen-2005 FURIA, CARLO ALBERTOROSSI, MATTEO GIOVANNIMANDRIOLI, DINOMORZENTI, ANGELO CARLO
Automated Compositional Proofs for Real-Time Systems 1-gen-2007 FURIA, CARLO ALBERTOMANDRIOLI, DINOMORZENTI, ANGELO CARLOROSSI, MATTEO GIOVANNI
Automated Verification of Dense-Time MTL Specifications via Discrete-Time Approximation 1-gen-2008 FURIA, CARLO ALBERTOPRADELLA, MATTEOROSSI, MATTEO GIOVANNI
Comments on temporal logics for real-time system specification 1-gen-2009 FURIA, CARLO ALBERTOPRADELLA, MATTEOROSSI, MATTEO GIOVANNI
Comments on “An Interval Logic for Real-Time System Specification” 1-gen-2006 FURIA, CARLO ALBERTOMORZENTI, ANGELO CARLOPRADELLA, 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
Modeling Time in Computing: a taxonomy and a comparative survey 1-gen-2010 FURIA, CARLO ALBERTOMANDRIOLI, DINOMORZENTI, ANGELO CARLOROSSI, MATTEO GIOVANNI
MTL with Bounded Variability: Decidability and Complexity 1-gen-2008 FURIA, CARLO ALBERTOROSSI, MATTEO GIOVANNI
No Need To Be Strict: on the expressiveness of metric temporal logics with (non-)strict operators 1-gen-2007 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
SCORE: the first student contest on software engineering 1-gen-2010 MANDRIOLI, DINOFURIA, CARLO ALBERTOROSSI, MATTEO GIOVANNI +
Semi-Formal and Formal Models Applied to Flexible Manufacturing Systems 1-gen-2004 MATTA, ANDREAFURIA, CARLO ALBERTOROSSI, MATTEO GIOVANNI
A Tile-based Approach for Self-assembling Service Compositions 1-gen-2010 CAVALLARO, LUCADI NITTO, ELISABETTAFURIA, CARLO ALBERTOPRADELLA, MATTEO
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 +