- 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

---

---

---

---

---