Information related to our weekly DEEDS group
meetings.
|
When |
Who |
What |
Link (login req) |
|
2008 |
|
September 16 |
Piotr |
|
|
|
September 2 |
Faisal |
|
|
|
August 19 |
Dan |
|
|
|
August 5 |
Majid |
|
|
|
July 22 |
Dinu |
|
|
|
July 8 |
Azad |
|
|
|
June 24 |
Marco |
|
|
|
June 10 |
Brahim |
|
|
|
May 27 |
Matthias |
|
|
|
May 15 |
Sadi |
|
|
|
March 6 |
Faisal |
Reliability Tuning in Wireless Sensor Networks |
-- |
|
February 28 |
Dan |
-- |
-- |
|
February 21 |
Dinu |
-- |
-- |
|
February 14 |
Minh Duy |
Bachelor's Thesis presentation |
-- |
|
February 7 |
-- |
Seminars |
|
|
January 31 |
Majid |
-- |
-- |
|
January 17 |
Peter |
-- |
-- |
|
January 10 |
Azad |
-- |
-- |
|
2007 |
|
December 13 |
Majid |
-- |
|
|
December 6 |
Marco |
-- |
-- |
|
November 29 |
Matthias |
-- |
|
|
November 22 |
Brahim |
Atomic Commit in Mobile Ad-hoc Networks |
|
|
November 15 |
Andreas |
Robustness Profiling of Operating Systems |
-- |
|
November 1 |
Faisal |
Exploiting Heterogeneity in Wireless Sensor Networks |
-- |
|
October 25 |
Ripon |
-- |
-- |
|
October 18 |
Faisal |
-- |
-- |
|
October 11 |
Peter |
-- |
|
|
October 4 |
Dan+Marco |
SRDS dry runs |
-- |
|
September 27 |
Dan+Marco |
-- |
|
|
September 20 |
Majid |
LADC dry runs |
-- |
|
September 13 |
Dinu |
-- |
-- |
|
August 16 |
Daniel |
-- |
-- |
|
August 09 |
Andreas |
-- |
-- |
|
August 02 |
Majid |
-- |
-- |
|
July 26 |
Marco |
-- |
-- |
|
July 12 |
Matthias |
-- |
-- |
|
July 05 |
Brahim |
-- |
-- |
|
June 28 |
Robert |
-- |
-- |
|
June 21 |
Andreas + Marco |
DSN 07 dry runs |
|
|
June 14 |
Ripon |
-- |
-- |
|
May 31 |
Faisal |
DT Comparison Framework -- Results and Conclusions |
|
|
May 24 |
Dan |
-- |
-- |
|
May 10 |
Dinu |
Runtime Behavior-based Profiling of Windows Drivers |
-- |
|
May 03 |
Andreas |
Controlling the time of injection using suffix trees |
-- |
|
April 26 |
Eugen Bleim |
Implementation and Evaluation of a Fault-tolerant Commit Protocol
for Mobile Environments |
-- |
|
April 19 |
Majid |
-- |
-- |
|
April 12 |
Marco |
-- |
-- |
|
April 05 |
Matthias |
-- |
-- |
|
March 29 |
Brahim |
-- |
-- |
|
March 22 |
Robert |
Check pointing overhead for Embedded Systems |
-- |
|
March 15 |
Ripon |
Formulation of MVO to Simulated Annealing and the experimental
outcome |
-- |
|
March 08 |
Faisal |
End-to-End Arguments in Wireless Sensor Systems |
 |
|
January 25 |
Dan |
-- |
-- |
|
January 17 |
Peter |
-- |
-- |
|
January 16 |
Daniel |
The Attack Surface Metric |
 |
|
January 11 |
Dinu |
-- |
-- |
|
2006 |
|
December 21 |
Majid |
-- |
-- |
|
December 14 |
Marco |
-- |
-- |
|
December 07 |
Matthias |
Contention Resistant Fast Paxos
-- CoReFP -- |
-- |
|
November 30 |
Brahim |
Exploiting Adhoc Mobile Networks for Commit Protocols |
-- |
|
November 23 |
Robert |
Energy Modeling in Distributed Networks |
-- |
|
November 20 |
Boyan |
Recovery in Mobile Systems |
|
|
November 16 |
Ripon |
MVO Approach -- Insights |
-- |
|
November 09 |
Faisal |
Reliability Modeling and Comparison Framework for Data Transport
in WSN |
-- |
|
November 02 |
Dan |
Paxos v/s Fast P v/s Cheap FP |
-- |
|
October 26 |
Daniel |
Threat Models for Software Security
-- Future Directions -- |
|
|
October 19 |
Dinu |
Behavior Driven Testing of Drivers
-- Future Directions -- |
-- |
|
October 12 |
Group |
-- |
-- |
|
October 05 |
Majid |
SRDS review |
|
|
September 28 |
Majid |
Dry run for SRDS |
-- |
|
September 22 |
Aad van Moorsel
|
Adaptive Secure Socket Layer |
-- |
|
August 3 |
Rubén Porras |
Robustness Analysis of the Linux Operating System |
-- |
|
July 28 |
HariGovind Ramasamy
IBM Zürich
|
Parsimonious Service Replication for Tolerating Malicious Attacks
in Asynchronous Environments
|
-- |
|
July 27 |
Marco |
Diagnosis in presence
of transient errors: from embedded systems to enterprise systems |
-- |
|
July 20 |
Faisal |
-- |
-- |
|
July 13 |
Marco |
-- |
-- |
|
July 06 |
Robert |
HW/SW co design with power constraints |
-- |
|
June 14 @ 1400 |
Dan, Andreas |
Dry runs for DSN 06 |
-- |
|
June 08 |
Prof.
Dave Bakken |
Latest developments on Electric Power Grid |
-- |
|
June 01 |
Andreas |
Wiki for internal project management |
-- |
|
May 18 |
Majid |
DEWSnet (Dependable Embedded Wireless Sensor
network) -- Future Work |
|
|
May 11 |
Dinu Sârbu |
Presentation for ISAS |
-- |
|
May 04 |
Ripon |
ISORC Korea |
-- |
|
February 23 |
Dinu Sârbu |
Future Work on Driver Testing |
|
|
February 09 |
Daniel Germanus |
Assessing Software Security Using Threat Models |
|
|
February 06 |
Brendan Murphy |
-- |
-- |
|
January 26 |
Robert Lindström |
A Dependability-Driven System-Level Design Approach for Embedded
Systems |
-- |
|
January 19 |
Christian Spahn |
Integration of Event and Time-Triggered Systems for X-by-wire
applications |
-- |
|
January 12 |
Peter Bokor |
Checking Safety Properties |
|
|
January 05 |
Ripon |
-- |
-- |
|
2005 |
December 19
@ 10:00, E202
|
Faisal |
Transport Layer Issues for Ad hoc Wireless Sensor Networks |
|
|
December 15 |
Andreas |
Theory of Software Reliability Based on Components |
|
December 05
@ 10:00, E202 |
P. Guerrero |
Relying on Wireless Sensor Networks for enhancing RC-gaming
experience |
N/A |
|
November 08 |
Constantin Sârbu |
Work in progress: Towards Improving OS Driver Testing |
N/A |
|
October 25 |
Andreas Johansson |
Reflection mechanisms built into modern OO programming languages
such as Java and .Net to automate the generation of test cases. |
N/A |
July 20
@ 9:30, B002 |
Dan Dobre |
Indulgent consensus: fault-tolerant agreement despite asynchrony |
N/A |
July 13
@ 9:30, B002 |
Shariful Islam |
SW-HW Integration for Designing Dependable Embedded Systems |
N/A |
June 22
@ 9:30, B002 |
Andreas Johansson |
Error Propagation Profiling of Operating Systems |
N/A |
June 08
@ 9:30, B002 |
Marco Serafini |
A tunable algorithm for distributed On-Line Diagnosis |
N/A |
May 25
@ 9:30, B002 |
Brahim Ayari |
Transaction Processing in Mobile Environments |
N/A |
May 11
@ 9:30, B002 |
Adina Sarbu |
Fault injection in Operating Systems
|
N/A |
February 03
@ 9:30, B002 |
Marco Serafini |
Parametric Issues for On-Line Diagnosis |
N/A |
|
January 19 |
*all* |
reviews |
N/A |
|
2004 |
December 02
@ 9:30, B002 |
Adina Sarbu |
A fault injection tool for evaluating the robustness of the OS |
N/A |
|
November 24 |
Dan Dobre |
"A Framework for Engineering J2EE - based Publish / Subscribe
Applications with Scopes" |
N/A |
|
November 24 |
Marco Serafini |
"A Methodology to Model and Evaluate Dependability of
Safety-Critical Systems" |
N/A |
|
November 17 |
Adina Sârbu & Andreas Johansson |
Dry-runs for GK Presentations |
N/A |
|
November 03 |
Md. Shariful Islam |
"Automated Specification of Automotive Software Functions based
on Expert Interviews" |
[pdf] |
October 29
@ 9:30 AM |
Andreas Johansson |
"Short intro to LaTeX on Windows" |
[pdf] |
October 26
@ 9:30 AM |
Brahim Ayari |
"Requirements Analysis, Design and Implementation of a web-based
Decision Support System for SE Improvement Management" |
[pdf] |
October 21
@ 9:30, B002 |
Constantin Sarbu |
Robustness Assessment of OS Device Drivers |
N/A |
June 02
E102 |
Andreas Johansson |
On Enhancing the Robustness of Commercial Operating Systems |
N/A |
