en
de
Local
OpenID
:
no help available
no help available
BibSonomy
author
tag
user
group
author
concept
BibTeX key
search:all
::
Distefano
::
The blue social bookmark and publication sharing system.
sign in
home
groups
popular
posts
tags
authors
concepts
discussions
actions for all displayed bookmarks:
export:
RSS
,
BibTeX
,
XML
sort:
criterion:
date
,
title
order:
ascending
,
descending
others:
bookmarks per page:
5
10
20
50
100
bookmarks
actions for all displayed publications:
export:
RSS
,
BibTeX
,
RDF
,
more...
sort:
criterion:
date
,
title
order:
ascending
,
descending
advanced...
others:
publications per page:
5
10
20
50
100
publications
(86)
tags
dblp
2006
imported
Architectures
Organisationspsychologie
Unternehmensführung
graph_transformation
Centrino
cloud_computing,
Internationales_Management
graph\_transformation
\_pdf
saas
No matching items.
Runtime Verification Based on Register Automata.
Radu Grigore
,
Dino Distefano
,
Rasmus Lerchedahl Petersen
, and
Nikos Tzevelekos
.
TACAS,
volume 7795 of Lecture Notes in Computer Science,
page 260-276.
Springer,
(
2013
)
Radu Grigore
,
Dino Distefano
,
Rasmus Lerchedahl Petersen
, and
Nikos Tzevelekos
.
TACAS,
volume 7795 of Lecture Notes in Computer Science,
page 260-276.
Springer,
(
2013
)
3 months and 3 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
SecureMyDroid: enforcing security in the mobile devices lifecycle.
Alessandro Distefano
,
Antonio Grillo
,
Alessandro Lentini
, and
Giuseppe F. Italiano
.
CSIIRW,
page 27.
ACM,
(
2010
)
Alessandro Distefano
,
Antonio Grillo
,
Alessandro Lentini
, and
Giuseppe F. Italiano
.
CSIIRW,
page 27.
ACM,
(
2010
)
4 months and 12 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Investigating dynamic reliability and availability through state-space models.
Salvatore Distefano
,
Francesco Longo
, and
Kishor S. Trivedi
.
Computers & Mathematics with Applications
64(12):3701-3716
(
2012
)
Salvatore Distefano
,
Francesco Longo
, and
Kishor S. Trivedi
.
Computers & Mathematics with Applications
64(12):3701-3716
(
2012
)
5 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Runtime Verification Based on Register Automata
Dino Distefano
,
Radu Grigore
,
Rasmus Lerchedahl Petersen
, and
Nikos Tzevelekos
.
CoRR
(
2012
)
Dino Distefano
,
Radu Grigore
,
Rasmus Lerchedahl Petersen
, and
Nikos Tzevelekos
.
CoRR
(
2012
)
7 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Enabling the Cloud of Things.
Salvatore Distefano
,
Giovanni Merlino
, and
Antonio Puliafito
.
IMIS,
page 858-863.
IEEE,
(
2012
)
Salvatore Distefano
,
Giovanni Merlino
, and
Antonio Puliafito
.
IMIS,
page 858-863.
IEEE,
(
2012
)
7 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Sensing and Actuation as a Service: A New Development for Clouds.
Salvatore Distefano
,
Giovanni Merlino
, and
Antonio Puliafito
.
NCA,
page 272-275.
IEEE Computer Society,
(
2012
)
Salvatore Distefano
,
Giovanni Merlino
, and
Antonio Puliafito
.
NCA,
page 272-275.
IEEE Computer Society,
(
2012
)
7 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
A Voyage to the Deep-Heap.
Dino Distefano
.
SAS,
volume 7460 of Lecture Notes in Computer Science,
page 3.
Springer,
(
2012
)
Dino Distefano
.
SAS,
volume 7460 of Lecture Notes in Computer Science,
page 3.
Springer,
(
2012
)
8 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
The COST IC0701 Verification Competition 2011.
Thorsten Bormer
,
Marc Brockschmidt
,
Dino Distefano
,
Gidon Ernst
,
Jean-Christophe Filliâtre
,
Radu Grigore
,
Marieke Huisman
,
Vladimir Klebanov
,
Claude Marché
,
Rosemary Monahan
,
Wojciech Mostowski
,
Nadia Polikarpova
,
Christoph Scheben
,
Gerhard Schellhorn
,
Bogdan Tofan
,
Julian Tschannen
, and
Mattias Ulbrich
.
FoVeOOS,
volume 7421 of Lecture Notes in Computer Science,
page 3-21.
Springer,
(
2011
)
Thorsten Bormer
,
Marc Brockschmidt
,
Dino Distefano
,
Gidon Ernst
,
Jean-Christophe Filliâtre
,
Radu Grigore
,
Marieke Huisman
,
Vladimir Klebanov
,
Claude Marché
,
Rosemary Monahan
,
Wojciech Mostowski
,
Nadia Polikarpova
,
Christoph Scheben
,
Gerhard Schellhorn
,
Bogdan Tofan
,
Julian Tschannen
, and
Mattias Ulbrich
.
FoVeOOS,
volume 7421 of Lecture Notes in Computer Science,
page 3-21.
Springer,
(
2011
)
10 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Verification of Snapshot Isolation in Transactional Memory Java Programs.
Ricardo J. Dias
,
Dino Distefano
,
João Costa Seco
, and
João Lourenço
.
ECOOP,
volume 7313 of Lecture Notes in Computer Science,
page 640-664.
Springer,
(
2012
)
Ricardo J. Dias
,
Dino Distefano
,
João Costa Seco
, and
João Lourenço
.
ECOOP,
volume 7313 of Lecture Notes in Computer Science,
page 640-664.
Springer,
(
2012
)
10 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Reliability and availability analysis of dependent-dynamic systems with DRBDs.
Salvatore Distefano
, and
Antonio Puliafito
.
Rel. Eng. & Sys. Safety
94(9):1381-1393
(
2009
)
Salvatore Distefano
, and
Antonio Puliafito
.
Rel. Eng. & Sys. Safety
94(9):1381-1393
(
2009
)
a year ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Dynamic aspects and behaviors of complex systems in performance and reliability assessment.
Salvatore Distefano
,
Antonio Puliafito
, and
Kishor S. Trivedi
.
SIGMETRICS Performance Evaluation Review
39(4):71-78
(
2012
)
Salvatore Distefano
,
Antonio Puliafito
, and
Kishor S. Trivedi
.
SIGMETRICS Performance Evaluation Review
39(4):71-78
(
2012
)
a year ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
The standby engineering: classification and quantification of standby in reliability.
Salvatore Distefano
.
Int. J. Systems Assurance Engineering and Management
2(4):333-341
(
2011
)
Salvatore Distefano
.
Int. J. Systems Assurance Engineering and Management
2(4):333-341
(
2011
)
a year and 2 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Evaluating wireless sensor node longevity through Markovian techniques.
Dario Bruneo
,
Salvatore Distefano
,
Francesco Longo
,
Antonio Puliafito
, and
Marco Scarpa
.
Computer Networks
56(2):521-532
(
2012
)
Dario Bruneo
,
Salvatore Distefano
,
Francesco Longo
,
Antonio Puliafito
, and
Marco Scarpa
.
Computer Networks
56(2):521-532
(
2012
)
a year and 3 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Cloud@Home: Toward a Volunteer Cloud.
Salvatore Distefano
, and
Antonio Puliafito
.
IT Professional
14(1):27-31
(
2012
)
Salvatore Distefano
, and
Antonio Puliafito
.
IT Professional
14(1):27-31
(
2012
)
a year and 4 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
The Cloud@Home Resource Management System.
Salvatore Distefano
,
Maria Fazio
, and
Antonio Puliafito
.
UCC,
page 122-129.
IEEE Computer Society,
(
2011
)
Salvatore Distefano
,
Maria Fazio
, and
Antonio Puliafito
.
UCC,
page 122-129.
IEEE Computer Society,
(
2011
)
a year and 4 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Achieving Information Security in Network Computing Systems.
Vincenzo D. Cunsolo
,
Salvatore Distefano
,
Antonio Puliafito
, and
Marco Scarpa
.
DASC,
page 71-77.
IEEE,
(
2009
)
Vincenzo D. Cunsolo
,
Salvatore Distefano
,
Antonio Puliafito
, and
Marco Scarpa
.
DASC,
page 71-77.
IEEE,
(
2009
)
a year and 4 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Reliability and Dependability Modeling and Analysis of Dynamic Aspects in Complex Systems.
Salvatore Distefano
.
DASC,
page 43-48.
IEEE,
(
2009
)
Salvatore Distefano
.
DASC,
page 43-48.
IEEE,
(
2009
)
a year and 4 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Achieving Distributed System Information Security.
Salvatore Distefano
, and
Antonio Puliafito
.
CIS,
page 526-530.
IEEE,
(
2011
)
Salvatore Distefano
, and
Antonio Puliafito
.
CIS,
page 526-530.
IEEE,
(
2011
)
a year and 4 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Compositional Shape Analysis by Means of Bi-Abduction.
Cristiano Calcagno
,
Dino Distefano
,
Peter W. O'Hearn
, and
Hongseok Yang
.
J. ACM
58(6):26
(
2011
)
Cristiano Calcagno
,
Dino Distefano
,
Peter W. O'Hearn
, and
Hongseok Yang
.
J. ACM
58(6):26
(
2011
)
a year and 4 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Reliability of Standby Systems.
Salvatore Distefano
.
ICIC 3,
volume 6840 of Lecture Notes in Computer Science,
page 267-275.
Springer,
(
2011
)
Salvatore Distefano
.
ICIC 3,
volume 6840 of Lecture Notes in Computer Science,
page 267-275.
Springer,
(
2011
)
a year and 4 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
BibSonomy is offered by the
KDE group
of the University of Kassel, the
DMIR group
of the University of Würzburg, and the
L3S Research Center
, Germany.
Privacy & Terms of Use
-
Contact