Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Stefano Sebastio
Observed names:
S. Sebastio,
Sebastio, Stefano
Institution:
Collins Aerospace (United States)
Observed institutions:
University of Parma,
IMT School for Advanced Studies Lucca,
London Institute for Mathematical Sciences,
Centre Inria de l'Université de Rennes,
Collins Aerospace (United States)
ORCID:
0000-0001-8905-9874
Observed ORCID:
0000-0001-8905-9874
OpenAlex ID:
A5033823443
MultiVeStA: Statistical Model Checking for Discrete Event Simulators
2014
·
Andrea Vandin
, Stefano Sebastio
·
International ICST Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS)
·
82
PDF
An Availability Analysis Approach for Deployment Configurations of Containers
2018
·
Stefano Sebastio
, Rahul Ghosh
, et al.
·
IEEE Transactions on Services Computing
·
62
Fast computation of bounds for two-terminal network reliability
2014
·
Stefano Sebastio
, Kishor S. Trivedi
, et al.
·
European Journal of Operational Research
·
47
Optimizing symbolic execution for malware behavior classification
2020
·
Stefano Sebastio
, Eduard Baranov
, et al.
·
Computers & Security
·
38
PDF
Optimal distributed task scheduling in volunteer clouds
2016
·
Stefano Sebastio
, Giorgio Gnecco
, et al.
·
Computers & Operations Research
·
30
Distributed statistical analysis of complex systems modeled through a chemical metaphor
2014
·
Danilo Pianini
, Stefano Sebastio
, et al.
·
International Conference on High Performance Computing & Simulation (HPCS)
·
30
A computational field framework for collaborative task execution in volunteer clouds
2014
·
Stefano Sebastio
, Michele Amoretti
, et al.
·
International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)
·
25
Reputation-Based Cooperation in the Clouds
2014
·
Alessandro Celestini
, Alberto Lluch Lafuente
, et al.
·
IFIP advances in information and communication technology
·
20
Characterizing machines lifecycle in Google data centers
2018
·
Stefano Sebastio
, Kishor S. Trivedi
, et al.
·
Performance Evaluation
·
17
A Cooperative Approach for Distributed Task Execution in Autonomic Clouds
2013
·
M. Amoretti
, A. L. Lafuente
, et al.
·
Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP)
·
17
A Holistic Approach for Collaborative Workload Execution in Volunteer Clouds
2018
·
Stefano Sebastio
, Michele Amoretti
, et al.
·
ACM Transactions on Modeling and Computer Simulation
·
13
AVOCLOUDY : a simulator of volunteer clouds
2015
·
Stefano Sebastio
, Michele Amoretti
, et al.
·
Software Practice and Experience
·
13
PDF
A green policy to schedule tasks in a distributed cloud
2017
·
Stefano Sebastio
, Giorgio Gnecco
·
Optimization Letters
·
7
A Workload-Based Approach to Partition the Volunteer Cloud
2015
·
Stefano Sebastio
, Antonio Scala
·
IEEE International Conference on Collaboration and Internet Computing (CIC)
·
7
ContAv: A Tool to Assess Availability of Container-Based Systems
2018
·
Stefano Sebastio
, Rahul Ghosh
, et al.
·
IEEE International Conference on Service-Oriented Computing and Applications (SOCA)
·
6
Peer-to-peer architecture for real-time strategy MMOGs with intelligent cheater detection
2012
·
Marco Picone
, Stefano Sebastio
, et al.
·
International ICST Conference on Simulation Tools and Techniques (SIMUTools)
·
5
Cybersecurity Management Throughout the IoT Systems Lifecycle – The CERTIFY Approach
2025
·
Stefano Sebastio
, Sara Matheu
, et al.
·
Lecture notes in networks and systems
·
3
PDF
Application of Secure Two-Party Computation in a Privacy-Preserving Android App
2023
·
Marco De Vincenzi
, Ilaria Matteucci
, et al.
·
International Conference on Availability, Reliability and Security (ARES)
·
3
PDF
Active Security for Connected Device Lifecycle: The CERTIFY Architecture
2025
·
Sara Matheu
, Stefano Sebastio
, et al.
·
Lecture notes in networks and systems
·
2
Adopting the cloud to manage the electricity grid
2016
·
Stefano Sebastio
, Gregorio D'Agostino
, et al.
·
IEEE International Energy Conference (ENERGYCON)
·
2
A Mean Field Model of Coupled Cascades in Flow Networks
2016
·
Antonio Scala
, Stefano Sebastio
, et al.
·
Lecture notes in computer science
·
2
Honest vs Cheating Bots in PATROL-Based Real-Time Strategy MMOGs
2013
·
Stefano Sebastio
, Michele Amoretti
, et al.
·
Springer eBooks
·
2
Bolstering Up Smart Products Cybersecurity (Re-)Certification with Manufacturer's Evidence
2025
·
Stefano Sebastio
, Sreedevi Beena
, et al.
·
IEEE International Conference on Smart Computing
·
1
Modeling and Conducting Security Risk Assessment of Smart Airport Infrastructures with SecRAM
2024
·
Hajer Saada
, Riccardo Orizio
, et al.
·
International Conference on Networking, Information Systems & Security (NISS)
·
1
Efficient Extraction of Malware Signatures Through System Calls and Symbolic Execution: An Experience Report
2018
·
Eduard Baranov
, Fabrizio Biondi
, et al.
·
HAL
·
1
PDF
Show more works
View as search
Works count:
32
Citation count:
439
H-index:
12
I10-index:
12
Year
Topic
Type