Program at a Glance

- This program may be subject to change -

Monday, November 3
Time CC - Aula Magna CC - Room A CC - Room B H - Aragonese Room H - Catalana Room H - Sveva Room H - Normanna Room H - Santa Lucia Room
08:30 - 09:00 Registration
09:00 - 10:30 - - - Tutorial #1
Modern Web Applications' Reliability Engineering
RSDA
Opening and Welcome
RSDA #1
Vulnerability Analysis
WoSAR
Opening and Keynote 1
IWPD #1
Event Set and Trace Reduction
WoSoCER
Invited Talk
WoSoCER #1
Certification Arguments
10:30 - 11:00 Coffee Break
11:00 - 12:30 - - - Tutorial #1
Modern Web Applications' Reliability Engineering
RSDA
Keynote 1
RSDA #2
Security Data Mining
WoSAR #1
Rejuvenation Planning
IWPD #2
Panel Discussion: Program Debugging – Research and Practice
WoSoCER #2
Automotive Certification
12:30 - 14:00 Lunch
14:00 - 15:30 - - - Tutorial #2
More Reliable Software Faster and Cheaper: An Introduction to Software Reliability Engineering
RSDA #3
Data Driven Analysis
WoSAR
Keynote 2
WoSAR #3
Aging Analysis and Mitigation
IWPD #3
Debugging with Support for Reliability, Static Analysis, and Temporal Assertions
WoSoCER
Certification Processes
15:30 - 16:00 Coffee Break
16:00 - 18:00 - - - Tutorial #2
More Reliable Software Faster and Cheaper: An Introduction to Software Reliability Engineering
RSDA #4
Secure and Reliable Design
WoSAR #4
Aging Analysis and Mitigation
WoSAR
Discussion and Closing
IWPD #4
Quality and Applicability of Debugging and Fault Localization
WoSoCER #4
Tools for Dependability and Certifiability Assessment
WoSoCER
Panel/Discussion
19:00 - 20:30 AdaCore Welcome Reception


Tuseday, November 4
Time CC - Aula Magna CC - Room A CC - Room B H - Aragonese Room H - Catalana Room H - Sveva Room H - Normanna Room
08:30 - 09:00 Registration
09:00 - 10:30 - - - Welcome
prof. Gaetano Manfredi, Magnifico Rettore of the Federico II University of Naples
prof. Domenico Cotroneo, ISSRE 2014 General Chair

Keynote
by Salvatore Scervo, Selex ES
10:30 - 11:00 Coffee Break
11:00 - 12:30 Industry #1
Testing 1
Industry #2
Reliability Modeling
WOSD #1
Evolution of Assurance
Research #1
Best Paper Nominees
12:30 - 14:00 Lunch
14:00 - 15:30 Industry #3
Testing 2
RSDA
Keynote 2
RSDA #5
Anomaly Detection
WOSD #2
Management of Open Systems Dependability
Research #2
Modeling
Tutorial #4
Data Science: Creation and Use of Predictive Software Models
Tutorial #3
Holistic Optimization of Power Distribution Automation Network Designs Using Survivability Modeling
15:30 - 16:00 Coffee Break
16:00 - 18:00 Student Papers RSDA #6
Internet Threats and Countermeasures
RSDA
Closing Remarks
WOSD #3
Discussion: Open Systems Dependability Landscape and Future Directions
Research #3
Program Logic
Tutorial #4
Data Science: Creation and Use of Predictive Software Models
Tutorial #3
Holistic Optimization of Power Distribution Automation Network Designs Using Survivability Modeling


Wednesday, November 5
Time CC - Aula Magna CC - Room A CC - Room B H - Aragonese Room H - Catalana Room H - Sveva Room H - Normanna Room
08:30 - 09:00 Registration
09:00 - 10:30 Research Panel: Data Analytics for Software Engineering Industry #4
Best Paper Nominees
- Tutorial #5
ODC - A 10x on Root Cause Analysis
ASSURE
Welcome and Keynote
ASSURE #1
Principles and Techniques
- RISK
Welcome and Keynote
10:30 - 11:00 Coffee Break
11:00 - 12:30 Research #4
Fault Localization
Industry #5
Availability and Performance
- Tutorial #5
ODC - A 10x on Root Cause Analysis
ASSURE #1
Principles and Techniques (Contd.)
Industry #6
Reliability Modeling 2
RISK #1
Risk Analysis and Assessment
12:30 - 14:00 Lunch
14:00 - 15:30 Research #5
Case Studies I
Industry Panel: Static Analysis - Tutorial #6
Advanced Software Reliability and Availability Models
ASSURE #2
Processes and Tools
- RISK #2
Risk Management
15:30 - 16:00 Coffee Break
16:00 - 18:00 Research #6
Data Analysis
Industry #7
Model-based Testing
- Tutorial #6
Advanced Software Reliability and Availability Models
ASSURE #3
Applications
ASSURE
Panel Discussion & Wrap-up
Industry #8
Security
RISK #3
Risk Modeling and Risk-Based Testing
19:30 - ... Banquet


Thursday, November 6
Time CC - Aula Magna CC - Room A CC - Room B H - Aragonese Room H - Catalana Room H - Sveva Room H - Normanna Room
08:30 - 09:00 Registration
09:00 - 10:30 Research #7
Industrial Systems
Industry #9
Data Management and Analysis
- Fast Abstracts #1 Tutorial #7
Supporting Architectural Decisions through Software Quality Optimization Models
Tutorial #8
Effective Security Management: Using Case Control Studies to Measure Vulnerability Risk
OMG UTP (UML Testing Profile) Meeting
10:30 - 11:00 Coffee Break
11:00 - 12:30 Research #8
Case Studies II
Industry #10
Static Analysis
- Fast Abstracts #2 Tutorial #7
Supporting Architectural Decisions through Software Quality Optimization Models
Tutorial #8
Effective Security Management: Using Case Control Studies to Measure Vulnerability Risk
OMG UTP (UML Testing Profile) Meeting
12:30 - 14:00 Lunch
14:00 - 15:30 Research #9
Software Testing
Industry #11
Design and Planning
- Research #10
Applications of Machine Learning
Industry #12
Avionics
- OMG UTP (UML Testing Profile) Meeting
15:30 - 16:30 SC Meeting - - - - - OMG UTP (UML Testing Profile) Meeting
16:45 - ... Goodbye ISSRE 2014


CC: Conference Center - Via Partenope, 36
H - Hotel RC: Royal Continental Hotel - Via Partenope, 38

CC - Aula Magna - First floor
CC - Room A - Raised ground floor
CC - Room B - Raised ground floor

H - Aragonese Room - Hotel RC - First floor
H - Catalana Room - Hotel RC - First floor
H - Sveva Room - Hotel RC - First floor
H - Normanna Room - Hotel RC - First floor
H - Santa Lucia Room - Hotel RC - First floor
H - Mirabilis Room - Hotel RC - Aragonese+Catalana+Sveva+Normanna

Lunches at the Hotel RC Restaurant