FURIA, CARLO ALBERTO

	Nome completo
	
					FURIA, CARLO ALBERTO
				
	Afferenza
	
					DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA
				
	Pagina personale
	
Scheda docente sul sito di Ateneo

Mostra records

Risultati 1 - 8 di 8 (tempo di esecuzione: 0.007 secondi).

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

Automated Compositional Proofs for Real-Time Systems

2007-01-01 Furia, CARLO ALBERTO; Mandrioli, Dino; Morzenti, ANGELO CARLO; 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

Modeling Time in Computing: a taxonomy and a comparative survey

2010-01-01 Furia, CARLO ALBERTO; Mandrioli, Dino; Morzenti, ANGELO CARLO; 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

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

Titolo	Data di pubblicazione	Autori
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-2007	FURIA, CARLO ALBERTOMANDRIOLI, DINOMORZENTI, ANGELO CARLOROSSI, 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
Modeling Time in Computing: a taxonomy and a comparative survey	1-gen-2010	FURIA, CARLO ALBERTOMANDRIOLI, DINOMORZENTI, ANGELO CARLOROSSI, 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
SCORE: the first student contest on software engineering	1-gen-2010	MANDRIOLI, DINOS. FickasFURIA, CARLO ALBERTOM. JazayeriROSSI, MATTEO GIOVANNIM. Young + -

RE.PUBLIC@POLIMI pubblicazioni di ricerca del Politecnico di Milano